This paper is about two controversial inference-patterns involving counterfactual or subjunctive conditionals. Given a plausible assumption about the truth-conditions of counterfactuals, it is shown that one can't go wrong in applying hypothetical syllogism (i.e., transitivity) so long as the set of worlds relevant for the conclusion is a subset of the sets of worlds relevant for the premises. It is also shown that one can't go wrong in applying antecedent strengthening so long as the set of worlds relevant for the (...) conclusion is a subset of that for the premise. These results are then adapted to Lewis's theory of counterfactuals. (shrink)

This chapter introduces and discusses the concepts of necessary and sufficient conditions.

Claims that necessary and sufficient conditions are not converse relations are discussed, as well as the related claim that If A, then B is not equivalent to A only if B . The analysis of alleged counterexamples has shown, among other things, how necessary and sufficient conditions should be understood, especially in the case of causal conditions, and the importance of distinguishing sufficient-cause conditionals from necessary-cause conditionals. It is concluded that necessary and sufficient conditions, adequately interpreted, (...) are converse relations in all cases. (shrink)

According to the so-called ‘standard theory’ of conditions, the conditionship relation is converse, that is, if A is a sufficient condition for B, B is a necessary condition for A. This theory faces well-known counterexamples that appeal to both causal and other asymmetric considerations. I show that these counterexamples lose their plausibility once we clarify two key components of the standard theory: that to satisfy a condition is to instantiate a property, and that what is usually (...) called ‘conditionship relation’ is an inferential relation. Throughout the paper this way of interpreting the standard theory is compared favourably over an alternative interpretation that is outlined in causal terms, since it can be applied to all counterexamples without losing its intuitive appeal. (shrink)

In this article the standard philosophical method involving intuition-driven conceptual analysis is challenged in a new way. This orthodox approach to philosophy takes analysanda to be the specifications of the content of concepts in the form of sets of necessary and sufficient conditions. Here it is argued that there is no adequate account of what necessary and sufficient conditions are. So, the targets of applications of the standard philosophical method so understood are not sufficiently well understood for this (...) method to be dependable. (shrink)

Critique of prevailing textbook conception of sufficient conditions and necessary conditions as a truth functional relation of material implication (p->q)/(~q->~p). Explanation of common sense conception of condition as correlative of consequence, involving dependence. Utility of this conception exhibited in resolving puzzles regarding ontology, truth, and fatalism.

There is an ongoing debate in the philosophical literature whether the conditionals that are central to deliberation are subjunctive or indicative conditionals and, if the latter, what semantics of the indicative conditional is compatible with the role that conditionals play in deliberation. We propose a possible-world semantics where conditionals of the form “if I take action _a_ the outcome will be _x_” are interpreted as material conditionals. The proposed framework is illustrated with familiar examples and both qualitative and probabilistic beliefs (...) are considered. Issues such as common-cause cases and ‘Egan-style’ cases are discussed. (shrink)

In this paper, we present three necessary conditions for morally responsible animal research that we believe people on both sides of this debate can accept. Specifically, we argue that, even if human beings have higher moral status than nonhuman animals, animal research is morally permissible only if it satisfies (a) an expectation of sufficient net benefit, (b) a worthwhile-life condition, and (c) a no unnecessary-harm/qualified-basic-needs condition. We then claim that, whether or not these necessary conditions are jointly (...) sufficient conditions of justified animal research, they are relatively demanding with the consequence that many animal experiments may fail to satisfy them. (shrink)

Despite the lack of evidence for their effectiveness, the use of physical restraints for patients is widespread. The best ethical justification for restraining patients is that it prevents them from harming themselves. We argue that even if the empirical evidence supported their effectiveness in achieving this aim, their use would nevertheless be unethical, so long as well known exceptions to informed consent fail to apply. Specifically, we argue that ethically justifiable restraint use demands certain necessary and sufficient conditions. These (...) conditions are that the physician obtain informed consent for their application, that their application be medically appropriate, and that restraints be the least liberty-restricting way of achieving the intended benefit. It is a further question whether their application is ever medically appropriate, given the dearth of evidence for their effectiveness. (shrink)

In this paper I consider two strategies for providing tenseless truth-conditions for tensed sentences: the token-reflexive theory and the date theory. Both theories have faced a number of objections by prominent A-theorists such as Quentin Smith and William Lane Craig. Traditionally, these two theories have been viewed as rival methods for providing truth-conditions for tensed sentences. I argue that the debate over whether the token-reflexive theory or the date theory is true has arisen from a failure to distinguish between conditions (...) for the truth of tensed tokens and conditions for the truth of propositions expressed by tensed tokens. I demonstrate that there is a true formulation of the token-reflexive theory that provides necessary and sufficient conditions for the truth of tensed tokens, and there is a true formulation of the date theory that provides necessary and sufficient conditions for the truth of propositions expressed by tensed tokens. I argue that once the views are properly formulated, the A-theorist’s objections fail to make their mark. However, I conclude by claiming that even though there is a true formulation of the token-reflexive theory and a true formulation of the date theory, the New B-theory nonetheless fails to provide a complete account of the truth and falsity of tensed sentences. (shrink)

