20-WCP: Modus ponens, lambda, Modus Tollensin, ja Kaltaiseksi
I. Johdanto Ehdollinen tuomio on herättänyt keskittynyt huomiota filosofien, vaikka ajoittainen, antiikin ajoista lähtien. Tyypillisesti niillä on päälauseke ja ainakin yksi if-lauseke (kuten ”Jos A, niin B). Joskus sanomme, että se on edeltänyt if-lauseketta ja siitä johtuvaa päälauseketta. Tavallisessa kielenkäytössä ja päivittäisessä käytännössä ehdollinen lauseke voidaan muodostaa muulla sidekielisellä sanamuodolla kuin” jos/sitten”, eikä se saa alkaa if-lausekkeella., Ehtoihin liittyvillä kertomuksilla näyttää olevan myös tiukat suhteet olettamuksiin päättelystä, päättelystä, syy-yhteydestä, fyysisestä olemassaolosta, totuudesta ja pätevyydestä. Modus ponens, lambda (MP) ja Modus…