What does it mean to say that logic is formal? The short answer is: it means (or can mean) several different things. In this paper, I argue that there are (at least) eight main variations of the notion of the formal that are relevant for current discussions in philosophy and logic, and that they are structured in two main clusters, namely the formal as pertaining to forms, and the formal as pertaining to rules. To the first cluster belong the formal (...) as schematic; the formal as indifference to particulars; the formal as topic-neutrality; the formal as abstraction from intentional content; the formal as de-semantification. To the second cluster belong the formal as computable; the formal as pertaining to regulative rules; the formal as pertaining to constitutive rules. I analyze each of these eight variations, providing their historical background and raising related philosophical questions. The significance of this work of ?conceptual archeology? is that it may enhance clarity in debates where the notion of the formal plays a prominent role (such as debates where it is expected to play a demarcating role), but where it is oftentimes used equivocally and/or imprecisely. (shrink)

1. Logic, determinism and free will. The determinism-free will debate is perhaps as old as philosophy itself and has been engaged in from a great variety of points of view including those of scientific, theological and logical character; my concern here is to limit attention to two arguments from logic. To begin with, there is an argument in support of determinism that dates back to Aristotle, if not farther. It rests on acceptance of the Law of Excluded Middle, according to (...) which every proposition is either true or false, no matter whether the proposition is about the past, present or future. In particular, the argument goes, whatever one does or does not do in the future is determined in the present by the truth or falsity of the corresponding proposition. Surely no such argument could really establish determinism, but one is hard pressed to explain where it goes wrong. One now classic dismantling of it has been given by Gilbert Ryle, in the chapter ‘What was to be’ of his fine book, Dilemmas (Ryle 1954). We leave it to the interested reader to pursue that and the subsequent literature. (shrink)

The relation between religious and scientific explanations of events and states of affairs has been the subject of much debate. For example, are the statements ‘John's life was saved by surgery’ ‘John's life was saved in answer to prayer’ in competition with each other and, if so, in what way? They do not seem to be rival causal explanations, nor are they straightforwardly contradictory. Yet each seems to cast doubt on the other, or at least to make it to some (...) extent redundant. (shrink)

Abstract: This paper examines the claim that agents' self-respect depends on receiving appropriate respect from others. It concentrates on a particular version of the claim defended by Avishai Margalit. The paper argues that Margalit's arguments fail to explain why the rival stoic view, that agents ultimately retain responsibility for their own self-respect, is incorrect.

Logic is usually thought to concern itself only with features that sentences and arguments possess in virtue of their logical structures or forms. The logical form of a sentence or argument is determined by its syntactic or semantic structure and by the placement of certain expressions called “logical constants.”[1] Thus, for example, the sentences Every boy loves some girl. and Some boy loves every girl. are thought to differ in logical form, even though they share a common syntactic and semantic (...) structure, because they differ in the placement of the logical constants “every” and “some”. By contrast, the sentences Every girl loves some boy. and Every boy loves some girl. are thought to have the same logical form, because “girl” and “boy” are not logical constants. Thus, in order to settle questions about logical form, and ultimately about which arguments are logically valid and which sentences logically true, we must distinguish the “logical constants” of a language from its nonlogical expressions. (shrink)