Chains of causes appear when the existence of God is discussed. It is claimed by some that these chains must be finite and terminated by God. But these chains seem endless through our knowledge search. This endlessness for the physical reasons for any world event expresses the greatness and complexity of God’s creation and so the transcendence of God. So, only we can put our hands on physical reasons in an endless forage for knowledge. Yet, the endlessness of the physical (...) causes chains confirms the existence of God, and this is what our paper tries using Zorn’s lemma, an equivalent for one of the most celebrated axioms of mathematics, the Axiom of Choice. (shrink)

This elementary 4-page paper is a preliminary survey of some of the most important uses of ‘condition’ and ‘consequence’ in American Philosophy. A more comprehensive treatment is being written. Your suggestions, questions, and objections are welcome. A statement of a conditional need not be a conditional statement and conditional statement need not be a statement of a conditional.

This chapter lays out a case that with the proper perspective on the place of epistemology within normative inquiry more generally, it is possible to appreciate what was on the right track about some of the early approaches to the analysis of knowledge, and to improve on the obvious failures which led them to be rejected. Drawing on more general principles about reasons, their weight, and their relationship to justification, it offers answers to problems about defeat and the conditional fallacy (...) that plagued early defeasibility analyses of knowledge and offers a sketch of a contemporary alternative that is motivated by the idea that knowledge requires the right kind of “match” between objective and subjective factors. (shrink)

This paper considers two problems—one in philosophy of religion and another in philosophy of physics—and shows that the two problems have one solution. Some Christian philosophers have endorsed the views that (i) there was a first finitely long period of time, (ii) God is in time, and yet (iii) God did not have a beginning. If there was a first finitely long period of time and God is in time then there was a first finitely long period of time in (...) God’s life. But if God’s life includes a first finitely long period of time, then, on one initially intuitive conception of beginning to exist, God began to exist. Thus, at first glance, (i)–(iii) are not mutually compatible. Meanwhile, on a variety of proposals for quantum gravity theories or interpretations of quantum theory, space-time is not fundamental to physical reality and instead can (somehow) be explained in terms of yet more fundamental physical substructures. As I show, there is a strong intuition that if space-time is not fundamental to physical reality, then, even if there were a first finitely long period in the life of physical reality, physical reality would be beginningless. Thus, both theistic philosophers and philosophers of physics have developed theories on which some beginningless entities have a first finitely long temporal period in their lives and so both groups should be interested in developing criteria that distinguish such entities from entities with a beginning. In this paper, I offer one necessary (but not sufficient) condition, namely, that entities that begin to exist are absent from the closest possible worlds without time. The view that I defend has one significant upshot: no sound argument can use the mere fact (if it is a fact) that past time is finite to reach the conclusion that the totality of physical reality had a beginning. (shrink)

According to the truth-functional analysis of conditions, to be ‘necessary for’ and ‘sufficient for’ are converse relations. From this, it follows that to be ‘necessary and sufficient for’ is a symmetric relation, that is, that if P is a necessary and sufficient condition for Q, then Q is a necessary and sufficient condition for P. This view is contrary to common sense. In this paper, I point out that it is also contrary to a (...) widely accepted ontological view of conditions, according to which if P is a necessary and sufficient condition for Q, then Q is in no sense a condition for P; it is a mere consequence of P. (shrink)

The logic of indicative conditionals remains the topic of deep and intractable philosophical disagreement. I show that two influential epistemic norms—the Lockean theory of belief and the Ramsey test for conditional belief—are jointly sufficient to ground a powerful new argument for a particular conception of the logic of indicative conditionals. Specifically, the argument demonstrates, contrary to the received historical narrative, that there is a real sense in which Stalnaker’s semantics for the indicative did succeed in capturing the logic of (...) the Ramseyan indicative conditional. (shrink)

In his presidential address to the APA, Alvin Plantinga argues that the only sensible way to be an anti-realist is to be a theist. Anti-realism (AR) in this context is the epistemic analysis of truth that says, "(AR) necessarily, a statement is true if and only if it would be believed by an ideally [or sufficiently] rational agent/community in ideal [or sufficiently good] epistemic circumstances." Plantinga demonstrates, with modest modal resources, that AR entails that necessarily, ideal epistemic circumstances obtain. As (...) it is a contingent matter whether ideal epistemic circumstances obtain, Plantinga concludes that an anti-realist should be a theist. In this paper, we show that counterfactual analyses of truth as epistemic are instances of a more general problem of philosophical analysis. More specifically, without a radical revision of the logic, counterfactual analyses of truth as epistemic cannot avoid perpetrating some version of the conditional fallacy. Even so, we argue, anti-realists are not committed to the necessary existence of ideal epistemic circumstances and therefore need not be theists. (shrink)

