Logic and Philosophy of Mathematics

Moderators: AMod, iMod

New Topic

598 topics

Page 7 of 12
- Jump to page:
Previous
1
…
5
6
7
8
9
…
12
Next

Topics

Replies

Views

Last post

Does Deduction Necessitate Approximation and Vagueness?

Last post by Eodnhoj7 « Wed Sep 04, 2019 4:15 am
Replies: 5
by Eodnhoj7 » Thu Aug 29, 2019 9:46 pm

5 Replies

2031 Views

Last post by Eodnhoj7
Wed Sep 04, 2019 4:15 am
The Assumption of Inherent Void: ( • )

Last post by Eodnhoj7 « Sat Aug 31, 2019 6:06 pm
Replies: 6
by Eodnhoj7 » Wed Aug 28, 2019 6:49 pm

6 Replies

1932 Views

Last post by Eodnhoj7
Sat Aug 31, 2019 6:06 pm
Are Aristotelian Identity Laws the Premise for Equivocation?

Last post by Eodnhoj7 « Thu Aug 29, 2019 9:47 pm

by Eodnhoj7 » Thu Aug 29, 2019 9:47 pm

0 Replies

1767 Views

Last post by Eodnhoj7
Thu Aug 29, 2019 9:47 pm
Conceptual Truth can be understood as math

Last post by Skepdick « Wed Aug 28, 2019 10:59 pm
Replies: 334
by PeteOlcott » Mon Aug 12, 2019 6:36 pm
1

…

19

20

21

22

23
334 Replies

82141 Views

Last post by Skepdick
Wed Aug 28, 2019 10:59 pm
The Principle of Explosion is the Non Sequitur Error

Last post by Eodnhoj7 « Wed Aug 28, 2019 1:31 am
Replies: 1
by PeteOlcott » Tue Aug 27, 2019 5:42 pm

1 Replies

1073 Views

Last post by Eodnhoj7
Wed Aug 28, 2019 1:31 am
Aristotelian Identity Properties Are Self Negating

Last post by Eodnhoj7 « Tue Aug 27, 2019 10:22 am

by Eodnhoj7 » Tue Aug 27, 2019 10:22 am

0 Replies

2392 Views

Last post by Eodnhoj7
Tue Aug 27, 2019 10:22 am
P Vs. NP Presented Solution

Last post by Eodnhoj7 « Sat Aug 24, 2019 9:38 pm
Replies: 2
by Eodnhoj7 » Wed Aug 21, 2019 6:58 pm

2 Replies

2032 Views

Last post by Eodnhoj7
Sat Aug 24, 2019 9:38 pm
Does anyone here actually understand formal proofs of mathematical logic?

Last post by Eodnhoj7 « Tue Aug 20, 2019 5:47 pm
Replies: 134
by PeteOlcott » Mon May 13, 2019 10:23 pm
1

…

5

6

7

8

9
134 Replies

36579 Views

Last post by Eodnhoj7
Tue Aug 20, 2019 5:47 pm
1 = 0 = infinity

Last post by Eodnhoj7 « Sun Aug 18, 2019 2:35 am
Replies: 70
by Eodnhoj7 » Wed Aug 14, 2019 11:52 pm
1

2

3

4

5
70 Replies

13701 Views

Last post by Eodnhoj7
Sun Aug 18, 2019 2:35 am
Tarski undefinability totally refuted by junior high school logic

Last post by Eodnhoj7 « Fri Aug 16, 2019 10:49 pm
Replies: 1
by PeteOlcott » Thu May 23, 2019 4:11 am

1 Replies

1049 Views

Last post by Eodnhoj7
Fri Aug 16, 2019 10:49 pm
How can this possibly fail to partition True(x) from Untrue(x) for every formal system?

Last post by Eodnhoj7 « Fri Aug 16, 2019 10:45 pm
Replies: 1
by PeteOlcott » Wed May 22, 2019 8:14 pm

1 Replies

979 Views

Last post by Eodnhoj7
Fri Aug 16, 2019 10:45 pm
Refuting Gödel's 1931 Incompleteness Theorem in one sentence

Last post by Eodnhoj7 « Thu Aug 15, 2019 2:09 am
Replies: 121
by PeteOlcott » Thu May 16, 2019 3:30 pm
1

…

5

6

7

8

