Freedom, Fiction and Evidential Decision Theory

This paper argues against evidential decision-theory, by showing that the newest responses to its biggest current problem – the medical Newcomb problems – don’t work. The latest approach is described, and the arguments of two main proponents of it – Huw Price and CR Hitchcock – clearly distinguished and examined. It is argued that since neither new defence is successful, causation remains essential to understanding means-end agency.     

Causation Without Influence

David Lewis’s latest theory of causation defines the causal link in terms of the relation of influence between events. It turns out, however, that one event’s influencing another is neither a necessary nor sufficient condition for its being a cause of that event. In the article one particular case of causality without influence is presented and developed. This case not only serves as a counterexample to Lewis’s influence theory, but also threatens earlier counterfactual analyses of causation by admitting a particularly troublesome type of preemption. The conclusion of the article is that Lewis’s influence method of solving the preemption problem fails, and that we need a new and fresh approach to the cases of redundant causation if we want to hold on to the counterfactual analysis of causation.     

Human Nonmonotonic Reasoning: the Importance of Seeing the Logical Strength of Arguments

Three studies of human nonmonotonic reasoning are described. The results show that people find such reasoning quite difficult, although being given problems with known subclass-superclass relationships is helpful. The results also show that recognizing differences in the logical strengths of arguments is important for the nonmonotonic problems studied. For some of these problems, specificity – which is traditionally considered paramount in drawing appropriate conclusions – was irrelevant and so should have lead to a “can’t tell” response; however, people could give rational conclusions based on differences in the logical consequences of arguments. The same strategy also works for problems where specificity is relevant, suggesting that in fact specificity is not paramount. Finally, results showed that subjects’ success at responding appropriately to nonmonotonic problems involving conflict relies heavily on the ability to appreciate differences in the logical strength of simple, non-conflicting, statements.     

Predicate abstraction,the limits of quantification,and the modality of existence

For various reasons several authors have enriched classical first order syntax by adding a predicate abstraction operator. “Conservatives” have done so without disturbing the syntax of the formal quantifiers but “revisionists” have argued that predicate abstraction motivates the universal quantifier’s re-classification from an expression that combines with a variable to yield a sentence from a sentence, to an expression that combines with a one-place predicate to yield a sentence. My main aim is to advance the cause of predicate abstraction while cautioning against revisionism. In so doing, however, I shall pursue a secondary aim by conveying mixed blessings to those who hold the view that in the logical sense of “existence” some existing object is such as to exist contingently. Advocates of this view must concede Williamson’s recent contention that the domain of unrestricted objectual quantification could not have been narrower than it is actually, but predicate abstraction affords them some hope of accommodating this concession.     

因果型连动结构的逻辑刻画

逻辑学以及形式语义学对汉语连动结构的研究一般都停留在一阶逻辑的层面上,即通过一阶逻辑中的形式化方法给出连动结构的形式化构造。但是在对不同类型连动结构进行更为深入的研究时,一阶逻辑这一工具就显的不够了。本文中,作者将以因果型连动结构为研究对象,利用一阶模态逻辑为其构建形式系统并尝试给出因果型连动结构和途径–目的型连动结构之间的区别和联系。     

Conditional reasoning and causation

An experiment was conducted to investigate the relative contributions of syntactic form and content to conditional reasoning. The content domain chosen was that of causation. Conditional statements that described causal relationships (if mean value of cause, then mean value of effect) were embedded in simple arguments whose entailments are governed by the rules of truth-functional logic (i.e., modus ponens, modus tollens, denying the antecedent, and affirming the consequent). The causal statements differed in terms of the number of alternative causes and disabling conditions that characterized the causal relationship. (A disabling condition is an event that prevents an effect from occurring even though a relevant cause is present). Subjects were required to judge whether or not each argument's conclusion could be accepted. Judgements were found to vary systematically with the number of alternative causes and disabling conditions. Conclusions of arguments based on conditionals with few alternative causes or disabling conditions were found to be more acceptable than conclusions based on those with many.     

Talking About a Universalist World

