## Search found 844 matches

- Fri Sep 06, 2019 2:05 am
- Forum: Logic and Philosophy of Mathematics
- Topic: A Logical System with No Contradictions or Fallacies
- Replies:
**3** - Views:
**135**

### Re: A Logical System with No Contradictions or Fallacies

Does it have phalluses?

- Thu Sep 05, 2019 5:26 pm
- Forum: Logic and Philosophy of Mathematics
- Topic: Correcting the definition of VALID inference
- Replies:
**30** - Views:
**755**

### Re: Correcting the definition of VALID inference

Isn't that just logical AND?

So that if it's raining AND it's Tuesday you'd say that rain implies Tuesday?

So that if it's raining AND it's Tuesday you'd say that rain implies Tuesday?

- Wed Aug 28, 2019 7:30 am
- Forum: Logic and Philosophy of Mathematics
- Topic: Assumptive Logic
- Replies:
**134** - Views:
**1971**

### Re: Assumptive Logic

This is because mathematics is a sub set of logic and so therefore needs logic in order to justify all of its axioms I haven't followed this thread but this sentence caught my eye. Didn't Gödel definitively prove that math isn't a subset of logic? Math transcends logic. Gödel's work destroyed the h...

- Mon Aug 26, 2019 7:30 am
- Forum: Logic and Philosophy of Mathematics
- Topic: Assumptive Logic
- Replies:
**134** - Views:
**1971**

- Sat Aug 24, 2019 9:22 pm
- Forum: Logic and Philosophy of Mathematics
- Topic: P Vs. NP Presented Solution
- Replies:
**2** - Views:
**161**

- Sat Aug 24, 2019 12:26 am
- Forum: Logic and Philosophy of Mathematics
- Topic: Conceptual Truth can be understood as math
- Replies:
**334** - Views:
**4749**

### Re: Truth can be understood as math

20 years on that meaningless word salad. It's funny or sad, pathetic or horrifying.PeteOlcott wrote: ↑Fri Aug 23, 2019 10:16 pmConceptual truth is a set of stipulated relations between meanings mutually defining

each other semantically comprising the body of conceptual knowledge.

- Sun Aug 18, 2019 10:05 pm
- Forum: Logic and Philosophy of Mathematics
- Topic: Does anyone here actually understand formal proofs of mathematical logic?
- Replies:
**134** - Views:
**3471**

### Re: Does anyone here actually understand formal proofs of mathematical logic?

Yes, I am aware of it. It's part of model theory. I am arguing ultrafinitism. As usual. Was not aware that's your usual viewpoint. I'm a big fan of the work of the late Ed Nelson, the most prominent serious ultrafinitist. But arguing against the use of the infinity symbol in the extended real numbe...

- Sun Aug 18, 2019 9:56 pm
- Forum: Logic and Philosophy of Mathematics
- Topic: Does anyone here actually understand formal proofs of mathematical logic?
- Replies:
**134** - Views:
**3471**

### Re: Does anyone here actually understand formal proofs of mathematical logic?

What does that mean? You a Cantor denier? I mean that whereof one cannot speak, one must remain silent. We can't speak of one infinity being greater than another infinity without committing conceptual and symbolic equivocation. ∞ + 1 = ∞ (True) ∞ + 1 - ∞ = ∞ - ∞ (Undefined) ∞ + 2 = ∞ (True) ∞ + 1 >...

- Sun Aug 18, 2019 9:37 pm
- Forum: Logic and Philosophy of Mathematics
- Topic: Does anyone here actually understand formal proofs of mathematical logic?
- Replies:
**134** - Views:
**3471**

- Sat Aug 17, 2019 6:59 am
- Forum: Logic and Philosophy of Mathematics
- Topic: Conceptual Truth can be understood as math
- Replies:
**334** - Views:
**4749**

### Re: Truth can be understood as math

Pete's losing it.PeteOlcott wrote: ↑Sat Aug 17, 2019 6:41 am

It is a correct refutation of [you are a clueless wonder that does not know jack shit].

- Sat Aug 17, 2019 2:33 am
- Forum: Logic and Philosophy of Mathematics
- Topic: Conceptual Truth can be understood as math
- Replies:
**334** - Views:
**4749**

### Re: Truth can be understood as math

Like I said, C++ is expressive enough to create a fully functional human mind. Could not possibly, since programs do syntax, not meaning. I am 64 and have two software engineering patents: https://patents.justia.com/inventor/peter-l-olcott Of what relevance are those two facts? You could be 90 with...

- Thu Aug 15, 2019 10:53 pm
- Forum: Logic and Philosophy of Mathematics
- Topic: Conceptual Truth can be understood as math
- Replies:
**334** - Views:
**4749**

### Re: Truth can be understood as math

My power is unlimited.

- Tue Aug 13, 2019 9:03 pm
- Forum: Logic and Philosophy of Mathematics
- Topic: Conceptual Truth can be understood as math
- Replies:
**334** - Views:
**4749**

- Sat Aug 10, 2019 5:26 am
- Forum: Logic and Philosophy of Mathematics
- Topic: Simplest possible notion of a formal system
- Replies:
**69** - Views:
**1306**

### Re: Simplest possible notion of a formal system

It seems that you are intentionally playing head games and are not interested in any honest dialogue. That's entirely up to you. I prefer a lighthearted and give-and-take kind of interaction, and a degree of self-awareness on each person's part. You initially wrote that your system was all about ma...

- Fri Aug 09, 2019 8:51 pm
- Forum: Logic and Philosophy of Mathematics
- Topic: Simplest possible notion of a formal system
- Replies:
**69** - Views:
**1306**

### Re: Simplest possible notion of a formal system

First of all the body of conceptual knowledge contains everything that anyone could ever say about anything in any language what-so-ever. Once you understand this, then (AND ONLY THEN) do we move to further elaborate that a tiny subset of this is everything that anyone could ever say about mathemat...