The formální logika, Také se nazývá teoretická logika nebo matematická logika, která určuje, jaké jsou platné a správné formy uvažování. Prostřednictvím této praxe se snažíme rozlišovat, co je správné, od toho, co je nesprávné.
Ve formální logice se symboly používají jednoznačně a co nejjasněji, takže s nimi nelze manipulovat. Díky této praxi je možné rozvíjet své vlastní nápady.
Slovo „logika“ pochází ze starořečtiny λογικήlogika, což znamená „obdařeno rozumovým, dialektickým a argumentačním rozumem“. Logika je jedním z odvětví filozofie a matematiky a je pro tyto disciplíny považována za velmi užitečnou.
Logika obecně studuje formu myšlení. První práce provedené v souvislosti s logikou jsou přičítány řeckému filozofovi Aristotelovi, a proto je známý jako zakladatel této oblasti myšlení.
V průběhu historie bránili formální logiku různí filozofové, matematici a logici. Mezi nimi můžeme jmenovat matematika a logika Alonzo Church; filozof, matematik a logik Gottlob Frege; a také matematik a filozof Alfred North Whitehead.
Alfred Tarski, KurtGödel, Bertrand Russell a Willard Van Orman Quine byli mimo jiné také skvělými obránci..
Rejstřík článků
Formální logika používá jako předmět studia aspekty jako uvažování, pojetí, úsudky a demonstrace. Z těchto prvků analyzuje a studuje všechny zdroje jazyka a sémantiky, aby dospěl k závěru.
V tomto smyslu je ustáleno, že ve formální logice uvažování je studováno ze strukturovaného hlediska, z jeho platnosti nebo neplatnosti.
Formální logika není empirické studium procesu uvažování. Nemělo by to být zaměňováno ani s přesvědčováním, protože k vyvození závěru je zapotřebí struktura argumentů.
Tato logika je také známá jako teoretická nebo čistá logika a snaží se provést abstraktní studii obsahu nebo logických forem deduktivních argumentů, tvrzení, tvrzení a asertivně použitých vět..
Provedení vyčerpávající studie formálních logických vzorců umožní každému jednotlivci přesně znát postupy spojené s jeho myšlením..
Níže jsou uvedeny konkrétní vlastnosti, které odlišují formální logiku od jiných typů logiky:
-Je to věda, která studuje formu premisy, na rozdíl od jiných typů logiky, která studuje pouze materiál.
-Je to struktura bez hmoty.
-Je založena pod podmnožinou formálních systémů.
-Aplikuje metody tak efektivní, že prostřednictvím formální logiky můžete rozlišit, co je špatně, od toho, co je správné.
-Závěry správného nebo platného uvažování vznikají proto, že je analyzována struktura skutečných premis.
-Studujte a analyzujte lidi, abyste se dostali přímo k myšlence, a byli tak schopni vytvořit nové vzorce v mysli každého jednotlivce.
-Vyznačuje se tím, že je symbolický.
-Z hlediska formální vědy hraje důležitou roli v matematice, filozofii, informatice a statistice..
-Souvisí to s gramatikou kvůli studiu sémantiky.
-Studujte struktury, a proto se to srovnává s matematikou.
-Souvisí to také s psychologií, protože se zaměřuje na studium myšlení každého jednotlivce.
Pochází ze starověké řečtiny δέον [τος] déon [kašel] a to znamená „co je splatné“ nebo „co je nutné“. Průkopníkem tohoto konceptu, který odkazuje na studium a analýzu norem, je rakouský logik Alois Höffler.
Je to typ logiky, která podporuje pouze pravdivé a nepravdivé hodnoty. Nevěří na odstíny, všechno je černé nebo bílé; stupně šedi je v tomto druhu logiky nemožné.
Jeho principy jsou založeny na aristotelské logice, kterými jsou identita, nerozpor a vyloučená třetina..
Tento typ logiky se zrodil na základě studií provedených filozofy Janem Łukasiewiczem a Emilem Postem, ve kterých uvádějí, že lze připustit i jiné hodnoty než již běžné „pravdivé“ a „falešné“, a že tyto hodnoty mohou prakticky dosáhnout až do nekonečna.
V tomto smyslu se liší od bivalentní logiky, která připouští pouze dvě hodnoty. Studie ukazují, že multivalentní nebo víceúčelová logika zpracovává hodnoty, jako je možnost, nutnost, zbytečnost, pravda, lež a nemožnost.
Podobně tento typ formální logiky má také na starosti studium filozofických a strukturálních aspektů argumentů..
Formální logikou je možné určitému uvažování přidat hodnotu pravdy nebo lži.
Jak jsme již vysvětlili dříve, formální logika se nezaměřuje na všechny možnosti, které lze z argumentu získat; zaměřuje se pouze na to, zda je to pravda nebo nepravda. V tomto smyslu uvádíme níže několik příkladů založených na formální logice:
-Buenos Aires je hlavní město Argentiny; Všichni narození v Buenos Aires jsou tedy Argentinci.
-Joao mluví portugalsky. Joao se narodil v Portugalsku. Všichni v Portugalsku mluví portugalsky.
-Krávy dávají mléko. Krávy jsou savci. Všichni savci dávají mléko.
-Pedro je bílý a María brunetka, takže existují bílí a hnědí lidé.
-Maria hraje v rockovém orchestru. Hudebníci hrají v rockovém orchestru. Maria je hudebnice.
-José má černé vlasy. Elena má hnědé vlasy. Jejich dcera se mohla narodit s černými nebo hnědými vlasy.
-Noha má pět prstů. Lidské bytosti mají pravou nohu a levou nohu. Každý člověk má deset prstů na nohou..
-Španělsko je země. Španělsko zůstává v Evropě. Všichni Španělé jsou Evropané.
- Ana je živá bytost. Ana je smrtelná. Všechno živé je smrtelné.
- José zvlhl vodou. Voda zvlhne.
- Maria snědla teplé jídlo. Maria se popálila při jídle svého teplého jídla. Horké jídlo hoří.
- Země je součástí vesmíru. Ve vesmíru jsou planety. Země je planeta.
- Elektrické světlo svítí. V ulicích je elektrické světlo. Elektrické světlo osvětluje ulice.
Zatím žádné komentáře