W. V. Quine famously defended two theses that have fallen rather dramatically out of fashion. The first is that intensions are “creatures of darkness” that ultimately have no place in respectable philosophical circles, owing primarily to their lack of rigorous identity conditions. However, although he was thoroughly familiar with Carnap’s foundational studies in what would become known as possible world semantics, it likely wouldn’t yet have been apparent to Quine that he was fighting a losing battle against intensions, due in (...) large measure to developments stemming from Carnap’s studies and culminating in the work of Kripke, Hintikka, and Bayart. These developments undermined Quine’s crusade against intensions on two fronts. First, in the context of possible world semantics, intensions could after all be given rigorous identity conditions by defining them (in the simplest case) as functions from worlds to appropriate extensions, a fact exploited to powerful and influential effect in logic and linguistics by the likes of Kaplan, Montague, Lewis, and Cresswell. Second, the rise of possible world semantics fueled a strong resurgence of metaphysics in contemporary analytic philosophy that saw properties and propositions widely, fruitfully, and unabashedly adopted as ontological primitives in their own right. This resurgence — happily, in my view — continues into the present day. -/- For a time, at any rate, Quine experienced somewhat better success with his second thesis: that higher-order logic is, at worst, confused and, at best, a quirky notational alternative to standard first-order logic. However, Quine notwithstanding, a great deal of recent work in formal metaphysics transpires in a higher-order logical framework in which properties and propositions fall into an infinite hierarchy of types of (at least) every finite order. Initially, the most philosophically compelling reason for embracing such a framework since Russell first proposed his simple theory of types was simply that it provides a relatively natural explanation of the paradoxes. However, since the seminal work of Prior there has been a growing trend to consider higher-order logic to be the most philosophically natural framework for metaphysical inquiry, many of the contributors to this volume being among the most important and influential advocates of this view. Indeed, this is now quite arguably the dominant view among formal metaphysicians. -/- In this paper, and against the current tide, I will argue in §1 that there are still good reasons to think that Quine’s second battle is not yet lost and that the correct framework for logic is first-order and type-free — properties and propositions, logically speaking, are just individuals among others in a single domain of quantification — and that it arises naturally out of our most basic logical and semantical intuitions. The data I will draw upon are not new and are well-known to contemporary higher-order metaphysicians. However, I will try to defend my thesis in what I believe is a novel way by suggesting that these basic intuitions ground a reasonable distinction between “pure” logic and non-logical theory, and that Russell-style semantic paradoxes of truth and exemplification arise only when we move beyond the purely logical and, hence, do not of themselves provide any strong objection to a type-free conception of properties and propositions. -/- Most of my arguments in §1 are largely independent of any specific account of the nature of properties and propositions beyond their type-freedom. However, I will in addition argue that there are good reasons to take propositions, at least, to be very fine-grained. My arguments are thus bolstered significantly if it can be shown that there are in fact well-defined examples of logics that are not only type-free but which comport with such a conception of propositions. It is the purpose of §2 to lay out a logic of this sort in some detail, drawing especially upon work by George Bealer and related work of my own. With the logic in place, it will be possible to generalize the line of argument noted above regarding Russell-style paradoxes and, in §3, apply it to two propositional paradoxes — the Prior-Kaplan paradox and the Russell-Myhill paradox — that are often taken to threaten the sort of account developed here. (shrink)

How does experimental philosophy address philosophical questions and problems? That is: What projects does experimental philosophy pursue? What is their philosophical relevance? And what empirical methods do they employ? Answers to these questions will reveal how experimental philosophy can contribute to the longstanding ambition of placing philosophy on the ‘secure path of a science’, as Kant put it. We argue that experimental philosophy has introduced a new methodological perspective – a ‘meta-philosophical naturalism’ that addresses philosophical questions about a phenomenon by (...) empirically investigating how people think about this phenomenon. This chapter asks how this novel perspective can be successfully implemented: How can the empirical investigation of how people think about something address genuinely philosophical problems? And what methods – and, specifically, what methods beyond the questionnaire – can this investigation employ? We first review core projects of experimental philosophy and raise the question of their philosophical relevance. For ambitious answers, we turn to experimental philosophy’s most direct historical precursor, mid-20th century ordinary language philosophy, and discuss empirical implementations of two of its research programmes that use experimental methods from psycholinguistics and corpus methods from the digital humanities. (shrink)

Este trabajo examina si la pregunta “¿puede pensar una máquina?” ha sido respondida de manera satisfactoria. La primera sección, justamente, examina el dictum cartesiano según el cual una máquina no puede pensar en principio. La segunda trata sobre una rebelión en contra de Descartes, encabezada por Babbage. A su vez, la tercera describe una segunda rebelión encabezada por Turing. En ambas se examina, primero el lenguaje mentalista/instrumentalista para describir a una máquina programada y segundo, el reemplazo de la pregunta por (...) el Juego de la Imitación. En la cuarta sección sostengo que la evidencia aportada por dicho juego nos devuelve a la pregunta, pese a Turing. Por último, la quinta sección versa sobre cómo la Habitación China de Searle, paradójicamente, apoya el dictum cartesiano, y lo hace porque tal experimento mental se basa en una capacidad mental falible: la introspección. Se concluye que la pregunta acerca de si puede pensar una máquina es derivada de otra pregunta filosófica compleja: la de la naturaleza de lo mental y el problema mente-cuerpo. (shrink)

