A minimal truthmaker for a given proposition is the smallest portion of reality which makes this proposition true. Minimal truthmakers are frequently mentioned in the literature, but there has been no systematic account of what they are or of their importance. In this article we shall clarify the notion of a minimal truthmaker and argue that there is reason to think that at least some propositions have minimal truthmakers. We shall then argue that the (...) notion can play a useful role in truthmaker theory, by helping to explain the truth of certain propositions as precisely as possible. (shrink)

Truthmaker monism is the view that the one and only truthmaker is the world. Despite its unpopularity, this view has recently received an admirable defence by Schaffer :307–324, 2010b). Its main defect, I argue, is that it omits partial truthmakers. If we omit partial truthmakers, we lose the intimate connection between a truth and its truthmaker. I further argue that the notion of a minimal truthmaker should be the key notion that plays the role of constraining ontology (...) and that truthmaker monism is not necessary for an appropriate solution to the problem of finding truthmakers for negative truths. I conclude that we should reject truthmaker monism once and for all. (shrink)

Armstrong appeals to the existence of totalities in order to solve the problem of negative truths. The totality of first-order states of affairs is a truthmaker for all negative truths, but it involves things which are irrelevant to many such truths. To solve this problem, Armstrong claimed that negative truths have minimal truthmakers which usually consist in totalities smaller than the totality of first-order states of affairs. Merricks objects to this claim by arguing that given Armstrong’s definition of (...) minimal truthmakers, the totality of first-order states of affairs is a minimal truthmaker for every negative truth. In this article, I respond to Merricks’s objection. I will first show that the definition of minimal truthmakers that he proposes is not plausible. However, Merricks’s objection, I will argue, also works on the standard definition of minimal truthmakers. I will then show that for independent reasons, the standard definition should be revised, and, given my revised definition, Merricks’s objection fails. (shrink)

This paper employs recent developments in the theory of truthmakers to offer a novel solution to the most discussed philosophical challenge presented by the Christian doctrine of the Trinity. According to the view developed, the Father, Son, and Spirit each serve as the only substantial constituent of equally minimal truthmakers for claims about God. Because they do, there is a clear and robust sense in which each is a substance that “is” God as much as anything is, (...) while the three remain distinct from each other. The view is shown to hold certain prima facie advantages over rival extant approaches. (shrink)

Kit Fine distinguishes between inexact and exact truthmaking. He argues that the former can be defined from the latter, but not vice versa, and so concludes that truthmaker semanticists should treat the exact variety of truthmaking as primitive. I argue that this gets things backwards. We can define exact truthmaking in terms of inexact truthmaking and we can’t define inexact truthmaking in terms of exact truthmaking. I conclude that it’s inexact truthmaking, rather than exact truthmaking, that truthmaker semanticists should treat (...) as the primitive semantic relation. (shrink)

The starting point of this paper is the idea that linguistic representation is the result of a global process: a process of interaction of a community of cognitive-linguistic agents, with one another and with the environment. I maintain that the study of truth, meaning and related notions should be addressed without losing perspective of this process, and I oppose the ‘static’ or ‘analytic’ approach, which is fundamentally based on our own knowledge of the conventional meaning of words and sentences, and (...) the ability of using them that we have as competent speakers. I argue that the analytic perspective is responsible for five recurring difficulties in truthmaker theory: (1) the lack of attention to the difference of explanatory role between the distinct notions proposed as primary truthbearer; (2) the adscription of purely extra-linguistic truthmakers to ‘synthetic truths’, ignoring the contribution of the linguistic factor; (3) the adscription of purely linguistic truthmakers to ‘logical’ and ‘analytic truths’, ignoring the contribution of the worldly factor; (4) the difficulties in the search for minimal truthmakers; (5) the problems in the treatment of ‘negative facts’ and of other ‘logically complex facts’. I do not provide an account of how to solve these difficulties, but I do show how the ‘process model’ helps to clear up confusion regarding them. (shrink)

