I present a possible worlds semantics for a hyperintensional belief revision operator, which reduces the logical idealization of cognitive agents affecting similar operators in doxastic and epistemic logics, as well as in standard AGM belief revision theory. (Revised) belief states are not closed under classical logical consequence; revising by inconsistent information does not perforce lead to trivialization; and revision can be subject to ‘framing effects’: logically or necessarily equivalent contents can lead to different revisions. Such results are obtained without resorting (...) to non-classical logics, or to non-normal or impossible worlds semantics. The framework combines, instead, a standard semantics for propositional S5 with a simple mereology of contents. (shrink)

Politicians select their words meticulously, never losing sight of their ultimate communicative goal. Sometimes, their objective may be that of not being fully understood by a large portion of the audience. They can achieve this by means of dogwhistles; linguistic expressions that, in addition to their literal meaning, convey a concealed message to a specific sub-group of the audience. This paper focuses on the distinction between overt and covert dogwhistles introduced by J. Saul (2018). I argue that, even if the (...) distinction successfully captures a genuine divide within the category of dogwhistles, the account proposed by Saul to explain the distinction is unsatisfactory. In response to this state of affairs, I illustrate how the distinction between overt and covert dogwhistle can be refined and illuminated by incorporating it into the 'Simple Theory' of dogwhistles advanced by J. Khoo (2017). (shrink)

Cognitive scientists have been debating how the folk concept of intentional action works. We suggest a simple account: people consider that an agent did X intentionally to the extent that X was causally dependent on how much the agent wanted X to happen (or not to happen). Combined with recent models of human causal cognition, this definition provides a good account of the way people use the concept of intentional action, and offers natural explanations for puzzling phenomena such as the (...) side-effect effect. We provide empirical support for our theory, in studies where we show that people’s causation and intentionality judgments track each other closely, in everyday situations as well as in scenarios with unusual causal structures. Study 5 additionally shows that the effect of norm violations on intentionality judgments depends on the causal structure of the situation, in a way uniquely predicted by our theory. Taken together, these results suggest that the folk concept of intentional action has been difficult to define because it is made of cognitive building blocks, such as our intuitive concept of causation, whose logic cognitive scientists are just starting to understand. (shrink)

This chapter develops a simple theory of introspection on which a mental state is introspectively accessible just by virtue of the fact that one is in that mental state. This theory raises two questions: first, a generalization question: which mental states are introspectively accessible; and second, an explanatory question: why are some mental states introspectively accessible, rather than others, or none at all? In response to the generalization question, I argue that a mental state is introspectively accessible if and only (...) if it is phenomenally individuated. And in response to the explanatory question, I argue that a mental state is introspectively accessible if and only if it is among the determinants of justification. This provides the basis of an argument for a phenomenal conception of justification, according to which a mental state is among the determinants of justification if and only if it is phenomenally individuated. (shrink)

This paper offers a simple response to the Moral Twin Earth (MTE) objection to Naturalist Moral Realism (NMR). NMR typically relies on an externalist metasemantics such as a causal theory of reference. The MTE objection is that such a theory predicts that terms like ‘good’ and ‘right’ have a different reference in certain twin communities where it’s intuitively clear that the twins are talking about the same thing when using ‘good’. I argue that Boyd’s causal regulation theory, the original target (...) of the MTE objection, was never vulnerable to this objection. The theory contains an epistemic constraint on reference which implies that either the property that causally regulates uses of ‘good’ isn’t different for the twin communities or, in scenarios where the reference is different, the communities diverge in ways where it’s not intuitively clear that ‘good’ has the same reference for them. (shrink)

The idea that there could be spatially extended mereological simples has recently been defended by a number of metaphysicians (Markosian 1998, 2004; Simons 2004; Parsons (2000) also takes the idea seriously). Peter Simons (2004) goes further, arguing not only that spatially extended mereological simples (henceforth just extended simples) are possible, but that it is more plausible that our world is composed of such simples, than that it is composed of either point-sized simples, or of atomless (...) gunk. The difficulty for these views lies in explaining why it is that the various sub-volumes of space occupied by such simples, are not occupied by proper parts of those simples. Intuitively at least, many of us find compelling the idea that spatially extended objects have proper parts at every sub-volume of the region they occupy. It seems that the defender of extended simples must reject a seemingly plausible claim, what Simons calls the geometric correspondence principle (GCP): that any (spatially) extended object has parts that correspond to the parts of the region that it occupies (Simons 2004: 371). We disagree. We think that GCP is a plausible principle. We also think it is plausible that our world is composed of extended simples. We reconcile these two notions by two means. On the one hand we pay closer attention to the physics of our world. On the other hand, we consider what happens when our concept of something—in this case space—contains elements not all of which are realized in anything, but instead key components are realized in different features of the world. (shrink)