How to say no less, no more about conditional than what is needed? From a logical analysis of necessary and sufficient conditions (Section 1), we argue that a stronger account of conditional can be obtained in two steps: firstly, by reminding its historical roots inside modal logic and set-theory (Section 2); secondly, by revising the meaning of logical values, thereby getting rid of the paradoxes of material implication whilst showing the bivalent roots of conditional as a speech-act based on (...) affirmations and rejections (Section 3). Finally, the two main inference rules for conditional, viz. Modus Ponens and Modus Tollens, are reassessed through a broader definition of logical consequence that encompasses both a normal relation of truth propagation and a weaker relation of falsity non-propagation from premises to conclusion (Section 3). (shrink)

Leibniz, and many following him, saw the Principle of Sufficient Reason (PSR) as pivotal to a scientific (demonstrated) metaphysics. Against this backdrop, Kant is expected to pay close attention to PSR in his reflections on the possibility of metaphysics, which is his chief concern in the Critique of Pure Reason. It is far from clear, however, what has become of PSR in the Critique. On one reading, Kant has simply turned it into the causal principle of the Second Analogy. (...) On a different reading, PSR is but the supreme principle of reason, which roughly states that, if the conditioned is given, so is the unconditioned. On my reading, PSR appears in the guises of both the causal principle and the supreme principle. This twofold specification, I argue, is key to understanding (i) Kant’s allegations that past metaphysicians failed to prove PSR, (ii) his own Critical account of the possibility of metaphysics in both of its parts (ontology and metaphysics proper), and (iii) his nuanced answer to the contentious question about the relation between physical inquiry and metaphysical reasoning about nature (both being quests for reasons). (shrink)

There are many scientific and everyday cases where each of Pr and Pr is high and it seems that Pr is high. But high probability is not transitive and so it might be in such cases that each of Pr and Pr is high and in fact Pr is not high. There is no issue in the special case where the following condition, which I call “C1”, holds: H 1 entails H 2. This condition is sufficient for (...) transitivity in high probability. But many of the scientific and everyday cases referred to above are cases where it is not the case that H 1 entails H 2. I consider whether there are additional conditions sufficient for transitivity in high probability. I consider three candidate conditions. I call them “C2”, “C3”, and “C2&3”. I argue that C2&3, but neither C2 nor C3, is sufficient for transitivity in high probability. I then set out some further results and relate the discussion to the Bayesian requirement of coherence. (shrink)

It is generally agreed that constructions of the form “if P, Q” are capable of conveying a number of different relations between antecedent and consequent, with pragmatics playing a central role in determining these relations. Controversy concerns what the conventional contribution of the if-clause is, how it constrains the pragmatic processes, and what those processes are. In this essay, I begin to argue that the conventional contribution of if-clauses to semantics is exhausted by the fact that these clauses introduce a (...) proposition without presenting it as true so that the consequent can be understood in relation to it. Given our cognitive interests in such non-truth-presentational introductions, conditionals will make salient the wide but nevertheless disciplined variety of contents that we naturally attribute to them; no further substantial constraints of the sorts proposed by standard theories of conditionals are needed to explain the phenomena. If this is correct, it provides prima facie evidence for a radically contextualist account of conditionals according to which conditionals have no truth-evaluable or intuitively complete content absent some contextually provided, sufficiently salient relation between antecedent and consequent. (shrink)

In this article, we address a major outstanding question of probabilistic Bayesian epistemology: how should a rational Bayesian agent update their beliefs upon learning an indicative conditional? A number of authors have recently contended that this question is fundamentally underdetermined by Bayesian norms, and hence that there is no single update procedure that rational agents are obliged to follow upon learning an indicative conditional. Here we resist this trend and argue that a core set of widely accepted Bayesian norms is (...) sufficient to identify a normatively privileged updating procedure for this kind of learning. Along the way, we justify a privileged formalization of the notion of ‘epistemic conservativity’, offer a new analysis of the Judy Benjamin problem, and emphasize the distinction between interpreting the content of new evidence and updating one’s beliefs on the basis of that content. (shrink)