The core of the truthmaker research program is that true propositions are made true by appropriate parts of the actual world. This idea seems to give realists their best shot at capturing a robust account of the dependence of truth on the world. For a part of the world to be a truthmaker for a particular it must suffice for, or necessitate, the truth of the proposition. There are two extreme and unsatisfactory truthmaker theories. At one extreme any part of (...) the world (up to and including the whole world) that suffices for a proposition is deemed to be a truthmaker for that proposition. At the other extreme there is only one truthmaker that can do the job, and that is the entire world, the whole show. Another possibility suggests itself, that a truthmaker be any minimal sufficer for a proposition. A truthmaker is minimal if it suffices but no proper part of it suffices. A minimal sufficer would be both sufficient for the truth of the proposition and, in one sense, necessary for it as well. A minimal sufficers would be commensurate with the proposition it makes true. Unfortunately not all propositions have minimal sufficers. But it does not follow that not every proposition has a commensurate sufficer. The problem, then, is to specify a coherent notion of commensurateness on which every truth has a commensurate sufficer. I argue that this problem may not be soluble. (shrink)

Separatists about grounding take explanations to be separate from their corresponding grounding-facts. Grounding-facts are supposed to underlie, or back, such explanations. However, the backing relation hasn’t received much attention in the literature. The aim of this paper is to provide an informative definition of backing. First, I examine two prominent proposals: backing as explaining (Kovacs 2017; 2019a) and backing as grounding (see Sjölin Wirling 2020). Finally, I put forward my own proposal. I argue that under plausible assumptions about the role (...) of backing and the nature of explanation, backing should be understood as a form of truthmaking, minimally construed. (shrink)

This paper proposes a new account of bounded or minimal doxastic rationality (in the sense of Cherniak 1986), based on the notion that beliefs are answers to questions (à la Yalcin 2018). The core idea is that minimally rational beliefs are linked through thematic connections, rather than entailment relations. Consequently, such beliefs are not deductively closed, but they are closed under parthood (where a part is an entailment that answers a smaller question). And instead of avoiding all inconsistency, minimally (...) rational believers only avoid blatant inconsistencies (where some beliefs are blatantly inconsistent when they contradict one another on a particular question). Rather than cohering into a single overall world view, beliefs are more loosely connected in what is best described as a web of questions. This view of minimally rational belief naturally gives rise to an account of deductive inquiry on which deductive reasoning is a matter of posing new questions. (shrink)

In this paper, we first develop truthmaker semantics for four relevance logics defined as the non-transitive relevant cores [as introduced in Verdée et al. (Aust J Log 16:10–40, 2019)] of the well-known propositional logics CL\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\textbf {CL}}$$\end{document} (classical logic), LP\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\textbf {LP}}$$\end{document} (the logic of paradox), K3\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\textbf {K3}}$$\end{document} (strong Kleene logic), and FDE\documentclass[12pt]{ (...) class='Hi'>minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\textbf {FDE}}$$\end{document} (first degree entailment). The semantics is similar to Kit Fine’s truthmaker semantics for classical logic, but we define the notion of exact verification similarly to Fine’s notion of loose verification. Dropping Fine’s principle of Downward Closure of the set of consistent states nevertheless warrants the exactness of our verification notion. The semantics of the four non-transitive relevance logics shows that they are in fact straightforward cut-free substructural logics, despite their definition by means of a filtering criterion. We develop the associated sound and complete sequent calculi for these logics. Finally, we argue that the four presented truthmaker semantics are also interesting alternatives to the standard Kit Fine style truthmaker semantics for the original (irrelevant) consequence relations FDE\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\textbf {FDE}}$$\end{document}, LP\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\textbf {LP}}$$\end{document}, K3\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\textbf {K3}}$$\end{document}, and CL\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\textbf {CL}}$$\end{document} themselves. The most interesting difference with Fine’s approach is the way in which tautologies are handled: next to their usual verifiers, they are also made true by the empty state. We provide philosophical arguments for the plausibility of such an account. (shrink)

