Problémy klasické logiky: Porovnání verzí
Značka: editace z Vizuálního editoru |
m (Editace uživatele „Systémový čistič spamu“ (diskuse) vráceny do předchozího stavu, jehož autorem je „[[User:Veronika.Kovrzkova|Veronika.Kovrzko…) |
||
| (Není zobrazeno 7 mezilehlých verzí od 3 dalších uživatelů.) | |||
| Řádek 1: | Řádek 1: | ||
| + | Logiku lze přirovnat k mapě. Záleží na tom, co od ní očekáváme a podle toho zvolíme "měřítko". Zaměříme se na předmět našeho zájmu, jinde nemusíme jít tolik do hloubky, něco opomíjíme. Existují různé návrhy alternativních systémů, které se zabývají novými oblastmi, například naším poznáním, normami... Různé logické systémy nelze srovnávat, význam je dán příslušným axiomatickým systémem. | ||
| + | |||
| + | '''''Některé problémy, se kterými si klasická logika neví rady:''''' | ||
| + | * nereferující singulární termíny - klasická logika nepřipouští konstanty, které nemají realizaci (Paegas) | ||
| + | * přičítání existence - konstanty musí být nutně realizovány, takže připisování jim existence je tautologie - chceme dovolit mluvit i o posibiliích; substituční chápání kvantifikace - zůstáváme na úrovni vět, nejdeme do reality | ||
| + | * intenzionální kontexty - princip vzájemné nahraditelnosti salva veritate obecně neplatí | ||
| + | * propoziční postoje | ||
| + | * paradoxy - motivace k zavedení nových pravdivostních hodnot nebo jejich zrušení | ||
| + | * pravidlo, že ze sporu plyne cokoli | ||
| + | |||
| + | Uvažuje se o vytvoření speciální logiky pro '''evoluční teorie''', aby se dalo mluvit o nějakém živočišném druhu, protože nemůžeme o jednom individuu říct, že se z něčeho vyvinulo nebo vymírá apod. | ||
== Kontrafaktuální kondicionály == | == Kontrafaktuální kondicionály == | ||
| + | Česky se překládají asi jako nereálná podmínková souvětí. Jsou tvaru: Kdyby se něco stalo, pak by se stalo něco dalšího.<br/> | ||
| + | ''Například'': | ||
| + | * Kdybych upustila křídu, spadla by na zem. <math>p(k) \rightarrow s(k)</math> | ||
| + | * Kdybych upustila křídu, poletovala a zpívala by.<br/>Z pohledu materiální implikace: není-li splněn předpoklad, je implikace pravdivá. Obě výše uvedené věty jsou tedy pravdivé. Chtěli bychom ale umět vyjádřit, že první věta je intuitivně pravdivá a druhá nikoli. | ||
| + | ''Přírodní zákony'' jsou často formulovány pomocí kondicionálů. (''Archimédův zákon: Kdybychom ponořili těleso do kapaliny...'') Takové zákony by ale logika měla umět analyzovat. | ||
| + | |||
| + | == Dispoziční vlastnosti == | ||
| + | Takové vlastnosti, které se projeví až za nějakých okolností. Například cukr je rozpustný ve vodě - kdybychom jej dali do vody, rozpustil by se; papír je hořlavý - kdybychom papír dali do ohně, shořel by. Odlišné jsou '''kategorické vlastnosti''', které jsou trvalé, projevují se dispozičními vlastnostmi, které na nich mohou supervenovat. [[Aristotelés]] používá pojem '''potenciální vlastnosti'''. Někteří považují dispoziční vlastnosti pouze za '''projevy kategorických vlastností''', ''například Quine: molekulová struktura (nese hořlavost, křehkost, ...)''. Objevuje se i názor, že kategorické vlastnosti neexistují, protože je zachycujeme stejně pomocí dispozičního popisu. | ||
| + | |||
| + | Pojem je hodně diskutovaný a to i mimo pole logiky, takže je celkem velký problém, že jej logika není schopna technicky zpracovat. | ||
| + | |||
| + | === Možnosti řešení === | ||
| + | Jednou z možností je '''použití modalit možnosti a nutnosti a možných světů'''.<br/>Nabízí se způsob, jak toto řešit: Můžeme vzít nějaký možný svět a říct, že když v něm tato podmínka bude splněna a projeví se tato vlastnost, tak ji daný předmět má. Je-li však podmínka splněna, nějaký jiný aspekt může ovlivnit, že se nesplní závěr.<br/> | ||
| + | ''Například'': Namočená sirka nebude hořet, padající křídu někdo zachytí, nebo vůbec neplatí fyzikální zákony... | ||
| + | |||
| + | Neplatí, že když <math>A \rightarrow B</math>, pak i <math>A \wedge C \rightarrow B</math>. Takže bychom požadovali, aby ostatní podmínky zůstaly nezměněny. Pokoušet se o výčet všeho, co by svět měl a neměl splňovat je nemožné. | ||
| − | ==== | + | ==== Podobnost ==== |
| − | + | [[David Lewis]] a [[Hilbert Stalnaker]] řeší problém dispozičních vlastností pojmem podobnosti. Různé sféry podobnosti obsahují množiny světů, které jsou v nějaké míře podobné aktuálnímu světu. Takže testování provádíme ve světech, které jsou velmi podobné.<br/> | |
| − | + | ''Například'': Mějme tyčku délky 20 cm. Je nekonečně mnoho podobných světů, kde je ta délka trochu jiná (už jen u této, jednoduše měřitelné vlastnosti jich je nekonečně mnoho). Vezmeme ten nejpodobnější svět, ve kterém je splněna podmínka i závěr. | |
| − | + | Ale kdy je něco ještě podobné a kdy už ne? Jak poznáme, zda nějaká změna ovlivní výsledek testování? Z důvodu spojitost podobných světů nemůžeme určit, který je "nejpodobnější". | |
| − | == | + | === Stydlivý chameleon === |
| − | + | Chameleon zčervená, když ho někdo pozoruje, jinak je zelený. Chameleon je šikovný a vždy ví, když ho někdo pozoruje. Jakou má tedy barvu, když o samotě je zelený, ale my ho vidíme jen červeného? | |
| − | |||
| − | |||
| − | |||
| − | + | == Alternativní přístupy == | |
| − | + | === [[Intuicionistická logika]] === | |
| − | + | Pochází od [[L. E. J. Brouwer]]a, který vycházel z filosofických předpokladů navazujících na [[Immanuel Kant]]a. Můžeme zkoumat i formy našeho názoru v čase, dospíváme k nutným pravdám. Matematické objekty jsou objekty lidské mysli, nejde o jazykovou záležitost ani nejsou v oblasti idejí jako jsoucna. '''Konstruktivní důkaz''' je takový, ve kterém najdeme objekt, o kterém něco dokazujeme. Intuicionistická logika připouští i '''nekonstruktivní důkazy'''. | |
| + | === [[Fuzzy logika]] === | ||
| + | Nevystačí si jen se dvěma pravdivostními hodnotami, ale používá '''nekonečně mnoho pravdivostních hodnot''' v intervalu od 0 do 1. Tento přístup má široké uplatnění například v internetových vyhledávačích. | ||
| − | === | + | == Zdroje == |
| − | + | Tento článek vznikl na základě poznámek z přednášky [https://is.cuni.cz/studium/predmety/index.php?id=fca8801e0e3296b0da955061e92459fa&tid=&do=predmet&kod=ALG110016&skr=2014 Filosofie logiky]. | |
| − | + | Doporučenou literaturu k tomuto tématu naleznete [http://wikisofia.cz/index.php/Port%C3%A1l:Filosofie_logiky zde]. | |
| + | === Reference === | ||
| + | <references /> | ||
| + | === Související články === | ||
| + | [[Teorie možných světů]]<br/> | ||
| + | [http://wikisofia.cz/index.php/Port%C3%A1l:Analytick%C3%A1_filosofie Analytická filosofie]<br/> | ||
| − | + | [[Kategorie:Filosofie logiky]] | |
Aktuální verze z 13. 4. 2016, 16:01
Logiku lze přirovnat k mapě. Záleží na tom, co od ní očekáváme a podle toho zvolíme "měřítko". Zaměříme se na předmět našeho zájmu, jinde nemusíme jít tolik do hloubky, něco opomíjíme. Existují různé návrhy alternativních systémů, které se zabývají novými oblastmi, například naším poznáním, normami... Různé logické systémy nelze srovnávat, význam je dán příslušným axiomatickým systémem.
Některé problémy, se kterými si klasická logika neví rady:
- nereferující singulární termíny - klasická logika nepřipouští konstanty, které nemají realizaci (Paegas)
- přičítání existence - konstanty musí být nutně realizovány, takže připisování jim existence je tautologie - chceme dovolit mluvit i o posibiliích; substituční chápání kvantifikace - zůstáváme na úrovni vět, nejdeme do reality
- intenzionální kontexty - princip vzájemné nahraditelnosti salva veritate obecně neplatí
- propoziční postoje
- paradoxy - motivace k zavedení nových pravdivostních hodnot nebo jejich zrušení
- pravidlo, že ze sporu plyne cokoli
Uvažuje se o vytvoření speciální logiky pro evoluční teorie, aby se dalo mluvit o nějakém živočišném druhu, protože nemůžeme o jednom individuu říct, že se z něčeho vyvinulo nebo vymírá apod.
Obsah
Kontrafaktuální kondicionály
Česky se překládají asi jako nereálná podmínková souvětí. Jsou tvaru: Kdyby se něco stalo, pak by se stalo něco dalšího.
Například:
- Kdybych upustila křídu, spadla by na zem.
- Kdybych upustila křídu, poletovala a zpívala by.
Z pohledu materiální implikace: není-li splněn předpoklad, je implikace pravdivá. Obě výše uvedené věty jsou tedy pravdivé. Chtěli bychom ale umět vyjádřit, že první věta je intuitivně pravdivá a druhá nikoli.
Přírodní zákony jsou často formulovány pomocí kondicionálů. (Archimédův zákon: Kdybychom ponořili těleso do kapaliny...) Takové zákony by ale logika měla umět analyzovat.
Dispoziční vlastnosti
Takové vlastnosti, které se projeví až za nějakých okolností. Například cukr je rozpustný ve vodě - kdybychom jej dali do vody, rozpustil by se; papír je hořlavý - kdybychom papír dali do ohně, shořel by. Odlišné jsou kategorické vlastnosti, které jsou trvalé, projevují se dispozičními vlastnostmi, které na nich mohou supervenovat. Aristotelés používá pojem potenciální vlastnosti. Někteří považují dispoziční vlastnosti pouze za projevy kategorických vlastností, například Quine: molekulová struktura (nese hořlavost, křehkost, ...). Objevuje se i názor, že kategorické vlastnosti neexistují, protože je zachycujeme stejně pomocí dispozičního popisu.
Pojem je hodně diskutovaný a to i mimo pole logiky, takže je celkem velký problém, že jej logika není schopna technicky zpracovat.
Možnosti řešení
Jednou z možností je použití modalit možnosti a nutnosti a možných světů.
Nabízí se způsob, jak toto řešit: Můžeme vzít nějaký možný svět a říct, že když v něm tato podmínka bude splněna a projeví se tato vlastnost, tak ji daný předmět má. Je-li však podmínka splněna, nějaký jiný aspekt může ovlivnit, že se nesplní závěr.
Například: Namočená sirka nebude hořet, padající křídu někdo zachytí, nebo vůbec neplatí fyzikální zákony...
Neplatí, že když , pak i . Takže bychom požadovali, aby ostatní podmínky zůstaly nezměněny. Pokoušet se o výčet všeho, co by svět měl a neměl splňovat je nemožné.
Podobnost
David Lewis a Hilbert Stalnaker řeší problém dispozičních vlastností pojmem podobnosti. Různé sféry podobnosti obsahují množiny světů, které jsou v nějaké míře podobné aktuálnímu světu. Takže testování provádíme ve světech, které jsou velmi podobné.
Například: Mějme tyčku délky 20 cm. Je nekonečně mnoho podobných světů, kde je ta délka trochu jiná (už jen u této, jednoduše měřitelné vlastnosti jich je nekonečně mnoho). Vezmeme ten nejpodobnější svět, ve kterém je splněna podmínka i závěr.
Ale kdy je něco ještě podobné a kdy už ne? Jak poznáme, zda nějaká změna ovlivní výsledek testování? Z důvodu spojitost podobných světů nemůžeme určit, který je "nejpodobnější".
Stydlivý chameleon
Chameleon zčervená, když ho někdo pozoruje, jinak je zelený. Chameleon je šikovný a vždy ví, když ho někdo pozoruje. Jakou má tedy barvu, když o samotě je zelený, ale my ho vidíme jen červeného?
Alternativní přístupy
Intuicionistická logika
Pochází od L. E. J. Brouwera, který vycházel z filosofických předpokladů navazujících na Immanuel Kanta. Můžeme zkoumat i formy našeho názoru v čase, dospíváme k nutným pravdám. Matematické objekty jsou objekty lidské mysli, nejde o jazykovou záležitost ani nejsou v oblasti idejí jako jsoucna. Konstruktivní důkaz je takový, ve kterém najdeme objekt, o kterém něco dokazujeme. Intuicionistická logika připouští i nekonstruktivní důkazy.
Fuzzy logika
Nevystačí si jen se dvěma pravdivostními hodnotami, ale používá nekonečně mnoho pravdivostních hodnot v intervalu od 0 do 1. Tento přístup má široké uplatnění například v internetových vyhledávačích.
Zdroje
Tento článek vznikl na základě poznámek z přednášky Filosofie logiky. Doporučenou literaturu k tomuto tématu naleznete zde.
Reference
Související články
Text je dostupný pod licencí Creative Commons Uveďte autora 3.0 Česko při dodržení případných autorských práv a dalších podmínek
© 2013 ISSN: 2336-5897