The appropriationist approach to history of philosophy is often accused of being antihistorical and thus unreliable. The appropriationists are only concerned with their own philosophical problems, and they make discriminating use of the historical data as far as it serves their needs. Its rival, the contextualist approach, claims to be an honest, dedicated and reliable treatment of history. The contextualists are willing to make use of the tedious methodology of Classical studies as long as it promises to uncover the true (...) historical data. In this paper I present a case where the contextualists have failed to surpass their rival appropriationists in their quest for veracity. The case is the debate about Aristotle’s De Interpretatione 9, which took place in 1950-1980s. In this debate the contextualists were unable to offer any other results except for those which have already been suggested by the appropriationists. In addition I demonstrate how the contextualists selectively used the arsenal of Classical methodology not to uncover the truth, but to justify their own preconceived interpretations. (shrink)

In this paper I claim that perceptual discriminatory skills rely on a suitable type of environment as an enabling condition for their exercise. This is because of the constitutive connection between environment and perceptual discriminatory skills, inasmuch as such connection is construed from an ecological approach. The exercise of a discriminatory skill yields knowledge of affordances of objects, properties, or events in the surrounding environment. This is practical knowledge in the first-person perspective. An organism learns to perceive an object by (...) becoming sensitized to its affordances. I call this position ecological disjunctivism. A corollary of this position is that a case of perception and its corresponding case of hallucination—which is similar to the former only in some respects—are different in nature. I show then how the distinguishability problem is addressed by ecological disjunctivism. (shrink)

This paper explores early Australasian philosophy in some detail. Two approaches have dominated Western philosophy in Australia: idealism and materialism. Idealism was prevalent between the 1880s and the 1930s, but dissipated thereafter. Idealism in Australia often reflected Kantian themes, but it also reflected the revival of interest in Hegel through the work of ‘absolute idealists’ such as T. H. Green, F. H. Bradley, and Henry Jones. A number of the early New Zealand philosophers were also educated in the idealist tradition (...) and were influential in their communities, but produced relatively little. In Australia, materialism gained prominence through the work of John Anderson, who arrived in Australia in 1927, and continues to be influential. John Anderson had been a student of Henry Jones, who might therefore be said to have influenced both main strands of Australian philosophical thought. (shrink)

It is commonly assumed that Aristotle's ethical theory shares deep structural similarities with neo-Aristotelian virtue ethics. I argue that this assumption is a mistake, and that Aristotle's ethical theory is both importantly distinct from the theories his work has inspired, and independently compelling. I take neo-Aristotelian virtue ethics to be characterized by two central commitments: (i) virtues of character are defined as traits that reliably promote an agent's own flourishing, and (ii) virtuous actions are defined as the sorts of actions (...) a virtuous agent reliably performs under the relevant circumstances. I argue that neither of these commitments are features of Aristotle's own view, and I sketch an alternative explanation for the relationship between virtue and happiness in the Nicomachean Ethics. Although, on the interpretation I defend, we do not find in Aristotle a distinctive normative theory alongside deontology and consequentialism, what we do find is a way of thinking about how prudential and moral reasons can come to be aligned through a certain conception of practical agency. (shrink)

Over the past fifty years the philosophy of language and mind has been dominated by a nondescriptivist approach to content and reference. This book attempts to recast and systematize that approach by offering an indexical model in terms of mental files. According to Recanati, we refer through mental files, the function of which is to store information derived through certain types of contextual relation the subject bears to objects in his or her environment. The reference of a file is determined (...) relationally, not satisfactionally, so a file is not to be equated to the body of (mis-)information it contains. Mental files are the mental equivalent of singular terms, and the reference of linguistic expressions is inherited from that of the files we associate with them. On this approach, mental files, the vehicles of singular thought, do all the work of so-called 'modes of presentation' in Fregean and neo-Russellian theories. (shrink)

In this overview article, we first explain what we take informal logic to be, discussing misconceptions and distinguishing our conception of it from competing ones; second, we briefly catalogue recent informal logic research, under 14 headings; third, we suggest four broad areas of problems and questions for future research; fourth, we describe current scholarly resources for informal logic; fifth, we discuss three implications of informal logic for philosophy in particular, and take note ofpractical consequences of a more general sort.

After a definition of ?common sense? it is argued that sociology and common sense both do and ought to interact with one another. Four positions on the sociology?common sense relation in the light of the interaction thesis are then critically discussed: sociology must break with common sense; sociology must be based on common sense; sociology and common sense are incomparable; and sociology and common sense are identical. The first two of these positions are further sub?divided in terms of whether the (...) arguments in their favour are or are not independent of one's conceptions of sociology and common sense. Each of these positions is illustrated by means of a case study of one author. The final section involves a consideration of ethnomethodology on the basis of the above typology: it is argued that ethnomethodology cannot find a site on the sociology?common sense question which is compatible with its basic commitments. (shrink)

