Groups | Search | Server Info | Login | Register

Groups > sci.logic > #253698

Re: Erroneous conclusions from applying material conditionals?

Newsgroups sci.logic
Date 2023-05-29 03:03 -0700
References <1366dae7-673f-4315-98b1-ce4098000d7dn@googlegroups.com> <e2050cec-44a4-4f20-83f9-9f15ae2c6284n@googlegroups.com> <7e76e26f-d2a2-4d08-bf3e-c8616aafbb17n@googlegroups.com> <d6f79405-3d99-4a01-b273-9fd27714f9e1n@googlegroups.com>
Message-ID <329534ce-a2f3-4c92-99a5-1002523de16dn@googlegroups.com> (permalink)
Subject Re: Erroneous conclusions from applying material conditionals?
From Mild Shock <bursejan@gmail.com>

Show all headers | View raw

The Drinker Paradox is not such an example where 
a "constructive" way to go from premisse A to conclusion B
would be needed, since it doesn't deal with some "constructive"

doing. The generalized Drinker Paradox fails some other
tests of "fiction" in mathematics. Namely it fails the adequacy
of the premisses itself. A premisse:

Set(s)

Is not adequate for the Drinker Paradox, since there is no
U with s ⊆ U. If you write Set(s) as a premisse you postulate
that s comes from Cantors absolute infinite, which doesn't

contain some U such that s ⊆ U. But the drinkers are all from
the pub U. So premisse as follows is needed:

s ⊆ U

The fallacy of Dan Christensen is then exposed, in that
the conclusion is not anymore possible.

Mild Shock schrieb am Montag, 29. Mai 2023 um 11:58:35 UTC+2:
> The BHK interpretation is interesting, since it covers 
> the notion of proof in a new way different from material 
> implication. So to arrive from some premisses A 
> 
> to some conclusion B, to have (A => B) valid, it does 
> not draw on the truth table of material implication, but 
> wants a justification in a form of a function f: 
> 
> Justification of A => B, is a function f that sends 
> a proof of A to a proof of B. 
> 
> This is the key to constructive mathematics, in the 
> sense that we have a notion of function in going from 
> premisses to conclusions, and we can restrict these 
> 
> functions to be "constructive", like as the Greeks interpreted 
> constructive, Geometric constructions were constructive 
> when they used rule and compass a finite number of times. 
> 
> In as far its quite conceivable that the Banach Tarksi theorem 
> might fail, if the "constructive" function set doesn't cover 
> making 3 spheres out of 1 sphere. Although Banach Tarski 
> 
> tried everything to make it nevertheless that it is plausible 
> to have such a function, since they only use translation and 
> rotation, which usually preserves volume.
> Mild Shock schrieb am Montag, 29. Mai 2023 um 11:52:44 UTC+2: 
> > Material Implication when given as: (A => B) == (~A v B), 
> > can show that LEM is the same as I-Axiom, which is 
> > admissible in Łukasiewicz's third axiom systems: 
> > 
> > (A => A) = (~A v A) 
> > 
> > But interestingly under the BHK interpretation, intuitionstic 
> > logic can also do (A => A), its also a theorem in intuitionistic 
> > logic, although it rejects LEM. 
> > 
> > How is this possible. Well its possible since intuitionistic 
> > logic it is rejected (A => B) == (~A v B). In intuitionistic logic 
> > we have (A => B) =\= (~A v B). 
> > 
> > This is quite amazing that we nevertheless have 
> > (A => A) in intuitionistic logic, where the BHK interpretation 
> > would say the function that sends proofs of A to 
> > 
> > proofs of A is simply the identity function. 
> > Mild Shock schrieb am Sonntag, 28. Mai 2023 um 17:39:07 UTC+2: 
> > > The Generalized Drinker Paradox, like here: 
> > > 
> > > ALL(s):[Set(s) => EXIST(x):[x e s => Q(x,s)]] 
> > > http://www.dcproof.com/STGeneralizedDrinkersThm.htm 
> > > 
> > > Its shows that the material implication can be quite challenging. 
> > > Dan Christensen schrieb am Samstag, 27. Mai 2023 um 21:04:05 UTC+2: 
> > > > What erroneous conclusions might arise from applying material conditionals for logical propositions that are unambiguously either true or false in the present? (Hint: None?) 
> > > > 
> > > > Dan 
> > > > 
> > > > Download my DC Proof 2.0 freeware at http://www.dcproof.com 
> > > > Visit my Math Blog at http://www.dcproof.wordpress.com

