G\"odel's Notre Dame Course

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 Dame in 1939. In that earlier paper, which was itself a companion to a paper that examined the links between some philosophical views ascribed to G\"odel and general proof theory, one can find a brief summary of G\"odel's notes for the Notre Dame course. In order to put the earlier paper in proper perspective, a more complete summary of these interesting notes, with comments concerning them, is given here.Comment: 18 pages. minor additions, arXiv admin note: text overlap with arXiv:1604.0307

Grothendieck Universes and Indefinite Extensibility

This essay endeavors to define the concept of indefinite extensibility in the setting of category theory. I argue that the generative property of indefinite extensibility for set-theoretic truths in the category of sets is identifiable with the elementary embeddings of large cardinal axioms. A modal coalgebraic automata's mappings are further argued to account for both reinterpretations of quantifier domains as well as the ontological expansion effected by the elementary embeddings in the category of sets. The interaction between the interpretational and objective modalities of indefinite extensibility is defined via the epistemic interpretation of two-dimensional semantics. The semantics can be defined intensionally or hyperintensionally. By characterizing the modal profile of $\Omega$-logical validity, and thus the generic invariance of mathematical truth, modal coalgebraic automata are further capable of capturing the notion of definiteness for set-theoretic truths, in order to yield a non-circular definition of indefinite extensibility

Abstracta and Possibilia: Modal Foundations of Mathematical Platonism

This paper aims to provide modal foundations for mathematical platonism. I examine Hale and Wright's (2009) objections to the merits and need, in the defense of mathematical platonism and its epistemology, of the thesis of Necessitism. In response to Hale and Wright's objections to the role of epistemic and metaphysical modalities in providing justification for both the truth of abstraction principles and the success of mathematical predicate reference, I examine the Necessitist commitments of the abundant conception of properties endorsed by Hale and Wright and examined in Hale (2013); and demonstrate how a two-dimensional approach to the epistemology of mathematics is consistent with Hale and Wright's notion of there being non-evidential epistemic entitlement rationally to trust that abstraction principles are true. A choice point that I flag is that between availing of intensional or hyperintensional semantics. The hyperintensional semantic approach that I advance is a topic-sensitive epistemic two-dimensional truthmaker semantics. Epistemic and metaphysical states and possibilities may thus be shown to play a constitutive role in vindicating the reality of mathematical objects and truth, and in providing a conceivability-based route to the truth of abstraction principles as well as other axioms and propositions in mathematics

Reason, causation and compatibility with the phenomena

'Reason, Causation and Compatibility with the Phenomena' strives to give answers to the philosophical problem of the interplay between realism, explanation and experience. This book is a compilation of essays that recollect significant conceptions of rival terms such as determinism and freedom, reason and appearance, power and knowledge. This title discusses the progress made in epistemology and natural philosophy, especially the steps that led from the ancient theory of atomism to the modern quantum theory, and from mathematization to analytic philosophy. Moreover, it provides possible gateways from modern deadlocks of theory either through approaches to consciousness or through historical critique of intellectual authorities. This work will be of interest to those either researching or studying in colleges and universities, especially in the departments of philosophy, history of science, philosophy of science, philosophy of physics and quantum mechanics, history of ideas and culture. Greek and Latin Literature students and instructors may also find this book to be both a fascinating and valuable point of reference

Quantum objects are vague objects

[FIRST PARAGRAPHS] Is vagueness a feature of the world or merely of our representations of the world? Of course, one might respond to this question by asserting that insofar as our knowledge of the world is mediated by our representations of it, any attribution of vagueness must attach to the latter. However, this is to trivialize the issue: even granted the point that all knowledge is representational, the question can be re-posed by asking whether vague features of our representations are ultimately eliminable or not. It is the answer to this question which distinguishes those who believe that vagueness is essentially epistemic from those who believe that it is, equally essentially, ontic. The eliminability of vague features according to the epistemic view can be expressed in terms of the supervenience of ‘vaguely described facts’ on ‘precisely describable facts’: If two possible situations are alike as precisely described in terms of physical measurements, for example, then they are alike as vaguely described with words like ‘thin’. It may therefore be concluded that the facts themselves are not vague, for all the facts supervene on precisely describable facts. (Williamson 1994, p. 248; see also pp. 201- 204) It is the putative vagueness of certain identity statements in particular that has been the central focus of claims that there is vagueness ‘in’ the world (Parfit 1984, pp. 238-241; Kripke 1972, p. 345 n. 18). Thus, it may be vague as to who is identical to whom after a brain-swap, to give a much discussed example. Such claims have been dealt a forceful blow by the famous Evans-Salmon argument which runs as follows: suppose for reductio that it is indeterminate whether a = b. Then b definitely possesses the property that it is indeterminate whether it is identical with a, but a definitely does not possess this property since it is surely not indeterminate whether a=a. Therefore, by Leibniz’s Law, it cannot be the case that a=b and so the identity cannot be indeterminate (Evans 1978; Salmon 1982)

Multi-dimensional Type Theory: Rules, Categories, and Combinators for Syntax and Semantics

We investigate the possibility of modelling the syntax and semantics of natural language by constraints, or rules, imposed by the multi-dimensional type theory Nabla. The only multiplicity we explicitly consider is two, namely one dimension for the syntax and one dimension for the semantics, but the general perspective is important. For example, issues of pragmatics could be handled as additional dimensions. One of the main problems addressed is the rather complicated repertoire of operations that exists besides the notion of categories in traditional Montague grammar. For the syntax we use a categorial grammar along the lines of Lambek. For the semantics we use so-called lexical and logical combinators inspired by work in natural logic. Nabla provides a concise interpretation and a sequent calculus as the basis for implementations.Comment: 20 page