Search
Search Results
-
Unrestricted quantification and ranges of significance
Call a quantifier ‘unrestricted’ if it ranges over absolutely all objects. Arguably, unrestricted quantification is often presupposed in...
-
Ockham and Chatton on the Origin of Logical Concepts
In the fourteenth century, many philosophers discuss the hypothesis of the existence of mental language. This kind of language is commonly described...
-
Effective Skolemization
We define a new relatively simple Skolemization method called atomic Skolemization which allows for a non-elementarily bounded speed-up of cut-free...
-
Towards a Deflationary Truthmakers Account of Social Groups
I outline a deflationary truthmakers account of social groups. Potentially, the approach allows us to say, with traditional ontological...
-
Nonexistent Objects and Their Semantic and Ontological Dependence on Referential Acts
This paper argues for a distinction between fictional characters, as parts of intentionally created abstract artifacts, and intentional objects, as...
-
Grounding Generalizations
Some propositions are true, and it is true that some propositions are true. Each of these facts looks like an impeccable ground of the other. But...
-
The Entropy-Limit (Conjecture) for \(\Sigma _2\)-Premisses
The application of the maximum entropy principle to determine probabilities on finite domains is well-understood. Its application to infinite domains...
-
In defence of PKF
I advance arguments in favour of PKF as an articulation of a central sense of the predicate ‘true’, and show how it illuminates the relationship...
-
Mathematical Fictionalism Revisited
Mathematical fictionalism is the view according to which mathematical objects are ultimately fictions, and, thus, need not be taken to exist. This...
-
Composition, identity and plural ontology
According to ‘Strong Composition as Identity’ (SCAI), if an entity is composed of a plurality of entities, it is identical to them. As it has been...
-
What’s positive and negative about generics: a constrained indexical approach
Nguyen argues that only his radically pragmatic account and Sterken’s indexical account can capture what we call the positive data . We present some...
-
First-Order Properties
A first-order property of a structure is a property that can be expressed by a formula of first-order logic. Many properties are first-order but some...
-
Paraconsistent Metatheory: New Proofs with Old Tools
This paper is a step toward showing what is achievable using non-classical metatheory—particularly, a substructural paraconsistent framework. What...
-
The Inference-Marker View of Logical Notions: What a Pragmatist Proposal Looks Like
In this chapter, I discuss an informed pragmatist proposal for characterising the class of logical constants, which I call ‘the inference-marker...
-
Tame vs. Wild
In this chapter we will compare two classical structures: the field of complex numbers...
-
Logical Seeing
This chapter serves as an interlude. Our goal in the following chapters is to show how tools of logic can used to uncover essential features of...
-
Ontological pluralism and the Buddhist two truths
In this essay, I argue that the Abhidharma philosopher Saṅghabhadra’s account of conventional reality and truth does lend itself well to Kris...
-
Quantified Modal Logic
We have the same propositional connectives that we had in Chap. 5 , and the same modal operators.