Logika je oblast filozofie, jejímž cílem je studovat formální strukturu výroků (propozic) a jejich pravidel. Stručně řečeno, logika slouží ke správnému myšlení, a je tak nástrojem správného myšlení.
Logika pochází z řeckého slova loga, což znamená rozum, argument nebo řeč. Myšlenka mluvit a argumentovat předpokládá, že to, co se říká, má pro posluchače význam.
Tento smysl je založen na logické struktuře, když něco „má logiku“ znamená, že to má smysl, je to racionální argument.
Logika ve filozofii
Byl to řecký filozof Aristoteles (384 a. C.-322 a. C.) který vytvořil studii logiky, nazval ji analytickou.
Pro něj by jakékoli poznání, které se vydává za pravdivé a univerzální poznání, mělo respektovat některé principy, logické principy.
Logiku (nebo analytiku) jsme začali chápat jako nástroj správného myšlení a definice logických prvků, které jsou základem skutečného poznání.
Logické principy
Aristoteles se vyvinul tři základní principy které vedou klasickou logiku.
1. princip identity
Bytost je vždy totožná sama se sebou: THE é THE. Pokud vyměníme THE například pro Marii to je: Maria je Maria.
2. Zásada neodporování
Je nemožné být a nebýt současně, nebo aby jedna entita byla také jejím opakem. to je nemožné THE být THE a ne-A, ve stejnou dobu. Nebo podle předchozího příkladu: je nemožné, aby Marie byla Marií a nebyla Marií.
3. Zásada vyloučené třetí strany nebo vyloučené třetí strany
V propozicích (předmět a predikát) existují pouze dvě možnosti, buď kladná nebo záporná: THE é X nebo THE é ne-x. Maria je učitelka nebo Maria není učitelka. Třetí možnost neexistuje.
Podívejte se také:Aristotelská logika.
Návrh
V argumentu, co se říká a má formu subjektu, slovesa a predikátu, se říká propozice. Návrhy jsou prohlášení, potvrzení nebo zamítnutí a jejich platnost nebo falešnost je logicky analyzována.
Z analýzy výroků se studium logiky stává nástrojem správného myšlení. Správné myšlení vyžaduje (logické) zásady, které zaručují jeho platnost a pravdivost.
Vše, co je řečeno v hádce, je zakončením mentálního procesu (myšlenky), který hodnotí a posuzuje některé možné existující vztahy.
Sylogismus
Z těchto principů máme deduktivní logické uvažování, to znamená ze dvou předchozích jistot (předpokladů) dochází k novému závěru, na který se v prostorách přímo neodkazuje. Tomu se říká sylogismus.
Příklad:
Každý člověk je smrtelný. (předpoklad 1)
Socrates je muž. (předpoklad 2)
Sokrates je proto smrtelný. (závěr)
Toto je základní struktura úsudku a základ logiky.
Tři termíny sylogismu lze klasifikovat podle jejich množství (univerzální, konkrétní nebo singulární) a jejich kvality (kladné nebo záporné)
Kvalita nabídek se může lišit v těchto oblastech:
- Potvrzení: S je P. Každý člověk je smrtelný, Mary je dělnice.
- Negativy: S není P.Socrates není Egypťan.
Mohou se také lišit v množství v:
- Univerzálie: Každé S je P.všichni muži jsou smrtelní.
- Soukromé: Některé S je P. Někteří muži jsou Řekové.
- Jednotlivci: Toto S je P.Socrates je Řek.
To je základ aristotelské logiky a jejích odvozenin.
Podívejte se taky: Co je sylogismus?
Formální logika
Ve formální logice, nazývané také symbolická logika, se návrhy omezují na dobře definované pojmy. Tímto způsobem není řečeno to nejdůležitější, ale jeho forma.
Logická forma výroků je zpracována prostřednictvím (symbolického) vyjádření výroků písmeny: P, coa r. Bude také zkoumat vztahy mezi propozicemi prostřednictvím jejich logických operátorů: spojky, disjunkce a klimatizace.
výroková logika
Tímto způsobem lze na propozicích pracovat různými způsoby a sloužit jako základ pro formální ověření prohlášení.
Logické operátory vytvářejí vztahy mezi propozicemi a umožňují logické zřetězení jejich struktur. Nějaké příklady:
Odmítnutí
Jedná se o opak pojmu nebo výroku, který je reprezentován symbolem ~ nebo ¬ (negace P je ~ p nebo ¬ P). V tabulce máme pro p true ~ p false. (je slunečno = P, není slunečno = ~ P nebo ¬ P).
Spojení
Jedná se o spojení mezi propozicemi, symbol ∧ představuje slovo „a“ (dnes je slunečno a Jdu na pláž, P ∧ co). Aby byla spojka pravdivá, musí být pravdivé obě.
Disjunkce
Jedná se o oddělení mezi propozicemi, symbol v představuje „nebo" (Jdu na pláž nebo Zůstat doma, P proti co). Pro platnost alespoň jeden (nebo jiný) musí být pravda.
Podmiňovací způsob
Jedná se o stanovení kauzálního vztahu nebo podmíněnosti, symbol ⇒ představuje „li... pak..." (-li pršet, pak Zůstanu doma, P ⇒ co).
bi-podmíněné
Jedná se o vytvoření obousměrného podmíněného vztahu, existuje dvojitá implikace, symbol ⇔ představuje „pokud, a pouze pokud,". (Chodím do třídy, jen když nejsem na dovolené, P ⇔ co).
Pokud použijeme tabulku pravdivosti, máme:
| P | co | ~ str | ~ co | P ∧ co | P proti co | P ⇒ co | P ⇔ co |
|---|---|---|---|---|---|---|---|
| PROTI | PROTI | F | F | PROTI | PROTI | PROTI | PROTI |
| PROTI | F | F | PROTI | F | PROTI | F | F |
| F | PROTI | PROTI | F | F | PROTI | PROTI | F |
| F | F | PROTI | PROTI | F | F | PROTI | PROTI |
Písmena F a V lze nahradit nulou a jednou. Tento formát je široce používán ve výpočetní logice (F = 0 a V = 1).
Podívejte se taky: Pravdivá tabulka.
Jiné typy logiky
Existuje několik dalších typů logiky. Tyto typy jsou obecně odvozením klasické formální logiky, představují kritiku tradičního modelu nebo nový přístup k řešení problémů. Některé příklady jsou:
1. Matematická logika
Matematická logika je odvozena z aristotelovské formální logiky a vyvíjí se z jejích hodnotových vztahů výroků.
V 19. století byli matematici George Boole (1825-1864) a Augustus De Morgan (1806-1871) zodpovědný za přizpůsobení aristotelovských principů matematice, čímž vznikl nový Věda.
V něm jsou možnosti pravdy a lži hodnoceny prostřednictvím jejich logické formy. Věty jsou transformovány do matematických prvků a analyzovány na základě jejich vztahů mezi logickými hodnotami.
Podívejte se taky: Matematická logika.
2. Výpočetní logika
Výpočtová logika je odvozena z matematické logiky, ale jde nad rámec toho a je aplikována na počítačové programování. Bez ní by bylo nemožné dosáhnout několika technologických pokroků, například umělé inteligence.
Tento typ logiky analyzuje vztahy mezi hodnotami a transformuje je do algoritmů. K tomu také používá logické modely, které jsou v rozporu s modelem původně navrženým Aristotelem.
Tyto algoritmy jsou odpovědné za řadu možností, od kódování a dekódování zpráv až po úkoly, jako je rozpoznávání obličeje nebo možnost autonomních automobilů.
Celý vztah, který člověk má s počítači, dnes prochází tímto druhem logiky. Spojuje základy tradiční aristotelovské logiky s prvky tzv. Neklasické logiky.
3. Neklasická logika
Podle neklasické nebo antiklasické logiky se rozpoznává řada logických postupů, které opouštějí jeden nebo více principů vyvinutých tradiční (klasickou) logikou.
Například fuzzy logika (nejasný), široce používaný pro vývoj umělé inteligence, nepoužívá třetí zásadu vyloučení. Předpokládá jakoukoli skutečnou hodnotu mezi 0 (false) a 1 (true).
Příklady neklasických logik jsou:
- Logika fuzzy;
- Logika intuice;
- Parakonzistentní logika;
- Modální logika.
Zajímavosti
Dlouho před jakýmkoli druhem výpočetní logiky sloužila logika jako základ všech existujících věd. Někteří přinášejí tuto úvahu vyjádřenou vlastním jménem pomocí přípony „logy", řeckého původu.
Biologie, sociologie a psychologie jsou příklady, které vytvářejí jejich vztah s EU loga Řek, chápáno z myšlenky logické a systematické studie.
Taxonomie, klasifikace živých bytostí (království, kmen, třída, řád, rodina, rod a druh), i dnes, následuje logický model klasifikace do kategorií navržených Aristotelem.
Podívejte se také:
- Logické uvažování - cvičení
- Filosofická cvičení