In this paper I further elucidate and defend a metaontological position that allows you to have a minimal ontology without embracing an error-theory of ordinary talk. On this view 'there are Fs' can be strictly and literally true without bringing an ontological commitment to Fs. Instead of a sentence S committing you to the things that must be amongst the values of the variables if it is true, I argue that S commits you to the things that must exist (...) as truthmakers for S if it is true. I rebut some recent objections that have been levelled against this metaontological view. (shrink)

In 1997, David Armstrong argued that the world is a world of states of affairs. In his latest book, Truth and Truthmakers, he remains strongly committed to the existence of states of affairs, despite now advocating an ontology in which they are not needed, 'as an ontological extra'. States of affairs remain needed, Armstrong says, 'to act as truthmakers for predicative truths'. In this paper, I attempt to shed light on what Armstrong might mean by this claim. While (...) there is a straightforward sense in which states of affairs are not needed in Armstrong's amended ontology, I suggest that Armstrong might be charitably interpreted in a manner that justifies his claim. However, in clarifying the manner in which states of affairs remain needed in Armstrong's ontology, it becomes unclear whether they are needed in any 'deep' sense, or rather are merely parochial to his ontology. I examine Armstrong's rejection of Resemblance Nominalism on the grounds that it does not provide adequate 'minimal' truthmakers. I then argue that he has significant additional work to do in explaining this concept before his rejection of Resemblance Nominalism can be justified, and thus before the need for states of affairs can be asserted generally, rather than just within particular ontologies, such as Armstrong's amended one. (shrink)

Substantial metaphysical theory has long struggled with the question of negative facts, facts capable of making it true that Valerie isn’t vigorous. This paper argues that there is an elegant solution to these problems available to anyone who thinks that there are positive facts. Bradley’s regress and considerations of ontological parsimony show that an object’s having a property is an affair internal to the object and the property, just as numerical identity and distinctness are internal to the entities that are (...) numerically identical or distinct. For the same reasons, an object’s lacking a property must be an affair internal to the object and the property. Negative facts will thus be part of any ontology of positive facts. (shrink)

This chapter contains sections titled: Preamble Conceptual Primitivism Concerning “Determinately” Incoherentism and Indeterminate Truth Slater on Indeterminate Truth Quine, Indeterminate Truth, and the Problem of the Many Truthmaker Gaps and Indeterminate Truth The Logic of Determinacy Worldly Indeterminacy: Williamson's Conception and the Ordinary Conception Minimal Versus Robust Forms of Worldly and Linguistic Indeterminacy Truthmaker Gaps and Knowledge Epistemicism, Third Possibility Views, and Indeterminate Truth Semantic Presupposition Failure and Indeterminate Truth Truthmaking Gaps and Indeterminate Truth The Queerness Objection Conclusion References.

The revisionary metaphysician seemingly faces a seriously unfortunate dilemma where she is forced to choose between the Scylla of too little regimentation and the Charbydes of too much. Many take this to be an impossible dilemma, and regard it as a reductio against the revisionary framework itself. In this paper, I argue that the dilemma is not necessarily impossible. To be justified, ontological theorising must be regimented just enough. To escape the dilemma, therefore, the revisionary metaphysician must, to be able (...) to answer the question: -/- Why should one hold that the world is a world of tropes? -/- first answer another question: -/- Can revisionary theorising be regimented just enough? -/- I will address both these questions in the order here indicated. I will suggest that the now popular truthmaker theory might, if added to a revisionary framework, offer the resources necessary to obtain just the right amount of regimentation for its revisionary ontological conclusions to be justified. The world is a world of tropes if (minimally) tropes can fulfil their truthmaking function. That tropes can fulfil their truthmaking function only tells us that the world could be a world of tropes, it does not tell us why we should prefer a theory of tropes as truthmakers to a theory of, say, states of affairs, however. I therefore end the paper with a discussion of the limits of theory comparison in revisionary ontology. (shrink)

