- Non-standard numbers: a semantic obstacle for modelling arithmetical reasoning.Anderson De Araújo & Walter Carnielli - 2012 - Logic Journal of the IGPL 20 (2):477-485.details
|
|
Brains in vats and model theory.Tim Button - 2015 - In Sanford Goldberg (ed.), The Brain in a Vat. United Kingdom: Cambridge University Press. pp. 131-154.details
|
|
The Concept of Testimony.Nicola Mößner - 2007 - In Christoph Jäger & Winfried Löffler (eds.), Epistemology: Contexts, Values, Disagreement. Papers of the 34th International Ludwig Wittgenstein-Symposium in Kirchberg, 2011. The Austrian Ludwig Wittgenstein Society. pp. 207-209.details
|
|
On the characterization of entities by means of individuals and properties.Paul Weingartner - 1974 - Journal of Philosophical Logic 3 (3):323 - 336.details
|
|
Reflections on Skolem's relativity of set-theoretical concepts.Ignagio Jane - 2001 - Philosophia Mathematica 9 (2):129-153.details
|
|
Zermelo: definiteness and the universe of definable sets.Heinz-Dieter Ebbinghaus - 2003 - History and Philosophy of Logic 24 (3):197-219.details
|
|
Is unsaying polite?Berislav Žarnić - 2011 - In Majda Trobok, Nenad Miščević & Berislav Žarnić (eds.), Between Logic and Reality: Modeling Inference, Action and Understanding. Dordrecht and New York: Springer. pp. 201--224.details
|
|
The Philosophical Impact of the Löwenheim-Skolem Theorem.Miloš Arsenijević - 2011 - In Majda Trobok, Nenad Miščević & Berislav Žarnić (eds.), Between Logic and Reality: Modeling Inference, Action and Understanding. Dordrecht and New York: Springer. pp. 59--81.details
|
|
Towards transfinite type theory: rereading Tarski’s Wahrheitsbegriff.Iris Loeb - 2014 - Synthese 191 (10):2281-2299.details
|
|
Thoralf Skolem and the epsilon substitution method for predicate logic.Grigori Mints - 1996 - Nordic Journal of Philosophical Logic 1 (2):133-146.details
|
|
Tarski and Lesniewski on Languages with Meaning versus Languages without Use: A 60th Birthday Provocation for Jan Wolenski.B. G. Sundholm - unknowndetails
|
|
On Gödel's awareness of Skolem's Helsinki lecture.Mark van Atten - 2005 - History and Philosophy of Logic 26 (4):321-326.details
|
|