The paper defends a combination of perdurantism with mereological universalism by developing semantics of temporary predications of the sort ’some P is/was/will be (a) Q’. We argue that, in addition to the usual application of causal and other restrictions on sortals, the grammatical form of such statements allows for rather different regimentations along three separate dimensions, according to: (a) whether ‘P’ and ‘Q’ are being used as phase or substance sortal terms, (b) whether ‘is’, ‘was’, and ‘will be’ are the ‘is’, ‘was’, ‘will be’ of identity or of constitution, and (c) whether ‘Q’ is being used as a subject or predicate term. We conclude that this latitude is beneficial, as it conforms with linguistic reality (i.e., the multiple uses actually in place) and also enables one to turn what is ordinarily perceived as a problem for universalist perdurantism viz., a commitment to all sorts of weird and gerrymandered temporally extended entities, into an advantage, for the richness in questions allows us to make sense of the many different readings of sentences of the same grammatical form.     

Agent causation as the solution to all the compatibilist’s problems

In a recent paper I argued that agent causation theorists should be compatibilists. In this paper, I argue that compatibilists should be agent causation theorists. I consider six of the main problems facing compatibilism: (i) the powerful intuition that one can’t be responsible for actions that were somehow determined before one was born; (ii) Peter van Inwagen’s modal argument, involving the inference rule (β); (iii) the objection to compatibilism that is based on claiming that the ability to do otherwise is a necessary condition for freedom; (iv) “manipulation arguments,” involving cases in which an agent is manipulated by some powerful being into doing something that he or she would not normally do, but in such a way that the compatibilist’s favorite conditions for a free action are satisfied; (v) the problem of constitutive luck; and (vi) the claim that it is not fair to blame someone for an action if that person was determined by forces outside of his or her control to perform that action. And in the case of each of these problems, I argue that the compatibilist has a much more plausible response to that problem if she endorses the theory of agent causation than she does otherwise.     

Aquinas and quantifier mistakes

In his “Third Way” Aquinas appears to argue in a way that relies upon shifting quantifiers in a fallacious way. Some have tried to save this and other parts of the “Third Way” by introducing sophisticated logical and metaphysical machinery. Alternatively, Aquinas’ apparently fallacious quantifier shift can be seen to be part of a valid argument if we supply a simple premise which an Aristotelian natural philosopher would surely hold. In this short paper, I consider candidates for this premise, defend a specific premise, and from that discussion draw a moral about quantifier predicate logic. I conclude that Aristotelian natural philosophy is more than an historical backdrop to Aquinas’ arguments.     

Formal Logic vs. Philosophical Argument

The wider topic to which the content of this paper belongs is that of the relationship between formal logic and real argumentation. Of particular potential interest in this connection are held to be substantive arguments constructed by philosophers reputed equally as authorities in logical theory. A number of characteristics are tentatively indicated by the author as likely to be encountered in such arguments. The discussion centers afterwards, by way of specification, on a remarkable piece of argument quoted in Cicero’s dialog On Divination and ascribed to Stoic thinkers. The Stoics’ formal theory of inference is summarily referred to in this context, with special emphasis on their basic deductive schemata (‘indemonstrables’), some of them recognizable as links in the overall structure of the quoted argument. The main lines of Cicero’s criticism of the Stoic argument are next commented upon, with emphasis on his implied view as to the requirements of a good argument. Towards the end of the paper, a few considerations are added on the changes in the prevailing style of argumentation conspicuous in the three famous Roman Stoics.     

The Exclusion Problem Meets the Problem of Many Causes

In this paper I develop a novel response to the exclusion problem. I argue that the nature of the events in the causally complete physical domain raises the “problem of many causes”: there will typically be countless simultaneous low-level physical events in that domain that are causally sufficient for any given high-level physical event (like a window breaking or an arm raising). This shows that even reductive physicalists must admit that the version of the exclusion principle used to pose the exclusion problem against non-reductive physicalism is too strong. The burden is on proponents of the exclusion problem to provide a reason to think that any qualifications placed on the exclusion principle will solve the problem of many causes while ruling out causation by irreducible mental events.     

On Reduction Rules,Meaning-as-use,and Proof-theoretic Semantics

The intention here is that of giving a formal underpinning to the idea of ‘meaning-is-use’ which, even if based on proofs, it is rather different from proof-theoretic semantics as in the Dummett–Prawitz tradition. Instead, it is based on the idea that the meaning of logical constants are given by the explanation of immediate consequences, which in formalistic terms means the effect of elimination rules on the result of introduction rules, i.e. the so-called reduction rules. For that we suggest an extension to the Curry– Howard interpretation which draws on the idea of labelled deduction, and brings back Frege’s device of variable-abstraction to operate on the labels (i.e., proof-terms) alongside formulas of predicate logic. Presented by Heinrich Wansing     

Intralevel mental causation

This paper identifies and critiques a theory of mental causation defended by some proponents of nonredutive physicalism that I call “intralevelism.” Intralevelist theories differ in their details. On all versions, the causal outcome of the manifestation of physical properties is physical and the causal outcome of the manifestation of mental properties is mental. Thus, mental causation on this view is intralevel mental to mental causation. This characterization of mental causation as intralevel is taken to insulate nonreductive physicalism from some objections to nonreductive physicalism, including versions of the exclusion argument. This paper examines some features of three recent versions of intralevelism defended by John Gibbons, Markus Schlosser, and Amie Thomasson. This paper shows that the distinctive problems faced by these three representative versions of intralevelism suggest that the intralevelist strategy does not provide a viable solution to the exclusion problem.     

Inexpressible properties and Grelling’s antinomy

The paper discusses whether there are strictly inexpressible properties. Three main points are argued for: (i) Two different senses of ‘predicate t expresses property p’ should be distinguished. (ii) The property of being a predicate that does not apply to itself is inexpressible in one of the senses of ‘express’, but not in the other. (iii) Since the said property is related to Grelling’s Antinomy, it is further argued that the antinomy does not imply the non-existence of that property.     

Formalizing common sense: an operator-based approach to the Tibbles–Tib problem

The paper argues, that a direct formalization of the way common sense thinks about the numerical identity of enduring entities, requires that traditional predicate logic is developed. If everyday language mirrors the world, then persons, organisms, organs, cells, and ordinary material things can lose some parts but nonetheless remain numerically exactly the same entity. In order to formalize this view, two new logical operators are introduced; and they bring with them some non-standard syntax. One of the operators is called ‘the instantiation operator’; it is needed because the existential quantifier and its traditional relatives cannot do the job required. The other operator is called ‘the form-on-matter operator’, and it allows an individual (an instance of a form) to stay the same even though some of its parts (its constituting matter) is taken away from it. Also, a certain kind of predicates, called ‘nature terms’, is needed in order to represent what gives a particular its kind of identity. Both the operators and the nature terms introduced can be used in constructions of formal languages and formal systems, but no such constructions are made in the paper. The paper is structured as a comment on the philosophical problem called ‘the problem of the cats Tibbles and Tib’.     

Reductive levels and multi-scale structure

I discuss arguments about the relationship between different “levels” of explanation in the light of examples involving multi-scale analysis. I focus on arguments about causal competition between properties at different levels, such as Jaegwon Kim’s “supervenience argument.” A central feature of Kim’s argument is that higher-level properties can in general be identified with “micro-based” properties. I argue that explanations from multi-scale analysis give examples of explanations that are problematic for accounts such as Kim’s. I argue that these difficulties suggest that some standard assumptions about causal competition need to be revised.     

THE METAPHYSICS OF DOWNWARD CAUSATION: REDISCOVERING THE FORMAL CAUSE

The methodological nonreductionism of contemporary biology opens an interesting discussion on the level of ontology and the philosophy of nature. The theory of emergence (EM), and downward causation (DC) in particular, bring a new set of arguments challenging not only methodological, but also ontological and causal reductionism. This argumentation provides a crucial philosophical foundation for the science/theology dialogue. However, a closer examination shows that proponents of EM do not present a unified and consistent definition of DC. Moreover, they find it difficult to prove that higher‐order properties can be causally significant without violating the causal laws that operate at lower physical levels. They also face the problem of circularity and incoherence in their explanation. In our article we show that these problems can be overcome only if DC is understood in terms of formal rather than physical (efficient) causality. This breakdown of causal monism in science opens a way to the retrieval of the fourfold Aristotelian notion of causality.     

A Pinch of Salt for Frege

Michael Dummett has argued that a formal semantics for our language is inadequate unless it can be shown to illuminate to our actual practice of speaking and understanding. This paper argues that Frege’s account of the semantics of predicate expressions according to which the reference of a predicate is a concept (a function from objects to truth values) has exactly the required characteristics. The first part of the paper develops a model for understanding the distinction between objects and concepts as an ontological distinction. It argues that, ontologically, we can take a Fregean function to be generated by a property detection device that can register for any object the presence or absence of that property. This provides a direct connection between the semantics of sentences and the structure of perceptual judgment. The second part of the paper deals with arguments that have been mounted against the coherence of Frege’s semantics. It argues that some of these are question begging, while others are correct in so far as Frege’s claim is untenable if we assume that the syntactic categories singular term and predicate are primary, and the ontological categories are simply projections of these syntactic categories. However, the objections dissipate once we recognize that an independent ontological characterization of the distinction is available.