logika

Čo je to logika:

Logika je ženské podstatné meno pochádzajúce z gréckeho výrazu logiké, súvisiace s logami, rozumom, slovom alebo rečou, čo znamená vedu uvažovania .

V obrazovom zmysle je slovná logika spojená so špecifickým spôsobom správneho uvažovania . Napríklad: Toto nikdy nebude fungovať! Váš plán nemá žiadnu logiku!

Problémy alebo logické hry sú aktivity, pri ktorých jednotlivec musí na vyriešenie problému použiť logické uvažovanie .

Aristotelova logika

Podľa Aristotela, logika má za cieľ študovať myšlienku, rovnako ako zákony a pravidlá, ktoré ju riadia, takže táto myšlienka je správna. Pre gréckeho filozofa sú základnými prvkami logiky pojem, úsudok a uvažovanie . Logické zákony zodpovedajú spojeniu a vzťahom, ktoré existujú medzi týmito prvkami.

Niektorí nástupcovia Aristotela boli zodpovední za základy stredovekej logiky, ktorá trvala až do trinásteho storočia. Stredovekí myslitelia ako Galenus, Porphyry a Alexander of Afrodysia klasifikovali logiku ako vedu o správnom posudzovaní, čo umožňuje dosiahnuť správne a formálne platné úvahy.

Logika programovania

Logika programovania je jazyk používaný na vytvorenie počítačového programu. Logika programovania je nevyhnutná pre vývoj programov a počítačových systémov, pretože definuje logické prepojenie tohto vývoja. Kroky pre tento vývoj sú známe ako algoritmus, ktorý pozostáva z logickej postupnosti inštrukcií pre vykonávanú funkciu.

Logická logika

Logika argumentácie nám umožňuje overiť platnosť alebo či je vyhlásenie pravdivé alebo nie. Neuskutočňuje sa s relatívnymi alebo subjektívnymi pojmami, sú to hmatateľné návrhy, ktorých platnosť možno overiť. V tomto prípade sa logika snaží zhodnotiť formu výrokov a nie obsah. Príkladom logiky argumentácie sú sylogizmy (zložené z dvoch priestorov a záverov). Napríklad:

Fubá je pes.

Všetky psy sú cicavce.

Preto je Fubá cicavec.

Matematická logika

Matematická logika (alebo formálna logika) študuje logiku podľa jej štruktúry alebo formy. Matematická logika sa skladá z deduktívneho systému výkazov, ktorého cieľom je vytvoriť súbor zákonov a pravidiel na určenie platnosti odôvodnenia. Preto sa uvažovanie považuje za platné, ak je možné dosiahnuť pravdivý záver z pravých priestorov.

Matematická logika sa tiež používa na vytvorenie platného odôvodnenia prostredníctvom iných úvah. Odôvodnenie môže byť deduktívne (záver je nevyhnutne získaný z pravdy priestorov) a induktívny (pravdepodobnostný).

Formálnu logiku možno rozdeliť do dvoch skupín: propozičná logika a predikátová logika.

Leibniz vidia mnohí ako myseľ, ktorá iniciovala koncepciu formálnej alebo matematickej logiky, ktorá rieši ústredné otázky matematiky. Avšak až po roku 1890, s Peanom, sa začala otázka konzistencie axiómov. Niektoré dôležité princípy formálnej logiky sa nachádzajú v Matematickej analýze logiky George Boole (autor Logic alebo Boolean algebra).

Propozičná logika

Logika výrokov je oblasťou logiky, ktorá skúma uvažovanie podľa vzťahov medzi vetami (výroky), minimálnymi jednotkami diskurzu, ktoré môžu byť pravdivé alebo nepravdivé.