Totuusarvo

Totuusarvo on kaksiarvoisessa logiikassa formaalikielen lauseen ominaisuus, joko "tosi" tai "epätosi"; totuusarvoja merkitään usein myös "t" ja "e" tai "1" ja "0". Moniarvologiikoissa totuusarvoja voi olla kolme tai useampia.

Logiikassa on tutkittu myös kieliä, yleensä kaksiarvoisia, joiden joiltakin lauseilta puuttuu totuusarvo. Tämä ilmiö on ollut kiinnostuksen kohteena erityisesti filosofisessa logiikassa. Ehkä ääritapauksena voidaan mainita loogiset positivistit, joista useat sovelsivat formaalia logiikkaa siten, että totuusarvottomien lauseiden nähtiin edustavan niitä mielettömiä, epätieteellisiä metafysiikan väitteitä, joita he eivät voineet hyväksyä. Toisaalta esimerkiksi Michael Dummett on kielifilosofian, metafysiikan ja filosofisen logiikan alaan kuuluvissa tutkimuksissaan samastanut totuusarvottomat lauseet mielekkäisiin, mutta todentamismahdollisuuksiemme ulkopuolelle jääviin väittämiin, joista esimerkkinä keskellä kaukaista aavikkoa väitetty "tähän ei koskaan rakenneta kaupunkia". Vastaavanlaisia filosofisia näkemyksiä on esitetty esimerkiksi etiikan väittämien luonteesta.

Katso myös

Luokka:Logiikka

The actual descriptive text portion of the article above (and its Contents menu) are licensed under the GNU Free Documentation License then in effect published by the Free Software Foundation. The text article uses material from http://fi.wikipedia.org/wiki/Totuusarvo (retrieval date: 2007-05-25) and is provided "as-is" and without warranty. Permission is granted to copy, distribute and/or modify only the actual descriptive text portion of the article above (and its Contents Box) under the GNU Free Documentation License. A copy of the license is available at: http://en.wikipedia.org/wiki/Wikipedia:Text_of_the_GNU_Free_Documentation_License. Any advertisements (or active links not embedded in the actual article) and the layout or selection thereof are excluded from such license.
(c) Ovidio Limited 2006-2009.

This website may utlize cookies and web beacons to help improve user experience and to collect aggregate usage data; we do not collect or otherwise use any personally identifiable information. Additionally, third parties may utilize cookies and web beacons in the course of serving ads on this website. Consult your web browser documentation for information about managing web cookies.