Logika je područje filozofije koje ima za cilj proučavanje formalne strukture izjava (prijedloga) i njihovih pravila. Ukratko, logika služi ispravnom razmišljanju, a time je alat za ispravno razmišljanje.
Logika dolazi od grčke riječi logotipi, što znači razlog, argument ili govor. Ideja razgovora i prepiranja pretpostavlja da ono što se govori ima značenje za slušatelja.
Taj se smisao temelji na logičkoj strukturi, kada nešto "ima logike" znači da to ima smisla, to je racionalan argument.
Logika u filozofiji
Bio je to grčki filozof Aristotel (384. god. C.-322 a. C.) koji je stvorio proučavanje logike, nazvao ga je analitičkim.
Za njega bi svako znanje koje se pretvara da je istinito i univerzalno znanje trebalo poštivati neka načela, logična načela.
Logika (ili analitika) postala je shvaćena kao instrument ispravnog razmišljanja i definicije logičkih elemenata koji leže u osnovi istinskog znanja.
Logički principi
Aristotel se razvio tri osnovna principa koji vode klasičnu logiku.
1. princip identiteta
Biće je uvijek samo po sebi identično: THE é THE. Ako zamijenimo THE za Mariju je, na primjer, to: Marija je Marija.
2. Načelo neproturječnosti
Nemoguće je biti i ne biti u isto vrijeme, ili da jedan entitet bude ujedno i njegova suprotnost. nemoguće je da THE biti THE i nije-A, u isto vrijeme. Ili, slijedeći prethodni primjer: nemoguće je da Marija bude Marija, a ne da bude Marija.
3. Načelo izuzete treće strane ili izuzete treće strane
U prijedlozima (subjekt i predikat) postoje samo dvije mogućnosti, potvrdne ili negativne: THE é x ili THE é ne-x. Marija je učiteljica ili Marija nije učiteljica. Ne postoji treća mogućnost.
Pogledajte i:Aristotelovska logika.
Prijedlog
U argumentu se ono što se kaže i ima oblik subjekta, glagola i predikata naziva prijedlogom. Propozicije su izjave, potvrde ili poricanja, a njihova se valjanost ili neistina logično analizira.
Iz analize prijedloga, proučavanje logike postaje alat za ispravno razmišljanje. Za ispravno razmišljanje potrebna su (logična) načela koja jamče njegovu valjanost i istinitost.
Sve što je rečeno u argumentu zaključak je mentalnog procesa (misli) koji ocjenjuje i prosuđuje neke moguće postojeće odnose.
Silogizam
Iz ovih načela imamo deduktivno logičko obrazloženje, odnosno iz dviju prethodnih izvjesnosti (pretpostavki) dolazi se do novog zaključka na koji se izravno ne govori u premisama. To se naziva silogizam.
Primjer:
Svaki je čovjek smrtnik. (premisa 1)
Sokrat je čovjek. (premisa 2)
Stoga je Sokrat smrtnik. (zaključak)
Ovo je osnovna struktura silogizma i temelj logike.
Tri pojma silogizma mogu se klasificirati prema njihovoj količini (univerzalnoj, partikularnoj ili jedinstvenoj) i kvaliteti (potvrdnoj ili negativnoj)
Prijedlozi se mogu razlikovati u pogledu njihove kvalitete u:
- Afirmacije: S je P. Svako je ljudsko biće smrtno, Marija je radnica.
- Negativni: S nije P.Sokrat nije Egipćanin.
Oni se također mogu razlikovati u svojoj količini u:
- Univerzalni: Svako S je P.svi su ljudi smrtni.
- Privatni: Neki S je P. Neki su muškarci Grci.
- Pojedinačno: Ovo S je P.Sokrat je Grk.
To je osnova aristotelovske logike i njezinih izvoda.
Vidi i ti: Što je silogizam?
Formalna logika
U formalnoj logici, koja se naziva i simboličkom, prijedlozi se svode na dobro definirane koncepte. Na taj način rečeno nije najvažnije, već njegov oblik.
Logični oblik iskaza obrađen je kroz (simbolički) prikaz prijedloga slovima: Str, štoi r. Također će istražiti veze između prijedloga putem njihovih logičkih operatora: veznici, disjunkcije i uvjetovanost.
prijedloška logika
Na taj se način na prijedlozima može raditi na različite načine i služit će kao osnova za formalnu provjeru valjanosti izjave.
Logički operatori uspostavljaju veze između prijedloga i omogućuju logično ulančavanje njihovih struktura. Neki primjeri:
Poricanje
Suprotno je pojmu ili prijedlogu, predstavljenom simbolom ~ ili ¬ (negacija Str je ~ p ili ¬ P). U tablici za p true imamo ~ p false. (sunčano je = Str, nije sunčano = ~ Str ili ¬ Str).
Veznik
To je unija između prijedloga, simbol ∧ predstavlja riječ "i" (danas je sunčano i Idem na plažu, Str ∧ što). Da bi veznik bio istinit, obje moraju biti istinite.
Disjunkcija
To je razdvajanje prijedloga, simbol v predstavlja "ili" (Idem na plažu ili Ostati kod kuće, Str v što). Za valjanost, barem jedan (ili drugi) mora biti istinit.
Uvjetno
To je uspostavljanje uzročnog odnosa ili uvjetovanosti, simbol ⇒ predstavlja "ako... zatim..." (ako kišiti, zatim Ostat ću kod kuće, Str ⇒ što).
bi-kondicional
To je uspostavljanje dvosmjernog odnosa uvjetovanosti, dvostruka je implikacija, simbol ⇔ predstavlja "ako i samo ako,". (Idem na nastavu ako i samo ako nisam na odmoru, Str ⇔ što).
Primjenjujući se na tablicu istine, imamo:
| Str | što | ~ str | ~ što | Str ∧ što | Str v što | Str ⇒ što | Str ⇔ što |
|---|---|---|---|---|---|---|---|
| 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 |
Slova F i V mogu se zamijeniti nulom i jedan. Ovaj se format široko koristi u računalnoj logici (F = 0 i V = 1).
Vidi i ti: Tablica istine.
Ostale vrste logike
Postoji nekoliko drugih vrsta logike. Ti su tipovi, općenito, izvodi klasične formalne logike, predstavljaju kritiku tradicionalnog modela ili novi pristup rješavanju problema. Neki primjeri su:
1. Matematička logika
Matematička logika izvedena je iz aristotelovske formalne logike i razvija se iz njezinih vrijednosnih odnosa prijedloga.
U 19. stoljeću matematičari George Boole (1825.-1864.) I Augustus De Morgan (1806.-1871.) Bili su odgovoran za prilagodbu aristotelovskih principa matematici, što je stvorilo novo znanost.
U njemu se mogućnosti istine i laži procjenjuju kroz njihov logički oblik. Rečenice se pretvaraju u matematičke elemente i analiziraju na temelju njihovih odnosa između logičkih vrijednosti.
Vidi i ti: Matematička logika.
2. Računska logika
Računska logika izvedena je iz matematičke logike, ali nadilazi to i primjenjuje se na računalno programiranje. Bez nje bi bilo nemoguće nekoliko tehnoloških dostignuća, poput umjetne inteligencije.
Ova vrsta logike analizira odnose između vrijednosti i pretvara ih u algoritme. Za to se također koristi logičkim modelima koji se razilaze s modelom koji je u početku predložio Aristotel.
Ti su algoritmi odgovorni za brojne mogućnosti, od kodiranja i dekodiranja poruka do zadataka poput prepoznavanja lica ili mogućnosti autonomnih automobila.
Svejedno, čitav odnos koji danas imamo s računalima prolazi kroz ovu vrstu logike. Spaja temelje tradicionalne aristotelovske logike s elementima takozvane neklasične logike.
3. Neklasična logika
Neklasičnom ili antiklasičnom logikom prepoznaje se niz logičkih postupaka koji napuštaju jedno ili više načela razvijenih tradicionalnom (klasičnom) logikom.
Na primjer, nejasna logika (nejasan), koja se široko koristi za razvoj umjetne inteligencije, ne koristi treće načelo izuzeća. Pretpostavlja bilo koju stvarnu vrijednost između 0 (netačno) i 1 (istinito).
Primjeri neklasične logike su:
- Logika nejasno;
- Intuicionistička logika;
- Parakonsistentna logika;
- Modalna logika.
Zanimljivosti
Mnogo prije bilo koje vrste računalne logike, logika je poslužila kao temelj svih postojećih znanosti. Neki donose ovo obrazloženje izraženo u svoje ime pomoću sufiksa "logija", grčkog podrijetla.
Biologija, sociologija i psihologija neki su primjeri koji čine njihov odnos s logotipi Grčki, shvaćen iz ideje logičnog i sustavnog proučavanja.
Taksonomija, klasifikacija živih bića (kraljevstvo, rod, klasa, red, obitelj, rod i vrsta), čak i danas, slijedi logični model klasifikacije u kategorije koje je predložio Aristotel.
Pogledajte i:
- Logičko rasuđivanje - vježbe
- Filozofske vježbe