In Pietroski ( 2018 ) a simple representation language called SMPL is introduced, construed as a hypothesis about core conceptual structure. The present work is a study of this system from a logical perspective. In addition to establishing a completeness result and a complexity characterization for reasoning in the system, we also pinpoint its expressive limits, in particular showing that the fourth corner in the square of opposition (“ Some_not ”) eludes expression. We then study a seemingly small extension, called (...) SMPL +, which allows for a minimal predicate-binding operator. Perhaps surprisingly, the resulting system is shown to encode precisely the concepts expressible in first-order logic. However, unlike the latter class, the class of SMPL + expressions admits a simple procedural (context-free) characterization. Our contribution brings together research strands in logic—including natural logic, modal logic, description logic, and hybrid logic—with recent advances in semantics and philosophy of language. (shrink)

From antiquity, Galenic physicians extensively discussed the active powers of simple and compound drugs. In their views, simple drugs, that is, single ingredients, acted according to their material qualities and the properties of their substance. As for compound drugs, their efficacy resulted from the mutual interaction of their ingredients and their modes of preparation. In the late Renaissance, Galenic physicians and naturalists, such as Leonhart Fuchs and Pietro Andrea Mattioli, attempted to explain these pharmacological properties or “faculties” at the intersection (...) of medicine, botany, and natural philosophy. This chapter examines the case of the Italian physician and botanist Andrea Cesalpino. His pharmacological treatise De medicamentorum facultatibus [On the Faculties of Drugs, 1593] was particularly significant for its reception of ancient and medieval texts on drug properties, materia medica, and the role of the senses in the knowledge of bodies. (shrink)

Neuroelectrical panpsychism (NP) offers a clear, simple, testable mind–body solution. It says that everything is at least minimally conscious, and electrical activity across separate neurons creates a unified, intelligent mind. NP draws on recent experimental evidence to address the easy problem of specifying the mind's neural correlates. These correlates are neuroelectrical activities that, for example, generate our different qualia, unite them to form perceptions and emotions, and help guide brain operations. NP also addresses the hard problem of why minds accompany (...) these neural correlates. Here, the real nature of matter-energy (beyond how it appears to sense organs) is consciousness that occupies space, exerts forces, and unites neuroelectrically to form minds. This doesn't reduce consciousness to observable neural activities, nor posit any radically different entities. NP also deals with panpsychism's combination problem by explaining how the mind's subject and experiences arise by electrically combining simple experiences in brains. (shrink)

Here is a question about mereological simples that I raised in a recent paper.

Dretske has provided very influential arguments that there is a difference between our sensory awareness of objects and our awareness of facts about these objects—that there is a difference, for example, between seeing x and seeing that x is F. This distinction between simple and epistemic seeing is a staple of the philosophy of perception. Memory is often usefully compared to perception, and in this spirit I argue for the conditional claim that if Dretske’s arguments succeed in motivating the posit (...) of simple seeing, then parallel arguments should equally motivate a posit I call simple remembering. Simple remembering would be a conscious form of memory about an object or event which is prior to and independent of any beliefs the subject may or may not form about the object or event simply remembered. (shrink)

Perhaps the most commonly discussed argument against the possibility of extended simples is the argument from heterogeneity. The argument states that, if extended simples are possible, then extended simples which exhibit intrinsic qualitative variation across space (or spacetime) are also possible [Premise 1]. But, the argument goes, it is impossible for an extended simple to exhibit intrinsic qualitative variation across space (or spacetime) [Premise 2]. Thus, extended simples are impossible. I argue that there is a serious (...) problem with the argument from heterogeneity: the best arguments in support of the first premise undermine support for the second. Thus, there appears to be no good reason to accept both premises. (shrink)

One of the criteria to a strong principle in natural sciences is simplicity. This paper claims that the Free Energy Principle (FEP), by virtue of unifying particles with mind, is the simplest. Motivated by Hilbert’s 24th problem of simplicity, the argument is made that the FEP takes a seemingly mathematical complex domain and reduces it to something simple. More specifically, it is attempted to show that every ‘thing’, from particles to mind, can be partitioned into systemic states by virtue of (...) self-organising symmetry break, i.e. self-entropy in terms of the balance between risk and ambiguity to achieve epistemic gain. By virtue of its explanatory reach, the FEP becomes the simplest principle under quantum, statistical and classical mechanics conditions. (shrink)