This chapter contains sections titled: Knowing How it is that p How‐Knowledge that p and Gradualism Degrees of Knowledge and Degrees of Belief How‐Knowledge that p and Truthmakers Knowledge that p and Gradualism Knowledge‐Gradualism's Central Concept Can there be Minimal Knowledge? Minimal Knowledge as Foundational Knowledge Knowledge‐Gradualism: Closure and Scepticism Knowledge‐Gradualism: Content Externalism and Self‐Knowledge How not to Argue for Knowledge‐Absolutism Linguistic Evidence: Igor Douven Linguistic Evidence: Jason Stanley How‐Knowledge‐how that p Knowing as Understanding?

Say that two sentences are ground-theoretically equivalent iff they are interchangeable salva veritate in grounding contexts. Notoriously, ground-theoretic equivalence is a hyperintensional matter: even logically equivalent sentences may fail to be interchangeable in grounding contexts. Still, there seem to be some substantive, general principles of ground-theoretic equivalence. For example, it seems plausible that any sentences of the form A∧B\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$A \wedge B$$\end{document} and B∧A\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} (...) \setlength{\oddsidemargin}{-69pt} \begin{document}$$B \wedge A$$\end{document} are ground-theoretically equivalent. What, then, are in general the conditions for two sentences to stand in the relation of ground-theoretic equivalence, and what are the logical features of that relation? This paper develops and defends an answer to these questions based on the mode-ified truthmaker theory of content presented in my recent paper ‘Towards a theory of ground-theoretic content’ :785–814, 2018). (shrink)

In this dissertation, I develop a metaphysics of powers to ground Dispositionalism, the theory of the source of modality according to which all alethic modal truths are grounded in dispositional properties instantiated in the actual world. I consider a number of key theses that powers metaphysics display, and investigate which can be incorporated in the metaphysical base of Dispositionalism, and how. In the first part I examine the interaction of two core principles of powers ontologies: Directedness, the thesis that powers (...) ‘point at’ their manifestations, and Independence, the thesis that powers can fail to manifest. These two principles are in tension: there is an argument, known as Too Much Possibility, to the effect that they are inconsistent. I examine various strategies to resist the argument. These involve Physical Intentionality, numerical identity between power and manifestation, process ontologies, and platonic universals. I conclude that they are all unsatisfactory. In the second part, I develop a ‘minimal metaphysics of powers’ that is immune from the threat of Too Much Possibility. This involves considering unmanifested manifestations to be akin to Mere Logical Existents. I argue that the best way to avoid the tension at the heart of powers ontologies is to conceive of unmanifested manifestations as non-essentially non-spatiotemporally located entities. I then consider some consequences of minimal metaphysics: I examine which ontological category the manifestations of power can belong to, and what are the prospects of grounding metaphysical, as opposed to natural, modality. Finally, in the third part, I investigate whether further key theses of powers ontologies can be incorporated into the minimal metaphysics. This leads to discuss the relationship of the minimal metaphysics with grounding and dependency relations, the metaphysics of time, the truthmaking principle, and tendential theories of powers. (shrink)

David Lewis asked in “A problem about permission” about the effects on context, specifically on the “sphere of permissibility,” of allowing behavior that had previously been forbidden. The framework of truthmaker semantics sheds useful light on this problem. Update procedures are definable in the truthmaker framework that capture more than Lewis was able to just with worlds. Connections are drawn with epistemic modals, belief revision and the semantics of exceptives. We consider how a truthmaker account of permissive update might be (...) integrated into a larger semantic/pragmatic account of deontic language. Bridge principles are articulated associating types of deontic act with distinct update rules. Distinct forms of permission trigger distinct procedures because they aim at spheres more or less strongly verifying ◊φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Diamond \varphi $$\end{document}, the claim that φ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varphi $$\end{document} is permissible. (shrink)

