Entailment and Bivalence

My purpose in this paper is to argue that the classical notion of entailment is not suitable for non-bivalent logics, to propose an appropriate alternative and to suggest a generalized entailment notion suitable to bivalent and non-bivalent logics alike. In classical two valued logic, one can not infer a false statement from one that is not false, any more than one can infer from a true statement a statement that is not true. In classical logic in fact preserving truth and preserving non-falsity are one and the same thing. They are not the same in non-bivalent logics however and I will argue that the classical notion of entailment that preserves only truth is not strong enough for such a logic. I will show that if we retain the classical notion of entailment in a logic that has three values, true, false and a third value in between, an inconsistency can be derived that can be resolved only by measures that seriously disable the logic. I will show this for a logic designed to allow for semantic presuppositions, then I will show that we get the same result in any three valued logic with the same value ordering. I will finally suggest how the notion of entailment should be generalized so that this problem may be avoided. The strengthened notion of entailment I am proposing is a conservative extension of the classical notion that preserves not only truth but the order of all values in a logic, so that the value of an entailed statement must alway be at least as great as the value of the sequence of statements entailing it. A notion of entailment this strong or stronger will, I believe, be found to be applicable to non-classical logics generally. In the opinion of Dana Scott, no really workable three valued logic has yet been developed. It is hard to disagree with this. A workable three valued logic however could perhaps be developed however, if we had a notion of entailment suitable to non-bivalent logics.     

Reasons and Entailment

What is the relation between entailment and reasons for belief? In this paper, I discuss several answers to this question, and I argue that these answers all face problems. I then propose the following answer: for all propositions p ₁,…,p _n and q, if the conjunction of p ₁,…, and p _n entails q, then there is a reason against a person’s both believing that p ₁,…, and that p _n and believing the negation of q. I argue that this answer avoids the problems that the other answers to this question face, and that it does not face any other problems either. I end by showing what the relation between deductive logic, reasons for belief and reasoning is if this answer is correct.     

Moral Error Theory, Entailment and Presupposition

According to moral error theory, moral discourse is error-ridden. Establishing error theory requires establishing two claims. These are that moral discourse carries a non-negotiable commitment to there being a moral reality and that there is no such reality. This paper concerns the first and so-called non-negotiable commitment claim. It starts by identifying the two existing argumentative strategies for settling that claim. The standard strategy is to argue for a relation of conceptual entailment between the moral statements that comprise moral discourse and the statement that there is a moral reality. The non-standard strategy is to argue for a presupposition relation instead. Error theorists have so far failed to consider a third strategy, which uses a general entailment relation that doesn’t require intricate relations between concepts. The paper argues that both entailment claims struggle to meet a new explanatory challenge and that since the presupposition option doesn’t we have prima facie reason to prefer it over the entailment options. The paper then argues that suitably amending the entailment claims enables them to meet this challenge. With all three options back on the table the paper closes by arguing that error theorists should consider developing the currently unrecognised, non-conceptual entailment claim.     

Another negation of negation

In discussing questions of free will, Soviet philosophers fail to distinguish conditions from causes. This makes them unable to understand the very opponents they like to criticize.     

Phenomenology,possible worlds and negation

I would like to thank Charles W. Harvey from the University of Central Arkansas and Leon Gumaski from the University of Toru in Poland for a number of useful criticisms of an earlier version of this paper.     

Comparative syllogism and counterfactual knowledge

Comparative syllogism is a type of scientific reasoning widely used, explicitly or implicitly, for inferences from observations to conclusions about effectiveness, but its philosophical significance has not been fully elaborated or appreciated. In its simplest form, the comparative syllogism derives a conclusion about the effectiveness of a factor (e.g. a treatment or an exposure) on a certain property via an experiment design using a test (experimental) group and a comparison (control) group. Our objective is to show that the comparative syllogism can be understood as encoding a simulation view of counterfactuals, in that counterfactual situations are conceptual constructs that can be correctly simulated by homogeneous comparison groups. In this simulation view, the empirical data from the comparison groups play an evidential role in the evaluation of counterfactuals and in obtaining counterfactual knowledge. We further indicate how successful experimental designs can help us to obtain correct simulations, and thus to bring us to scientifically-empirically based counterfactual knowledge.     

Luck,propositional perception,and the Entailment Thesis

Looking out the window, I see that it’s raining outside. Do I know that it’s raining outside? According to proponents of the Entailment Thesis, I do. If I see that p, I know that p. In general, the Entailment Thesis is the thesis that if S perceives that p, S knows that p. But recently, some philosophers (McDowell, in Smith (ed.) Reading McDowell on mind and world, 2002; Turri, Theoria 76(3):197–206, 2010; Pritchard, Philos Issues (Supplement to Nous) 21:434–455, 2011; Pritchard, Epistemological disjunctivism, 2012) have argued that the Entailment Thesis is false. On their view, we can see p and not know that p. In this paper, I argue that their arguments are unsuccessful.     

Neighborhoods for Entailment

This paper presents a neighborhood semantics for logics of entailment. It begins with a minimal system Min that expresses the most fundamental assumptions about the entailment relation, and continues by examining various extensions that reflect further assumptions that might be made about entailment. This leads first to the logic B that is the basic relevant logic, and then to more powerful systems. All of these logics are proved to be sound and strongly complete. With B the neighborhood semantics meets the Routley–Meyer relational semantics for relevant logic; these connections are examined. The minimal and basic entailment logics are shown to have the finite model property, and hence to be decidable.     

Rumfitt on truth-grounds,negation, and vagueness

In The Boundary Stones of Thought (2015), Rumfitt defends classical logic against challenges from intuitionistic mathematics and vagueness, using a semantics of pre-topologies on possibilities, and a topological semantics on predicates, respectively. These semantics are suggestive but the characterizations of negation face difficulties that may undermine their usefulness in Rumfitt’s project.     

Anaphora and negation

Philosophical Studies - One of the central questions of discourse dynamics is when an anaphoric pronoun is licensed. This paper addresses this question as it pertains to the complex data involving...     

Herrnstein''s syllogism: genetic and shared environmental influences on IQ, education, and income

Genotypes may influence the phenotypic associations among IQ, education, and income. To investigate this hypothesis, we believe that the appropriate methodology requires estimation of genetic and environmental influences using data able to separate these influences. The National Longitudinal Survey of Youth (NLSY) is a nationally representative sample that contains genetically-informative full- and half-siblings (28–35 years old in 1992; Ns=1943 full-siblings, 129 half-siblings). A biometric genetic model was fit that estimated the shared environmental and genetic variance components of IQ, years of education, and hourly income. The total heritabilities were 0.64 for IQ, 0.68 for education, and 0.42 for income. Heritabilities due to a common genetic factor were 0.35 for IQ, 0.52 for education, and 0.12 for income. Environmental influences due to a common shared environmental factor were 0.23 for IQ, 0.18 for education, and 0.08 for income. The model predicted a correlation of 0.63 between IQ and education and 0.34 between IQ and income. Sixty-eight percent of the former and 59% of the latter was genetically mediated; the remainder was mediated by common shared environment. These findings suggest that social inequality in the United States has its origin in both genetically-based traits and in different environmental backgrounds.