Nietzsche (1844–1900) struggles with complexity and many-sidedness throughout his life. He is a nuanced thinker who offers fragments instead of a rigid philosophical system, yet he admires the ‘virtuous energy’ with which systematic thinkers, especially the pre-Socratic philosophers, express themselves. His ability to write with comparable energy is hindered by university philosophy, which privileges restraint and consistency. Therefore, he adopts a practice of spontaneous life writing in order to become simple and honest in thought and life. Inspired by figures such (...) as Emerson, Diogenes, and Sterne, he grasps the ‘nearest shoddy words’ and continually produces new insights in disjointed monologues and aphorisms. Nietzsche's vague metaphors, loose language, inconsistency, and hyperbole stem from this practice, and his autobiography, Ecce Homo (1888), is the closest that he ever comes to rekindling the energy of the pre-Socratics. (shrink)

The notion of rigidity looms large in philosophy of language, but is beset by difficulties. This paper proposes a simple theory of rigidity, according to which an expression has a world-relative semantic property rigidly when it has that property at, or with respect to, all worlds. Just as names, and certain descriptions like The square root of 4, rigidly designate their referents, so too are necessary truths rigidly true, and so too does cat rigidly have only animals in its extension. (...) After spelling out the theory, I argue that it enables us to avoid the headaches that attend the misbegotten desire to have a simple rigid/non-rigid distinction that applies to expressions, giving us a simple solution to the problem of generalizing the notion of rigidity beyond singular terms. (shrink)

Mereological realism holds that the world has a mereological structure – i.e. a distribution of mereological properties and relations. In this article, I defend Eleaticism about properties, according to which there are no causally inert non-logical properties. I then present an Eleatic argument for mereological anti-realism, which denies the existence of both mereological composites and mereological simples. After defending Eleaticism and mereological anti-realism, I argue that mereological anti-realism is preferable to mereological nihilism. I then conclude by examining the thesis (...) that composition is identity and noting its consequences for the question of mereological structure. (shrink)

A material simple is a material object that has no proper parts. Some philosophers have argued for the possibility of extended simples. Some have even argued for the possibility of heterogeneous simples or simples that have intrinsic variations across their surfaces. There is a puzzle, though, that is meant to show that extended, heterogeneous simples are impossible. Although several plausible responses have been given to this puzzle, I wish to reopen the case against extended, heterogeneous (...) class='Hi'>simples. In this paper, I briefly canvass responses to this puzzle which may be made in defense of extended, heterogeneous simples. I then present a new version of this puzzle which targets simples that occupy atomic yet extended regions of space. It seems that none of the traditional responses can be used to successfully save this particular kind of extended simple from the new puzzle. I also consider some non-traditional defenses of heterogeneous extended simples and argue that they too are unsuccessful. Finally, I will argue that a substantial case can be made against the possibility of extended heterogeneous simples of any kind. (shrink)

The notion of an extended simple region (henceforth ESR) has recently been marshalled in the service of arguments for a variety of conclusions. Exactly how to understand the idea of extendedness as it applies to simple regions, however, has been largely ignored, or, perhaps better, assumed. In this paper we first (§1) outline what we take to be the standard way that philosophers are thinking about extendedness, namely as an intrinsic property of regions. We then introduce an alternative picture (§2), (...) according to which extendedness is extrinsic. In §3 we argue that it matters which way of thinking about extendedness is the right one, since how ESRs behave is sensitive to what extendedness consists in, and various arguments that appeal to ESRs turn out to be unsound if extendedness is extrinsic rather than intrinsic. (shrink)

This paper presents an account of what it is for a property or relation (or ‘attribute’ for short) to be logically simple. Based on this account, it is shown, among other things, that the logically simple attributes are in at least one important way sparse. This in turn lends support to the view that the concept of a logically simple attribute can be regarded as a promising substitute for Lewis’s concept of a perfectly natural attribute. At least in part, the (...) advantage of using the former concept lies in the fact that it is amenable to analysis, where that analysis—i.e., the account put forward in this paper—requires the adoption neither of an Armstrongian theory of universals nor of a primitive notion of naturalness, fundamentality, or grounding. (shrink)

