Nearly all success is due to some mix of ability and luck. But some successes we attribute to the agent’s ability, whereas others we attribute to luck. To better understand the criteria distinguishing credit from luck, we conducted a series of four studies on knowledge attributions. Knowledge is an achievement that involves reaching the truth. But many factors affecting the truth are beyond our control and reaching the truth is often partly due to luck. Which sorts of luck are compatible (...) with knowledge? We find that knowledge attributions are highly sensitive to lucky events that change the explanation for why a belief is true. By contrast, knowledge attributions are surprisingly insensitive to lucky events that threaten but ultimately fail to change the explanation for why a belief is true. These results shed light on our concept of knowledge, help explain apparent inconsistencies in prior work on knowledge attributions, and constitute progress toward a general understanding of the relation between success and luck. (shrink)

Soon there will be sex robots. The creation of such devices raises a host of social, legal and ethical questions. In this article, I focus in on one of them. What if these sex robots are deliberately designed and used to replicate acts of rape and child sexual abuse? Should the creation and use of such robots be criminalised, even if no person is harmed by the acts performed? I offer an argument for thinking that they should be. The argument (...) consists of two premises. The first claims that it can be a proper object of the criminal law to regulate wrongful conduct with no extrinsically harmful effects on others. The second claims that the use of robots that replicate acts of rape and child sexual abuse would be wrongful, even if such usage had no extrinsically harmful effects on others. I defend both premises of this argument and consider its implications for the criminal law. I do not offer a conclusive argument for criminalisation, nor would I wish to be interpreted as doing so; instead, I offer a tentative argument and a framework for future debate. This framework may also lead one to question the proposed rationales for criminalisation. (shrink)

A woman is listening to Sinatra before work. As she later describes it, ‘suddenly from nowhere I could hear my mother singing along to it … I was there again home again, hearing my mother … God knows why I should choose to remember that … then, to actually hear her and I had this image in my head … of being at home … with her singing away … like being transported back you know I got one of those (...) … like shivery feelings really suddenly’ (Anderson 2004, 9-10). An older couple, discussing their honeymoon forty years ago, each say that they can’t remember the show they saw, until through iterative, puzzled cross-cuing they finally get there – ‘Desert Song, that’s it’ (Harris et al 2011, 292). An elderly English veteran of a prisoner of war camp in Japan, finishing up morning tea with a young Japanese social scientist interested in reconciliation, suddenly calls out loudly - in Japanese - ‘stand to attention’. He stands to attention in front of her: like many of the men she interviews, he physically re-enacts fragments of that long-past world of the camp, bringing that absent past into this new present context with a visceral shock (Murakami 2001, 2012; Middleton & Brown 2005, 133-136). (shrink)

Leading virtue epistemologists defend the view that knowledge must proceed from intellectual virtue and they understand virtues either as refned character traits cultivated by the agent over time through deliberate effort, or as reliable cognitive abilities. Philosophical situationists argue that results from empirical psychology should make us doubt that we have either sort of epistemic virtue, thereby discrediting virtue epistemology’s empirical adequacy. I evaluate this situationist challenge and outline a successor to virtue epistemology: abilism . Abilism delivers all the main (...) benefts of virtue epistemology and is as empirically adequate as any theory in philosophy or the social sciences could hope to be. (shrink)

Schemes of diagrammatic representation have been so familiarly introduced into logical treatises during the last century or so, that many readers, even of those who have made no professional study of logic, may be supposed to be acquainted with the general nature and object of such devices. Of these schemes one only, viz. that commonly called "Eulerian circles," has met with any general acceptance. A variety of others indeed have been proposed by ingenious and celebrated logicians, several of which would (...) claim notice in a historical treatment of the subject; but they mostly do not seem to me to differ in any essential respect from that of Euler. They rest upon the same leading principle, and are subject all alike to the same restrictions and defects. We must therefore cast about for some new scheme of diagrammatic representation which shall be competent to indicate imperfect knowledge on our part; for this will at once enable us to appeal to it step by step in the process of working out our conclusions. I have never seen any hint at such a scheme, though the want seems so evident that one would suppose that something of the kind must have been proposed before. (shrink)

Contrary to common misconceptions, today's logic is not devoid of existential import: the universalized conditional ∀ x [S→ P] implies its corresponding existentialized conjunction ∃ x [S & P], not in all cases, but in some. We characterize the proexamples by proving the Existential-Import Equivalence: The antecedent S of the universalized conditional alone determines whether the universalized conditional has existential import, i.e. whether it implies its corresponding existentialized conjunction.A predicate is an open formula having only x free. An existential-import predicate (...) Q is one whose existentialization, ∃ x Q, is logically true; otherwise, Q is existential-import-free or simply import-free.How abundant or widespread is existential import? How abundant or widespread are existential-import predicates in themselves or in comparison to import-free predicates? We show that existential-import predicates are quite abundant, and no less so than import-free predicates. Existential.. (shrink)