A flop is a picture that mirror reverses the original scene. Some flops are reversed copies. For instance, mirror reversal is systematic with technologies that require contact between a template and an imprint surface. Other flops are just pictures that have undergone the operation of flopping. For example, a slide that is inserted backwards into a projector is a flop.

It is argued that experiences are complex events that befall their subjects. Each experience has a single subject and depends on the state or the event that it is of. The constituents of an experience are its subject, its grounding event or state, and everything that the subject is aware of during that time that's relevant to the telling of the story of how it was to participate in that event or be put in that state. The experience occurs where (...) the person having the experience is. An experience of an event or state occurs when that event or state makes a difference to its possessor's conscious life, where this difference is either a matter of really knowing what's happening or merely a matter of being affected. (shrink)

J. Anthony Blair is a prominent international figure in argumentation studies. He is among the originators of informal logic, an author of textbooks on the informal logic approach to argument analysis and evaluation and on critical thinking, and a founder and editor of the journal Informal Logic. Blair is widely recognized among the leaders in the field for contributing formative ideas to the argumentation literature of the last few decades. This selection of key works provides insights into the history of (...) the field of argumentation theory and various related disciplines. It illuminates the central debates and presents core ideas in four main areas: Critical Thinking, Informal Logic, Argument Theory and Logic, Dialectic and Rhetoric. (shrink)

We are pleased to release this edition of Ralph Johnson’s The Rise of Informal Logic as Volume 2 in the series Windsor Studies in Argumentation. This edition is a reprint of the previous Vale Press edition with some typographical errors and other minor mistakes corrected. The prime motive for gathering Ralph H. Johnson’s essays under one cover is their clear articulation of the goals, concerns and problems of the discipline of informal logic. To my knowledge all of the published articles, (...) even of the 1980s, are still in print. But some are obtainable only by special request of a journal back issue. Their availability, even their existence, is not nearly widely enough known, and this volume is dedicated to remedying that disservice to those currently working in the field of informal logic, critical thinking, argumentation, and practical reasoning. Three of these sixteen pieces appear here in print for the first time. The previously published pieces have appeared from 1980 to 1992 as chapters in collective works or as articles in journals, and these in turn published in Canada, USA, The Netherlands and Belgium. It is hoped that gathering this hitherto scattered material under one cover will contribute to a greater understanding of what informal logic is, and to an enhanced sense of the impact of Johnson’s ideas. A discipline of informal logic might exist today without the writings of Johnson and his frequent co-author, J. Anthony Blair. But it would almost certainly be quite different from what it actually is. (shrink)

Achilles need not catch the tortoise, although Achilles is faster than the tortoise. Zeno's premise does not determine whether Achilles can catch up. In this paper, I clarify this fact through a critical examination of Noya (2005), which criticizes Aoyama (2002) and Uemura (2002). Noya's solution smuggles the unnecessary premise of equal ratio to make Achilles catch up. However, his solution gives a new idea about what speed is. In the last part of this paper, I develop this idea and (...) explain the reason why Achilles usually catches up in the actual world. (shrink)

Contemporary theories of the temporal asymmetry of deliberation seek the origins of the asymmetry either in the physics of the early universe or in the epistemic orientation of agents. An attempt is made in the following lines to consolidate the rival thesis that the temporal asymmetry of deliberation is rooted in an ontological divide between the past and the future. I argue that agents can deliberate about the future but not the past because while the past is in a sense (...) real, the future is nothing at all. The argument for the thesis includes striking a connection between deliberation and truth on the one hand and truth and being on the other. The argument thus proceeds, via a modal principle, from the asymmetry of deliberation into the semantics of propositions about the past, the present, and the future and from there to the ontology of the past, the present, and the future. The ‘ticket’ for transition in the argument from semantics to ontology is a truth-making principle, according to which propositions are true or false in virtue of an existing reality. (shrink)

This paper addresses the question whether evolutionary principles are compatible with epiphenomenalism, and argues for an affirmative answer. A general summary of epiphenomenalism is provided, along with certain specifications relevant to the issues of this paper. The central argument against compatibility is stated and rebutted. A specially powerful version of the argument, due to William James (1890), is stated. The apparent power of this argument is explained as resulting from a problem about our understanding of pleasure and an equivocation on (...) 'explanation'. Finally, an argument by Plantinga (2004), which applies to beliefs rather than phenomenal qualities, is stated and rebutted. (shrink)