In recent discussions of the Humean Theory of Motivation (HTM), several authors – not to mention other philosophers around the proverbial water cooler – have appealed to the simplicity of the theory to defend it. But the argument from simplicity has rarely been explicated or received much critical attention – until now. I begin by reconstructing the argument and then argue that it suffers from a number of problems. Most importantly, first, I argue that HTM is unlikely to be simpler (...) than even close competing theories, and second, it is unlikely that a plausible version of the theory will be very simple. Moreover, I argue that a convincing case for HTM is likely to have to show that it is more virtuous than defenders have done so far. (shrink)

In his discussion of simple esteem—one of the moral entities meant to regulate human actions—Pufendorf invokes a juridical commonplace: the rule that, before evidence to the contrary, we should presume others to be good. This argumentative strategy is an illuminating example for understanding his method of commonplaces. The present paper has three goals: (1) to analyze how Pufendorf adopted from legal humanism the view that presumptions should be based on considerations of what comes about most easily in nature; (2) to (...) show that Pufendorf’s inclusion of ethical aspects in the juridical presumption of goodness is an application of this view of forming presumptions; (3) to argue that Pufendorf did not regard juridical and philosophical commonplaces as expressions of a particular stage of intellectual history but rather as the result of reflection about human needs and abilities. (shrink)

A simple interpretation of quantity calculus is given. Quantities are described as two-place functions from objects, states or processes (or some combination of them) into numbers that satisfy the mutual measurability property. Quantity calculus is based on a notational simplification of the concept of quantity. A key element of the simplification is that we consider units to be intentionally unspecified numbers that are measures of exactly specified objects, states or processes. This interpretation of quantity calculus combines all the advantages of (...) calculating with numerical values (since the values of quantities are numbers, we can do with them everything we do with numbers) and all the advantages of calculating with standardly conceived quantities (calculus is invariant to the choice of units and has built-in dimensional analysis). This also shows that the standard metaphysics and mathematics of quantities and their magnitudes is not needed for quantity calculus. At the end of the article, arguments are given that the concept of quantity as defined here is a pivotal concept in understanding the quantitative approach to nature. As an application of this interpretation of quantity calculus, an easy proof of dimensional homogeneity of physical laws is given. (shrink)

In this paper, we present and defend an analysis of harm that we call the Negative Influence on Well-Being Account (NIWA). We argue that NIWA has a number of significant advantages compared to its two main rivals, the Counterfactual Comparative Account (CCA) and the Causal Account (CA), and that it also helps explain why those views go wrong. In addition, we defend NIWA against a class of likely objections, and consider its implications for several questions about harm and its role (...) in normative theorizing. (shrink)

In this paper, we argue for a novel three-dimensionalist solution to the problem of persistence, i.e. cross-temporal identity. We restrict the discussion of persistence to simple substances, which do not have other substances as their parts. The account of simple substances employed in the paper is a trope-nominalist strong nuclear theory, which develops Peter Simons' trope nominalism. Regarding the distinction between three dimensionalism and four dimensionalism, we follow Michael Della Rocca's formulation, in which 3D explains persistence in virtue of same (...) entities and 4D in virtue of distinct entities. SNT is a 3D'ist position because it accounts for the persistence of simple substances in virtue of diachronically identical ‘nuclear’ tropes. The nuclear tropes of a simple substance are necessary for it and mutually rigidly dependent but distinct. SNT explains qualitative change by tropes that are contingent to a simple substance. We show that it avoids the standard problems of 3D: temporal relativization of ontic predication, Bradley's regress and coincidence, fission and fusion cases. The temporal relativization is avoided because of the analysis of temporary parts that SNT gives in terms of temporal sub-location, which is atemporal part–whole relation. (shrink)

Semanticists face substitution challenges even outside of contexts commonly recognized as opaque. Jennifer M. Saul has drawn attention to pairs of simple sentences - her term for sentences lacking a that-clause operator - of which the following are typical: -/- (1) Clark Kent went into the phone booth, and Superman came out. (1*) Clark Kent went into the phone booth, and Clark Kent came out. -/- (2) Superman is more successful with women than Clark Kent. (2*) Superman is more successful (...) with women than Superman. -/- She challenges us to explain why the upper and lower sentences in each pair differ, or at least appear to differ, in their truth-values and hence truth-conditions. This appearance of substitution failure is inherently puzzling. Moreover, it is taken by Saul to generate a dilemma for anyone hostile to direct reference accounts of that-clause constructions. Direct reference theorists regard the appearance of substitution failure in that-clause contexts as mere appearance, to be dealt with pragmatically rather than semantically. -/- Critics of such accounts need to say something about simple-sentence cases. If they choose to allow that intuitions of substitution failure can be over-ridden and explained away pragmatically in simple-sentence cases but not in that-clause cases, they lay themselves open to the charge of operating a double standard. But if they do not choose this option, they must offer a semantic explanation of apparent substitution failure in simple-sentence cases - no easy task, it turns out. Other respondents to Saul's challenge have sought to provide elaborate semantic treatments. In contrast, this paper proposes a far simpler pragmatic explanation of intuitions of substitution failure in simple sentences, an explanation that deploys no more resources than are to be found in Grice's 'Logic and Conversation'. Ironically, this proposal turns out to be incompatible with a direct reference perspective. So if it is, as I maintain, the most plausible treatment of simple-sentence cases available, Saul's initial thought gets turned around 180 degrees: the phenomenon she has drawn attention to ends up representing a challenge to supporters of direct reference theories. (shrink)