We deepen the study of conjoined and disjoined conditional events in the setting of coherence. These objects, differently from other approaches, are defined in the framework of conditional random quantities. We show that some well known properties, valid in the case of unconditional events, still hold in our approach to logical operations among conditional events. In particular we prove a decomposition formula and a related additive property. Then, we introduce the set of conditional constituents generated by $n$ conditional events and (...) we show that they satisfy the basic properties valid in the case of unconditional events. We obtain a generalized inclusion-exclusion formula, which can be interpreted by introducing a suitable distributive property. Moreover, under logical independence of basic unconditional events, we give two necessary and sufficient coherence conditions. The first condition gives a geometrical characterization for the coherence of prevision assessments on a family F constituted by n conditional events and all possible conjunctions among them. The second condition characterizes the coherence of prevision assessments defined on $F\cup K$, where $K$ is the set of conditional constituents associated with the conditional events in $F$. Then, we give some further theoretical results and we examine some examples and counterexamples. Finally, we make a comparison with other approaches and we illustrate some theoretical aspects and applications. (shrink)

Studies of several languages, including Swahili [swa], suggest that realis (actual, realizable) and irrealis (unlikely, counterfactual) meanings vary along a scale (e.g., 0.0–1.0). T-values (True, False) and P-values (probability) account for this pattern. However, logic cannot describe or explain (a) epistemic stances toward beliefs, (b) deontic and dynamic stances toward states-of-being and actions, and (c) context-sensitivity in conditional interpretations. (a)–(b) are deictic properties (positions, distance) of ‘embodied’ Frames of Reference (FoRs)—space-time loci in which agents perceive and from which they contextually (...) act (Rohrer 2007a, b). I argue that the embodied FoR describes and explains (a)–(c) better than T-values and P-values alone. In this cognitive-functional-descriptive study, I represent these embodied FoRs using Unified Modeling Language (UML) mental spaces in analyzing Swahili conditional constructions to show how necessary, sufficient, and contributing conditions obtain on the embodied FoR networks level. (shrink)

John Searle’s Speech Act Theory enumerates necessary and sufficient conditions for a non-defective act of promising in producing sincere promises. This paper seeks to demonstrate the conjunctive insufficiency of the foregoing conditions due to the inadequacy of the sincerity condition to guarantee predicated acts being fulfillable. Being the definitive condition which contains the psychological state distinct in promises as illocutionary acts, that is the expression of intention (S intends to A), I purport that not all sincere promises (...) are non-defective. To motivate this, I shall explicate Searle’s conception of full blown explicit promises as his basic qualification for the application of the above conditions, and set the line as to how explicit is ‘explicit’? As a response to this insufficiency, I shall propose a condition, as part and parcel of the Propositional Content Clause, that makes up Searle’s felicity conditions for promises, which requires explicitness of the form: “A is fulfillable if A is explicit in form”. A is explicit if and only if 1) A is literal in form, where A can have either 1 basic or multiple meanings, and 2) The meaning of A, whether basic or multiple, with respect to its context is directly stated in the sentence uttered. I call this the Discharge Condition. (shrink)

Once upon a time, some thought that indicative conditionals could be effectively analyzed as material conditionals. Later on, an alternative theoretical construct has prevailed and received wide acceptance, namely, the conditional probability of the consequent given the antecedent. Partly following critical remarks recently ap- peared in the literature, we suggest that evidential support—rather than conditional probability alone—is key to understand indicative conditionals. There have been motivated concerns that a theory of evidential conditionals (unlike their more tra- ditional counterparts) cannot generate (...) a sufficiently interesting logical system. Here, we will describe results dispelling these worries. Happily, and perhaps surprisingly, appropriate technical variations of Ernst Adams’s classical approach allow for the construction of a logic of evidential conditionals with distinctive fea- tures, which is also well-behaved and reasonably strong. (shrink)

What follows is a summary of basic principles pertaining to the definitions used in constructing an ontology. A definition is a statement of necessary and sufficient conditions. What this means in the simplest case can be understood as follows. To say that ɸ‐ing is a necessary condition for being an A is just another way of saying that every A ɸ’s; to say that ɸ‐ing is a sufficient condition for being an A is just another way (...) of saying that everything that ɸ’s is an A. The goal in writing a definition is to specify a set of conditions of this sort which are all necessary, and which are jointly sufficient. (shrink)

The policies of socioeconomic protection of older adults in most parts of the world are being redesigned in the scope of value-added targets, such as active ageing, successful ageing, or creative ageing. The main purpose here is, of course, enabling older adults self-sufficient and beneficial both for themselves and their social environment, instead of being simply the passive beneficiaries of the public support mechanisms. Turkey has a population which is still young but ageing very rapidly and will reach to (...) the same point as Europe today in a relatively much shorter time. However, the country still seems to be away from conducting systematic and holistic measures, except for a few ineffective strategy papers and legal regulations. Therefore, Turkey must immediately design a new policy agenda in conformity with its traditional and historical advantages. Revitalizing the intergenerational solidarity bonds, in this regard, may be the best cost-effective solution to complement formal measures in the provision of social protection and in the process of active ageing. However, this traditional protection net is under attack of increasingly transforming socioeconomic conditions. Consequently, as one of the most rapidly ageing countries in the world, Turkey should immediately stimulate studies and debates over a healthy, functional, and effective ageing period and caring issues. Otherwise, governments will be blindsided by the socioeconomic, psychological, cultural, and physiological problems related to the ageing process. In the light of these facts, the main purpose of this study is to discuss policy recommendations to create a self-sufficient ageing period for older adults in the context of Turkish case. (shrink)