This essay offers a defense of Axiarchism's answer to the question, "Why does the world exit?" against prominent objections leveled against it by Derek Parfit. Parfit rejects the Axiarchist answer while abstracting from it his own Selector strategy. I argue that the abstraction fails, and that even if we were to regard Axiarchism as an instance of a Selector hypothesis, we should regard it as the only viable one. I also argue that Parfit's abstraction leads him to mistake the nature (...) and, thereby, the force of Axiarchism's claim to being an ultimate explanation. Finally, I defend the Axiarchist's claim that the good could not fail to rule. (shrink)

Judging by our folk appraisals, then, knowledge and action are intimately related. The theories of rational action with which we are familiar leave this unexplained. Moreover, discussions of knowledge are frequently silent about this connection. This is a shame, since if there is such a connection it would seem to constitute one of the most fundamental roles for knowledge. Our purpose in this paper is to rectify this lacuna, by exploring ways in which knowing something is related to rationally acting (...) upon it, defending one particular proposal against anticipated objections. (shrink)

This work treats the correlative concepts knowledge and opinion, in various senses. In all senses of ‘knowledge’ and ‘opinion’, a belief known to be true is knowledge; a belief not known to be true is opinion. In this sense of ‘belief’, a belief is a proposition thought to be true—perhaps, but not necessarily, known to be true. All knowledge is truth. Some but not all opinion is truth. Every proposition known to be true is believed to be true. Some but (...) not every proposition believed to be true is known to be true. Our focus is thus on propositional belief (“belief-that”): the combination of propositional knowledge (“knowledge-that”) and propositional opinion (“opinion-that”). Each of a person’s beliefs, whether knowledge or opinion, is the end result of a particular thought process that continued during a particular time interval and ended at a particular time with a conclusive act—a judgment that something is the case. This work is mainly about beliefs in substantive informative propositions—not empty tautologies. We also treat objectual knowledge (knowledge of objects in the broadest sense, or “knowledge-of”), operational knowledge (abilities and skills, “knowledge-how-to”, or “know-how”), and expert knowledge (expertise). Most points made in this work have been made by previous writers, but to the best of our knowledge, they have never before been collected into a coherent work accessible to a wide audience. -/- Key words: belief, knowledge/opinion, propositional, operational, objectual, cognition, . (shrink)

Demonstratives seem to have posed a severe difficulty for Frege’s philosophy of language, to which his doctrine of incommunicable senses was a reaction. In “The Thought,” Frege briefly discusses sentences containing such demonstratives as “today,” “here,” and “yesterday,” and then turns to certain questions that he says are raised by the occurrence of “I” in sentences (T, 24-26). He is led to say that, when one thinks about oneself, one grasps thoughts that others cannot grasp, that cannot be communicated. However, (...) nothing could be more out of the spirit of Frege’s account of sense and thought than an incommunicable, private thought. In the first part of the paper, I explain the problem demonstratives pose for Frege, and explore three ways he might have dealt with it. I argue that none of these ways provides Frege with a solution to his problem consistent with his philosophy of language. The first two are plausible as solutions, but contradict his identification of the sense expressed by a sentence with a thought. The third preserves the identification, but is implausible. In the second part, I suggest that Frege was led to his doctrine of incommunicable senses as a result of some appreciation of the difficulties his account of demonstratives faces, for these come quickly to the surface when we think about “I.” I argue that incommunicable senses won’t help. I end by trying to identify the central problem with Frege’s approach, and sketching an alternative. (shrink)

This paper is part of a symposium on Linda Zagzebski's EPISTEMIC AUTHORITY (OUP, 2012). It focuses on Zagzebski's argument that the transmission of information through a chain of testimony weakens its evidential value. This argument is shown to rest on an overly simplistic model of testimonial transmission that does not apply to religious traditions. The real problem with modeling religious traditions just as transmitters of information is that this assumes a conception of religious knowledge that is too "insular" with respect (...) to other things the believer knows, as well as aspects of religious faith that go beyond the mere acceptance of doctrines. (shrink)

I argue against the orthodox view of the relationship between propositional and doxastic justification. The view under criticism is: if p is propositionally justified for S in virtue of S's having reason R, and S believes p on the basis of R, then S's belief that p is doxastically justified. I then propose and evaluate alternative accounts of the relationship between propositional and doxastic justification, and conclude that we should explain propositional justification in terms of doxastic justification. If correct, this (...) proposal would constitute a significant advance in our understanding of the sources of epistemic justification. (shrink)