Back to sci.logic | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-27 12:04 -0700
  Re: Erroneous conclusions from applying material conditionals? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-05-27 13:25 -0700
    Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-27 19:42 -0700
  Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-28 08:39 -0700
    Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-28 11:50 -0700
    Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-28 12:01 -0700
      Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-28 13:47 -0700
        Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-28 13:57 -0700
          Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-28 14:02 -0700
          Re: Erroneous conclusions from applying material conditionals? olcott <polcott2@gmail.com> - 2023-05-28 16:12 -0500
          Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-28 15:39 -0700
            Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-28 15:56 -0700
              Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-28 16:04 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-28 16:14 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-28 16:24 -0700
              Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-28 16:49 -0700
              Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-28 16:52 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <janburse@fastmail.fm> - 2023-05-29 02:25 +0200
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <janburse@fastmail.fm> - 2023-05-29 02:31 +0200
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <janburse@fastmail.fm> - 2023-05-29 02:45 +0200
                Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-28 17:59 -0700
                Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-28 17:46 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-28 17:51 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-28 18:01 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-28 18:07 -0700
                Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-28 18:12 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-28 18:15 -0700
                Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-28 18:17 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-28 18:23 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-28 18:28 -0700
                Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-28 18:46 -0700
                Re: Erroneous conclusions from applying material conditionals? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-05-28 21:51 -0700
                Re: Erroneous conclusions from applying material conditionals? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-05-28 22:14 -0700
                Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-28 22:33 -0700
                Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-28 22:36 -0700
                Re: Erroneous conclusions from applying material conditionals? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-05-29 09:01 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-29 09:27 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-29 09:32 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-29 09:35 -0700
                Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-29 10:03 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <janburse@fastmail.fm> - 2023-05-29 19:45 +0200
                Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-30 05:52 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-30 15:16 -0700
                Re: Erroneous conclusions from applying material conditionals? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-05-29 11:14 -0700
                Re: Erroneous conclusions from applying material conditionals? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-05-29 22:53 -0700
                Re: Erroneous conclusions from applying material conditionals? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-05-30 17:45 -0700
                Re: Erroneous conclusions from applying material conditionals? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-05-31 08:23 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-31 13:22 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-31 13:31 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-31 13:38 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-31 13:51 -0700
                Re: Erroneous conclusions from applying material conditionals? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-01 19:56 -0700
                Re: Erroneous conclusions from applying material conditionals? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-01 21:35 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-06-01 21:44 -0700
                Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-01 18:54 -0700
                Re: Erroneous conclusions from applying material conditionals? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-01 19:55 -0700
                Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-01 21:13 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-06-01 21:19 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-06-01 21:23 -0700
                Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-01 21:30 -0700
                Re: Erroneous conclusions from applying material conditionals? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-01 22:02 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-06-01 22:28 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-06-01 22:31 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-06-01 22:34 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-06-01 22:39 -0700
                Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-01 23:29 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-06-03 14:14 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-06-03 14:23 -0700
                Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-01 23:26 -0700
                Re: Erroneous conclusions from applying material conditionals? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-02 09:42 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-06-01 20:41 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-06-01 20:58 -0700
                Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-01 21:24 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-06-01 21:28 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-06-01 21:31 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-06-01 21:34 -0700
                Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-01 22:49 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-06-03 04:49 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-06-03 04:51 -0700
        Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-28 15:33 -0700
    Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-29 02:52 -0700
      Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-29 02:58 -0700
        Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-29 03:03 -0700
          Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-29 07:35 -0700
            Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-29 08:23 -0700
              Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-29 08:30 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-29 08:33 -0700
                Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-29 09:56 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <janburse@fastmail.fm> - 2023-05-29 19:56 +0200
                Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-29 11:40 -0700
                Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-29 11:43 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-29 13:32 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-29 13:38 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-29 13:59 -0700
                Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-29 15:19 -0700
                Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-29 15:21 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-29 17:37 -0700
                Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-29 19:00 -0700
  Re: Erroneous conclusions from applying material conditionals? Mild Shock <janburse@fastmail.fm> - 2023-06-02 09:41 +0200
    Re: Erroneous conclusions from applying material conditionals? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-02 09:42 -0700
      Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-06-02 11:00 -0700
        Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-06-02 11:14 -0700

csiph-web