Tarski’s Convention T—presenting his notion of adequate definition of truth (sic)—contains two conditions: alpha and beta. Alpha requires that all instances of a certain T Schema be provable. Beta requires in effect the provability of ‘every truth is a sentence’. Beta formally recognizes the fact, repeatedly emphasized by Tarski, that sentences (devoid of free variable occurrences)—as opposed to pre-sentences (having free occurrences of variables)—exhaust the range of significance of is true. In Tarski’s preferred usage, it is part of the meaning (...) of true that attribution of being true to a given thing presupposes the thing is a sentence. Beta’s importance is further highlighted by the fact that alpha can be satisfied using the recursively definable concept of being satisfied by every infinite sequence, which Tarski explicitly rejects. Moreover, in Definition 23, the famous truth-definition, Tarski supplements “being satisfied by every infinite sequence” by adding the condition “being a sentence”. Even where truth is undefinable and treated by Tarski axiomatically, he adds as an explicit axiom a sentence to the effect that every truth is a sentence. Surprisingly, the sentence just before the presentation of Convention T seems to imply that alpha alone might be sufficient. Even more surprising is the sentence just after Convention T saying beta “is not essential”. Why include a condition if it is not essential? Tarski says nothing about this dissonance. Considering the broader context, the Polish original, the German translation from which the English was derived, and other sources, we attempt to determine what Tarski might have intended by the two troubling sentences which, as they stand, are contrary to the spirit, if not the letter, of several other passages in Tarski’s corpus. (shrink)

Gilabert argues that the humanist conception of duties of global justice and the principle of cosmopolitan justifiability will lead us to accept an egalitarian definition of individual autonomy. Gilabert further argues that realizing conditions of individual autonomy can serve as the cut-off point to duties of global justice. I investigate his idea of autonomy, arguing that in order to make sense of this claim, we need a concept of autonomy. I propose 4 possible definitions of autonomy, none of which seem (...) to necessitate Gilabert’s duties of egalitarian global justice. Instead, I propose that he may have in mind Autonomy 5, which requires that individuals have access to a maximum number of options and not simply a sufficient range of options to choose from. I criticize this premise as too demanding in the global world characterized by fundamental inequality. Second, I argue that if we were to endorse the preconditions for Autonomy 5, we would have to accept that Gilabert’s theory of global justice doesn’t provide for a cut-off point of duties of global justice. (shrink)

The currently used humanity model is chaotic, devoid of logic or coherence. In Part 1 of this two-part paper, we examined human traits of a scientific model in absence of ‘born sinner’ starting point. We demonstrated that the so-called ‘viceroy model’ that is characterized as scientifically sustainable can replace the existing models that are based on fear and scarcity. Part Two of the paper deals with adequate definition of moral campus that conforms to the viceroy model. In this paper, it (...) is shown that the talk of morality or a moral compass is aphenomenal in absence of strict necessary and sufficient conditions. It also follows that natural justice can only be followed after defining the term ‘natural’ with the same scientific rigor as that of the viceroy model. Once these terms are consistently defined, one is well poised to talk about inalienable rights, moral compass, environmental sustainability, and humanity. The immediate consequence of this model is the demonstration that currently used governance models, such as democracy, is inherently implosive and must be replaced with a new model that is in conformance with the scientific definition of ‘natural’. This emerging model is free from inconsistencies and will remain effective as a governance tool that optimizes individual rights and balances with the right of the state as well as a Creator. It is concluded that this model offers the only hope of maximizing individual liberty without compromising universal peace and natural justice. At this point, morality and legality become equivalent to each. The implications of this paper are overwhelming, making all current judicial actions immoral, in essence repudiating the entire Establishment as little more than a mafia entity, bringing back ‘might is right’ mantra, packaged as ‘social progress’. The paper finally shows how a standard that is necessarily and sufficiently universal can become impetus for a true knowledge. (shrink)

