Logika

Co je logika:

Logika je ženské jméno pocházející z řeckého výrazu logiké, vztahující se k logům, rozumu, slovu nebo řeči, což znamená vědu o uvažování .

V obrazovém smyslu je slovní logika spojena se specifickým způsobem správného uvažování . Například: To nikdy nebude fungovat! Váš plán nemá žádnou logiku!

Problémy nebo logické hry jsou aktivity, kdy jednotlivec musí k řešení problému použít logické uvažování .

Aristoteliánská logika

Podle Aristotela má logika za cíl studovat myšlenku, stejně jako zákony a pravidla, která ji ovládají, takže tato myšlenka je správná. Pro řeckého filozofa, základní prvky logiky jsou pojetí, úsudek a uvažování . Logické zákony odpovídají souvislostem a vztahům, které mezi těmito prvky existují.

Někteří následovníci Aristotle byli zodpovědní za základy středověké logiky, který trval do třináctého století. Středověcí myslitelé jako Galenus, Porphyry a Alexandr Aphrodysia klasifikovali logiku jako vědu o správném posuzování, což umožňuje dosáhnout správných a formálně platných úvah.

Logika programování

Logika programování je jazyk používaný k vytvoření počítačového programu. Logika programování je nezbytná pro vývoj programů a počítačových systémů, protože definuje logický odkaz na tento vývoj. Kroky pro tento vývoj jsou známy jako algoritmus, který sestává z logického sledu instrukcí pro vykonanou funkci.

Argumentace logiky

Logika argumentace nám umožňuje ověřit platnost nebo zda je prohlášení pravdivé nebo ne. Není to s relativními nebo subjektivními koncepty, jedná se o konkrétní návrhy, jejichž platnost lze ověřit. V tomto případě se logika snaží vyhodnotit formu propozic a nikoli obsah. Sylogismy (skládající se ze dvou prostorů a závěru) jsou příkladem logiky argumentace. Například:

Fubá je pes.

Všichni psi jsou savci.

Fubá je tedy savec.

Matematická logika

Matematická logika (nebo formální logika) studuje logiku podle její struktury nebo formy. Matematická logika se skládá z deduktivního systému prohlášení, jehož cílem je vytvořit soubor zákonů a pravidel pro určení platnosti uvažování. Proto se uvažování považuje za platné, pokud je možné dosáhnout skutečného závěru ze skutečných prostor.

Matematická logika se také používá k vytvoření platného uvažování prostřednictvím jiných úvah. Úvaha může být deduktivní (závěr je nutně získán z pravdy prostor) a induktivní (pravděpodobnostní).

Formální logiku lze rozdělit do dvou skupin: výroková logika a predikátová logika.

Leibniz je viděn mnoho jako mysl, která iniciovala pojetí formální nebo matematické logiky, který osloví centrální záležitosti matematiky. Nicméně, to bylo teprve po 1890, s Peano, že otázka konzistence axioms začala. Některé důležité principy formální logiky jsou nalezené v Matematická analýza logiky George Boole (autor Logic nebo Boolean algebra).

Propoziční logika

Propoziční logika je oblast logiky, která zkoumá úvahy podle vztahů mezi větami (výroky), minimálními jednotkami diskurzu, které mohou být pravdivé nebo nepravdivé.