9
121 Replies

23660 Views

Last post by Eodnhoj7
Thu Aug 15, 2019 2:09 am
Simplest possible notion of a formal system

Last post by Eodnhoj7 « Wed Aug 14, 2019 1:14 am
Replies: 69
by PeteOlcott » Fri Aug 09, 2019 6:36 pm
1

2

3

4

5
69 Replies

15016 Views

Last post by Eodnhoj7
Wed Aug 14, 2019 1:14 am
Eliminating Undecidability and Incompleteness in Formal Systems

Last post by Eodnhoj7 « Tue Aug 06, 2019 11:58 pm
Replies: 71
by PeteOlcott » Mon Apr 15, 2019 9:00 pm
1

2

3

4

5
71 Replies

17055 Views

Last post by Eodnhoj7
Tue Aug 06, 2019 11:58 pm
Let me convince you that none of you are Classical logicians!

Last post by Sculptor « Tue Aug 06, 2019 11:09 pm
Replies: 368
by Logik » Fri Feb 22, 2019 6:12 pm
1

…

21

22

23

24

25
368 Replies

76118 Views

Last post by Sculptor
Tue Aug 06, 2019 11:09 pm
The Number System as a Model of The Process of Evolution

Last post by wtf « Thu Jul 11, 2019 12:22 am
Replies: 68
by roydop » Thu Feb 28, 2019 3:04 pm
1

2

3

4

5
68 Replies

25658 Views

Last post by wtf
Thu Jul 11, 2019 12:22 am
Why Philosophers Should Care About Computational Complexity

Last post by Eodnhoj7 « Mon Jul 08, 2019 4:43 pm
Replies: 31
by Univalence » Wed Jun 05, 2019 6:40 am
1

2

3
31 Replies

10568 Views

Last post by Eodnhoj7
Mon Jul 08, 2019 4:43 pm
Is this simplest version of the Liar Paradox: ∃LP (LP ↔ ⊢¬LP) refutable?

Last post by Eodnhoj7 « Fri Jun 07, 2019 6:38 pm
Replies: 5
by PeteOlcott » Mon May 27, 2019 4:48 pm

5 Replies

1692 Views

Last post by Eodnhoj7
Fri Jun 07, 2019 6:38 pm
Mathematics = Maya

Last post by PeteJ « Fri Jun 07, 2019 4:50 pm
Replies: 7
by roydop » Tue Mar 05, 2019 3:00 pm

7 Replies

2520 Views

Last post by PeteJ
Fri Jun 07, 2019 4:50 pm
Any science of logic?

Last post by RCSaunders « Fri May 31, 2019 7:01 pm
Replies: 105
by Speakpigeon » Sun May 12, 2019 6:10 pm
1

…

4

5

6

7

8
105 Replies

43646 Views

Last post by RCSaunders
Fri May 31, 2019 7:01 pm
Can truth be understood as math?

Last post by Speakpigeon « Mon May 27, 2019 12:35 pm
Replies: 2
by PeteOlcott » Mon May 27, 2019 4:54 am

2 Replies

1278 Views

Last post by Speakpigeon
Mon May 27, 2019 12:35 pm
How do we say this using the notation conventions of mathematical logic?

Last post by Speakpigeon « Sun May 26, 2019 5:59 pm
Replies: 6
by PeteOlcott » Sat May 25, 2019 7:05 pm

6 Replies

2461 Views

Last post by Speakpigeon
Sun May 26, 2019 5:59 pm
A junior high school level of understanding of logic

Last post by Univalence « Sat May 25, 2019 4:43 pm
Replies: 31
by PeteOlcott » Wed May 22, 2019 4:28 pm
1

2

3
31 Replies

8070 Views

Last post by Univalence
Sat May 25, 2019 4:43 pm
Possible consequences of falsifying the principle of explosion?

Last post by PeteOlcott « Sun May 12, 2019 12:19 am
Replies: 86
by Speakpigeon » Wed May 01, 2019 12:22 pm
1

2

3

4

5

6
86 Replies

22312 Views

Last post by PeteOlcott
Sun May 12, 2019 12:19 am
Further demonstration the law of identity is broken (Sophists welcome)

Last post by Eodnhoj7 « Mon May 06, 2019 5:50 pm
Replies: 84
by Logik » Mon Mar 04, 2019 9:07 am
1

