Deutsch English Français Italiano |
<v7rohj$9t9k$2@solani.org> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!3.eu.feeder.erje.net!feeder.erje.net!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail From: Mild Shock <janburse@fastmail.fm> Newsgroups: sci.logic Subject: Truth Bearer or Truth Maker Date: Wed, 24 Jul 2024 22:34:59 +0200 Message-ID: <v7rohj$9t9k$2@solani.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Wed, 24 Jul 2024 20:34:59 -0000 (UTC) Injection-Info: solani.org; logging-data="324916"; mail-complaints-to="abuse@news.solani.org" User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101 Firefox/91.0 SeaMonkey/2.53.18.2 Cancel-Lock: sha1:ilX+r6XwowendwfhA+0QA7F7T7o= X-Mozilla-News-Host: news://news.solani.org:119 X-User-ID: eJwNwoERACEIA7CVCtjyjMOh7j+CfwlDpsklavH+uqfa4JbpX6FrTMRcZs5hlmp3cByhCjb3cZyAtgOM9QA0bhQ2 Bytes: 1865 Lines: 31 But truth bearer has another meaning. The more correct terminology is anyway truth maker, you have to shift away the focus from the formula and think it is a truth bearer, this is anyway wrong, since you have two additional parameters your "True" and your language "L". So all that we see here in expression such as: [~] True(L, [~] A) Is truth making, and not truth bearing. In recent years truth making has received some attention, there are interesting papers concerning truth makers. And it has even a SEP article: Truthmakers https://plato.stanford.edu/entries/truthmakers/ A world of truthmakers? https://philipp.philosophie.ch/handouts/2005-5-5-truthmakers.pdf olcott schrieb: > The key difference is that we no long use the misnomer > "undecidable" sentence and instead call it for what it > really is an expression that is not a truth bearer, or > proposition in L.