Szukaj

Wyniki wyszukiwania

• Inconsistent Models (and Infinite Models) for Arithmetics with Constructible Falsity

  Thomas Macaulay Ferguson

  389-407

  08.08.2018
• Vagueness and Formal Fuzzy Logic: Some Criticisms

  Giangiacomo Gerla

  431-460

  15.11.2017
• In Defense of Quantifier Generalism: Holism and Infinitary Resources

  Tomasz Bigaj

  1-18

  01.12.2025
• Analysis of Penrose’s Second Argument Formalised in DTK System

  Antonella Corradini, Sergio Galvan

  471-500

  16.12.2021
• A Note on Gödel, Priest and Naïve Proof

  Massimiliano Carrara, Enrico Martino

  79-96

  15.10.2020
• Troubles with (the concept of) truth in mathematics

  Roman Murawski

  285-303

  15.04.2007
• Analogy and diagonal argument

  Zbigniew Tworak

  39-66

  26.03.2006
• Embodied Sensorimotor (Hyper)intensionality

  Simon McGregor

  1-26

  27.08.2025
• Classical arithmetic is quite unnatural

  Jean Paul Van Bendegem

  231-249

  23.11.2003
• Socrates did it before Gödel

  Josef Wolfgang Degen

  205-214

  30.11.2011
• Librationist closures of the paradoxes

  Frode Bjørdal

  323–361

  20.12.2012