2

3

4

5

6
84 Replies

22646 Views

Last post by Eodnhoj7
Mon May 06, 2019 5:50 pm
Converting formal proofs to conform to sound deduction

Last post by Speakpigeon « Sat May 04, 2019 9:47 pm
Replies: 30
by PeteOlcott » Tue Apr 30, 2019 4:03 pm
1

2

3
30 Replies

18352 Views

Last post by Speakpigeon
Sat May 04, 2019 9:47 pm
Transforming formal proof into sound deduction (greatly simplified)

Last post by Speakpigeon « Wed May 01, 2019 5:21 pm
Replies: 59
by PeteOlcott » Mon Apr 22, 2019 6:47 am
1

2

3

4
59 Replies

13865 Views

Last post by Speakpigeon
Wed May 01, 2019 5:21 pm
Eliminating Undecidability and Incompleteness in Formal Systems (As simple as possible)

Last post by Logik « Tue Apr 30, 2019 11:45 am
Replies: 33
by PeteOlcott » Fri Apr 26, 2019 2:53 pm
1

2

3
33 Replies

7127 Views

Last post by Logik
Tue Apr 30, 2019 11:45 am
Transforming formal proof into sound deduction (rewritten)

Last post by Logik « Thu Apr 25, 2019 5:13 pm
Replies: 78
by PeteOlcott » Fri Apr 19, 2019 3:59 pm
1

2

3

4

5

6
78 Replies

16469 Views

Last post by Logik
Thu Apr 25, 2019 5:13 pm
Gödel is really Wrong (totally rewritten)

Last post by PeteOlcott « Fri Apr 19, 2019 5:31 pm
Replies: 7
by PeteOlcott » Fri Apr 19, 2019 4:38 am

7 Replies

1759 Views

Last post by PeteOlcott
Fri Apr 19, 2019 5:31 pm
Justification of the mathematical definition of logical validity?

Last post by Speakpigeon « Fri Apr 19, 2019 1:36 pm
Replies: 6
by Speakpigeon » Thu Apr 18, 2019 11:31 am

6 Replies

1945 Views

Last post by Speakpigeon
Fri Apr 19, 2019 1:36 pm
Paradoxes of Material Implication

Last post by Logik « Wed Apr 17, 2019 11:52 pm
Replies: 62
by Garry G » Fri Apr 12, 2019 4:12 am
1

2

3

4

5
62 Replies

15256 Views

Last post by Logik
Wed Apr 17, 2019 11:52 pm
If I can imagine it, it's logically possible?

Last post by Speakpigeon « Tue Apr 16, 2019 5:49 pm
Replies: 55
by Speakpigeon » Sat Mar 30, 2019 4:23 pm
1

2

3

4
55 Replies

12100 Views

Last post by Speakpigeon
Tue Apr 16, 2019 5:49 pm
How paradoxical is this argument?

Last post by Speakpigeon « Tue Apr 16, 2019 4:55 pm
Replies: 4
by Garry G » Mon Apr 15, 2019 11:16 pm

4 Replies

1498 Views

Last post by Speakpigeon
Tue Apr 16, 2019 4:55 pm
Eliminating undecidability in formal systems

Last post by Logik « Tue Apr 16, 2019 7:31 am
Replies: 72
by PeteOlcott » Tue Apr 09, 2019 2:25 am
1

2

3

4

5
72 Replies

12698 Views

Last post by Logik
Tue Apr 16, 2019 7:31 am
Prolog already refutes Tarski Undefinability

Last post by Logik « Tue Apr 16, 2019 6:08 am
Replies: 60
by PeteOlcott » Fri Apr 12, 2019 8:11 pm
1

2

3

4

5
60 Replies

10718 Views

Last post by Logik
Tue Apr 16, 2019 6:08 am
Definition of logical validity

Last post by Garry G « Sat Apr 13, 2019 9:12 pm
Replies: 55
by Speakpigeon » Wed Jan 23, 2019 2:47 pm
1

2

3

4
55 Replies

13632 Views

Last post by Garry G
Sat Apr 13, 2019 9:12 pm
Is there a sentence that proves itself is not provable?

Last post by Logik « Tue Apr 09, 2019 7:30 am
Replies: 100
by PeteOlcott » Mon Mar 25, 2019 4:51 pm
1

