Search
Search Results
-
The Hyperintensional Variant of Kaplan’s Paradox
David Kaplan famously argued that mainstream semantics for modal logic, which identifies propositions with sets of possible worlds, is affected by a...
-
Mathematical Modality: An Investigation in Higher-order Logic
An increasing amount of contemporary philosophy of mathematics posits, and theorizes in terms of special kinds of mathematical modality. The goal of...
-
The Functional Sequence up to QP
This chapter zooms in on the lower half of the extended Noun Phrase, that, is the functional sequence between N and numerals/quantifiers. After a... -
Hintikka’s conception of syntheticity as the introduction of new individuals
In a series of papers published in the sixties and seventies, Jaakko Hintikka, drawing upon Kant’s conception, defines an argument to be analytic...
-
Subsumption-Linear Q-Resolution for QBF Theorem Proving
Subsumption-Linear Q-Resolution (SLQR) is introduced for proving theorems from Quantified Boolean Formulas. It is an adaptation of SL-Resolution,... -
Neutral Free Logic: Motivation, Proof Theory and Models
Free logics are a family of first-order logics which came about as a result of examining the existence assumptions of classical logic (Hintikka The...
-
Chapter 10 What Is the Sense in Logic and Philosophy of Language?
In the paper, various notions of the logical semiotic sense of linguistic expressions—namely, syntactic and semantic, intensional and extensional—are... -
Modified Numerals and Split Disjunction: The First-Order Case
We present a number of puzzles arising for the interpretation of modified numerals. Following Büring and others we assume that the main difference...
-
Synthesizing Skolem Functions: A View from Theory and Practice
Skolem functions play a central role in logic, from hel** eliminate quantifiers in first-order logic formulas to providing functional... -
Higher-order metaphysics and the tropes versus universals dispute
Higher-order realists about properties express their view that there are properties with the help of higher-order rather than first-order...
-
Quantifiers and Conceptual Existence
This chapter examines Bunge’s distinction between the logical concept of existence and the ontological one. We introduce a new conceptual existence... -
An Algebraic View of the Mares-Goldblatt Semantics
An algebraic characterisation is given of the Mares-Goldblatt semantics for quantified extensions of relevant and modal logics. Some features of this...
-
Being called
The dominant view maintains that names are directly referring, rigid terms, the primary function of which is to designate an individual. But, as has...
-
First-Order Modal Logic
This revised edition of the highly recommended book "First-Order Modal Logic", originally published in 1998, contains both new and modified chapters... -
The negative theology of absolute infinity: Cantor, mathematics, and humility
Cantor argued that absolute infinity is beyond mathematical comprehension. His arguments imply that the domain of mathematics cannot be grasped by...
-
Truthmaker Semantics, Ground, and Generality
Our aim in this paper is to extend the semantics for the kind of logic of ground developed in deRosset and Fine (
2023 ). In that paper, the authors... -
Monotonic Inference with Unscoped Episodic Logical Forms: From Principles to System
We describe the foundations and the systematization of natural logic-like monotonic inference using unscoped episodic logical forms (ULFs) that as...
-
Natural language quantification is not polysemous
The paper argues that natural language quantification, as expressed by determiner phrases, is not polysemous. The foil for this claim is Hofweber...
-
A new challenge for contingentists
Contingentism is the view that it is contingent which things exist. Despite its plausibility, advocates of contingentism face a well-known...