In this paper, I critique arguments made by philosopher David Buller against central evolutionary-psychological explanations of human mating. Specifically, I aim to rebut his criticisms of Evolutionary Psychology regarding (1) women's long-term mating preferences for high-status men; (2) the evolutionary rationale behind men's provisioning of women; (3) men's mating preferences for young women; (4) women's adaptation for extra-pair sex; (5) the sex-differentiated evolutionary theory of human jealousy; and (6) the notion of mate value. In sum, I aim to demonstrate that (...) Buller's arguments contra Evolutionary Psychologists are left wanting. (shrink)

In a number of recent films, Scotland has served as the setting for dramas that could have taken place anywhere. This has occurred in two related ways: First, there are films such as Perfect Sense (2011) and Under the Skin (2013). These films involve storylines that, while they do take place in Scotland, do not require the country as a setting. Second, there are films such as Prometheus (2012),The Dark Knight Rises (2012), Cloud Atlas (2012), and World War Z (2013). (...) These films, while being filmed (at least partly) in Scotland, have plots that do not involve Scotland. Scottish locations, in this second group of movies, act as stand- ins for locations in other cities, or even other worlds. -/- This phenomenon, in which the uniqueness of Scottish locations is deemphasized so that they may act as mere backdrops for the primary action in films, is a relatively new one. It is in sharp contrast to another, more traditional tendency in movie making in which Scottish locations are foregrounded to dramatize myths and stereotypes uniquely Scottish; such as Kailyard, Tartantry or Clydesideism. In this paper I pursue an analysis, drawing on the work of Martin Heidegger, that characterizes this trend as part of a new Scottish myth in the making: the myth of Scotland as nowhere in particular. -/- The myth of Scotland as nowhere in particular takes the countryside and cities of Scotland as raw material for the telling of stories having transcultural interest. In this, Scotland becomes a space or clearing with no particular defining characteristics of its own to distract from the dramas themselves. This allows for the unfolding of narratives that, while they use Scotland as a setting, have little if anything to do with Scotland, and thus appeal to anyone, anywhere. (shrink)

Information-theoretic approaches to formal logic analyze the "common intuitive" concepts of implication, consequence, and validity in terms of information content of propositions and sets of propositions: one given proposition implies a second if the former contains all of the information contained by the latter; one given proposition is a consequence of a second if the latter contains all of the information contained by the former; an argument is valid if the conclusion contains no information beyond that of the premise-set. This (...) paper locates information-theoretic approaches historically, philosophically, and pragmatically. Advantages and disadvantages are identified by examining such approaches in themselves and by contrasting them with standard transformation-theoretic approaches. Transformation-theoretic approaches analyze validity (and thus implication) in terms of transformations that map one argument onto another: a given argument is valid if no transformation carries it onto an argument with all true premises and false conclusion. Model-theoretic, set-theoretic, and substitution-theoretic approaches, which dominate current literature, can be construed as transformation-theoretic, as can the so-called possible-worlds approaches. Ontic and epistemic presuppositions of both types of approaches are considered. Attention is given to the question of whether our historically cumulative experience applying logic is better explained from a purely information-theoretic perspective or from a purely transformation-theoretic perspective or whether apparent conflicts between the two types of approaches need to be reconciled in order to forge a new type of approach that recognizes their basic complementarity. (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)

The meaning of morpheme (a minimal unit of linguistic significance) cannot diverge from what it is taken to mean. But the meaning of a complex expression can diverge without limit from what it is taken to mean, given that the meaning of such an expression is a logical consequence of the meanings of its parts, coupled with the fact that people are not infallible ratiocinators. Nonetheless, given Chomsky’s distinction between competence (ability) and performance (ability to deploy ability), what a complex (...) expression means does, after a fashion, coincide with what it is taken to mean: to the extent that speaker-performance approximates to speaker-competence---i.e. to the extent that people are able to operationalize their linguistic competence---what speakers take complex expressions to mean coincides with they in fact mean; and herein lies an answer to the question “what is linguistic meaning?” that holds with respect to both simple and complex expressions. (shrink)

Most traditional epistemologists see trust and knowledge as deeply antithetical: we cannot know by trusting in the opinions of others; knowledge must be based on evidence, not mere trust. I argue that this is badly mistaken. Modern knowers cannot be independent and self-reliant. In most disciplines, those who do not trust cannot know. Trust is thus often more epistemically basic than empirical evidence or logical argument, for the evidence and the argument are available only through trust. Finally, since the reliability (...) of testimonial evidence depends on the trustworthiness of the testifier, this implies that knowledge often rests on a foundation of ethics. The rationality of many of our beliefs depends not only on our own character, but on the character of others. (shrink)

This report reviews what quantum physics and information theory have to tell us about the age-old question, How come existence? No escape is evident from four conclusions: (1) The world cannot be a giant machine, ruled by any preestablished continuum physical law. (2) There is no such thing at the microscopic level as space or time or spacetime continuum. (3) The familiar probability function or functional, and wave equation or functional wave equation, of standard quantum theory provide mere continuum idealizations (...) and by reason of this circumstance conceal the information-theoretic source from which they derive. (4) No element in the description of physics shows itself as closer to primordial than the elementary quantum phenomenon, that is, the elementary device-intermediated act of posing a yes-no physical question and eliciting an answer or, in brief, the elementary act of observer-participancy. Otherwise stated, every physical quantity, every it, derives its ultimate significance from bits, binary yes-or-no indications, a conclusion which we epitomize in the phrase, it from bit. (shrink)

The principle of universal instantiation plays a pivotal role both in the derivation of intensional paradoxes such as Prior’s paradox and Kaplan’s paradox and the debate between necessitism and contingentism. We outline a distinctively free logical approach to the intensional paradoxes and note how the free logical outlook allows one to distinguish two different, though allied themes in higher-order necessitism. We examine the costs of this solution and compare it with the more familiar ramificationist approaches to higher-order logic. Our assessment (...) of both approaches is largely pessimistic, and we remain reluctantly inclined to take Prior’s and Kaplan’s derivations at face value. (shrink)

The analysis of desire ascriptions has been a central topic of research for philosophers of language and mind. This work has mostly focused on providing a theory of want reports, that is, sentences of the form ‘S wants p’. In this paper, we turn from want reports to a closely related but relatively understudied construction, namely hope reports, that is, sentences of the form ‘S hopes p’. We present two contrasts involving hope reports and show that existing approaches to desire (...) fail to explain these contrasts. We then develop a novel account that combines some of the central insights in the literature. We argue that our theory provides an elegant account of our contrasts and yields a promising analysis of hoping. (shrink)

Epistemic reasons are mental states. They are not propositions or non-mental facts. The discussion proceeds as follows. Section 1 introduces the topic. Section 2 gives two concrete examples of how our topic directly affects the internalism/externalism debate in normative epistemology. Section 3 responds to an argument against the view that reasons are mental states. Section 4 presents two problems for the view that reasons are propositions. Section 5 presents two problems for the view that reasons are non-mental facts. Section 6 (...) argues that reasons are mental states. Section 7 responds to objections. (shrink)

It is natural to assume that the fine-grained and highly accurate spatial information present in visual experience is often used to guide our bodily actions. Yet this assumption has been challenged by proponents of the Two Visual Systems Hypothesis , according to which visuomotor programming is the responsibility of a “zombie” processing stream whose sources of bottom-up spatial information are entirely non-conscious . In many formulations of TVSH, the role of conscious vision in action is limited to “recognizing objects, selecting (...) targets for action, and determining what kinds of action, broadly speaking, to perform” . Our aim in this study is to show that the available evidence not only fails to support this dichotomous view but actually reveals a significant role for conscious vision in motor programming, especially for actions that require deliberate attention. (shrink)

How should a group with different opinions (but the same values) make decisions? In a Bayesian setting, the natural question is how to aggregate credences: how to use a single credence function to naturally represent a collection of different credence functions. An extension of the standard Dutch-book arguments that apply to individual decision-makers recommends that group credences should be updated by conditionalization. This imposes a constraint on what aggregation rules can be like. Taking conditionalization as a basic constraint, we gather (...) lessons from the established work on credence aggregation, and extend this work with two new impossibility results. We then explore contrasting features of two kinds of rules that satisfy the constraints we articulate: one kind uses fixed prior credences, and the other uses geometric averaging, as opposed to arithmetic averaging. We also prove a new characterisation result for geometric averaging. Finally we consider applications to neighboring philosophical issues, including the epistemology of disagreement. (shrink)

In this essay I show how to reconcile epistemic invariantism with the knowledge account of assertion. My basic proposal is that we can comfortably combine invariantism with the knowledge account of assertion by endorsing contextualism about speech acts. My demonstration takes place against the backdrop of recent contextualist attempts to usurp the knowledge account of assertion, most notably Keith DeRose's influential argument that the knowledge account of assertion spells doom for invariantism and enables contextualism's ascendancy.

The problem of evil is the most prominent argument against the existence of God. Skeptical theists contend that it is not a good argument. Their reasons for this contention vary widely, involving such notions as CORNEA, epistemic appearances, 'gratuitous' evils, 'levering' evidence, and the representativeness of goods. We aim to dispel some confusions about these notions, in particular by clarifying their roles within a probabilistic epistemology. In addition, we develop new responses to the problem of evil from both the phenomenal (...) conception of evidence and the knowledge-first view of evidence. (shrink)

There is a widespread view that well-learned skills are automated, and that attention to the performance of these skills is damaging because it disrupts the automatic processes involved in their execution. This idea serves as the basis for an account of choking in high pressure situations. On this view, choking is the result of self-focused attention induced by anxiety. Recent research in sports psychology has produced a significant body of experimental evidence widely interpreted as supporting this account of choking in (...) certain kinds of complex sensorimotor skills. We argue against this interpretation, pointing to problems with both the empirical evidence and the underlying theory. The experimental research fails to provide direct support for the central claims of the self-focus approach, contains inconsistencies, and suffers from problems of ecological validity. In addition, qualitative studies of choking have yielded contrary results. We further argue that in their current forms the self-focus and rival distraction approaches both lack the theoretical resources to provide a good theory of choking, and we argue for an expanded approach. Some of the elements that should be in an expanded approach include accounts of the features of pressure situations that influence the psychological response, the processes of situation appraisal, and the ways that attentional control can be overwhelmed, leading to distraction in some cases, and in others, perhaps, to damaging attention to skill execution. We also suggest that choking may sometimes involve performance-impairing mechanisms other than distraction or self-focus. (shrink)

In previous articles, it has been shown that the deductive system developed by Aristotle in his "second logic" is a natural deduction system and not an axiomatic system as previously had been thought. It was also stated that Aristotle's logic is self-sufficient in two senses: First, that it presupposed no other logical concepts, not even those of propositional logic; second, that it is (strongly) complete in the sense that every valid argument expressible in the language of the system is deducible (...) by means of a formal deduction in the system. Review of the system makes the first point obvious. The purpose of the present article is to prove the second. Strong completeness is demonstrated for the Aristotelian system. (shrink)

I argue that you can have a priori knowledge of propositions that neither are nor appear necessarily true. You can know a priori contingent propositions that you recognize as such. This overturns a standard view in contemporary epistemology and the traditional view of the a priori, which restrict a priori knowledge to necessary truths, or at least to truths that appear necessary.

Cognitivism in respect to the arts refers to a constellation of positions that share in common the idea that artworks often bear, in addition to aesthetic value, a significant kind of cognitive value. In this paper I concentrate on three things: (i) the challenge of understanding exactly what one must do if one wishes to defend a cognitivist view of the arts; (ii) common anti-cognitivist arguments; and (iii) promising recent attempts to defend cognitivism.

Eleanor Knox has argued that our concept of spacetime applies to whichever structure plays a certain functional role in the laws (the role of determining local inertial structure). I raise two complications for this approach. First, our spacetime concept seems to have the structure of a cluster concept, which means that Knox's inertial criteria for spacetime cannot succeed with complete generality. Second, the notion of metaphysical fundamentality may feature in the spacetime concept, in which case spacetime functionalism may be uninformative (...) in the absence of answers to fundamental metaphysical questions like the substantivalist/relationist debate. (shrink)

This paper argues that the role of knowledge in the explanation and production of intentional action is as indispensable as the roles of belief and desire. If we are interested in explaining intentional actions rather than intentions or attempts, we need to make reference to more than the agent’s beliefs and desires. It is easy to see how the truth of your beliefs, or perhaps, facts about a setting will be involved in the explanation of an action. If you believe (...) you can stop your car by pressing a pedal, then, if your belief is true, you will stop. If it is false, you will not. By considering cases of unintentional actions, actions involving luck and cases of deviant causal chains, I show why knowledge is required. By looking at the notion of causal relevance, I argue that the connection between knowledge and action is causal and not merely conceptual. (shrink)

For each positive n , two alternative axiomatizations of the theory of strings over n alphabetic characters are presented. One class of axiomatizations derives from Tarski's system of the Wahrheitsbegriff and uses the n characters and concatenation as primitives. The other class involves using n character-prefixing operators as primitives and derives from Hermes' Semiotik. All underlying logics are second order. It is shown that, for each n, the two theories are definitionally equivalent [or synonymous in the sense of deBouvere]. It (...) is further shown that each member of one class is synonymous with each member of the other class; thus that all of the theories are definitionally equivalent with each other and with Peano arithmetic. Categoricity of Peano arithmetic then implies categoricity of each of the above theories. (shrink)

This paper argues for externalism about justification on the basis of thought experiments. I present cases in which two individuals are intrinsically and introspectively indistinguishable and in which intuitively, one is justified in believing that p while the other is not. I also examine an argument for internalism based on the ideas that we have privileged access to whether or not our own beliefs are justified and that only internalism is compatible with this privilege. I isolate what I take to (...) be the most plausible form of privileged access to justification and show that it is compatible with externalism. (shrink)

This paper critically evaluates the regress argument for infinitism. The dialectic is essentially this. Peter Klein argues that only an infinitist can, without being dogmatic, enhance the credibility of a questioned non-evident proposition. In response, I demonstrate that a foundationalist can do this equally well. Furthermore, I explain how foundationalism can provide for infinite chains of justification. I conclude that the regress argument for infinitism should not convince us.

Argumentations are at the heart of the deductive and the hypothetico-deductive methods, which are involved in attempts to reduce currently open problems to problems already solved. These two methods span the entire spectrum of problem-oriented reasoning from the simplest and most practical to the most complex and most theoretical, thereby uniting all objective thought whether ancient or contemporary, whether humanistic or scientific, whether normative or descriptive, whether concrete or abstract. Analysis, synthesis, evaluation, and function of argumentations are described. Perennial philosophic (...) problems, epistemic and ontic, related to argumentations are put in perspective. So much of what has been regarded as logic is seen to be involved in the study of argumentations that logic may be usefully defined as the systematic study of argumentations, which is virtually identical to the quest of objective understanding of objectivity. (shrink)

After a short preface, the first of the three sections of this paper is devoted to historical and philosophic aspects of categoricity. The second section is a self-contained exposition, including detailed definitions, of a proof that every mathematical system whose domain is the closure of its set of distinguished individuals under its distinguished functions is categorically characterized by its induction principle together with its true atoms (atomic sentences and negations of atomic sentences). The third section deals with applications especially those (...) involving the distinction between characterizing a system and axiomatizing the truths of a system. (shrink)

The problem of downward causation is that an intuitive response to an intuitive picture leads to counterintuitive results. Suppose a mental event, m1, causes another mental event, m2. Unless the mental and the physical are completely independent, there will be a physical event in your brain or your body or the physical world as a whole that underlies this event. The mental event occurs at least partly in virtue of the physical event’s occurring. And the same goes for m2 [2] (...) and p2. Let’s not worry about what exactly “underlying” or “in virtue of” means here. Here’s the picture. m1 -----> m2 | | p1 -----> p2 The horizontal arrows represent causation, and the vertical lines represent underlying, whatever that may be. There’s some reason to think that the only way m1 can bring about m2 is by bringing about p2. You can’t convince someone of something through mental telepathy. You need to interact with the physical world, perhaps by saying something and so making some noise, or by pointing and getting them to turn their head and see. What goes for the case of two people goes for the case of one person as well. Superstition aside, there is no purely mental energy that floats free of the merely physical workings of the brain. If m1 brings about m2 by bringing about p2, then m1 brings about p2. This is downward causation. But wait. Doesn’t p1 bring about p2? Isn’t that what the bottom arrow represents? Maybe m1 and p1 work together to bring about p2. There are little holes in the physical causal structure that need to be filled by mental events. You don’t need a sweeping metaphysical thesis about the causal closure of the physical to find this implausible. Maybe p2 is overdetermined. (shrink)

This book treats ancient logic: the logic that originated in Greece by Aristotle and the Stoics, mainly in the hundred year period beginning about 350 BCE. Ancient logic was never completely ignored by modern logic from its Boolean origin in the middle 1800s: it was prominent in Boole’s writings and it was mentioned by Frege and by Hilbert. Nevertheless, the first century of mathematical logic did not take it seriously enough to study the ancient logic texts. A renaissance in ancient (...) logic studies occurred in the early 1950s with the publication of the landmark Aristotle’s Syllogistic by Jan Łukasiewicz, Oxford UP 1951, 2nd ed. 1957. Despite its title, it treats the logic of the Stoics as well as that of Aristotle. Łukasiewicz was a distinguished mathematical logician. He had created many-valued logic and the parenthesis-free prefix notation known as Polish notation. He co-authored with Alfred Tarski’s an important paper on metatheory of propositional logic and he was one of Tarski’s the three main teachers at the University of Warsaw. Łukasiewicz’s stature was just short of that of the giants: Aristotle, Boole, Frege, Tarski and Gödel. No mathematical logician of his caliber had ever before quoted the actual teachings of ancient logicians. -/- Not only did Łukasiewicz inject fresh hypotheses, new concepts, and imaginative modern perspectives into the field, his enormous prestige and that of the Warsaw School of Logic reflected on the whole field of ancient logic studies. Suddenly, this previously somewhat dormant and obscure field became active and gained in respectability and importance in the eyes of logicians, mathematicians, linguists, analytic philosophers, and historians. Next to Aristotle himself and perhaps the Stoic logician Chrysippus, Łukasiewicz is the most prominent figure in ancient logic studies. A huge literature traces its origins to Łukasiewicz. -/- This Ancient Logic and Its Modern Interpretations, is based on the 1973 Buffalo Symposium on Modernist Interpretations of Ancient Logic, the first conference devoted entirely to critical assessment of the state of ancient logic studies. (shrink)

