Ladislav Kvasz: Fregeho reforma logiky na pozadí Aristotelovy teorie sylogismů

10.4.2025 15:30

Meeting room (zasedačka) of the Institute of Philosophy, CAS, Jilská 1, Prague

Cílem přednášky bude předložit k diskusi novou interpretaci přechodu od Aristotelovy sylogistické logiky k Fregově matematické logice. Vycházím přitom z rekonstrukce jazyka logiky a ukážu jak Frege změnil struktury jako fenomenální redukce jazyka, jeho relační syntéza, ontologická redukce, skladební syntéza a deduktivní syntéza. Asi nejvýznamnější rozdíl mezi Aristotelovou a Fregeho logikou je, že Aristotelova logika neobsahuje ontologickou redukci a predikaci chápe jako spojení dvou pojmů pomocí spony (A je B). Naproti tomu Fregeho logika chápe predikaci jako vztah pojmu a objektu A(x) a tedy Aristotelův elementární výrok chápe jako výrok složený ze dvou výroků spojených implikací (A(x) ---> B(x)). Implikace, která byla u Aristotela skrytá v predikaci tak Frege osamostatňuje a dělá z ní základ skladební syntézy. Podobnými změnami prošli i zbylé čtyři struktury uvedené výše.