Problémy klasické logiky: Porovnání verzí

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 5 mezilehlých verzí od 2 dalších uživatelů.)
Řádek 11: Řádek 11:
 
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.
 
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>
+
Č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.
 
* 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.
 
''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 ==
 
== 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'''. 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.
+
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í ===
 
=== 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/>
+
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...
 
''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é.
 
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 ====
 
==== Podobnost ====
Řádek 32: Řádek 34:
 
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ší".
 
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ší".
  
Někteří považují dispoziční vl. pouze za projevy nějakých '''kategorických vl.''' - např. '''Quine : molekulová struktura''' (nese tu hořlavost, křehkost, ...)
+
=== Stydlivý chameleon ===
* '''-námitky:'''
+
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?
** neexistuje nic jako kategorické vl., všechny vl. se projeví jen za nějakých podmínek... nelze říct že dispoziční vlastnosti supervenují na těch kategorických. Je to především závislé na fyzikálních zákonech toho světa.
+
 
 +
== 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/>
  
=== Myšlenkové experimenty (týkající se problematiky disp.vl.) ===
+
[[Kategorie:Filosofie logiky]]
# '''Martin''': "Přístroj měřící zda''' je vodič pod proudem'''"
 

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.

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

Teorie možných světů
Analytická filosofie