According to certain kinds of semantic dispositionalism, what an agent means by her words is grounded by her dispositions to complete simple tasks. This sort of position is often thought to avoid the finitude problem raised by Kripke against simpler forms of dispositionalism. The traditional objection is that, since words possess indefinite (or infinite) extensions, and our dispositions to use words are only finite, those dispositions prove inadequate to serve as ground for what we mean by our words. I argue (...) that, even if such positions (emphasizing simple tasks) avoid the traditional form of Kripke's charge, they still succumb to special cases of the finitude problem. Furthermore, I show how such positions can be augmented so as to avoid even these special cases. Doing so requires qualifying the dispositions of interest as those possessed by the abstracted version of an actual agent (in contrast to, say, an idealized version of the agent). In addition to avoiding the finitude problem in its various forms, the position that results provides new materials for appreciating the role that abstracting models can play for a dispositionalist theory of meaning. (shrink)

I provide a simple solution to the problem of determining the characterising feature(s) of the simple approach to personal identity, sometimes also called the simple view: instead of focusing on claims regarding the analysability, reducibility, or triviality of the concepts used in simple theories of personal identity, I propose instead a metaphysical criterion to define this approach. In particular, I claim that the simple approach is (best seen as) that family of theories according to which personal identity is a relation (...) that essentially depends on a mereologically simple (or impartite) entity the existence and features of which may be known directly (e.g., by introspection) or indirectly (e.g., by deduction from a series of other premises). (shrink)

Engineers fine-tune the design of robot bodies for control purposes, however, a methodology or set of tools is largely absent, and optimization of morphology (shape, material properties of robot bodies, etc.) is lagging behind the development of controllers. This has become even more prominent with the advent of compliant, deformable or ”soft” bodies. These carry substantial potential regarding their exploitation for control—sometimes referred to as ”morphological computation”. In this article, we briefly review different notions of computation by physical systems and (...) propose the dynamical systems framework as the most useful in the context of describing and eventually designing the interactions of controllers and bodies. Then, we look at the pros and cons of simple vs. complex bodies, critically reviewing the attractive notion of ”soft” bodies automatically taking over control tasks. We address another key dimension of the design space—whether model-based control should be used and to what extent it is feasible to develop faithful models for different morphologies. (shrink)

Simple random sampling resolutions of the raven paradox relevantly diverge from scientific practice. We develop a stratified random sampling model, yielding a better fit and apparently rehabilitating simple random sampling as a legitimate idealization. However, neither accommodates a second concern, the objection from potential bias. We develop a third model that crucially invokes causal considerations, yielding a novel resolution that handles both concerns. This approach resembles Inference to the Best Explanation (IBE) and relates the generalization’s confirmation to confirmation of an (...) associated law. We give it an objective Bayesian formalization and discuss the compatibility of Bayesianism and IBE. (shrink)

Phenomenal intentionality is irreducible. Empirical investigation shows it is internally-dependent. So our usual externalist (causal, etc.) theories do not apply here. Internalist views of phenomenal intentionality (e. g. interpretationism) also fail. The resulting primitivist view avoids Papineau's worry that terms for consciousness are highly indeterminate: since conscious properties are extremely natural (despite having unnatural supervenience bases) they are 'reference magnets'.

Since the publication of Peter van Inwagen's book, Material Beings,1 there has been a growing body of philosophical literature on the topic of composition. The main question addressed in both van Inwagen's book and subsequent discussions of the topic is a question that van Inwagen calls "the Special Composition Question." The Special Composition Question is, roughly, the question Under what circumstances do several things compose, or add up to, or form, a single object? For the purposes of formulating a more (...) precise version of the Special Composition Question, we can adopt the following technical terms. (shrink)