According to Johansson (2009: 22) an infinite regress is vicious just in case “what comes first [in the regress-order] is for its definition dependent on what comes afterwards.” Given a few qualifications (to be spelled out below (section 3)), I agree. Again according to Johansson (ibid.), one of the consequences of accepting this way of distinguishing vicious from benign regresses is that the so-called Russellian Resemblance Regress (RRR), if generated in a one-category trope-theoretical framework, is vicious and that, therefore, the (...) existence of tropes only makes sense if trope-theory is understood (minimally) as a two-category theory which accepts, besides the existence of tropes, also the existence of at least one universal: resemblance.1 I disagree. But how can that be? How can Johansson and I agree about what distinguishes a vicious from a benign regress, yet disagree about which regresses are vicious and which are benign? In this paper I attempt to answer that question by first setting out and defending the sense of viciousness which both Johansson and I accept, only to then argue that to be able to determine if a particular regress is vicious in this sense, more than features intrinsic to the regress itself must be taken into account. This is why, although the RRR as originally set out by Russell is vicious, the seemingly identical resemblance regress which ensues in a one-category (standard) trope-theoretical context is not (provided, that is, that we accept certain views about how the nature of tropes relates to the resemblance between tropes, and given that we set our theory in a truthmaker theoretical framework – all of which are standard assumptions for proponents of (the standard-version of) the trope-theory).2. (shrink)

Most defenders of the new mechanistic approach accept ontic constraints for successful scientific explanation (Illari 2013; Craver 2014). The minimal claim is that scientific explanations have objective truthmakers, namely mechanisms that exist in the physical world independently of any observer and that cause or constitute the phenomena-to- be-explained. How can this idea be applied to type-level explanations? Many authors at least implicitly assume that in order for mechanisms to be the truthmakers of type-level explanation they need to (...) be regular (Andersen 2012; Sheredos 2015). One problem of this assumption is that most mechanisms are (highly) stochastic in the sense that they “fail more often than they succeed” (Bogen 2005; Andersen 2012). How can a mechanism type whose instances are more likely not to produce an instance of a particular phenomenon type be the truthmaker of the explanation of that particular phenomenon type? In this paper, I will give an answer to this question. I will analyze the notion of regularity and I will discuss Andersen's suggestion for how to cope with stochastic mechanisms. I will argue that her suggestion cannot account for all kinds of stochastic mechanisms and does not provide an answer as to why regularity grounds type-level explanation. According to my analysis, a mechanistic type- level explanation is true if and only if at least one of the following two conditions is satisfied: the mechanism brings about the phenomenon more often than any other phenomenon (comparative regularity) or the phenomenon is more often brought about by the mechanism than by any other mechanism/causal sequence (comparative reverse regularity). (shrink)

One metaphysical problem about laws is how to find appropriate truthmakers for fully general functional laws. What makes it true, for instance, that an uninstantiated mass would interact with others as prescribed by laws concerning mass? This is the missing value problem. D. M. Armstrong attempted to solve it by appeal to determinable universals. I will offer a trope‐theoretic solution that, while in some ways more metaphysically adventurous than Armstrong's view, avoids commitment to universals and determinables (as different from (...) their determinates). The solution makes use of a special conception of tropes as capable of intrinsic change. It also makes use of a distinction between two ways of having a causal power (a distinction we should make in any case). Existing powers‐based approaches to the problem struggle to avoid the idea that powers mysteriously point beyond themselves. But if tropes are capable of intrinsic change in the way I propose, they can account for the full generality of laws with minimal pointing beyond, and can do so while retaining natures that are credibly intrinsic. (shrink)

The filtration method for proving decidability in a focused minimal manner is a highlight of modal logic, widely used, but also posing a bit of a challenge as to its scope and what makes it tick. In this paper, we bring together a number of modern perspectives on filtration, including model-theoretic and proof-theoretic ones. We also include a few more unusual recent connections with dynamic logics of model change and logics of questions and issues. Finally, we analyze where the (...) filtration method fails in full first-order logic, and what it still has to say there. (shrink)

In this chapter, Kit Fine and Errol Martin provide a formal account of non-circular reasoning, i.e. of reasoning in which the conclusion of an argument is not somehow presupposed in its premises. Martin (along with R. Meyer) had previously shown that the implicational system P-W\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\textbf{P}\!\mathbf {-W}$$\end{document} does not contain any theorems of the form A→A\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$A \rightarrow A$$\end{document}. Fine and Martin then (...) extend this result to systems that also contain conjunction. (shrink)