In seeking an answer to the question of what it means for a theory to be fundamental, it is enlightening to ask why the current best theories of physics are not generally believed to be fundamental. This reveals a set of conditions that a theory of physics must satisfy in order to be considered fundamental. Physics aspires to describe ever deeper levels of reality, which may be without end. Ultimately, at any stage we may not be able to tell whether (...) we've reached rock bottom, or even if there is a base level – nevertheless, I draft a checklist to help us identify when to stop digging, in the case where we may have reached a candidate for a final theory. Given that the list is – according to (current) mainstream belief in high-energy physics – complete, and each criterion well-motivated, I argue that a physical theory that satisfies all the criteria can be assumed to be fundamental in the absence of evidence to the contrary (i.e., I argue that the necessary conditions are jointly sufficient for a claim of fundamentality in physics). (shrink)

Several theories propose that one of the core functions of inner speech (IS) is to support subjects in the completion of cognitively effortful tasks, especially those involving executive functions (EF). In this paper we focus on two populations who notoriously encounter difficulties in performing EF tasks, namely, people diagnosed with schizophrenia who experience auditory verbal hallucinations (Sz-AVH) and people within the Autism Spectrum Conditions (ASC). We focus on these two populations because they represent two different ways in which IS can (...) fail to help in EF tasks, which can be illustrative for other mental conditions. First, we review the main components of EF (Section 1). Then we explain the functions that IS is taken to perform in the domain of EF (Section 2) and review the evidence concerning problems about EF in the two populations of our study: Sz-AVH (Section 3) and ASC (Section 4). After this we further detail our account about what a properly functioning IS can do for both populations and how different IS profiles may impact EF performance: in the case of Sz-AVH, the uncontrolled and intrusive character of IS negatively affects EF performance, whereas in ASC, EF is not sufficiently supported by IS, given the tendency in this population to present a diminished use of IS (Section 5). We finally briefly discuss Attention Deficit/Hyperactivity Disorder (ADHD) and Developmental Language Disorders (DLD). (shrink)

Naturalist theories of representation have been attacked on the grounds of being too liberal on the minimal conditions for intentionality: they treat several states that are not representational as genuine representations. Behind this attack lies the problem of demarcation: what are the minimal conditions for intentionality that a state should satisfy to be genuinely representational? What are the limits of intentionality? This paper develops a dual proposal to solve this problem. First, I defend the explanatory role criterion in order to (...) assess proposals of minimal conditions for intentionality. I start by proposing the success pattern condition: a state represents a given external feature provided that there is a success pattern present in the behavioural output, and the system uses this state as a proxy for the presence of this external feature. However, this condition is not sufficient for minimal intentionality – there are both intentional and non-intentional success patterns. Another minimal condition is, hence, required to draw this distinction. I propose the constancy mechanism condition: a state is representational provided that the system employs a constancy mechanism in its production. The success pattern and constancy mechanism conditions jointly constitute the dual proposal for minimal intentionality. I argue that this proposal is explanatorily justified and, so, properly demarcates the limits of intentionality. (shrink)

It is a striking fact from reverse mathematics that almost all theorems of countable and countably representable mathematics are equivalent to just five subsystems of second order arithmetic. The standard view is that the significance of these equivalences lies in the set existence principles that are necessary and sufficient to prove those theorems. In this article I analyse the role of set existence principles in reverse mathematics, and argue that they are best understood as closure conditions on the powerset (...) of the natural numbers. (shrink)

Alvin Plantinga’s Warrant and Proper Function gives two major definitions of warrant. One states that reliable cognitive faculties aimed at true belief and functioning properly in the right environment are necessary and sufficient for warrant; the other definition only states that they are necessary. The latter definition is the more important one. There are different kinds of knowledge, and justification is necessary for some beliefs to be warranted. Even a belief warranted by proper function can receive a higher degree (...) of warrant by justification. This implies that natural theology has a useful role within the contours of a Plantingian epistemology. (Please note that the pagination here does not match the pagination in the published edition.). (shrink)

The paper is a critique of Alvin Plantinga’s notion that belief in God is properly basic - evidence is not needed to justify such belief - in light of Thomas Aquinas’ religious epistemology. The latter’s epistemology proves that, while evidence is not a necessary condition for belief in God based on his Summa Theologica since such belief is evidence itself from his De Veritate, there is sufficient evidence that justifies such belief. First, I argue that Plantinga’s total rejection (...) of evidence as a justification for belief in God renders such belief purely subjective. To rationally ground this purely subjective belief, Plantinga introduces the notion of justification-conferring conditions. Second, following Thomas Aquinas’ thought, Plantinga’s justification negates his claim that belief in God is properly basic because the said justification-conferring conditions seem to function as an evidence for belief in God. I will conclude the work by claiming that although evidence is not a necessary condition for belief in God, it is epistemically sufficient to justify the said belief. (shrink)