In this paper, I will offer an analogy between the Trinity and extended simples that supports a Latin approach to the Trinity. The theoretical tools developed to discuss and debate extended simples in the literature of contemporary analytic metaphysics, I argue, can help us make useful conceptual distinctions in attempts to understand what it could be for God to be Triune. Furthermore, the analogy between extended simples and the Trinity might surprise some who find one of these (...) at least plausibly possible and the other incoherent. (shrink)

Communication is an inherently strategic matter. This paper introduces simple game theoretic models of information transmission to identify different forms of uncertainty which may pose a problem of trust in testimony. Strategic analysis suggests discriminating between trust in integrity, trust in competence, trust in (the will to invest) effort and trust in honesty. Whereas uncertainty about the sender's honesty or integrity may directly influence a rational receiver's readiness to rely on sender's statements, neither uncertainty about the competence of a sender (...) nor uncertainty about his willingness to invest effort has any direct impact on rational reliance on its own. In this regard, trust in honesty and trust in integrity appear to be more basic than trust in competence or effort. (shrink)

Engineers fine-tune the design of robot bodies for control purposes; however, a methodology or set of tools is largely absent, and optimization of morphology is lagging behind the development of controllers. This has become even more prominent with the advent of compliant, deformable or ‘soft’ bodies. These carry substantial potential regarding their exploitation for control—sometimes referred to as ‘morphological computation’. In this article, we briefly review different notions of computation by physical systems and propose the dynamical systems framework as the (...) most useful in the context of describing and eventually designing the interactions of controllers and bodies. Then, we look at the pros and cons of simple versus complex bodies, critically reviewing the attractive notion of ‘soft’ bodies automatically taking over control tasks. We address another key dimension of the design space—whether model-based control should be used and to what extent it is feasible to develop faithful models for different morphologies. (shrink)

The predominant interpretation of Wittgenstein's later remarks on religion takes him to hold that all religious utterances are non-scientific, and to hold that the way to show that religious utterances are non-scientific is to identify and characterise the grammatical rules governing their use. This paper claims that though this does capture one strand of Wittgenstein's later thought on religion, there is an alternative strand of that thought which is quite different and more nuanced. In this alternative strand Wittgenstein stresses that (...) religious utterances and beliefs can come in both scientific and non-scientific varieties. More than that, he claims that the grammar of religious utterances, and the logic of religious beliefs, is often complex – in that individual utterances and beliefs will often be mixed between, indeterminate between, or fluid between being scientific and being non-scientific. This complexity means that it will often be unhelpful to try to pin down one particular grammar or logic for a given utterance or belief. Wittgenstein therefore suggests a new method of grammatical and logical investigation, which is less likely to distort complex grammars or logics by being overly simplistic or rigid. This method is to use simple examples of utterances and beliefs as objects of comparison, so as to illuminate the different aspects of the more complex actual utterances and beliefs under examination. This alternative strand in Wittgenstein's later remarks on religion is a manifestation of a broader strand of Wittgenstein's later thought as a whole, which was first described by Friedrich Waismann, and later developed by Gordon Baker and Oskari Kuusela. The paper concludes by providing examples of religious beliefs which are logically mixed, indeterminate, and fluid, and showing how simple objects of comparison can be used to illuminate them. (shrink)

Hume views the passions as having both intentionality and qualitative character, which, in light of his Separability Principle, seemingly contradicts their simplicity. I reject the dominant solution to this puzzle of claiming that intentionality is an extrinsic property of the passions, arguing that a number of Hume’s claims regarding the intentionality of the passions (pride and humility in particular) provide reasons for thinking an intrinsic account of the intentionality of the passions to be required. Instead, I propose to resolve this (...) tension by appealing to Hume’s treatment of the ‘distinctions of reason’, as explained by Garrett (1997). (shrink)

Some people think that grounding is a type of identity. And some people think that grounding connections hold necessarily. I show that, under plausible assumptions, if grounding is a type of identity, then grounding connections hold necessarily.

I argue that the extended simples picture (ESP) is compatible with supersubstantivalism under the quantum holism model, and that reevaluating our limits on the ways an object may be located by fusing the two ontologies can benefit our understanding of modern physics. I first illustrate the explanatory utility of extended simples, using examples of superposition and entanglement. Second, I advocate the use of supersubstantivalism as a way to understand the interface between objects and spacetime, and argue that the (...) ESP suitably fits into a supersubstantivalist interpretation of quantum field theory. In the last section, I propose quantum holism as a framework to reconcile supersubstantivalism with extended simples, and conclude that the causal relationship that interweaves material objects and spacetime render the two ontologies compatible. I will demonstrate that a combined ontology is useful for its parsimony, and for our understanding of quantum field theory. (shrink)

