http://sange.fi/~atehwa/cgi-bin/piki.cgi/ Recent changes in logiikka, kieli ja maailma http://sange.fi/~atehwa/cgi-bin/piki.cgi/logiikka%2C%20kieli%20ja%20maailma http://sange.fi/~atehwa/cgi-bin/piki.cgi/#1311314634 <p>[...] <p>Erilaiset totuuslogiikat ovat syntyneet siitä, että ihmisillä on ollut erilaisia intuitioita, minkälaiset päättelyt ovat kielellisiä <del>välttämättömyyksiä.</del> <ins>välttämättömyyksiä (katso [logiikka]).</ins> Klassinen PL ja FOL saavat alkunsa mallista, jossa jokainen (mielekäs) ilmaus on joko tosi tai epätosi. <p>[...] Fri, 22 Jul 2011 06:03:54 +0000