FORMÁLNA LOGIKA: PREDMET ŠTÚDIE, CHARAKTERISTIKY A PRÍKLADY - FILOZOFIA - 2026

Formálne logika , tiež volal logický teoretický alebo matematická logika, ktorá určuje platné a správne formy uvažovania sú. Týmto postupom sa snažíme rozlíšiť, čo je správne, od toho, čo je nesprávne.

Vo formálnej logike sa symboly používajú jednoznačne a najjasnejším možným spôsobom, takže s nimi nemožno manipulovať. Vďaka tejto praxi je možné rozvíjať svoje vlastné nápady.

Alfred North Whitehead bol jedným z navrhovateľov formálnej logiky. Zdroj: Wellcome Trust

Slovo „logika“ pochádza zo starogréckeho λογικήlogik ḗ, čo znamená „vybavené intelektuálnym, dialektickým a argumentačným dôvodom“. Logika je jednou z oblastí filozofie a matematiky a považuje sa za veľmi užitočnú pre tieto disciplíny.

Vo všeobecnosti logické štúdie skúmajú formu myslenia. Prvé práce vykonané v súvislosti s logikou sa pripisujú gréckemu filozofovi Aristotelovi, a preto je známy ako zakladajúci otec tejto oblasti myslenia.

V priebehu histórie obhajovali formálni logici rôzni filozofi, matematici a logici. Medzi nimi môžeme pomenovať matematika a logika Alonzo Church; filozof, matematik a logik Gottlob Frege; a tiež matematik a filozof Alfred North Whitehead.

Alfred Tarski, KurtGödel, Bertrand Russell a Willard Van Orman Quine boli okrem iného tiež veľkými obrancami.

Predmet štúdia

Formálna logika používa ako predmet štúdia také aspekty, ako sú zdôvodnenie, koncepcia, úsudky a demonštrácie. Z týchto prvkov analyzuje a študuje všetky zdroje jazyka a sémantiky, aby dospel k záveru.

V tomto zmysle je preukázané, že formálne logické uvažovanie sa študuje zo štruktúrovaného hľadiska, z hľadiska jeho platnosti alebo neplatnosti.

Formálna logika nie je empirickou štúdiou procesu zdôvodnenia. Nemalo by sa to zamieňať ani s presvedčením, pretože na to, aby sa dospelo k záveru, vyžaduje štruktúru argumentov.

Táto logika je tiež známa ako teoretická alebo čistá logika a snaží sa vykonať abstraktnú štúdiu obsahu alebo logických foriem deduktívnych argumentov, tvrdení, tvrdení a asertívne používaných viet.

Uskutočnenie vyčerpávajúcej štúdie vzorcov formálnej logiky umožní každému jednotlivcovi presne poznať postupy spojené s jeho myslením.

vlastnosti

Nižšie sú uvedené najkonkrétnejšie charakteristiky, ktoré odlišujú formálnu logiku od iných typov logiky:

- Je to veda, ktorá študuje formu premisy, na rozdiel od iných typov logiky, ktorá študuje iba materiál.

-Je to štruktúra bez hmoty.

- Je zriadená v rámci podskupiny formálnych systémov.

-Použite metódy tak efektívne, že pomocou formálnej logiky dokážete rozlíšiť, čo je zlé a čo je správne.

- Z toho vyplýva záver správneho zdôvodnenia alebo platnosti, pretože sa analyzuje štruktúra skutočných priestorov.

- Preskúmajte a analyzujte ľudí, aby sa dostali priamo k myšlienke, a mohli tak v mysli každého jednotlivca vytvoriť nové vzory.

- Vyznačuje sa symbolikou.

- Z hľadiska formálnej vedy hrá dôležitú úlohu v matematike, filozofii, informatike a štatistike.

- Súvisí to s gramatikou kvôli štúdiu sémantiky.

- Vynikajúce štruktúry, preto sa porovnáva s matematikou.

- Súvisí to tiež s psychológiou, pretože sa zameriava na štúdium myšlienok každého jednotlivca.

druhy

Deontická logika

Pochádza zo starogréckeho δέον déon a znamená „čo je splatné“ alebo „čo je potrebné“. Rakúsky logik Alois Höffler je priekopníkom tohto konceptu, ktorý sa odvoláva na štúdium a analýzu noriem.

Bivalentná logika

