Logic & Philosophy of Mathematics

Abstractions of Gödel Incompleteness

by Aryamoy Mitra March 21, 2021 at 14:29 107 comments

Platonic Realism & Scientific Method

by Wayfarer March 18, 2021 at 10:47 244 comments

Do Physics Equations Disprove the Speed of Light as a Constant?

by Enrique March 08, 2021 at 21:40 140 comments

Have we really proved the existence of irrational numbers?

by Ryan O'Connor March 04, 2021 at 01:57 222 comments

Best forums for the philosophy of mathematics?

by Ryan O'Connor March 04, 2021 at 01:45 4 comments

Credit due to logical positivists?

by Shawn March 02, 2021 at 22:39 4 comments

The linguistic turn is over, what next?

by Shawn March 02, 2021 at 00:52 76 comments

Platonism through the lens of formalism's eyes

by Paul S February 27, 2021 at 14:51 88 comments

Is there a logical symbol for 'may include'?

by Leon Spencer February 27, 2021 at 01:10 10 comments

Dimensional Analysis on the Gaussian Distribution

by Shawn February 25, 2021 at 18:46 5 comments

Complexity in Mathematics

by Shawn W February 24, 2021 at 04:47 37 comments

Question for the math folk

by Gregory February 22, 2021 at 01:38 24 comments

The paradox of Gabriel's horn.

by Deleted User February 18, 2021 at 16:47 496 comments

Logical Algebra of Relatives as the basis of mathematics?

by Gregory February 11, 2021 at 17:56 12 comments

The Shape Of Time

by TheMadFool February 11, 2021 at 02:58 17 comments

The Conditional Clock

by TheMadFool February 08, 2021 at 05:31 8 comments

Name of an empirical error "misattribution of a correlated spurious variable"

by Hallucinogen January 31, 2021 at 01:36 5 comments

EJ Lemon "Beginning Logic" Discussion on Rule of Conditional Proof

by Nsross January 27, 2021 at 04:13 0 comments

2 alternate solutions to Russell's paradox

by Philosopher19 January 17, 2021 at 20:34 0 comments

LAKATOS discussion or "how to help me with a fascinating book I love talking about !"

by Twinkle221 January 09, 2021 at 10:37 22 comments

Kant, Lies, Murder And Dialetheism

by TheMadFool January 05, 2021 at 01:46 14 comments

There is only one mathematical object

by Pneumenon December 31, 2020 at 19:35 228 comments

The Nothing-Empty Set Paradox!

by TheMadFool December 28, 2020 at 14:09 4 comments

Discussion: Should or should not P(Lying | Human) be above or equal to 0,5?

by AndreasJ December 10, 2020 at 20:18 4 comments

Theory is inconsistent

by Martin Raza December 01, 2020 at 19:43 2 comments

The halting problem

by Martin Raza December 01, 2020 at 17:42 4 comments

Godels Incompleteness therom and Q

by Martin Raza December 01, 2020 at 17:30 11 comments

The Speed Of Light

by TheMadFool November 28, 2020 at 22:46 19 comments

The economy of thought

by Hrvoje November 28, 2020 at 10:31 13 comments

Negation Trouble!

by TheMadFool November 26, 2020 at 13:19 4 comments

Zero & Infinity

by TheMadFool November 13, 2020 at 09:43 20 comments

Lottery paradox

by Michael November 10, 2020 at 19:38 12 comments

Help with Intuitionist Logic Tableau Rules

by HermanS November 09, 2020 at 05:02 1 comments

Sets

by Gregory November 06, 2020 at 04:51 8 comments

Counting squares

by Umonsarmon November 05, 2020 at 16:23 9 comments

Contradictions!

by TheMadFool November 05, 2020 at 09:27 46 comments

Penrose Tiling the Plane.

by Deleted User October 13, 2020 at 16:49 12 comments

What is the most comprehensive and advanced non-beginner modern book on the concept of infinity?

by Efron October 07, 2020 at 00:20 11 comments

Mathematicism as an alternative to both platonism and nominalism

by Pfhorrest September 27, 2020 at 06:43 15 comments

A little logical chuckle.

by Torus34 September 18, 2020 at 15:54 5 comments

The barber paradox solved

by Gregory September 18, 2020 at 04:48 47 comments

A sole sufficient "junction" function: of() — plus some new names and symbols

by Pfhorrest September 18, 2020 at 04:02 0 comments

A sole sufficient predication function: being()

by Pfhorrest September 14, 2020 at 09:02 0 comments

A sole sufficient quantification function: for()

by Pfhorrest September 10, 2020 at 03:36 3 comments

The meaning of the existential quantifier

by Pfhorrest September 06, 2020 at 06:28 89 comments

A sole sufficient modal function: at()

by Pfhorrest September 03, 2020 at 21:31 2 comments

The Catuskoti & Skepticism

by TheMadFool September 03, 2020 at 18:31 77 comments

Logical mood functions and non-bivalent logics

by Pfhorrest August 31, 2020 at 03:13 3 comments

Turing testing as not imitation only

by Shawn August 21, 2020 at 10:57 3 comments

How can consciousness arise from Artificial Intelligence?

by Shawn August 20, 2020 at 11:36 52 comments