…

3

4

5

6

7
100 Replies

22106 Views

Last post by Logik
Tue Apr 09, 2019 7:30 am
Origins of Mathematical/Logical questions of computability...

Last post by Speakpigeon « Sat Apr 06, 2019 5:59 pm
Replies: 1
by Scott Mayers » Thu Apr 04, 2019 5:49 am

1 Replies

899 Views

Last post by Speakpigeon
Sat Apr 06, 2019 5:59 pm
Refuting Incompleteness and Undefinability

Last post by PeteOlcott « Fri Apr 05, 2019 4:18 pm
Replies: 102
by PeteOlcott » Thu Mar 21, 2019 10:43 pm
1

…

3

4

5

6

7
102 Replies

25379 Views

Last post by PeteOlcott
Fri Apr 05, 2019 4:18 pm
The Riemann Hypothesis paradox

Last post by Logik « Fri Apr 05, 2019 9:02 am
Replies: 18
by attofishpi » Wed Apr 03, 2019 1:36 pm
1

2
18 Replies

5255 Views

Last post by Logik
Fri Apr 05, 2019 9:02 am
The logical error of the Liar Paradox

Last post by PeteOlcott « Thu Apr 04, 2019 12:10 am
Replies: 64
by PeteOlcott » Wed Mar 27, 2019 4:41 am
1

2

3

4

5
64 Replies

14843 Views

Last post by PeteOlcott
Thu Apr 04, 2019 12:10 am
What is the purpose of computers?

Last post by Dontaskme « Tue Apr 02, 2019 10:58 am
Replies: 40
by Dontaskme » Fri Mar 22, 2019 8:53 am
1

2

3
40 Replies

9782 Views

Last post by Dontaskme
Tue Apr 02, 2019 10:58 am
The arbitrary choice of the range/precision trade-off

Last post by Dontaskme « Fri Mar 22, 2019 2:19 pm
Replies: 5
by Logik » Fri Mar 22, 2019 12:38 pm

5 Replies

1582 Views

Last post by Dontaskme
Fri Mar 22, 2019 2:19 pm
Vortex Math

Last post by Logik « Wed Mar 20, 2019 2:28 pm
Replies: 7
by Eodnhoj7 » Tue Mar 05, 2019 11:34 pm

7 Replies

2375 Views

Last post by Logik
Wed Mar 20, 2019 2:28 pm
Contradicting the law of non-contradiction

Last post by Logik « Mon Mar 18, 2019 7:00 am
Replies: 40
by Logik » Sun Feb 24, 2019 2:11 pm
1

2

3
40 Replies

13774 Views

Last post by Logik
Mon Mar 18, 2019 7:00 am
An integer=a non-integer: Mathematics ends in contradiction

Last post by Logik « Sat Mar 16, 2019 9:19 am
Replies: 1
by anne » Sat Mar 16, 2019 3:17 am

1 Replies

1010 Views

Last post by Logik
Sat Mar 16, 2019 9:19 am
The limitations of Aristotelian logic:LOGIC/ESSENCE AND LANGUAGE LEAD TO THE MEANINGLESSNESS OF ALL VIEWS

Last post by Eodnhoj7 « Tue Mar 12, 2019 9:59 pm
Replies: 41
by anne » Sat Mar 02, 2019 10:25 am
1

2

3
41 Replies

11414 Views

Last post by Eodnhoj7
Tue Mar 12, 2019 9:59 pm
The death of Classical logic and the birth of Constructive Mathematics

Last post by Eodnhoj7 « Tue Mar 12, 2019 8:23 pm
Replies: 260
by Logik » Sat Feb 23, 2019 1:25 pm
1

…

14

15

16

17

18
260 Replies

62901 Views

Last post by Eodnhoj7
Tue Mar 12, 2019 8:23 pm
The Classical law of identity (as stated) is inconsistent

Last post by Eodnhoj7 « Mon Mar 11, 2019 7:30 pm
Replies: 32
by Logik » Sat Mar 02, 2019 7:46 am
1

2

3
32 Replies

6781 Views

Last post by Eodnhoj7
Mon Mar 11, 2019 7:30 pm

New Topic

598 topics

Page 7 of 12
- Jump to page:
Previous
1
…
5
6
7
8
9
…
12
Next

Return to Board Index

Forum permissions

You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum