THE BLURRED LINE BETWEEN THEISTIC EVOLUTION AND INTELLIGENT DESIGN

It is often assumed that there is a hard line between theistic evolution (TE) and intelligent design (ID). Many theistic evolutionists subscribe to the idea that God only acts through natural processes, as opposed to the ID assertion that God, at certain points in natural history, has acted in a direct manner; directly causing particular features of the world. In this article, I argue that theistic evolutionists subscribe to what might be called Natural Divine Causation (NDC). NDC does not merely provide a nonsupernaturalist and noninterventionist model of divine action, it provides a line of demarcation between TE and ID. I make the critique that NDC is philosophically untenable and argue, consequently, that the line between TE and ID is blurred.     

The Virtuous Tortoise

There is no philosophically interesting distinction to be made between inference‐rules and premises. That there is such a distinction is often held to follow from the possibility of infinite regress illustrated by Carroll's story of Achilles and the tortoise. I will argue that this is wrong on three separate grounds. Consequently, Carroll's fable provides no motivation to abandon the traditional logical separation of arguments into their premises and conclusions. There is no proposition that must be taken to be a rule and must not be taken as a premise.     

Active control,agent-causation and free action

Key elements of Randolph Clarke's libertarian account of freedom that requires both agent-causation and non-deterministic event-causation in the production of free action is assessed with an eye toward determining whether agent-causal accounts can accommodate the truth of judgments of moral obligation.     

How many notions of necessity?

Evans distinguishes between superficial necessity and deep necessity in his analysis of the contingent a priori. The distinction between these two notions of necessity is formalized by Davies and Humberstone through the addition of the operator Fixedly to Actuality Modal Logic (AML, S5A), where deep necessity is represented by the combination Fixedly Actually. Wehmeier’s Subjunctive Modal Logic (SML) provides an extension of the expressive capacity of ordinary modal predicate logic alternative to AML. I add Fixedly to SML and show that in the system SML with Fixedly the distinction between deep and superficial necessity disappears. I conclude that the existence of the distinction between deep and superficial necessity, as well as the existence of the contingent a priori, cannot be asserted independently of the choice of background logic.     

Varieties of Reflection in Kant's Logic

For Kant, ‘reflection’ (Überlegung, Reflexion) is a technical term with a range of senses. I focus here on the senses of reflection that come to light in Kant's account of logic, and then bring the results to bear on the distinction between ‘logical’ and ‘transcendental’ reflection that surfaces in the Amphiboly chapter of the Critique of Pure Reason. Although recent commentary has followed similar cues, I suggest that it labours under a blind spot, as it neglects Kant's distinction between ‘pure’ and ‘applied’ general logic. The foundational text of existing interpretations is a passage in Logik Jäsche that appears to attribute to Kant the view that reflection is a mental operation involved in the generation of concepts from non-conceptual materials. I argue against the received view by attending to Kant's division between ‘pure’ and ‘applied’ general logic, identifying senses of reflection proper to each, and showing that none accords well with the received view. Finally, to take account of Kant's notion of transcendental reflection I show that we need to be attentive to the concerns of applied logic and how they inform the domain-relative transcendental logic that Kant presents in the first Critique.     

Plato on Necessity and Disorder

In the Timaeus, Plato makes a distinction between reason and necessity. This distinction is often accounted for as a distinction between two types of causation： purpose oriented causation and mechanistic causation. While reason is associated with the soul and taken to bring about its effects with the good and the beautiful as the end, necessity is understood in terms of a set of natural laws pertaining to material things. In this paper I shall suggest that there are reasons to reconsider the latter part of this account and argue for a non-mechanistic understanding of necessity. I will first outline how the notion of necessity is introduced in the dialogue. Next I will show how a mechanistic account of necessity fails to capture Plato＇s purpose of treating it as a causal factor; and, finally, I will argue that this purpose is better understood as an attempt, on Plato＇s part, to account for the causal origin of disorder and irrationality, an origin articulated in terms of a pre-cosmic situation and the notoriously difficult notion of the third kind.     

Nominalizing Quantifiers

Quantified expressions in natural language generally are taken to act like quantifiers in logic, which either range over entities that need to satisfy or not satisfy the predicate in order for the sentence to be true or otherwise are substitutional quantifiers. I will argue that there is a philosophically rather important class of quantified expressions in English that act quite differently, a class that includes something, nothing, and several things. In addition to expressing quantification, such expressions act like nominalizations, introducing a new domain of objects that would not have been present in the semantic structure of the sentence otherwise. The entities those expressions introduce are of just the same sort as those that certain ordinary nominalizations refer to (such as John's wisdom or John's belief that S), namely they are tropes or entities related to tropes. Analysing certain quantifiers as nominalizing quantifiers will shed a new light on philosophical issues such as the status of properties and the nature of propositional attitudes.     

The Logic of Causal Explanation An Axiomatization

Three-valued (strong-Kleene) modal logic provides the foundation for a new approach to formalizing causal explanation as a relation between partial situations. The approach makes fine-grained distinctions between aspects of events, even between aspects that are equivalent in classical logic. The framework can accommodate a variety of ontologies concerning the relata of causal explanation. I argue, however, for a tripartite ontology of objects corresponding to sentential nominals: facts, tropes (or facta or states of affairs), and situations (or events). I axiomatize the relations and use canonical models to demonstrate completeness.     

IV—Unsaturatedness: Wittgenstein's Challenge, Frege's Answer

Frege holds the distinction between complete (saturated) and incomplete (unsaturated) things to be a basic distinction of logic. Many disagree. In this paper I will argue that one can defend Frege's distinction against criticism if one takes, inspired by Frege, a wh -question to be the paradigm incomplete expression.     

Internal reasons and practical limits on rational deliberation

I argue that agent-causal libertarianism has a strong initial rejoinder to Mele's luck argument against it, but that his claim that it has yet to be explained how agent-causation yields responsibility-conferring control has significant force. I suggest an avenue of response. Subsequently, I raise objections to Mele's criticisms of my four-case manipulation argument against compatibilism.     

Free Will, Moral Responsibility, and the Problem of “OOMPH”

Thomas Reid developed an important theory of freedom and moral responsibility resting on the concept of agent-causation, by which he meant the power of a rational agent to cause or not cause a volition resulting in an action. He held that this power is limited in that occasions occur when one's emotions or other forces may preclude its exercise. John Martin Fischer has raised an objection – the not enough ‘Oomph’ objection – against any incompatibilist account of freedom and moral responsibility. In this essay I argue that Fischer's not enough ‘Oomph’ objection fails to provide any reasons for rejecting Reid's incompatibilist, agent-causation account of freedom and moral responsibility.     

Mental causation,compatibilism and counterfactuals

According to proponents of the causal exclusion problem, there cannot be a sufficient physical cause and a distinct mental cause of the same piece of behaviour. Increasingly, the causal exclusion problem is circumvented via this compatibilist reasoning: a sufficient physical cause of the behavioural effect necessitates the mental cause of the behavioural effect, so the effect has a sufficient physical cause and a mental cause as well. In this paper, I argue that this compatibilist reply fails to resolve the causal exclusion problem.     

Naming,Saying, and Structure

It is commonplace for philosophers to distinguish mere truths from truths that perspicuously represent the world's structure. According to a popular view, the perspicuous truths are supposed to be metaphysically revelatory and to play an important role in the accounts of law‐hood, confirmation, and linguistic interpretation. Yet, there is no consensus about how to characterize this distinction. I examine strategies developed by Lewis and by Sider in his Writing the Book of the World which purport to explain this distinction in terms of vocabulary: the truths that represent the world perspicuously have better, joint‐carving vocabulary. I argue that the distinction between a perspicuous and mere truth concerns both the vocabulary of the sentence and its grammar. I then show that the collective motivations for distinguishing perspicuous from mere truths do not allow Lewis and Sider to properly impose constraints on grammar.     

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.     

Kant,wittgenstein and the limits of logic

This paper has two purposes. (1) To justify the claim that there is an important distinction underlying the saying/showing distinction of the Tractatus; the distinction which Kant characterises as that between historical and rational knowledge. (2) To argue that it is because the Tractatus accepts Frege/Russell logic as a complete representation of all thought according to laws, that what is shown cannot be recognised as knowledge. This is done by interpolating Frege's logical innovations between the views of Kant and Wittgenstein on logic and mathematics.     

Some aspects of negation in English

I introduce a formal language called the language of informational independence (IL-language, for short) that extends an ordinary first-order language in a natural way. This language is interpreted in terms of semantical games of imperfect information. In this language, one can define two negations: (i) strong or dual negation, and (ii) weak or contradictory negation. The latter negation, unlike the former, can occur only sentence-initially. Then I argue that, to a certain extent, the two negations match the distinction existing in natural languages between sentential and constituent negation. As a corollary, I derive the fact that there are no mechanical rules for forming the contradictory negation of an English sentence.     

The logical form of universal generalizations

First order logic does not distinguish between different forms of universal generalization; in this paper I argue that lawlike and accidental generalizations (broadly construed) have a different logical form, and that this distinction is syntactically marked in English. I then consider the relevance of this broader conception of lawlikeness to the philosophy of science.     

Irreflexive Modality in the Intuitionistic Propositional Logic and Novikov Completeness

A. Kuznetsov considered a logic which extended intuitionistic propositional logic by adding a notion of 'irreflexive modality'. We describe an extension of Kuznetsov's logic having the following properties: (a) it is the unique maximal conservative (over intuitionistic propositional logic) extension of Kuznetsov's logic; (b) it determines a new unary logical connective w.r.t. Novikov's approach, i.e., there is no explicit expression within the system for the additional connective; (c) it is axiomatizable by means of one simple additional axiom scheme.     

Aristotle on a Puzzle about Logical Consequence: Necessity of Being vs. Necessity of Saying

In the Posterior Analytics (I 6, 75a18–27) Aristotle discusses a puzzle which endangers the possibility of inferring a non-necessary conclusion. His solution relies on the distinction between the necessity of the conclusion's being the case and the necessity of admitting the conclusion once one has admitted the premisses. The former is a factual necessity, whereas the latter is meant to be a normative or deontic necessity that is independent of the facts stated by the premisses and the conclusion. This paper maintains that Aristotle resorts to this distinction because he thinks that, as long as it is conceived as a factual relation, logical consequence cannot exist independently of the facts expressed by the premisses and the conclusion. As a corollary, the necessity of such a consequence relation always requires the necessity of these facts. Aristotle holds this factual conception of logical consequence responsible for the puzzle, since it cannot account for valid syllogisms with contingent or false premisses. The alternative conception of necessity is then introduced by him in order to make good this deficiency. The distinction between the necessity of being and the necessity of saying was revived by the Oxford logician E. W. B. Joseph, and taken over by Frank Ramsey in his seminal Truth and Probability, but has not received attention from recent interpreters of Aristotle's logic. This paper, however, argues that, in spite of its intrinsic interest, the distinction bore no significant fruit in Aristotle's logical doctrine.     

The Good,the Bad,and the Vacuous: Wittgenstein on Modern and Future Musics

This article explains Wittgenstein's distinction between good, bad, and vacuous modern music which he introduced in a diary entry from January 27, 1931. I situate Wittgenstein's discussion in the context of Oswald Spengler's ideas concerning the decline of Western culture, which informed Wittgenstein's philosophical progress during his middle period, and I argue that the music theory of Heinrich Schenker, and Wittgenstein's critique thereof, served as an immediate link between Spengler's cultural pessimism and Wittgenstein's threefold distinction. I conclude that Wittgenstein's distinction between bad and vacuous modern music is analogous to Schenker's distinction between the compositional fallacies of the progressive and the reactionary composers of his time. Concomitantly, Wittgenstein's philosophically problematic notion of good modern music transcended the conceptual framework of both Schenker and Spengler. In this context, I examine Wittgenstein's remarks on Gustav Mahler as well as his remark on the music of the future as monophony, which, I conclude, should be understood ultimately as an ellipsis of his much later view of musical meaning and intelligibility.