We provide a logical matrix semantics and a Gentzen-style sequent calculus for the first-degree entailments valid in W. T. Parry’s logic of Analytic Implication. We achieve the former by introducing a logical matrix closely related to that inducing paracomplete weak Kleene logic, and the latter by presenting a calculus where the initial sequents and the left and right rules for negation are subject to linguistic constraints.

Tichý’s Transparent Intensional Logic (TIL) is an overarching logical framework apt for the analysis of all sorts of discourse, whether colloquial, scientific, mathematical or logical. The theory is a procedural (as opposed to denotational) one, according to which the meaning of an expression is an abstract, extra-linguistic procedure detailing what operations to apply to what procedural constituents to arrive at the product (if any) of the procedure that is the object denoted by the expression. Such procedures are rigorously defined as (...) TIL constructions. Though TIL analytical potential is very large, deduction in TIL has been rather neglected. Tichý defined a sequent calculus for pre-1988 TIL, that is TIL based on the simple theory of types. Since then no other attempt to define a proof calculus for TIL has been presented. The goal of this paper is to propose a generalization and adjustment of Tichý’s calculus to TIL 2010. First, I briefly recapitulate the rules of simple-typed calculus as presented by Tichý. Then, I propose the adjustments of the calculus so that it be applicable to hyperintensions within the ramified hierarchy of types. TIL operates with a single procedural semantics for all kinds of logical-semantic context, be it extensional, intensional or hyperintensional. I show that operating in a hyperintensional context is far from being technically trivial. Yet, it is feasible. To this end, we introduce a substitution method that operates on hyperintensions. It makes use of a four-place substitution function (called Sub) defined over hyperintensions. (shrink)

There’s a common line of reasoning which supposes that the phenomenal unity of conscious experience is grounded in a mind-like simple subject. To the contrary, Mādhyamika Buddhist philosophers like Śrīgupta (seventh–eighth century) argue that any kind of mental simple is incoherent and thus metaphysically impossible. Lacking any unifying principle, the phenomenal unity of conscious experience is instead an unfounded illusion. In this paper, I present an analysis of Śrīgupta’s "neither-one-nor-many argument" against mental simples and show how his line of (...) reasoning is driven by a set of implicit questions concerning the nature of and relation between consciousness and its intentional object. These questions not only set the agenda for centuries of intra-Buddhist debate on the topic, but they are also questions to which any defender of unified consciousness or a simple subject of experience arguably owes responses. (shrink)

This paper addresses the question of whether rape-law reform should treat all cases of simple rape—nonconsensual sex that does not involve the use or credible threat of physical force—as a serious crime. Of primary concern here are those sexual interactions, often referred to as “date rape” or “acquaintance rape,” where the coercive element is not physical force as evidenced by reasonable resistance. Should, as some feminist reformers have urged, felony rape include sexual interactions that may not be fully consensual but (...) do not include the use of physical force? If so, can convincing answers be provided for due process questions about what constitutes valid consent to sex and how to tell when it is present. This paper warns of the difficulties in determining what counts as evidence of nonconsent and mens rea in light of the “linkage thesis” which takes valid consent in these cases to be bilateral and interactive, and to imply the absence of mens rea. Given the complexity of norms governing these sexual interactions and the high likelihood of reasonable mistakes about consent, this paper contends that criminalizing these cases of simple rape will often result in the unjust treatment of the relevant parties. (shrink)

According to Jago (2014a), logical omniscience is really part of a deeper paradox. Jago develops an epistemic logic with principles of indeterminate closure to solve this paradox, but his official semantics is difficult to navigate, it is motivated in part by substantive metaphysics, and the logic is not axiomatized. In this paper, I simplify this epistemic logic by adapting the hyperintensional semantic framework of Sedlár (2021). My first goal is metaphysical neutrality. The solution to the epistemic paradox should not require (...) appeal to a metaphysics of truth-makers, situations, or impossible worlds, by contrast with Jago’s official semantics. My second goal is to elaborate on the proof theory. I show how to axiomatize a family of logics with principles of indeterminate epistemic closure. (shrink)