In Philosophy Without Intuitions, Herman Cappelen focuses on the metaphilosophical thesis he calls Centrality: contemporary analytic philosophers rely on intuitions as evidence for philosophical theories. Using linguistic and textual analysis, he argues that Centrality is false. He also suggests that because most philosophers accept Centrality, they have mistaken beliefs about their own methods.To put my own views on the table: I do not have a large theoretical stake in the status of intuitions, but unreflectively I find it fairly obvious that (...) many philosophers, including myself, appeal to intuitions. Cappelen’s arguments make a provocative challenge to this unreflective background conception. So it is interesting to work through the arguments to see what they might and might not show.In what follows I aim to articulate a minimal notion of intuition that captures something of the core everyday philosophical usage of the term, and that captures the sense .. (shrink)

What could someone represent that would enable her to track, at least within limits, others' perceptions, knowledge states and beliefs including false beliefs? An obvious possibility is that she might represent these very attitudes as such. It is sometimes tacitly or explicitly assumed that this is the only possible answer. However, we argue that several recent discoveries in developmental, cognitive, and comparative psychology indicate the need for other, less obvious possibilities. Our aim is to meet this need by describing the (...) construction of a minimal theory of mind. Minimal theory of mind is rich enough to explain systematic success on tasks held to be acid tests for theory of mind cognition including many false belief tasks. Yet minimal theory of mind does not require representing propositional attitudes, or any other kind of representation, as such. Minimal theory of mind may be what enables those with limited cognitive resources or little conceptual sophistication, such as infants, chimpanzees, scrub-jays and human adults under load, to track others' perceptions, knowledge states and beliefs. (shrink)

Among the virtues of relationist approaches to Frege’s puzzle is that they put us in a position to outline structural features of the puzzle that were only implicit in earlier work. In particular, they allow us to frame questions about the relation between the explanatory roles of sense and sameness of sense. In this paper, I distinguish a number of positions about that relation which have not been clearly distinguished. This has a few pay-offs. It allows us to shed light (...) on recent controversies about the ‘essential indexical’, and it also allows us to see what’s at stake between relationists and their opponents. When we see what’s at stake, we can see that we have reason to adopt an account of cognitive significance that incorporates elements of both relationist and Fregean approaches. (shrink)

The paper develops an account of minimal traces devoid of representational content and exploits an analogy to a predictive processing framework of perception. As perception can be regarded as a prediction of the present on the basis of sparse sensory inputs without any representational content, episodic memory can be conceived of as a “prediction of the past” on the basis of a minimal trace, i.e., an informationally sparse, merely causal link to a previous experience. The resulting notion of (...) episodic memory will be validated as a natural kind distinct from imagination. This trace minimalist view contrasts with two theory camps dominating the philosophical debate on memory. On one side, we face versions of the Causal Theory that hold on to the idea that episodic remembering requires a memory trace that causally links the event of remembering to the event of experience and carries over representational content from the content of experience to the content of remembering. The Causal Theory, however, fails to account for the epistemic generativity of episodic memory and is psychologically and information-theoretically implausible. On the other side, a new camp of simulationists is currently forming up. Motivated by empirical and conceptual deficits of the Causal Theory, they reject not only the necessity of preserving representational content, but also the necessity of a causal link between experience and memory. They argue that remembering is nothing but a peculiar form of imagination, peculiar only in that it has been reliably produced and is directed towards an episode of one’s personal past. Albeit sharing their criticism of the Causal Theory and, in particular, rejecting its demand for an intermediary carrier of representational content, the paper argues that a causal connection to experience is still necessary to fulfill even the minimal requirements of past-directedness and reliability. (shrink)

