Results 31 to 40 of about 47,006 (154)
Axiomatization and Models of Scientific Theories [PDF]
, 2010 In this paper we discuss two approaches to the axiomatization of scien- tific theories in the context of the so called semantic approach, according to which (roughly) a theory can be seen as a class of models.
Arenhart, Jonas R. B. +2 more
core
European Journal of Philosophy, EarlyView.Abstract Most recent commentators on Kant's Transcendental Deduction assume that the main purpose of the second part of the B‐Deduction (“BD2”) is to show that human intuitions must fall under categories for reasons connected with their spatio‐temporal form.
Michael Pendlebury
wiley +1 more source
Anticipation as prediction in the predication of data types [PDF]
, 2009 Every object in existence has its type. Every subject in language has its predicate. Every intension in logic has its extension. Each therefore has two levels but with the fundamental problem of the relationship between the two.
Heather, Michael, Rossiter, Nick
core
, 2016 This is a companion to a paper by the authors entitled "G\"odel's natural deduction", which presented and made comments about the natural deduction system in G\"odel's unpublished notes for the elementary logic course he gave at the University of Notre ...
Adzic, Milos, Dosen, Kosta
core +1 more source
Model‐Based Semantics: Doing Without Meaning Constitution
Metaphilosophy, EarlyView.Abstract This paper introduces a model‐based account of meaning, arguing that meaning properties reside in models rather than in the external world. Building on this view, it explores how such an instrumentalist framework can engage critically with various concerns raised by Wittgenstein, Quine, and Kripke[nstein]—each of whom voiced scepticism toward ...
Pietro Salis
wiley +1 more source
Ìнформаційні технології в освіті, 2009 This article presents the PM ‘Solving environment’ of integrated programmatic environment Mathlogic v.2, (ML2) which was made within the framework of project of Terra Mathematica in the Laboratory of Pedagogical Software Development and Implementation ...
O. V. Scherbina +2 more
doaj
Making proofs without Modus Ponens: An introduction to the combinatorics and complexity of cut elimination [PDF]
, 1996 This paper is intended to provide an introduction to cut elimination which is accessible to a broad mathematical audience. Gentzen's cut elimination theorem is not as well known as it deserves to be, and it is tied to a lot of interesting mathematical ...
Carbone, Alessandra, Semmes, S.
core +1 more source
Badiou and the Reconstruction of the Concept of God
Modern Theology, EarlyView.Abstract In this article I first summarize Badiou's and Žižek's critique of the concept of God, which I and other interpreters conceive as a radicalization of the theology of the death of God. I then pose the question of how to formulate a positive conception of God after the death of God that would overcome the limits of negative or apophatic theology.
Michael Hauser
wiley +1 more source
Reading Nietzsche in an Age of Conspiracy Theories
Modern Theology, EarlyView.Abstract This essay considers Friedrich Nietzsche's critique of Christian morality as a template for interpreting the epistemology of modern conspiracy theorists. The first section elucidates Nietzsche's notion of ressentiment as it can be applied to contemporary conspiracism. The effectiveness of this comparative assessment thus raises the question of
J.W. Olson
wiley +1 more source
Noûs, EarlyView.Abstract A new argument is offered which proceeds through epistemic possibility (for all S knows, p), cutting a trail from modality to Millianism, the controversial thesis that the semantic content of a proper name is simply its bearer. New definitions are provided for various epistemic modal notions.
Nathan Salmón
wiley +1 more source