Logic and Philosophy of Mathematics

Moderators: AMod, iMod

New Topic

287 topics

Topics

Replies

Views

Last post

A junior high school level of understanding of logic

Last post by Arising_uk « Fri May 24, 2019 7:10 pm
Replies: 23
by PeteOlcott » Wed May 22, 2019 4:28 pm
1

2
23 Replies

181 Views

Last post by Arising_uk
Fri May 24, 2019 7:10 pm
Any science of logic?

Last post by RCSaunders « Fri May 24, 2019 6:11 pm
Replies: 83
by Speakpigeon » Sun May 12, 2019 6:10 pm
1

2

3

4

5

6
83 Replies

1166 Views

Last post by RCSaunders
Fri May 24, 2019 6:11 pm
Tarski undefinability totally refuted by junior high school logic

Last post by PeteOlcott « Thu May 23, 2019 4:11 am

by PeteOlcott » Thu May 23, 2019 4:11 am

0 Replies

17 Views

Last post by PeteOlcott
Thu May 23, 2019 4:11 am
How can this possibly fail to partition True(x) from Untrue(x) for every formal system?

Last post by PeteOlcott « Wed May 22, 2019 8:14 pm

by PeteOlcott » Wed May 22, 2019 8:14 pm

0 Replies

21 Views

Last post by PeteOlcott
Wed May 22, 2019 8:14 pm
Refuting Gödel's 1931 Incompleteness Theorem in one sentence

Last post by PeteOlcott « Tue May 21, 2019 5:09 pm
Replies: 120
by PeteOlcott » Thu May 16, 2019 3:30 pm
1

…

5

6

7

8

9
120 Replies

1003 Views

Last post by PeteOlcott
Tue May 21, 2019 5:09 pm
Does anyone here actually understand formal proofs of mathematical logic?

Last post by PeteOlcott « Sat May 18, 2019 5:50 pm
Replies: 122
by PeteOlcott » Mon May 13, 2019 10:23 pm
1

…

5

6

7

8

9
122 Replies

922 Views

Last post by PeteOlcott
Sat May 18, 2019 5:50 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

643 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

1073 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

384 Views

Last post by Speakpigeon
Sat May 04, 2019 9:47 pm
Tarski Undefinability Theorem Succinctly Refuted

Last post by wtf « Thu May 02, 2019 7:14 am
Replies: 106
by PeteOlcott » Tue Apr 02, 2019 9:48 pm
1

…

4

5

6

7

8
106 Replies

1287 Views

Last post by wtf
Thu May 02, 2019 7:14 am
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

596 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

329 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

656 Views

Last post by Logik
Thu Apr 25, 2019 5:13 pm
Eliminating Undecidability and Incompleteness in Formal Systems

Last post by wtf « Sun Apr 21, 2019 2:37 am
Replies: 62
by PeteOlcott » Mon Apr 15, 2019 9:00 pm
1

2

3

4

5
62 Replies

726 Views

Last post by wtf
Sun Apr 21, 2019 2:37 am
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

129 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

93 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

650 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

647 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

82 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

667 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

575 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

910 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

1049 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

71 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

1267 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

285 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

710 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

491 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

118 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

163 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

591 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

65 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

528 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

4030 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

457 Views

Last post by Eodnhoj7
Mon Mar 11, 2019 7:30 pm
The Number System as a Model of The Process of Evolution

Last post by commonsense « Thu Mar 07, 2019 8:57 pm
Replies: 27
by roydop » Thu Feb 28, 2019 3:04 pm
1

2
27 Replies

383 Views

Last post by commonsense
Thu Mar 07, 2019 8:57 pm
Mathematics = Maya

Last post by AlexW « Thu Mar 07, 2019 6:33 am
Replies: 6
by roydop » Tue Mar 05, 2019 3:00 pm

6 Replies

117 Views

Last post by AlexW
Thu Mar 07, 2019 6:33 am
Information is fundamental to cognition

Last post by commonsense « Wed Mar 06, 2019 11:42 pm
Replies: 53
by Logik » Tue Feb 26, 2019 8:52 am
1

