Mikä on tämä filosofinen laskelma?

Tuskin tuo on mikään laskukaava, pikemminkin jokin looginen relaatio. Itse muistan että kysyttiin, miten todistetaan, että kaikki korpit ovat mustia. No sen voi todistaa etsimällä kaikki korpit ja toteamalla, että ne ovat mustia. Tai sitten etsimällä kaikki ei-mustat ja toteamalla, että mikään niistä ei ole korppi. Tässä tapauksessa ensimmäinen vaihtoehto olisi käytännöllisempi mutta joissain toisissa tapauksissa jälkimmäinen. Matemaattisina relaatioina: K -> M on yhtäpitävää C(M) -> C(K) kanssa.

Onhan noita hyviä laskentamenetelmiä. Esimerkiksi sellainen, jolla todistetaan, että hevosella on ääretön määrä jalkoja.
Suosittelen googlen käyttöä.

Syllogismi?

Kts: Wiki

"...onko juku väittämä, kuten "kissa on eläin", tosi vai epätosi"

Itse muistelen lukion matematiikasta, että kun tehdään totuustaulukko, yksittäisen lauseen totuusarvo voi olla siellä joko tosi tai epätosi. Nykytiedon valossa on siis mahdotonta sanoa, onko yksittäinen lause (esimerkiksi "kissa on eläin") tosi vai epätosi. Sen sijaan voidaan tutkia, onko jokin päättelyketju tehty oikein (ns. tautologia). Esimerkki: Modus ponens on tautologia:

[p ja (p => q)] => q

Tässä esimerkissä lauseet p ja q (olivatpa ne mitä tahansa, voivat olla tosia tai epätosia, sitä ei tiedetä), mutta päättely [p ja (p => q)] => q on tehty aukottomasti.

Lukion pitkää matikkaa lukeneena muistelen, että kissa on eläin.
Kiitos kysymyksestä!