- Predmet štúdia
- vlastnosti
- druhy
- Deontická logika
- Bivalentná logika
- Multivalentná alebo viacúčelová logika
- Príklady
- Referencie
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
- „Formálna logika“ v encyklopédii Nového sveta. Zdroj: 21. apríla 2019 z encyklopédie Nového sveta: newworldencyclopedia.org.
- Morton L. Schagrin Ge Hughes „Formálna logika“, získaná 21. apríla 2019 z Britannica: britannica.com.
- "Logika a jej klasifikácia" v Akadémii. Získané 23. apríla 2019 z Academia: academia.edu.
- „Formálna logika“ vo filozofickom slovníku. Zdroj: 23. apríla 2019 z filozofického slovníka: filozofophy.org.
- „Polyvalentná logika“ vo filosofickom slovníku. Zdroj: 23. apríla 2019 z filozofického slovníka: filozofophy.org.
- „Všeobecné aspekty logiky“ v Klube Eseje (18. augusta 2013). Citované 23. apríla 2019 z Klubových skúšok: clubensayos.com.
- „Deontická logika“ vo wikipédii . Zdroj: 23. apríla 2019 z Wikipedia: es.wikipedia.org.
- „Viacúčelová logika“ vo wikipédii . Zdroj: 23. apríla 2019 z Wikipedia: es.wikipedia.org.
- „Bivalentná logika“ vo wikipédii . Zdroj: 23. apríla 2019 z Wikipedia: es.wikipedia.org
