Hei, eräs kaverini joka opiskeli lukiossa pitkäämatematiikkaa kertoi aikoinaan sellaisesta yhestä laskukaavasta joilla voidaan laske onko juku väittämä, kuten "kissa on eläin", tosi vai epätosi. En muista mistä laskusta on kyse, mutta voisiko juku lukion pitkää matematiikkaa opiskeleva muistaa mistä laskusta on kyse ja kertoa kaavan?
Mikä on tämä filosofinen laskelma?
KaavaHukassa
7111
0Äänestä
Muut lukivat myös
Odottaa vastausta
Näihin keskusteluihin ei ole vielä vastattu. Ole ensimmäinen.
Vastaukset 7
Vanhimmat
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ä!
Minä taas opin sen jo kansakoulun eläinopin tunnilla.
Mistä tiedät että kissa on eläin, jos et ole tutkinut ja varmistanut asiaa?