In this paper we apply social epistemology to mathematical proofs and their role in mathematical knowledge. The most famous modern collaborative mathematical proof effort is the Classification of Finite Simple Groups. The history and sociology of this proof have been well-documented by Alma Steingart (2012), who highlights a number of surprising and unusual features of this collaborative endeavour that set it apart from smaller-scale pieces of mathematics. These features raise a number of interesting philosophical issues, but have received very little (...) attention. In this paper, we will consider the philosophical tensions that Steingart uncovers, and use them to argue that the best account of the epistemic status of the Classification Theorem will be essentially and ineliminably social. This forms part of the broader argument that in order to understand mathematical proofs, we must appreciate their social aspects. (shrink)

I review and challenge the views on simplicity and its role in linguistics put forward by Ludlow. In particular, I criticize the claim that simplicity—in the sense pertinent to science—is nothing more than ease of use or “user-friendliness”, motivated by economy of labor. I argue that Ludlow’s discussion fails to do justice to the diversity of factors that are relevant to simplicity considerations. This, in turn, leads to the neglect of crucial cases in which the rationale for simplification is unmistakably (...) epistemic, as well as instances where simplicity is part of the content of substantive, empirical hypotheses. I illustrate these points with examples from the history of generative linguistics, such as: the shaping influence exerted by simplicity, via its involvement in the notion of “linguistically significant generalization”, its methodological and substantive contribution to the goal of explanatory adequacy, and its central role in the Minimalist Program’s search “beyond explanatory adequacy”. (shrink)

Some philosophers claim that propositions are simple—i.e., lack parts. In this paper, I argue that this claim is mistaken. I start with the widely accepted claim that propositions are the objects of beliefs. Then I argue that the objects of beliefs have parts. Thus, I conclude that propositions are not simple. My argument for the claim that the objects of beliefs have parts derives from the fact that beliefs are productive and systematic. This fact lurks in the background of debates (...) about the metaphysics of propositions. But its import for these debates has yet to be fully appreciated. So here I bring the point to the fore, and thus make manifest a powerful argument against simple propositions. (shrink)

I argue that, unlike your brain, you are not composed of other things: you are simple. My argument centers on what I take to be an uncontroversial datum: for any pair of conscious beings, it is impossible for the pair itself to be conscious. Consider, for instance, the pair comprising you and me. You might pinch your arm and feel a pain. I might simultaneously pinch my arm and feel a qualitatively identical pain. But the pair we form would not (...) feel a thing.1 Pairs of people themselves are incapable of experience. Call this The Datum. What explains The Datum? I think the following exhaust the reasonable options. (1) Pairs of people lack a sufficient number of immediate parts. (2) Pairs of people lack immediate parts capable of standing in the right sorts of relations to each other and their environment. (3) Pairs of people lack immediate parts of the right nature. (4) Pairs of people are not structures (they are unstructured collections of their two immediate parts). (5) Some combination of (1) – (4). Finally, (6) pairs of people are not simple. (shrink)

abstract Postdiction effects are phenomena in which a stimulus influences the appearance of events taking place before it. In metacontrast masking, for instance, a masking stimulus can ren- der a target stimulus shown before the mask invisible. This and other postdiction effects have been considered incompatible with a simple explanation according to which (i) our perceptual experiences are delayed for only the time it takes for a distal stimulus to reach our sensory receptors and for our neural mechanisms to process (...) it, and (ii) the order in which the processing of stimuli is completed corresponds with the apparent temporal order of stimuli. As a result, the theories that account for more than a single postdiction effect reject at least one of these theses. This paper presents a new framework for the tim- ing of experiences—the non-linear latency difference view—in which the three most dis- cussed postdiction effects—apparent motion, the flash-lag effect, and metacontrast masking—can be accounted for while simultaneously holding theses (i) and (ii). This view is grounded in the local reentrant processes, which are known to have a crucial role in perception. Accordingly, the non-linear latency difference view is both more parsimonious and more empirically plausible than the competing theories, all of which remain largely silent about the neural implementation of the mechanisms they postulate. (shrink)

Firstly I characterize Simple Partial Logic (SPL) as the generalization and extension of a certain two-valued logic. Based on the characterization I present two definitions of validity in SPL. Finally I show that given my characterization these two definitions are more appropriate than other definitions that have been prevalent, since both have some desirable semantic properties that the others lack.

Abstract: The understanding our own mind seems to be an interesting topic in philosophy. I recall reading Kant, he ran far away in the metaphysical space when chalanged complex problems. He used the “intuition” as a mean to justify things, much before the awareness of scientific genetics and such things that made it feasible for such a use. Not much else he could do, the 18th century access to scientific knowledge was just very limited. My view of instinct and intuition (...) are quite simple, perhaps a foolish view of such a complex and interesting phenomena. (shrink)