Conditional assertions are a peculiar language structure that manifests a specific cognitive operation. In order to express it, different languages have found different ways of using verb forms. Primary conditionals are here defined as those that presuppose the possibility of the falsity of both the antecedent and the consequent. In them, the truth of the antecedent appears as a sufficient condition for the truth of the consequent. The truth condition of primary conditionals is defined as the impossibility (...) of the conjunction of the truth of the antecedent with the falsity of the consequent. The demand for a connection between antecedent and consequent, expressed by Chrysippus as the incompatibility between the affirmation of the antecedent and the denial of the consequent, is thus satisfied. Counterfactuals are conditionals that speak of some aspect of reality through the imagination of an unreal situation. (shrink)

Retributive theories of punishment argue that punishing a criminal for a crime she committed is sufficient reason for a justified and morally permissible punishment. But what about when the state gets lucky in its decision to punish? I argue that retributive theories of punishment are subject to “Gettier” style cases from epistemology. Such cases demonstrate that the state needs more than to just get lucky, and as these retributive theories of punishment stand, there is no anti-luck condition. I’ll (...) argue that Gettier-style cases demonstrate an impermissible instance of punishment, even though they meet the conditions of retributive theories of punishment. Retributive theories are, therefore, too weak. The safety condition from epistemology provides the anti-luck condition needed for permissible punishment. I argue that two forms of retributivism, rights-forfeiture and what I call standard retributivism, are both subject to Gettier-style cases. Unlike the literature on standards of proof, this paper argues that safety is a condition on punishment itself, i.e., in all nearby possible worlds, the accuser must correctly accuse the convicted for the crime they actually committed. (shrink)

I argue against various versions of the ‘attitude’ view of consent and of the ‘action’ view of consent: I show that neither an attitude nor an action is either necessary or sufficient for consent. I then put forward a different view of consent based on the idea that, given a legitimate epistemic context, absence of dissent is sufficient for consent: what is crucial is having access to dissent. In the latter part of the paper I illustrate my view (...) of consent by applying it to the case of consenting to being an organ donor. (shrink)

The Evaluative Judgment Theories of Emotion mainly suggest that emotions can be reduced to evaluative beliefs or judgments. Specifically, evaluative beliefs are necessary but not sufficient conditions for evaluative judgments. And reducing emotions to evaluative judgments requires the subject’s conceptualizing ability. However, the Evaluative Judgment Theories of Emotion has many problems, including that evaluative beliefs are neither sufficient nor necessary for emotions; the evaluative judgment theory of emotion presupposes the subject’s conceptual content, but conceptual content is not a (...) necessary and sufficient condition for emotions; the requirement of conceptualization ability for evaluative judgments is too high, which makes emotions overintellectualize; and the add-on strategy of emotions cannot save the evaluative judgment theory of emotions as well. (shrink)

A key challenge for probabilistic causal models is to distinguish non-causal probabilistic dependencies from true causal relations. To accomplish this task, causal models are usually required to satisfy several constraints. Two prominent constraints are the causal Markov condition and the faithfulness condition. However, other constraints are also needed. One of these additional constraints is the causal sufficiency condition, which states that models must not omit any direct common causes of the variables they contain. In this paper, I (...) argue that the causal sufficiency condition is problematic: (1) it is incompatible with the requirement that the variables in a model must not stand in non-causal necessary dependence relations, such as mathematical or conceptual relations, or relations described in terms of supervenience or grounding, (2) it presupposes more causal knowledge as primitive than is actually needed to create adequate causal models, and (3) if models are only required to be causally sufficient, they cannot deal with cases where variables are probabilistically related by accident, such as Sober’s example of the relationship between bread prices in England and the sea level in Venice. I show that these problems can be avoided if causal models are required to be monotonic in the following sense: the causal relations occurring in a model M would not disappear if further variables were added to M. I give a definition of this monotonicity condition and conclude that causal models should be required to be monotonic rather than causally sufficient. (shrink)

I reply to Muñoz-Suárez's objection to my argument by analogy with appeals to authority for the following necessary, but not sufficient, condition for strong appeals to intuition: (PAI) When philosophers appeal to intuitions, there must be an agreement among the relevant philosophers concerning the intuition in question; otherwise, the appeal to intuition is weak.

