- čo je logika?
- Filozofická logika
- Aristotelovská logika
- Matematická logika
- Výpočtová logika
- Formálna a neformálna logika
Vysvetľujeme, čo je logika a vlastnosti filozofickej, aristotelovskej, matematickej, výpočtovej, formálnej a neformálnej logiky.
Logika sa používa v rôznych procesoch, ako je dôkaz, odvodenie alebo dedukcia.čo je logika?
Logika je a formálna veda, ktorý je súčasťou filozofia a z matematika. Zameriava sa na štúdium platných a neplatných postupov myslel sito znamená v procesoch ako demonštrácia, inferencia alebo dedukcia, ako aj v pojmoch, ako sú bludy, paradoxy a pravda.
Logika je a disciplína mimoriadne starodávny, nezávisle narodený medzi mysliteľmi veľkých klasické a staroveké civilizácie, ako Číňania, Gréci či Indovia. Od svojich počiatkov sa chápal ako spôsob posudzovania myšlienky s cieľom overiť jej formálnu platnosť, teda rozpoznať, aký je ideálny postup uvažovanie, ktorá skutočne vedie k pravde.
Od 20. storočia sa však považovala za oblasť viac podobnú matematike, keďže jej aplikácie získali veľký priemyselný, spoločenský a technologický význam.
Slovo „logika“ má pôvod v gréckom hlase logické ("Obdarený rozumom"), z výrazu logá, ekvivalentné k „slovu“ alebo „myšlienke“.
V bežnom jazyku však toto slovo používame ako synonymum pre „zdravý rozum“, teda v hodnotnom alebo oceňovanom spôsobe myslenia, v ich príslušných kontextoch možné. Používa sa aj ako a synonymný „spôsobu myslenia“, ako keď sa odkazuje na „športovú logiku“, „vojenskú logiku“ atď.
Filozofická logika
Týmto termínom nazývame oblasti filozofie, v ktorých sa metódy logiky vyriešiť alebo posunúť určité filozofické dilemy, pričom je možné ich zvládnuť v rámci uvažovanej tradičnej logiky alebo naopak logiky neklasickej. Inými slovami, logika v rámci filozofie.
Je to disciplína veľmi blízka filozofii o Jazyk, a je v podstate pokračovaním logiky staroveku, zameranej na myslenie a prirodzený jazyk. Tento názov bežne používame na odlíšenie od najnovšej matematickej logiky.
Aristotelovská logika
V rámci filozofickej logiky je tradícia myslenia, ktorá sa začína dielami gréckeho filozofa Aristotela de Estagira (384-322 pred Kr.), považovaného za západného zakladateľa logiky a jedného z najvýznamnejších autorov, známa ako aristotelovská logika. svetová filozofická tradícia.
Aristotelove hlavné diela o logike sú zhromaždené v jeho Organ (z gréckeho „nástroja“), zostavený Andronikom Rhodským niekoľko storočí po napísaní. Odvíja sa v nich celý logický systém, ktorý bol mimoriadne vplyvný Európe a na Blízkom východe až potom Stredovek.
V tejto práci navyše Aristoteles postuloval základné axiómy logiky:
- Zásada neprotirečenia. Podľa ktorého niečo nemôže byť a zároveň nebyť (A a ¬A nemôžu byť súčasne pravdivé).
- Princíp identity. Podľa ktorého je niečo vždy totožné so sebou samým (A sa vždy rovná A).
- Princíp vylúčenej tretiny. Podľa čoho niečo je alebo nie je pravda, bez akýchkoľvek možných stupňovitostí (A alebo potom ¬A).
Matematická logika
Je známa ako matematická logika, nazývaná aj symbolická logika, formálna logika, teoretická alebo logistická logika, na aplikáciu logické myslenie do určitých oblastí matematiky a veda.
To znamená štúdium procesu dedukovania prostredníctvom formálnych systémov reprezentácie, ako je výroková logika, modálna logika alebo logika prvého rádu, ktoré umožňujú „preložiť“ prirodzený jazyk do matematického jazyka s cieľom vyvinúť dôsledné demonštrácie.
Matematická logika zahŕňa štyri hlavné oblasti, ktorými sú:
- Teória modelov. Ktorý navrhuje štúdium axiomatických teórií a matematickej logiky prostredníctvom matematických štruktúr známych ako skupiny, telesá alebo grafy, čím sa čisto formálnym konštrukciám logiky pripisuje sémantický obsah.
- Demonštračná teória. Tiež sa nazýva teória dôkazov a navrhuje dôkazy pomocou matematických objektov a techniky matematika ako spôsob kontroly logických problémov. Ak sa teda teória modelu zaoberá dávaním a sémantika (význam) k formálnym štruktúram logiky sa Teória dôkazu zaoberá skôr ich syntax (jeho objednanie).
- Teória o súpravy. Zamerané na štúdium abstraktných zbierok predmetov, chápaných samy osebe ako predmety, ako aj ich základných operácií a vzájomných vzťahov. Táto vetva matematickej logiky je jednou z najzákladnejších, ktorá existuje, natoľko, že predstavuje základný nástroj akejkoľvek matematickej teórie.
- Teória vypočítateľnosti. Zdieľaná oblasť medzi matematikou a výpočtový alebo výpočtový, študuje rozhodovacie problémy, na ktoré a algoritmus (ekvivalent Turingovho stroja) si poradí. K tomu využíva teóriu množín, pričom ich chápe ako vyčísliteľné alebo nevyčísliteľné množiny.
Výpočtová logika
Výpočtová logika vytvára inteligentné výpočtové systémy.Výpočtová logika je rovnaká matematická logika, ale aplikovaná na oblasť výpočtovej techniky, to znamená na rôznych základných úrovniach výpočtovej techniky: výpočtové obvody, programovanie logiky a riadiacich algoritmov. Súčasťou je aj umelá inteligencia, relatívne nedávna oblasť v tejto oblasti.
Dalo by sa povedať, že vo všeobecnosti sa výpočtová logika snaží napájať počítačový systém prostredníctvom logických štruktúr, ktoré vyjadrujú v matematickom jazyku rôzne možnosti ľudského myslenia, čím vytvárajú inteligentné počítačové systémy.
Formálna a neformálna logika
Často sa tiež rozlišuje medzi dvoma samostatnými oblasťami logiky: formálnou a neformálnou, na základe ich prístupu k jazyku, v ktorom sú vyjadrenia vyjadrené.
- Formálna logika. Je to ten, kto dbá na formálny jazyk, teda na spôsob vyjadrovania jeho obsahov, používa ich striktne, bez dvojznačností tak, aby sa deduktívna cesta dala analyzovať z platnosti jeho obsahu. tvary (odtiaľ jeho názov).
- Neformálna logika. Namiesto toho študujte ich argumenty a posteriori, odlíšenie platných a neplatných foriem od poskytnutých informácií bez ohľadu na ich logickú formu alebo formálny jazyk. Tento variant sa objavil v polovici 20. storočia ako disciplína v rámci filozofie.