2

3

4
53 Replies

623 Views

Last post by commonsense
Wed Mar 06, 2019 11:42 pm
Language(Logic), Geometry, Number Line are One through Chaos Theory

Last post by Eodnhoj7 « Wed Mar 06, 2019 10:55 pm
Replies: 17
by Eodnhoj7 » Mon Mar 04, 2019 10:31 pm
1

2
17 Replies

286 Views

Last post by Eodnhoj7
Wed Mar 06, 2019 10:55 pm
Let me convince you that none of you are Classical logicians!

Last post by Eodnhoj7 « Mon Mar 04, 2019 9:04 pm
Replies: 354
by Logik » Fri Feb 22, 2019 6:12 pm
1

…

20

21

22

23

24
354 Replies

3720 Views

Last post by Eodnhoj7
Mon Mar 04, 2019 9:04 pm
Gödel’s 1st theorem is meaningless

Last post by Eodnhoj7 « Mon Mar 04, 2019 7:38 pm
Replies: 2
by anne » Wed Feb 27, 2019 11:06 am

2 Replies

80 Views

Last post by Eodnhoj7
Mon Mar 04, 2019 7:38 pm
The Purpose of Mathematics (Math as a message/model)

Last post by roydop « Sun Mar 03, 2019 11:21 pm

by roydop » Sun Mar 03, 2019 11:21 pm

0 Replies

77 Views

Last post by roydop
Sun Mar 03, 2019 11:21 pm
Mathematics ends in contradiction:6 reasons

Last post by Age « Sat Mar 02, 2019 5:35 pm
Replies: 136
by anne » Wed Feb 27, 2019 7:24 am
1

…

6

7

8

9

10
136 Replies

1064 Views

Last post by Age
Sat Mar 02, 2019 5:35 pm
What the theorems of Incompleteness or Undecidability assert...

Last post by Scott Mayers « Sat Mar 02, 2019 7:31 am
Replies: 50
by Scott Mayers » Tue Feb 26, 2019 12:17 am
1

2

3

4
50 Replies

589 Views

Last post by Scott Mayers
Sat Mar 02, 2019 7:31 am
Godel's First Incompleteness theorem

Last post by Logik « Fri Mar 01, 2019 8:17 am
Replies: 2
by roydop » Fri Mar 01, 2019 1:00 am

2 Replies

75 Views

Last post by Logik
Fri Mar 01, 2019 8:17 am
Mathematics=natural/universal law. Counting=human influence.

Last post by Logik « Fri Mar 01, 2019 8:04 am
Replies: 2
by roydop » Fri Mar 01, 2019 12:06 am

2 Replies

79 Views

Last post by Logik
Fri Mar 01, 2019 8:04 am
Godel's 2nd theorem ends in paradox

Last post by Logik « Wed Feb 27, 2019 3:09 pm
Replies: 2
by anne » Wed Feb 27, 2019 11:08 am

2 Replies

61 Views

Last post by Logik
Wed Feb 27, 2019 3:09 pm
Godels 1 st theorem is invalid as his G statement is banned

Last post by anne « Wed Feb 27, 2019 11:04 am

by anne » Wed Feb 27, 2019 11:04 am

0 Replies

68 Views

Last post by anne
Wed Feb 27, 2019 11:04 am
Paraconsistent logic and Classical logic as comlpimentary

Last post by Logik « Tue Feb 26, 2019 6:43 pm
Replies: 4
by Logik » Tue Feb 26, 2019 5:02 pm

4 Replies

118 Views

Last post by Logik
Tue Feb 26, 2019 6:43 pm
Two Right Angles are Not the Same; Identity Grounded in Ratios of Change

Last post by Impenitent « Sat Feb 23, 2019 8:55 pm
Replies: 1
by Eodnhoj7 » Sat Feb 23, 2019 8:14 pm

1 Replies

64 Views

Last post by Impenitent
Sat Feb 23, 2019 8:55 pm

New Topic

287 topics

Return to Board Index

Who is online

Users browsing this forum: No registered users and 4 guests

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
You cannot post attachments in this forum