Some philosophers search for the mark of the cognitive: a set of individually necessary and jointly sufficient conditions identifying all instances of cognition. They claim that the mark of the cognitive is needed to steer the development of cognitive science on the right path. Here, I argue that, at least at present, it cannot be provided. First (§2), I identify some of the factors motivating the search for a mark of the cognitive, each yielding a desideratum the mark is (...) supposed to satisfy (§2.1). I then (§2.2) highlight a number of tensions in the literature on the mark of the cognitive, suggesting they’re best resolved by distinguishing two distinct programs. The first program (§3) is that of identifying a mark of the cognitive capturing our everyday notion of cognition. I argue that such a program is bound to fail for a number of reasons: it is not clear whether such an everyday notion exists; and even if it existed, it would not be able to spell out individually necessary and jointly sufficient conditions for cognition; and even if it were able to spell them out, these conditions won’t satisfy the desiderata a mark of the cognitive should satisfy. The second program is that of identifying a mark of the cognitive spelling out a genuine scientific kind. But the current state of fragmentation of cognitive science, and the fact that it is splintered in a myriad of different research traditions, prevent us from identifying such a kind. And we have no reason to think that these various research traditions will converge, allowing us to identify a single mark. Or so, at least, I will argue in (§4). I then conclude the paper (§5) deflecting an intuitive objection, and exploring some of the consequences of the thesis I have defended. (shrink)

Identifying the necessary and sufficient conditions for individuating and classifying diseases is a matter of great importance in the fields of law, ethics, epidemiology, and of course, medicine. In this paper, I first propose a means of achieving this goal, ensuring that no two distinct disease-types could correctly be ascribed to the same disease-token. I then posit a metaphysical ontology of diseases—that is, I give an account of what a disease is. This is essential to providing the most effective (...) means of interfering with disease processes. Following existing work in the philosophy of medicine and epidemiology (primarily Christopher Boorse; Caroline Whitbeck; Alexander Broadbent), philosophy of biology (Joseph LaPorte; D.L. Hull), conditional analyses of causation (J.L. Mackie; David Lewis), and recent literature on dispositional essentialism (Stephen Mumford and Rani Anjum; Alexander Bird), I endorse a dispositional conception of disease. Following discussion of various conceptions of disease-identity, their relations to the clinical and pathological effects of the diseases in question, and how diseases are treated, I conclude (i) that diseases should be individuated by their causes, and (ii) that diseases are causal processes best seen as simultaneously acting sequences of mutually manifesting dispositions. (shrink)

This essay challenges the widely accepted principle that a person is morally responsible for what he has done only if he could have done otherwise. The author considers situations in which there are sufficient conditions for a certain choice or action to be performed by someone, So that it is impossible for the person to choose or to do otherwise, But in which these conditions do not in any way bring it about that the person chooses or acts as (...) he does. In such situations the person may well be morally responsible for what he chooses or does despite his inability to choose or to do otherwise. Finally the author considers certain suggestions for revising the principle he rejects or for replacing it with a principle of an altogether different kind. (shrink)

Pace Necessitism – roughly, the view that existence is not contingent – essential properties provide necessary conditions for the existence of objects. Sufficiency properties, by contrast, provide sufficient conditions, and individual essences provide necessary and sufficient conditions. This paper explains how these kinds of properties can be used to illuminate the ontological status of merely possible objects and to construct a respectable possibilist ontology. The paper also reviews two points of interaction between essentialism and modal logic. First, we (...) will briefly see the challenge that arises against S4 from flexible essential properties; as well as the moves available to block it. After this, the emphasis is put on the Barcan Formula (BF), and on why it is problematic for essentialists. As we will see, Necessitism can accommodate both (BF) and essential properties. What necessitists cannot do at the same time is to continue to understanding essential properties as providing necessary conditions for the existence of individuals; against what might be for some a truism. (shrink)

This article provides a comprehensive conceptual analysis of information. It begins with a folk notion that information is a tripartite phenomenon: information is something carried by signals about something for some use. This suggests that information has three main aspects: structural, referential, and normative. I analyze the individually necessary and jointly sufficient conditions for defining these aspects of information and consider formal theories relating to each aspect as well. The analysis reveals that structural, referential, and normative aspects of information (...) are hierarchically nested and that the normative depends on the referential, which in turn depends on the structural. (shrink)

We show how a semantics based on Aristotle’s texts and ecthetic proofs can be reconstructed. All truth conditions are given by means of set inclusion. Perfect syllogisms reveal to be valid arguments that deserve a validity proof. It turns out of these proofs that transitivity of set inclusion is the necessary and sufficient condition for the validity and perfection of a syllogism. The proofs of validity for imperfect syllogisms are direct proofs without conversion in a calculus of natural (...) deduction. Transitivity of set inclusion turns out to be a necessary condition for the validity of imperfect syllogisms. As a consequence, it can be established what the main metalogical difference between a perfect and an imperfect syllogism is. The validity of the laws of conversion is also obtained by direct proofs. Finally, it is shown that and explained why some imperfect syllogisms satisfy the definition of a perfect syllogism. (shrink)

According to an influential conception of reasons for action, the presence of a desire or some other conative state in the agent is a necessary condition for the agent’s havinga reason for action. This is sometimes known as internalism . In this paper I present a case for the considerably stronger thesis, which I call hyper-internalism , that the presence of a desire is a sufficient condition for the agent’s having a ( prima facie )reason for action.