Formálny logický objekt štúdie, charakteristiky a príklady

Ten formálna logika, Nazýva sa tiež teoretická logika alebo matematická logika, určuje, aké sú platné a správne formy zdôvodnenia. Prostredníctvom tejto praxe sa snaží rozlíšiť správnosť nesprávneho.

Vo formálnej logike sa symboly používajú bez nejednoznačnosti a čo najjasnejším možným spôsobom, takže ich nemožno manipulovať. Vďaka tejto praxi si môžu rozvíjať svoje vlastné nápady.

Alfred North Whitehead bol jedným z obrancov formálnej logiky. Zdroj: Wellcom Trust [CC BY-SA 4.0 (https: // creativeCommons.Org/licencie/By-SA/4.0)]

Slovo „logika“ pochádza od starovekej gréčtiny λογικήlogika, Čo znamená „obdarený intelektuálnym dôvodom, dialektickým, argumentačným“. Logika je jednou z odvetví filozofie a matematiky a pre tieto disciplíny sa považuje za veľmi užitočnú.

Logika všeobecne študuje formu myslenia. Prvé diela vykonané vo vzťahu k logike sa pripisujú gréckemu filozofovi Aristotelovi, a preto je známy ako zakladajúci otec tejto oblasti myslenia.

V celej histórii niekoľko filozofov, matematika a logika obhajovali formálnu logiku. Medzi nimi môžeme pomenovať matematik a logický kostol Alonzo; filozof, matematik a logický Gottlob Frege; A tiež matematik a filozof Alfred North Whitehead.

Boli to tiež veľkí obhajcovia Alfred Tarski, Kurtgödel, Bertrand Russell a Willard Van Orman Quine,.

[TOC]

Predmet štúdia

Formálna logika používa aspekty, ako je zdôvodnenie, koncept, rozsudky a demonštrácia ako predmet štúdie. Z týchto prvkov analyzujte a študujte všetky zdroje jazyka a sémantiky, aby sa dosiahol záver.

V tomto zmysle sa preukázalo, že formálna logika sa študuje zo štruktúrovaného bodu, od jeho platnosti alebo zdravotného postihnutia.

Formálna logika nie je empirickou štúdiou procesu zdôvodňovania. Nemalo by sa to zamieňať s presvedčením, pretože na získanie záveru potrebuje štruktúru argumentov.

Môže vám slúžiť: Pôvod filozofie: Ako a kedy sa to stalo?

Táto logika je známa aj ako teoretická alebo čistá logika a snaží sa vykonať abstraktnú štúdiu obsahu alebo logických foriem deduktívnych argumentov, výkazov, návrhov a vety.

Vykonanie vyčerpávajúcej štúdie formálnych logických vzorov umožní každému jednotlivcovi poznať presne súvisiace postupy ich myslenia.

Charakteristika

Nižšie sú uvedené naj konkrétne vlastnosti, ktoré odlišujú formálnu logiku od ostatných typov logiky:

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

-Je to štruktúra bez hmoty.

-Je zriadený pod podskupinou formálnych systémov.

-Uplatňuje také účinné metódy, že prostredníctvom formálnej logiky sa dá rozlíšiť nesprávnosť práva.

-Závery správneho alebo platnosti odôvodnenia vznikajú, pretože sa analyzuje štruktúra skutočných priestorov.

-Študujte a analyzovať ľudí, aby sa dostali priamo k premýšľaniu, a tak dokážu vytvoriť nové vzorce v mysli každého jednotlivca.

-Sa vyznačuje symbolickým.

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

-Súvisí s gramatikou v dôsledku štúdia sémantiky.

-Študujte štruktúry, a preto sa porovnáva s matematikou.

-Vzťahuje sa na psychológiu, pretože sa zameriava na štúdium myšlienky každého jednotlivca.

Chlapci

Deontická logika

Pochádza zo staroveku Gréka δέον [τος] Donon [kašeľ] A to znamená „splatný“ alebo „nevyhnutný“. Rakúska logika Alois Höffler je perkusorom tohto konceptu, ktorý sa týka štúdie a analýzy noriem.

Môže vám slúžiť: René Descartes: Biografia, filozofia a príspevky

Bivalentná logika

Je to typ logiky, ktorý pripúšťa iba hodnoty true a false. Neverí v nuansy, všetko je čierne alebo biele; Šedá stupnica je v tomto type logiky nemožná.

Jeho zásady sú založené na aristotelskej logike, ktoré sú identitou, nekontradikciou a tretí vylúčený.

Multivalentná alebo všestranná logika

Tento typ logiky sa zrodil v dôsledku štúdií, ktoré uskutočnili filozofi Jan łukasiewicz a Emil Post, v ktorom vysvetľujú, že iné hodnoty môžu byť prijaté z „pravých“ a „falošných“ bežných a že tieto Hodnoty môžu takmer doraziť do nekonečna.

V tomto zmysle sa líši od bivalentnej logiky, ktorá pripúšťa iba dve hodnoty. Štúdie ukazujú, že multivalentná alebo všestranná logika spracováva hodnoty, ako napríklad možnosť, potreba, potreba, pravda, klamstvo a nemožnosť.

Podobne je tento typ formálnej logiky zodpovedný aj za štúdium filozofických a štrukturálnych aspektov, ktoré majú argumenty.

Príklady

Prostredníctvom formálnej logiky je možné pridať hodnotu pravdy alebo nepravdivosti k konkrétnemu zdôvodneniu.

Ako sme už vysvetlili vyššie, formálna logika sa nezameriava na všetky možnosti, ktoré je možné extrahovať z argumentu; Zameriava sa iba na to je pravda alebo nepravdivé. V tomto zmysle potom uvádzame niekoľko príkladov založených na formálnej logike:

-Buenos Aires je hlavným mestom Argentíny; Takže všetci tí, ktorí sa narodili v Buenos Aires, sú Argentíni.

-Joao hovorí portugalsky. Joao sa narodil v Portugalsku. Všetko v Portugalsku hovoria portugalsky.

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

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

Môže vám slúžiť: humanistickí myslitelia

-Maria sa dotýka rockového orchestra. Hudobníci sú tí, ktorí hrajú v rockovom orchestri. Maria je hudobníčka.

-José má čierne vlasy. Elena má hnedé vlasy. Dcéra z nich by sa mohla narodiť s čiernymi alebo hnedými vlasmi.

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

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

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

- José mokrý vodou. Voda zvlhčí.

- Maria jedla jej horúce jedlo. Maria spálila pri jedle jej horúceho jedla. Horúce jedlá horí.

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

- Osvetľuje elektrické svetlo. Na uliciach je elektrické svetlo. Elektrické svetlo osvetľuje ulice.

Odkazy

1. „Formálna logika“ na encyklopédii v New World. Získané 21. apríla 2019 z Encyclopedia New World: NewworlDyclopedia.orgán.
2. Morton l. Schagrin Ge Hughes „Formálna logika“ v zotavenej 21. apríli 2019 od Britannica: Britannica.com.
3. „Logika a jej klasifikácia“ v akademickej obci. Získané 23. apríla 2019 z akademickej obce: Akadémia.Edu.
4. „Formálna logika“ vo filozofickom slovníku. Získané 23. apríla 2019 filozofického slovníka: Filozofia.orgán.
5. „Viacnásobná logika“ vo filozofickom slovníku. Získané 23. apríla 2019 filozofického slovníka: Filozofia.orgán.
6. „Všeobecné aspekty logiky“ v klubových esejách (18. augusta 2013). Získané 23. apríla 2019 z klubových esejí: Clubansayos.com.
7. „Deontica logika“ vo Wikipédii. Získané 23. apríla 2019 z Wikipédie: Je to.Wikipedia.orgán.
8. „Viacúčelová logika“ vo Wikipédii. Získané 23. apríla 2019 z Wikipédie: Je to.Wikipedia.orgán.
9. „Bivalentná logika“ na Wikipédii. Získané 23. apríla 2019 z Wikipédie: Je to.Wikipedia.orgán