Filter
Matematikens grunder
Filter
Johdatus modaalilogiikkaan tutkii modaalikäsitteiden filosofisia ja matemaattis-loogisia ongelmia. Sen käsitteellisenä lähtökohtana on mahdollisten maailmojen semantiikka. …
Mitkä ovat yleisesti hyväksytyt loogisen päättelyn periaatteet? Mitkä ovat menetelmät, joilla oikea päättely voidaan erottaa väärästä? Miksi jokin väite seuraa hyväksytyistä …
Maineikas loogikko Raymond Smullyan rakentaa tuttujen ja uusien ongelmien varaan loogisen labyrintin. Nämä hauskat ja toisinaan todella haastavat ongelmat tunkeutuvat logiikan ja …