Demonstrative logic, the study of demonstration as opposed to persuasion, is the subject of Aristotle's two-volume Analytics. Many examples are geometrical. Demonstration produces knowledge (of the truth of propositions). Persuasion merely produces opinion. Aristotle presented a general truth-and-consequence conception of demonstration meant to apply to all demonstrations. According to him, a demonstration, which normally proves a conclusion not previously known to be true, is an extended argumentation beginning with premises known to be truths and containing a chain of reasoning showing (...) by deductively evident steps that its conclusion is a consequence of its premises. In particular, a demonstration is a deduction whose premises are known to be true. Aristotle's general theory of demonstration required a prior general theory of deduction presented in the Prior Analytics. His general immediate-deduction-chaining conception of deduction was meant to apply to all deductions. According to him, any deduction that is not immediately evident is an extended argumentation that involves a chaining of intermediate immediately evident steps that shows its final conclusion to follow logically from its premises. To illustrate his general theory of deduction, he presented an ingeniously simple and mathematically precise special case traditionally known as the categorical syllogistic. (shrink)

Prior work on weakness of will has assumed that it is a thoroughly psychological phenomenon. At least, it has assumed that ordinary attributions of weakness of will are purely psychological attributions, keyed to the violation of practical commitments by the weak-willed agent. Debate has recently focused on which sort of practical commitment, intention or normative judgment, is more central to the ordinary concept of weakness of will. We report five experiments that significantly advance our understanding of weakness of will attributions (...) by showing that the ordinary concept of weakness of will is less thoroughly psychological than the philosophical debate has assumed. We begin by showing that a sizable minority of people attribute weakness of will even in the absence of a violated commitment (Experiment 1). We then show that weakness of will attributions are sensitive to two important non-psychological factors. First, for actions stereotypically associated with weakness of will, the absence of certain commitments often triggers weakness of will attributions (Experiments 2–4). Second, the quality of an action’s outcome affects the extent to which an agent is viewed as weak-willed: actions with bad consequences are more likely to be viewed as weak-willed (Experiment 5). Our most important finding is that the ordinary concept of weakness of will is sensitive to two non-psychological factors and is thus much broader than philosophers have thus far imagined. We conclude by suggesting a two-tier model that unites our findings with traditional philosophical theorizing about weakness of will. (shrink)

Ernesto Genoni (1885-1975) pioneered biodynamic agriculture in Australia. In 1928 he was the first of (ultimately) twelve Australians to join Rudolf Steiner’s Experimental Circle of Anthroposophical Farmers and Gardeners (ECAFG) which was based at the Goetheanum, Dornach, Switzerland. Ernesto trained as an artist for five years at Milan’s prestigious Brera Academy. He visited his brothers in Australia, broad-acre immigrant farmers in Western Australia, in 1912 and 1914 and during these visits he worked on their, and other’s, farms. In 1916 he (...) enlisted in the Australian Imperial Force (AIF) and served as a stretcher bearer on the battlefields of the Somme, France, before being conscripted into the Italian Army and serving jail-time in Italy as a draft resister and conscientious objector. Ernesto joined the Anthroposophical Society in Milan in 1919. He first met Rudolf Steiner in 1920 at the Goetheanum, the Anthroposophy headquarters in Switzerland. Ernesto left the Goetheanum in 1924 when Steiner retired from public life. He migrated to Australia in 1926 with aspirations for establishing a career as an artist in Australia. Instead, having arrived in Australia, he was again drawn into farm management and agricultural work. Ernesto was a champion for biodynamic agriculture, Anthroposophy, and the Austrian New Age philosopher, Rudolf Steiner - causes to which he devoted the rest of his life. In 1928 he initiated the first Anthroposophy meetings in Melbourne. In 1930 Ernesto made a grand tour of biodynamic enterprises in Europe and met the leading biodynamics advocates and practitioners of the day in Germany, Switzerland and England, including Ehrenfried Pfeiffer, Erika Riese, Ernst Stegemann, and Carl Mirbt. In 1935 Ernesto and his partner, Ileen Macpherson, who was also an anthroposophist and a member of the ECAFG, began their biodynamic farm called Demeter Biological Farm in Dandenong, Victoria. Ernesto was a founder of the Anthroposophical Society Victoria Michael Group in 1932, and he became its leader in 1962. (shrink)

