[BRTM]

Jak to jest z implikacją, bo na przykład wnioskowanie, że Jeżeli stolicą Francji jest Paryż, to stolicą Polski jest Warszawa" wydaje mi się nieco kontrowersyjne, a jest chyba poprawne logiznie.

#filozofia

[T.....a]

@BRTM: Implikacja materialna nie jest dobrym odpowiednikiem zdania warunkowego znanego z języka codziennego (co powoduje, że niektórzy postulują pewne zmiany). Zatem w zdaniu 'Jeżeli stolicą Francji jest Paryż, to stolicą Polski jest Warszawa' poprzednik nie jest warunkiem prawdziwości następnika.

[Tom_Ja]

@BRTM: Język logiki klasycznej jest uboższy od języka naturalnego, jest jego pewnym przybliżeniem. Nazywa się to własność ekstensjonalności, czyli abstrahowanie od wewnętrznych treści zdań składowych przy ocenie prawdziwości zdań złożonych, co brzmi dziwnie - zwłaszcza przy implikacji.
Zdanie jest formalnie poprawnie zbudowane i prawdziwe, choć - potocznie - bezsensowne.

[T.....a]

@Tom_Ja: Trochę późno, ale w tym przykładzie ekstensjonalność nie ma nic do rzeczy, bowiem zdania składowe podanej implikacji i tak są zdaniami ekstensjonalnymi.