In Reasons and Persons, Derek Parfit cannot find a theory of well-being that solves the Non-Identity Problem, the Repugnant Conclusion, the Absurd Conclusion, and all forms of the Mere Addition Paradox. I describe a “Quasi-Maximizing” theory that solves them. This theory includes (i) the denial that being better than is transitive and (ii) the “Conflation Principle,” according to which alternative B is hedonically better than alternative C if it would be better for someone to have all the B-experiences. (i) entails (...) that Quasi-Maximization is not a maximizing theory, but (ii) ensures that its evaluations will often coincide with such theories. (shrink)

...there can be cases in which we reject pleasure because there is too much of it. Sometimes we decide that pleasure is bad, or not worth having, not because of an extrinsic factor like moral, aesthetic etc. constraints but rather because one is experiencing enough pleasure to the point that more would in itself be undesirable. (2005: 144).

Donald Schön’s theory of reflective practice has been extensively referred to and has had enormous impact in education and related fields. Nonetheless, there continues to be tremendous conceptual and practical confusion surrounding interpretations of reflective practice and philosophical assumptions underlying the theory. In this paper, I argue that one of the original contributions of reflective practice is the theory’s attention to an embodied reflective dimension. In this regard, the influences of Michael Polanyi and Gilbert Ryle, within Donald Schön’s classic work, (...) are examined and shed light on a unique embodied reflective dimension within the theory of reflective practice. This paper suggests that the notion of an embodied mode of reflection is a useful way to conceive of the original contributions that Schön brings to understandings of reflective processes in professional education. Such understanding is crucially important to practical applications of the theory amidst widespread confusion in educational contexts. (shrink)

: The distinction between science and philosophy plays a central role in methodological, programmatic and institutional debates. Discussions of disciplinary identities typically focus on boundaries or else on genealogies, yielding models of demarcation and models of dynamics. Considerations of a discipline's self-image, often based on history, often plays an important role in the values, projects and practices of its members. Recent focus on the dynamics of scientific change supplements Kuhnian neat model with a role for philosophy and yields a model (...) of the evolution of philosophy of science. This view illuminates important aspects of science and itself contributes to philosophy of science. This interactive model is general yet based on exclusive attention to physics. In this paper and two sequels, I focus on the human sciences and argue that their role in the history of philosophy of science is just as important and it also involves a close involvement of the history of philosophy. The focus is on Gestalt psychology and it points to some lessons for philosophy of science. But, unlike the discussion of natural sciences, the discussion here brings out more complication than explication, and skews certain kinds of generalizations. (shrink)

I offer an account of the relation between explanations of behaviour in terms of psychological states and explanations in terms of neural states that: makes it transparent how they can be true together; explains why explanations in terms of psychological states are characteristically of behaviour described in general and relational terms, and explains why certain sorts of neurological investigations undermine psychological explanations of behaviour, while others leave them intact. In the course of the argument, I offer an account of implicit (...) theories. (shrink)

The liking of a sensation, e.g., a taste, is a conscious occurrent but does not consist in having the liked sensation accompanied by a "pleasure sensation" - for there is no such sensation. Several alternative accounts of liking, including Aydede's "feeling episode" theory and Schroeder's representationalist theory are considered. The proposal that liking a sensation is having the non-sensory experience of liking directed upon it is explained and defended. The pleasure provided by thoughts, conversations, walks, etc., is analyzed and brought (...) into relation to the account of liking one's sensations. (shrink)

This thesis comprises three main chapters—each comprising one relatively standalone paper. The unifying theme is fragmentalism about truth, which is the view that the predicate “true” either expresses distinct concepts or expresses distinct properties. -/- In Chapter 1, I provide a formal development of alethic pluralism. Pluralism is the view that there are distinct truth properties associated with distinct domains of subject matter, where a truth property satisfies certain truth-characterizing principles. On behalf of pluralists, I propose an account of logic (...) and semantics that shows how they can answer central conceptual and logical challenges for their view. -/- In Chapter 2, I motivate and develop a modal account of propositions on the basis of an iterative conception of propositions, where the modality is logico-mathematical. The modal account of propositions takes the conception to motivate an inherently potential hierarchy of propositions. I show that the account helps provide satisfying solutions to the intensional paradoxes of Russell-Myhill, Kaplan, and Prior. -/- In Chapter 3, I propose that “true” is polysemous. I suggest that “true” is initially polysemous between correspondence truth and disquotational truth, and further polysemous between the meanings corresponding to the subconcepts of the concept truth generated by the indefinite extensibility of that concept. I show that the proposal provides satisfying solutions to the semantic paradoxes. (shrink)

