Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V34 (Logical implication ERROR)

From	Ben Bacarisse <ben.usenet@bsb.me.uk>
Newsgroups	comp.theory, sci.lang.semantics
Subject	Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V34 (Logical implication ERROR)
Followup-To	comp.theory
Date	2020-07-25 00:34 +0100
Organization	A noiseless patient Spider
Message-ID	<87imecjxm4.fsf@bsb.me.uk> (permalink)
References	<lO-dnTkq-vOt_YbCnZ2dnUU7-aHNnZ2d@giganews.com> <87sgdgr0nj.fsf@nosuchdomain.example.com> <2Y6dnX93V_vr-obCnZ2dnUU7-VnNnZ2d@giganews.com>

Cross-posted to 2 groups.

Followups directed to: comp.theory

Show all headers | View raw

olcott <NoOne@NoWhere.com> writes:

> Then "p ⇒ q" is a fricking God damned liar thus proving that symbolic
> logic is broken.

This again.

p ⇒ q means ¬p ∨ q.  If you forget the arrow and the word "implies" and
just write ¬p ∨ q instead, you won't get upset.  You can't get rid of it
because ¬p ∨ q is just one of the 16 ways in which truth values can be
combined.  If it does not express what you want, that's because you
picked the wrong connective to express the relationship.

-- 
Ben.

Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

Simply defining Gödel Incompleteness and Tarski Undefinability away V34 (Logical implication ERROR) olcott <NoOne@NoWhere.com> - 2020-07-24 17:26 -0500
  Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V34 (Logical implication ERROR) David Kleinecke <dkleinecke@gmail.com> - 2020-07-24 15:45 -0700
    Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V34 (Logical implication ERROR) olcott <NoOne@NoWhere.com> - 2020-07-24 17:53 -0500
      Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V34 (Logical implication ERROR) Kaz Kylheku <793-849-0957@kylheku.com> - 2020-07-24 23:55 +0000
  Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V34 (Logical implication ERROR) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-24 15:47 -0700
    Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V34 (Logical implication ERROR) olcott <NoOne@NoWhere.com> - 2020-07-24 17:57 -0500
      Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V34 (Logical implication ERROR) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-24 16:19 -0700
        Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V34 (Logical implication ERROR) olcott <NoOne@NoWhere.com> - 2020-07-24 19:20 -0500
          Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V34 (Logical implication ERROR) Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2020-07-24 18:29 -0700
            Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V34 (Logical implication ERROR) olcott <NoOne@NoWhere.com> - 2020-07-25 23:14 -0500
              Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V34 (Logical implication ERROR) André G. Isaak <agisaak@gm.invalid> - 2020-07-25 23:13 -0600
      Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V34 (Logical implication ERROR) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-25 00:34 +0100
        Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V34 (Logical implication ERROR) olcott <NoOne@NoWhere.com> - 2020-07-24 19:51 -0500
          Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V34 (Logical implication ERROR) André G. Isaak <agisaak@gm.invalid> - 2020-07-24 19:29 -0600
            Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V34 (Logical implication ERROR) olcott <NoOne@NoWhere.com> - 2020-07-25 23:04 -0500
              Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V34 (Logical implication ERROR) André G. Isaak <agisaak@gm.invalid> - 2020-07-25 23:05 -0600
          Re: Simply defining Gödel Incompleteness and Tarski Undefinability away V34 (Logical implication ERROR) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-07-25 02:39 +0100

csiph-web