» » » » » Filosofia logicii

Filosofia logicii

postat în: Filozofie | 0

Urmând evoluțiile logicii formale cu logica simbolică la sfârșitul secolului 19 și logica matematică în secolul 20, subiectele tratate în mod tradițional de logică care nu fac parte din logica formală au tendința să fie denumite fie filozofia logicii, fie logica filosofică, dacă nu mai este pur și simplu logică.

Comparativ cu istoria logicii, delimitarea dintre filozofia logicii și logica filozofică este recentă și nu întotdeauna clară. Caracteristicile includ

  • Filosofia logicii este domeniul filosofiei dedicat examinării scopului și naturii logicii.
  • Filosofia logicii este ancheta, analiza critică și reflecția intelectuală asupra problemelor apărute în logică. Domeniul este considerat a fi diferit de logica filozofică.
  • Logica filosofică este ramura de studiu care se referă la întrebări despre referință, predicare, identitate, adevăr, cuantificare, existență, implicare, modalitate și necesitate.
  • Logica filosofică este aplicarea tehnicilor logice formale în problemele filosofice.

Adevăr

Parmenides a afirmat: A spune că ceea ce este, nu este sau ceea ce nu este este, este o falsitate; și să spunem că ceea ce este, este și ceea ce nu este nu este, este adevărat.

Acest truism aparent nu s-a dovedit a fi fără probleme.

Purtătorii de adevăr

Logica folosește termeni precum adevărat, fals, inconsistent, valabil și contradictoriu. Întrebările apar așa cum Strawson (1952) scrie

(a) când folosim aceste cuvinte de evaluare logică, ce este exact ceea ce evaluăm? și (b) cum este posibilă evaluarea logică?

Adevăruri analitice, adevăr logic, valabilitate, consecință logică și implicare

Întrucât utilizarea, adică, dacă nu semnificația termenilor, face parte din dezbatere, este posibil numai să se dea următoarele definiții de lucru în scopul discuției:

  • Un adevăr necesar este unul care este adevărat indiferent de starea lumii sau, după cum se spune uneori, în toate lumile posibile.
  • Adevărurile logice sunt acele adevăruri necesare care sunt neapărat adevărate datorită numai constantelor lor logice.
  • În logica formală un adevăr logic este doar o „declarație” (șir de simboluri în care nu apare liber nicio variabilă), care este adevărat sub toate interpretările posibile.
  • Un adevăr analitic este cel al cărui concept predicat este conținut în conceptul său de subiect.

Conceptul de adevăr logic este strâns legat de cele ale valabilității, consecințelor logice și implicării (precum și de autocontradicție, în mod necesar fals, etc.).

  • Dacă q este un adevăr logic, atunci p va fi un argument valid.
  • Dacă p1, p2, p3 … pn, prin urmare q, este un argument valid, atunci condiționarea corespunzătoare va fi un adevăr logic.
  • Dacă p1 & p2 & p3 … pn, implică q, atunci Dacă (p1 & p2 & p3 … pn) atunci q este un adevăr logic.
  • Dacă q este o consecință logică a lui p1 & p2 și p3 … pn dacă și numai dacă p1 & p2 & p3 … pn implică q și dacă și numai dacă Dacă (p1 & p2 & p3..pn) atunci q este un adevăr logic

Problemele care apar sunt:

  • Dacă există adevăruri care trebuie să fie adevărate, ce le face astfel?
  • Există adevăruri analitice care nu sunt adevăruri logice?
  • Există adevăruri necesare care nu sunt adevăruri analitice?
  • Există adevăruri necesare care nu sunt adevăruri logice?
  • Distincția dintre adevărul analitic și adevărul sintetic este falsă?

Lasă un răspuns

Adresa ta de email nu va fi publicată. Câmpurile obligatorii sunt marcate cu *