Make it easy to say 'yes'. The first rule to get your research published is to make life easy for the editor and the reviewers. The task for an author is ultimately a narrative task - to succinctly and engagingly tell the story of what you did, why you did it, what you found, and why we should care - and making it clear why the paper is within the scope of the journal. The more carefully and meticulously a paper (...) is prepared - including spelling, punctuation, grammar, structure, completeness and internal consistency - the more likely it is to be published and the quicker it will appear in print. (shrink)

The syllogistic figures and moods can be taken to be argument schemata as can the rules of the Stoic propositional logic. Sentence schemata have been used in axiomatizations of logic only since the landmark 1927 von Neumann paper [31]. Modern philosophers know the role of schemata in explications of the semantic conception of truth through Tarski’s 1933 Convention T [42]. Mathematical logicians recognize the role of schemata in first-order number theory where Peano’s second-order Induction Axiom is approximated by Herbrand’s Induction-Axiom (...) Schema [23]. Similarly, in first-order set theory, Zermelo’s second-order Separation Axiom is approximated by Fraenkel’s first-order Separation Schema [17]. In some of several closely related senses, a schema is a complex system having multiple components one of which is a template-text or scheme-template, a syntactic string composed of one or more “blanks” and also possibly significant words and/or symbols. In accordance with a side condition the template-text of a schema is used as a “template” to specify a multitude, often infinite, of linguistic expressions such as phrases, sentences, or argument-texts, called instances of the schema. The side condition is a second component. The collection of instances may but need not be regarded as a third component. The instances are almost always considered to come from a previously identified language (whether formal or natural), which is often considered to be another component. This article reviews the often-conflicting uses of the expressions ‘schema’ and ‘scheme’ in the literature of logic. It discusses the different definitions presupposed by those uses. And it examines the ontological and epistemic presuppositions circumvented or mooted by the use of schemata, as well as the ontological and epistemic presuppositions engendered by their use. In short, this paper is an introduction to the history and philosophy of schemata. (shrink)

This is an English translation of Waldenfels' German essay: Equality and inequality are basic elements of law, justice and politics. Equality integrates each of us into a common sphere by distributing rights, duties and chances among us. Equality turns into mere indifference as far as we get overintegrated into social orders. When differences are fading away experience loses its relief and individuals lose their face. Our critical reflections start from the inevitable paradox of making equal what is not equal. In (...) various ways they refer to Nietzsche’s concept of order, to Marx’s analysis of money, to Lévinas’s ethics of the Other, and to novelists like Dostoevsky and Musil. Our critique turns against two extremes, on the one hand against any sort of normalism fixed on functioning orders, on the other hand against any sort of anomalism dreaming of mere events and permanent ruptures. Responsive phenomenology shows how we are confronted with extraordinary events. Those deviate from the ordinary and transgress its borders, without leaving the normality of our everyday world behind. The process of equalizing moves between the ordinary and the extraordinary. What makes the difference and resists mere indifference are creative responses which are to be invented again and again. (shrink)

Thirteen meanings of 'implication' are described and compared. Among them are relations that have been called: logical implication, material implication,deductive implication, formal implication, enthymemic implication, and factual implication. In a given context, implication is the homogeneous two-place relation expressed by the relation verb 'implies'. For heuristic and expository reasons this article skirts many crucial issues including use-mention, the nature of the entities that imply and are implied, and the processes by which knowledge of these relations are achieved. This paper is (...) better thought of as an early stage of a dialogue than as a definitive treatise. (shrink)

One innovation in this paper is its identification, analysis, and description of a troubling ambiguity in the word ‘argument’. In one sense ‘argument’ denotes a premise-conclusion argument: a two-part system composed of a set of sentences—the premises—and a single sentence—the conclusion. In another sense it denotes a premise-conclusion-mediation argument—later called an argumentation: a three-part system composed of a set of sentences—the premises—a single sentence—the conclusion—and complex of sentences—the mediation. The latter is often intended to show that the conclusion follows from (...) the premises. The complementarity and interrelation of premise-conclusion arguments and premise-conclusion-mediation arguments resonate throughout the rest of the paper which articulates the conceptual structure found in logic from Aristotle to Tarski. This 1972 paper can be seen as anticipating Corcoran’s signature work: the more widely read 1989 paper, Argumentations and Logic, Argumentation 3, 17–43. MR91b:03006. The 1972 paper was translated into Portuguese. The 1989 paper was translated into Spanish, Portuguese, and Persian. (shrink)