The issue I address in this paper is the age-old problem of the relationship between logic and rhetoric. More specifically, I ask the question, how do logic and rhetoric differ in their approaches to the study of argumentation? What makes this question timely are the changes that logic has undergone in the last 25 years. In this paper, I develop the idea that an argument is the central event in what I call argumentative space. I present a conception of argumentative (...) space as a subspace within rational space and seek to provide a rough characterization of the main features of argumentative space as understood, on the one hand, by informal logic and, on the other hand, by rhetoric. (shrink)

Perhaps if the future existed, concretely and individually, as something that could be discerned by a better brain, the past would not be so seductive: its demands would he balanced by those of the future. Persons might then straddle the middle stretch of the seesaw when considering this or that object. It might be fun. But the future has no such reality (as the pictured past and the perceived present possess); the future is but a figure of speech, a specter (...) of thought. (shrink)

*I would like to thank Michel ter Hark, Lodi Nauta and James Connelly, for their critical reading of earlier versions of this paper and for their comments. Gilbert Ryle and R. G. Collingwood are no...

The doctrine of eliminative materialism holds that belief-desire psychology is massively referentially disconnected. We claim, however, that it is not at all obvious what it means to be referentially (dis)connected. The two major accounts of reference both lead to serious difficulties for eliminativism: it seems that elimination is either impossible or omnipresent. We explore the idea that reference fixation is a much more local, partial, and context-dependent process than was supposed by the classical accounts. This pragmatic view suggests that elimination (...) is not the prime model for understanding the complex relations between the mind and brain sciences, and that we have little ground for concluding that in general psychological kinds do not exist. We suggest that reference changes are better seen as continuous rather than completely eliminative. (shrink)

This thesis develops an account of the nature of wakeful consciousness. Its principal suggestion is that wakeful consciousness is a biological phenomenon and should thus be placed in the context appropriate to biological phenomena. That context is the characterizing form of life of organisms. Once wakeful consciousness is assigned its place in this context, it emerges that wakeful consciousness is a teleological phenomenon, one that is to be understood as having the proper function of putting its bearer in touch with (...) the world. What emerges from reflection on the metaphysics of organisms is an account of wakeful consciousness that is teleological in character but which does not fall foul of the strictures of physicalism and casts new light on recent philosophical debates about consciousness. (shrink)

This paper presents structural similarities and historical connections between Prior’s rejection of the Barcan formula and his critique of Berkeley’s master argument for idealism in his 1955 paper “Berkeley in Logical Form”. Making use of Mackie’s paper “Self-Refutation—A Formal Analysis”, it concludes with some suggestions concerning what is at stake in the debate between Prior and Berkeley and in structurally similar debates such as whether to accept the Barcan formula.

This essay on the social history of logic instruction considers the programmatic writings of Carnap/Neurath, but especially in the widely read book by Lillian Lieber, Mits, Wits and Logic, where Mits is the man in the street and Wits the woman in the street. In the ‘pre-Toulmin’ days it was seriously argued that the intense study of formal logic would create a more rational frame of mind and have many beneficial effects upon the social and political life. It arose from (...) the conviction that most metaphysical conundrums, religious and political problems and even fanaticism had their root in the irrationality of ordinary discourse, which had to be replaced by the more logical ‘ideal language’ of Principia Mathematica. The enthusiastic promotion of formal logic occurred at a time when it was widely thought that minds could be ‘made over’, ‘reprogrammed’ by proper intervention. This stands in stark contrast to the motivation for teaching informal logic and critical thinking, as it becomes apparent in a 1981 exchange between Ralph Johnson and Gerald Massey in Teaching Philosophy. Most of this essay focuses on Lillian Lieber, an earnest and enthusiastic advocate of the cause of formal logic, and on the reasons for the widespread conviction that, for the sake of peace and social harmony, formal logic should, if possible, be taught to every man, woman and child. (shrink)

The notion of a proposition is central to philosophy. But it is subject to paradoxes. A natural response is a hierarchical account and, ever since Russell proposed his theory of types in 1908, this has been the strategy of choice. But in this paper I raise a problem for such accounts. While this does not seem to have been recognized before, it would seem to render existing such accounts inadequate. The main purpose of the paper, however, is to provide a (...) new hierarchical account that solves the problem. (shrink)