Logika - tai mokslas apie samprotavimą. Logikos taisyklės leidžia filosofams daryti teisingas ir logiškas išvadas apie pasaulį. Logika padeda žmonėms nuspręsti, ar kas nors yra tiesa, ar melas.

Logika dažnai rašoma silogizmais, kurie yra viena iš loginių įrodymų rūšių. Silogizmas sudarytas iš teiginių, kuriais logiškai įrodomas galutinis teiginys, vadinamas išvada. Vieną populiarų loginio silogizmo pavyzdį parašė klasikinės Graikijos filosofas Aristotelis:

  1. Visi žmonės mirtingi.
  2. Sokratas yra žmogus.
  3. Todėl Sokratas yra mirtingas.

Išvada yra baigiamasis teiginys. Šis silogizmas sujungia pirmuosius du teiginius ir sudaro loginę dedukciją: Sokratas yra mirtingas.

Silogizmas sudarytas iš trijų loginių teiginiųarbapropozicijų. Šie teiginiai yra trumpi sakiniai, apibūdinantys nedidelį loginio argumento žingsnį. Mažieji teiginiai sudaro argumentą, panašiai kaip atomai sudaro molekules. Kai logika yra teisinga, sakoma, kad teiginiai "išplaukia" vienas iš kito.

Teiginiai turi tiesos vertę, t. y. galima įrodyti, kad jie yra teisingi arba klaidingi, bet ne abu. Nelogiški teiginiai arba logikos klaidos vadinamos loginėmis klaidomis.

Logikos rūšys

Trumpai apžvelkime pagrindines logikos sritis:

  • Formali (sintaksinė) logika – nagrinėja argumentų formą, taisykles ir struktūras, nepriklausomai nuo teiginių turinio. Čia svarbiausia yra, ar išvados logiškai seka iš prielaidų (validumas).
  • Informalioji logika – tiria kasdienio kalbėjimo argumentus, retoriką ir dažniausiai pasitaikančias klaidas (falasijas).
  • Deduukcinė logika – iš bendresnių prielaidų daromos konkrečios išvados (pvz., klasikiniai silogizmai).
  • Indukcinė logika – iš konkrečių atvejų daromos bendresnės išvados (moksliniai spėjimai, hipotezės); indukcija duoda tik tikėtinas, o ne garantuotas išvadas.

Pagrindinės logikos taisyklės ir dėsniai

  • Prieštaringumo dėsnis – teiginys ir jo neigimas negali būti teisingi vienu metu (pvz., „Šiandien lyja“ ir „Šiandien nelyja“ negali būti abu tiesa).
  • Išeities (tertium non datur) dėsnis – kiekvienas teiginys yra arba teisingas, arba klaidingas (nenaudojamas pusiau-teisingumo samprata formalioje klasikinėje logikoje).
  • Tapatumo dėsnis – dalykas yra tas, kas jis yra (A yra A).
  • Modus ponens (teisinga dedukcija): jeigu „Jei P, tai Q“ ir P yra tiesa, tai Q yra tiesa. (Jei lyja, tai kelias drėgnas. Lyja. Todėl kelias drėgnas.)
  • Modus tollens: jeigu „Jei P, tai Q“ ir Q yra klaidinga, tai P yra klaidinga. (Jei lyja, tai kelias drėgnas. Kelias nėra drėgnas. Todėl nelyja.)

Silogizmai ir jų struktūra

Klasikinis kategorinis silogizmas turi tris dalis:

  • Didysis premises (major premise) – bendresnis teiginys („Visi žmonės mirtingi“).
  • Mažasis premises (minor premise) – konkretesnis teiginys („Sokratas yra žmogus“).
  • Išvada („Todėl Sokratas yra mirtingas“).

Silogizmo validumas priklauso nuo formos: net jeigu prielaidos yra klaidingos, pati forma gali būti logiškai teisinga (validi). Kai argumentas yra tiek validus, tiek prielaidos yra tiesos, sakoma, kad argumentas yra sound (tvirtas, pagrįstas).

Tiesa, validumas ir pagrįstumas

Svarbu atskirti tris sąvokas:

  • Tiesa – teiginio atitikimas faktams ar realybei.
  • Validumas – ar išvada logiškai seka iš prielaidų (formos savybė).
  • Pagrįstumas (soundness) – kai argumentas yra validus ir prielaidos yra tiesos; tokiu atveju ir išvada yra tiesa.

Dažniausios loginės klaidos (falasijos)

Žinant dažniausias klaidas galima jų vengti:

  • Ad hominem – užpuolama asmenybė vietoje argumento vertinimo („Neimk jo žodžių rimtai, jis nepatikimas“).
  • Strawman (stoginė figūra) – iškraipomas priešininko argumentas, kad būtų lengviau paneigti.
  • Falsi dilemma (falsi pasirinkimas) – pateikiami tik du pasirinkimai, nors galimų variantų daugiau.
  • Affirming the consequent (klaida patvirtinant pasekmę) – „Jei P, tai Q. Q yra tiesa. Todėl P yra tiesa.“ (Tai nėra logiškai teisinga.)
  • Denying the antecedent (klaida neigiant prielaidą) – „Jei P, tai Q. P nėra. Todėl Q nėra.“ (Tai taip pat klaidinga formaliai.)

Naudingi patarimai mąstymo gerinimui

  • Aiškiai atskirkite prielaidas nuo išvadų: užrašykite argumentą žingsniais.
  • Patikrinkite, ar forma yra validi, o po to ar prielaidos yra tikros.
  • Sekite, ar teiginiai turi aiškią reikšmę ir ar nėra dvilypumo ar neaiškumo.
  • Būkite atidūs bendrosioms klaidoms ir emociniams apeliavimams, kurie gali užgožti logiką.

Apibendrinant: logika padeda struktūruoti mąstymą, atskirti teisingus argumentus nuo klaidingų bei suprasti, kada išvados seka iš prielaidų ir kada jos pagrįstos tik tiek, kiek pagrįstos prielaidos. Klasikinis Aristotelio silogizmas – tik vienas iš pavyzdžių, kaip veikia dedukcija; šiuolaikinė logika praplečia šias idėjas formalizuodama taisykles ir leidžianti analizuoti sudėtingesnes struktūras.