Despite their many virtues, democracies suffer from well-known problems with high levels of voter ignorance. Such ignorance, one might think, leads democracies to occasionally produce bad outcomes. Proponents of epistocracy claim that allocating comparatively greater amounts of political power to citizens who possess more politically relevant knowledge may help us to mitigate the bad effects of voter ignorance. An important challenge to epistocracy rejects the claim that we can reliably identify a subset of citizens who possess more politically relevant knowledge (...) than others. Roughly put, such knowledge should involve knowledge of various politically relevant social-scientific facts. But since the social sciences are mired in controversy, it’s not clear what the politically relevant facts are. Accordingly, we cannot definitively say of some citizens that they possess more politically relevant knowledge than others. Call this the Argument from Political Disagreement. In this paper I respond to the Argument from Political Disagreement. First, I argue that it conflates social-scientific knowledge with politically relevant knowledge. Even if there were no uncontroversial social-scientific knowledge, there is much uncontroversial politically relevant knowledge. Second, I establish the importance of such non-social-scientific knowledge for political decision-making. I conclude that this knowledge constitutes the minimal body of knowledge which epistocrats need to make their case. (shrink)

We describe a model of iterated belief revision that extends the AGM theory of revision to account for the effect of a revision on the conditional beliefs of an agent. In particular, this model ensures that an agent makes as few changes as possible to the conditional component of its belief set. Adopting the Ramsey test, minimal conditional revision provides acceptance conditions for arbitrary right-nested conditionals. We show that problem of determining acceptance of any such nested conditional can be (...) reduced to acceptance tests for unnested conditionals. Thus, iterated revision can be accomplished in a "virtual" manner, using uniterated revision. (shrink)

Many of our beliefs behave irrationally: this is hardly news to anyone. Although beliefs’ irrational tendencies need to be taken into account, this paper argues that beliefs necessarily preserve at least a minimal level of rationality. This view offers a plausible picture of what makes belief unique and will help us to set beliefs apart from other cognitive attitudes.

The paper links discussions of two topics: biological individuality and the simplest forms of mentality. I discuss several attempts to locate the boundary between metabolic activity and ‘minimal cognition.’ I then look at differences between the kinds of individuality present in unicellular life, multicellular life in general, and animals of several kinds. Nervous systems, which are clearly relevant to cognition and subjectivity, also play an important role in the form of individuality seen in animals. The last part of the (...) paper links these biological transitions to the evolutionary history of subjective experience. (shrink)

Although the definition of ‘signal’ has been controversial for some time within the life sciences, current approaches seem to be converging toward a common analysis. This powerful framework can satisfactorily accommodate many cases of signaling and captures some of its main features. This paper argues, however, that there is a central feature of signals that so far has been largely overlooked: its special causal role. More precisely, I argue that a distinctive feature of signals is that they are minimal (...) causes. I explain this notion, suggest some strategies for identifying its instances and defend its relevance by means of conceptual and empirical considerations. (shrink)

We study unification problem and problem of admissibility for inference rules in minimal Johanssonsʼ logic J and positive intuitionistic logic IPC+. This paper proves that the problem of admissibility for inference rules with coefficients is decidable for the paraconsistent minimal Johanssonsʼ logic J and the positive intuitionistic logic IPC+. Using obtained technique we show also that the unification problem for these logics is also decidable: we offer algorithms which compute complete sets of unifiers for any unifiable formula. Checking (...) just unifiability of formulas with coefficients also works via verification of admissibility. (shrink)

This book introduces generative grammar as an area of study and asks what it tells us about the human mind. Wolfram Hinzen lays the foundation for the unification of modern generative linguistics with the philosophies of mind and language. He introduces Chomsky's program of a 'minimalist' syntax as a novel explanatory vision of the human mind. He explains how the Minimalist Program originated in work in cognitive science, biology, linguistics, and philosophy, and examines its implications for work in these fields. (...) He considers the way the human mind is designed when seen as an arrangement of structural patterns in nature, and argues that its design is the product not so much of adaptive evolutionary history as of principles and processes that are ahistorical and internalist in character. Linguistic meaning, he suggests, arises in the mind as a consequence of structures emerging on formal rather than functional grounds. From this he substantiates an unexpected and deeply unfashionable notion of human nature. Clearly written in nontechnical language and assuming a limited knowledge of the fields it examines and links, Minimal Mind Design will appeal to a wide range of scholars in linguistics, philosophy, and cognitive science. It also provides an exceptionally clear insight into the nature and aims of Chomsky's Minimalist Program. (shrink)