Deutsch English Français Italiano |
<v44pe7$3g17f$2@i2pn2.org> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail From: joes <noreply@example.com> Newsgroups: sci.logic,comp.theory Subject: Re: Truthmaker Maximalism and undecidable decision problems Date: Sun, 9 Jun 2024 17:40:24 -0000 (UTC) Organization: i2pn2 (i2pn.org) Message-ID: <v44pe7$3g17f$2@i2pn2.org> References: <v44i60$3jnc8$1@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Injection-Date: Sun, 9 Jun 2024 17:40:24 -0000 (UTC) Injection-Info: i2pn2.org; logging-data="3671279"; mail-complaints-to="usenet@i2pn2.org"; posting-account="nS1KMHaUuWOnF/ukOJzx6Ssd8y16q9UPs1GZ+I3D0CM"; User-Agent: Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2) X-Spam-Checker-Version: SpamAssassin 4.0.0 Bytes: 1482 Lines: 13 Am Sun, 09 Jun 2024 10:36:32 -0500 schrieb olcott: > When we ask the question: What is a truthmaker? The generic answer is > whatever makes an expression of language true <is> its truthmaker. This > entails that if there is nothing in the universe that makes expression X > true then X lacks a truthmaker and is untrue. What even is a truthmaker? > X may be untrue because X is false. In that case ~X has a truthmaker. > Now we have the means to unequivocally define truth-bearer. X is a > truth-bearer iff (if and only if) X or ~X has a truthmaker. What if both or none have a truthmaker? -- joes