Search
Search Results
-
Additive Types in Quantitative Type Theory
Dependent type theories enable us to reason about properties of our programs, while substructural type theories enable us to reason about their... -
Should Type Theory Replace Set Theory as the Foundation of Mathematics?
Mathematicians often consider Zermelo-Fraenkel Set Theory with Choice (ZFC) as the only foundation of Mathematics, and frequently don’t actually want...
-
Propositional Type Theory of Indeterminacy
The aim of this paper is to define a partial Propositional Type Theory. Our system is partial in a double sense: the hierarchy of (propositional)...
-
HOTT and heavy: higher-order thought theory and the theory-heavy approach to animal consciousness
According to what Birch (
2022 ) calls the theory-heavy approach to investigating nonhuman-animal consciousness, we select one of the well-developed... -
On the relationship between scientific theory and ontology in everything flows
In their anthology Everything Flows: Towards a Processual Philosophy of Biology , Daniel J. Nicholson and John Dupré argue that modern theories of...
-
Adam Smith’s Theory of Moral Sentiments
This review identifies at least six different kinds of fellow-feeling in Adam Smith’s Theory of Moral Sentiments. The six kinds are (i) the mirroring...
-
Can the Normic de minimis Expected Utility Theory save the de minimis Principle?
Recently, Martin Smith defended a view he called the “normic de minimis expected utility theory”. The basic idea is to integrate a ‘normic’ version...
-
Strategic justice, conventions, and game theory: introduction to a Synthese topical collection
Evolutionary, game-theoretic approaches to justice and the social contract have become increasingly popular in contemporary moral and political...
-
Identity Theory and Falsifiability
I identify a class of arguments against multiple realization (MR): BookofSand arguments. The arguments are in their general form successful under...
-
Blocking Kripke’s Argument Against the Type-Identity Theory of Mind
In this paper, I present a two-pronged argument devoted to defending the type-identity theory of mind against the argument presented by Kripke in Namin...
-
Genesis, Habituality, Type
It was clear, by the end of Chap. 2 , that static methods would not be enough. Here, I introduce genetic... -
The implicit decision theory of non-philosophers
This paper empirically investigates whether people’s implicit decision theory is more like causal decision theory or more like a non-causal decision...
-
Counterpart Theory and Actuality
Lewis ( The Journal of Philosophy , 65 (5), 113–126,
1968 ) attempts to provide an account of modal talk in terms of the resources of counterpart theory ,... -
On Schurz’s Construction Paradigm of Scientific Theory Development
The aim of this paper is to show that the logical approach to philosophy of science could be further improved with tools like the ones put forward by...
-
The Role of the Law in Critical Theory: An Engagement with Hardt and Negri’s Commonwealth
This paper discusses the role of Law and Legal Thinking in Critical Theory with specific reference to the arguments that Michael Hardt and Antonio...
-
Berkeley’s Theory of Perception: Searle Versus Pappas
In Seeing Things as They Are (Searle 2015), Searle developed a direct realist’s theory of perception. According to direct realism, physical objects...
-
Influence theory
Influence theory is a systematic study of formal models of the communicative influence of one person or group of people on another person or group....
-
Set Theory
In previous chapters we introduced mathematical structures, and we followed with a detailed description of basic number structures. Now it is time to... -
An unjustly neglected theory of semantic reference
There is a simple, intuitive theory of the semantic reference of proper names that has been unjustly neglected. This is the view that semantic...
-
Mystical ineffability: a nonconceptual theory
This paper discusses the nonconceptual theory of mystical ineffability which claims that mystical experiences can’t be expressed linguistically...