Logika yra filosofijos sritis, kuria siekiama ištirti formalią teiginių (teiginių) struktūrą ir jų taisykles. Trumpai tariant, logika tarnauja teisingam mąstymui, taigi yra teisingo mąstymo priemonė.
Logika kilusi iš graikiško žodžio logotipai, o tai reiškia priežastį, argumentą ar kalbą. Idėja kalbėtis ir ginčytis daro prielaidą, kad tai, kas sakoma, turi prasmę klausytojui.
Ši prasmė remiasi logine struktūra, kai kažkas „turi logikos“ reiškia, kad jis turi prasmę, tai yra racionalus argumentas.
Logika filosofijoje
Tai buvo graikų filosofas Aristotelis (384 m. A. C.-322 a. C.) sukūręs logikos tyrimą, jis jį pavadino analitiniu.
Jam bet kokios žinios, apsimetančios teisingomis ir visuotinėmis žiniomis, turėtų gerbti kai kuriuos principus, loginius principus.
Logika (arba analitika) buvo suprasta kaip teisingo mąstymo ir loginių elementų, kuriais grindžiamos tikros žinios, apibrėžimas.
Loginiai principai
Aristotelis išsivystė trys pagrindiniai principai kad vadovaujasi klasikine logika.
1. tapatumo principas
Būtybė visada yra identiška sau: é . Jei pakeisime pavyzdžiui, Marijai tai: Marija yra Marija.
2. Neprieštaravimo principas
Neįmanoma būti ir nebūti tuo pačiu metu, ar vienas subjektas taip pat yra jo priešingybė. tai neįmanoma būti ir ne-A, Tuo pačiu metu. Arba, sekant ankstesniu pavyzdžiu: neįmanoma, kad Marija būtų Marija, o ne Marija.
3. Pašalintos trečiosios šalies arba pašalintos trečiosios šalies principas
Teiginiuose (subjektas ir predikatas) yra tik dvi teigiamos arba neigiamos galimybės: é x arba é ne-x. Marija yra mokytoja arba Marija nėra mokytoja. Trečios galimybės nėra.
Taip pat žiūrėkite:Aristoteliška logika.
Pasiūlymas
Argumente tai, kas pasakyta ir turi dalyko, veiksmažodžio ir tarinio formą, vadinama teiginiu. Teiginiai yra teiginiai, teiginiai ar neigimai, o jų pagrįstumas arba melagingumas yra logiškai analizuojamas.
Remiantis teiginių analize, logikos tyrimas tampa teisingo mąstymo įrankiu. Teisingam mąstymui reikia (loginių) principų, kurie garantuoja jo pagrįstumą ir tiesą.
Viskas, kas pasakyta argumente, yra psichinio proceso (minties) išvada, įvertinanti ir įvertinanti kai kuriuos galimus egzistuojančius santykius.
Silogizmas
Remdamiesi šiais principais turime dedukcinį loginį pagrindimą, tai yra iš dviejų ankstesnių įsitikinimų (prielaidų) daroma nauja išvada, kuri patalpose nėra tiesiogiai nurodoma. Tai vadinama silogizmu.
Pavyzdys:
Kiekvienas žmogus yra mirtingas. (1 prielaida)
Sokratas yra žmogus. (2 prielaida)
Todėl Sokratas yra mirtingas. (išvada)
Tai yra pagrindinė silogizmo struktūra ir logikos pagrindas.
Trys silogizmo terminai gali būti klasifikuojami pagal jų kiekį (visuotinį, konkretų ar vienaskaitą) ir jų kokybę (teigiamą arba neigiamą).
Pasiūlymų kokybė gali skirtis:
- Teiginiai: S yra P. Kiekvienas žmogus yra mirtingas, Marija - darbininkė.
- Neigiami: S nėra P.Sokratas nėra egiptietis.
Jų kiekis taip pat gali skirtis:
- Universalai: Kiekvienas S yra P.visi žmonės yra mirtingi.
- Privatu: Kai kurie S yra P. Kai kurie vyrai yra graikai.
- Vienišiai: Tai S yra P.Sokratas yra graikas.
Tai yra aristoteliškosios logikos ir jos darinių pagrindas.
Taip pat žiūrėkite: Kas yra silogizmas?
Oficiali logika
Formalioje logikoje, dar vadinamoje simboline logika, teiginiai redukuojami iki tiksliai apibrėžtų sąvokų. Tokiu būdu sakoma ne svarbiausia, o jos forma.
Loginė teiginių forma dirbama per (simbolinį) teiginių vaizdavimą raidėmis: P, kąir r. Ji taip pat tirs teiginių ryšius per jų loginius operatorius: jungtukai, disjunkcijos ir kondicionavimas.
teiginio logika
Tokiu būdu su pasiūlymais galima dirbti įvairiai ir jie yra pagrindas oficialiai patvirtinti teiginį.
Loginiai operatoriai nustato santykius tarp teiginių ir leidžia logiškai susieti savo struktūras. Keletas pavyzdžių:
Neigimas
Tai priešinga terminui ar teiginiui, kurį žymi simbolis ~ arba ¬ (neigimas P yra ~ p arba ¬ P). Lentelėje, norėdami p true, turime ~ p false. (saulėta = P, tai ne saulėta = ~ P arba ¬ P).
Sąsaja
Tai junginys tarp teiginių, simbolis ∧ žymi žodį „ir“ (šiandien saulėta ir Aš einu į paplūdimį, P ∧ ką). Kad jungtukas būtų tiesa, abu turi būti teisingi.
Disjunkcija
Tai yra teiginių atskyrimas, simbolis v reiškia „arba"(Aš einu į paplūdimį arba Lik namuose, P v ką). Kad galiotų bent vienas (arba kitas) turi būti tiesa.
Sąlyginis
Tai priežastinio ryšio ar sąlygiškumo nustatymas, simbolis ⇒ žymi "jei... tada ..." (jei lyti, tada Aš liksiu namuose, P ⇒ ką).
dviejų sąlygų
Tai yra dvipusio sąlygiškumo santykio nustatymas, yra dviguba implikacija, simbolis ⇔ reiškia "Jeigu, ir tik jeigu,". (Einu į klasę tik tada, jei neatostogauju, P ⇔ ką).
Taikydami tiesos lentelę, turime:
| P | ką | ~ p | ~ ką | P ∧ ką | P v ką | P ⇒ ką | P ⇔ ką |
|---|---|---|---|---|---|---|---|
| V | V | F | F | V | V | V | V |
| V | F | F | V | F | V | F | F |
| F | V | V | F | F | V | V | F |
| F | F | V | V | F | F | V | V |
Raidės F ir V gali būti pakeistos nuliu ir viena. Šis formatas plačiai naudojamas skaičiavimo logikoje (F = 0 ir V = 1).
Taip pat žiūrėkite: Tiesos lentelė.
Kiti logikos tipai
Yra keletas kitų tipų logikos. Šie tipai apskritai yra klasikinės formalios logikos dariniai, pateikia tradicinio modelio kritiką arba naują požiūrį į problemų sprendimą. Keletas pavyzdžių:
1. Matematinė logika
Matematinė logika yra kilusi iš formaliosios aristoteliečių logikos ir plėtojama iš jos teiginių vertybinių santykių.
XIX amžiuje matematikai George'as Boole'as (1825–1864) ir Augustas De Morganas (1806–1871) buvo atsakingas už Aristotelio principų pritaikymą matematikai, kuriant naują mokslas.
Jame tiesos ir melo galimybės vertinamos per jų loginę formą. Sakiniai transformuojami į matematinius elementus ir analizuojami remiantis jų santykiais tarp loginių reikšmių.
Taip pat žiūrėkite: Matematinė logika.
2. Skaičiavimo logika
Skaičiavimo logika gaunama iš matematinės logikos, tačiau peržengia tai ir taikoma kompiuteriniam programavimui. Be jo būtų neįmanoma keli technologiniai laimėjimai, pavyzdžiui, dirbtinis intelektas.
Šio tipo logika analizuoja santykius tarp reikšmių ir paverčia juos algoritmais. Tam taip pat naudojami loginiai modeliai, kurie neatitinka modelio, kurį iš pradžių pasiūlė Aristotelis.
Šie algoritmai yra atsakingi už daugybę galimybių, pradedant pranešimų kodavimu ir dekodavimu, baigiant tokiomis užduotimis kaip veido atpažinimas ar autonominių automobilių galimybė.
Šiaip ar taip, visi santykiai, kuriuos šiandien užmezga kompiuteriai, išgyvena tokią logiką. Jis sujungia tradicinės aristoteliškos logikos pagrindus su vadinamosios neklasikinės logikos elementais.
3. Neklasikinė logika
Neklasikine ar antiklassikine logika yra pripažįstama loginių procedūrų serija, atsisakanti vieno ar daugiau tradicinės (klasikinės) logikos sukurtų principų.
Pavyzdžiui, neaiški logika (neryškus), plačiai naudojamam dirbtinio intelekto plėtrai, nenaudojamas trečiasis pašalinimo principas. Ji prisiima bet kokią realią vertę nuo 0 (klaidinga) iki 1 (teisinga).
Neklasikinės logikos pavyzdžiai:
- Logika neryškus;
- Intuicionistų logika;
- Parakoniška logika;
- Modalinė logika.
Įdomybės
Dar prieš bet kokią skaičiavimo logiką logika buvo visų esamų mokslų pagrindas. Kai kurie pateikia šiuos argumentus, išreikštus savo vardu, naudodami priesagą "logy", graikų kilmės.
Biologija, sociologija ir psichologija yra keletas pavyzdžių, kurie sukuria jų santykį su logotipai Graikų kalba, suprantama iš logiško ir sistemingo tyrimo idėjos.
Taksonomija, gyvų būtybių klasifikacija (karalystė, šeimos, klasė, tvarka, šeima, gentis ir rūšys) ir šiandien vadovaujasi logišku klasifikavimo į kategorijas kategorijomis, kuriuos pasiūlė Aristotelis.
Taip pat žiūrėkite:
- Loginis samprotavimas - pratimai
- Filosofijos pratimai