Je to typ logiky, ktorý podporuje iba pravdivé a nepravdivé hodnoty. Neverí v tieňoch, všetko je čierne alebo biele; šedá stupnica je pri tejto logike nemožná.

Jej princípy sú založené na aristotelskej logike, ktorými sú identita, rozpor a vylúčená tretia strana.

Multivalentná alebo viacúčelová logika

Táto logika sa zrodila na základe štúdií, ktoré vykonali filozofi Jan Łukasiewicz a Emil Post, v ktorých sa uvádza, že je možné pripustiť iné hodnoty ako už bežné „pravdivé“ a „nepravdivé“ a že tieto hodnoty môžu prakticky dosiahnuť do nekonečna.

V tomto zmysle sa líši od bivalentnej logiky, ktorá pripúšťa iba dve hodnoty. Štúdie ukazujú, že multivalentná alebo viacúčelová logika sa zaoberá hodnotami, ako sú možnosť, nevyhnutnosť, nepotrebnosť, pravda, klamstvo a nemožnosť.

Podobne aj tento typ formálnej logiky má na starosti skúmanie filozofických a štrukturálnych aspektov argumentov.

Príklady

Formálnou logikou je možné ku konkrétnemu zdôvodneniu pridať hodnotu pravdy alebo klamstva.

Ako sme už vysvetlili, formálna logika sa nezameriava na všetky možnosti, ktoré možno získať z argumentu; Zameriava sa iba na to, či je to pravda alebo nie. V tomto zmysle uvádzame niektoré príklady založené na formálnej logike:

-Buenos Aires je hlavným mestom Argentíny; potom všetci, čo sa narodili v Buenos Aires, sú Argentínčania.

-Joao hovorí po portugalsky. Joao sa narodil v Portugalsku. Každý v Portugalsku hovorí portugalsky.

- Kravy dávajú mlieko. Kravy sú cicavce. Všetky cicavce dávajú mlieko.

-Pedro je biele a María je brunetka, takže sú tu bieli a hnedí ľudia.

-María hrá v rockovom orchestri. Hudobníci sú tí, ktorí hrajú v rockovom orchestri. Maria je hudobníčka.

-José má čierne vlasy. Elena má hnedé vlasy. Ich dcéra sa mohla narodiť s čiernymi alebo hnedými vlasmi.

- Noha má päť prstov. Ľudské bytosti majú pravú a ľavú nohu. Každá osoba má desať prstov.

-Španielsko je krajina. Španielsko zostáva v Európe. Všetci Španieli sú Európania.

- Ana je živá bytosť. Ana je smrteľná. Všetky živé veci sú smrteľné.

- José namočil vodou. Voda sa namočí.

- Maria jej zjedla horúce jedlo. Maria spálila jej horúce jedlo. Horúce jedlo horí.

- Zem je súčasťou vesmíru. Vo vesmíre sú planéty. Zem je planéta.

- Elektrické svetlo svieti. V uliciach je elektrické svetlo. Ulica je osvetlená elektrickým svetlom.

Referencie

1. „Formálna logika“ v encyklopédii Nového sveta. Zdroj: 21. apríla 2019 z encyklopédie Nového sveta: newworldencyclopedia.org.
2. Morton L. Schagrin Ge Hughes „Formálna logika“, získaná 21. apríla 2019 z Britannica: britannica.com.
3. "Logika a jej klasifikácia" v Akadémii. Získané 23. apríla 2019 z Academia: academia.edu.
4. „Formálna logika“ vo filozofickom slovníku. Zdroj: 23. apríla 2019 z filozofického slovníka: filozofophy.org.
5. „Polyvalentná logika“ vo filosofickom slovníku. Zdroj: 23. apríla 2019 z filozofického slovníka: filozofophy.org.
6. „Všeobecné aspekty logiky“ v Klube Eseje (18. augusta 2013). Citované 23. apríla 2019 z Klubových skúšok: clubensayos.com.
7. „Deontická logika“ vo wikipédii . Zdroj: 23. apríla 2019 z Wikipedia: es.wikipedia.org.
8. „Viacúčelová logika“ vo wikipédii . Zdroj: 23. apríla 2019 z Wikipedia: es.wikipedia.org.
9. „Bivalentná logika“ vo wikipédii . Zdroj: 23. apríla 2019 z Wikipedia: es.wikipedia.org