Gilbert Ryle's distinction between knowledge-how and knowledge-that faces a significant challenge: accounting for the unity of knowledge. Jason Stanley, an ‘intellectualist’ opponent of Ryle's, brings out this problem by arguing that Ryleans must treat ‘know’ as an ambiguous word and must distinguish knowledge proper from knowledge-how, which is ‘knowledge’ only so-called. I develop the challenge and show that underlying Ryle's distinction is a unified vision of knowledge as ‘a capacity to get things right’, covering both knowledge-how and knowledge-that. I show (...) how Ryle specifies the general notion into knowledge-how and knowledge-that and discuss the mutual interdependence exhibited by the two forms of knowledge. Ryle's positive view of knowledge, properly understood, emerges as an important, neglected, alternative which should be brought back into the ongoing conversation about practical and theoretical knowledge. (shrink)

Gilbert Ryle's distinction between knowledge-how and knowledge-that faces a significant challenge: accounting for the unity of knowledge. Jason Stanley, an ‘intellectualist’ opponent of Ryle's, brings out this problem by arguing that Ryleans must treat ‘know’ as an ambiguous word and must distinguish knowledge proper from knowledge-how, which is ‘knowledge’ only so-called. I develop the challenge and show that underlying Ryle's distinction is a unified vision of knowledge as ‘a capacity to get things right’, covering both knowledge-how and knowledge-that. I show (...) how Ryle specifies the general notion into knowledge-how and knowledge-that and discuss the mutual interdependence exhibited by the two forms of knowledge. Ryle's positive view of knowledge, properly understood, emerges as an important, neglected, alternative which should be brought back into the ongoing conversation about practical and theoretical knowledge. (shrink)

This article considers the personal and philosophical relationship between two philosophers, Margaret MacDonald and Gilbert Ryle. I show that a letter from MacDonald to Ryle found at Linacre Colleg...

Gilbert Ryle’s distinction between knowledge-how and knowledge-that emerged from his criticism of the “intellectualist legend” that to do something intelligently is “to do a bit of theory and then to do a bit of practice,” and became a philosophical commonplace in the second half of the last century. In this century Jason Stanley has attacked Ryle’s distinction, arguing that “knowing-how is a species of knowing-that,” and accusing Ryle of setting up a straw man in his critique of “intellectualism.” Examining the (...) use of the terms “intellectualism” and “anti-intellectualism” in the first half of the 20th century, in a wide-ranging debate in the social sciences as well as in philosophy, I show that Ryle was not criticizing a straw man, but a live historical position. In the context of this controversy, Ryle’s position represents a third way between “intellectualism” and “anti-intellectualism,” an option that has largely gone missing in the 21st century discussion. This argument illustrates how history can inform the history of philosophy, and how the history of philosophy can inform contemporary philosophical inquiry. (shrink)

This article considers the personal and philosophical relationship between two philosophers, Margaret MacDonald and Gilbert Ryle. I show that a letter from MacDonald to Ryle found at Linacre Colleg...

Thomas Ricketts has developed a powerful interpretation of Frege on judgment, truth and logic. Recently, Ricketts has modified his reading, holding that judgment is an act of knowledge-acquisition; this rules out incorrect judgment. I argue that Ricketts goes too far here. I criticize the textual basis for Ricketts's new view, and show that the interpretive problems which led him to this change can be met without such extreme measures. Thus, I defend Ricketts' earlier view against his own later modification. Along (...) the way I discuss Kant and Brentano on judgment, and I explore Fregean argument concerning the objectivity of truth. (shrink)

Frege’s distinction between sense (Sinn) and meaning (Bedeutung) is his most influential contribution to philosophy, however central it was to his own projects, and however he may have conceived its importance. Philosophers of language influenced by, or reacting against the distinction, and historians of philosophy commenting on it, have all contributed to the voluminous literature surrounding it.1 Nonetheless in this essay I hope to shed new light on the distinction by considering it in the context of the development of Frege’s (...) thought, and connecting it more intimately than is usually done with Frege’s interests in logic, especially his views on judgment, truth and inference, which were central to his own projects as he conceived them. (shrink)

This note is a friendly amendment to Marti's analysis of the failure of Føllesdal's argument that modal distinctions collapse in Carnap's logic S2. Føllesdal's argument turns on the treatment of descriptions. Marti considers how modal descriptions, which Carnap banned, might be handled; she adopts an approach which blocks Føllesdal's argument, but requires a separate treatment of non-modal descriptions. I point out that a more general treatment of descriptions in S2 is possible, and indeed is implicit in Marti's informal discussion, and (...) that this treatment also blocks Føllesdal's argument. Further, I show by a semantic argument that no revised version of Føllesdal's argument could establish a collapse of modal distinctions. (shrink)

My title1 is taken from one of the most obscure, and most discussed, sections of an already obscure and much discussed work, the discussion of the self, the world, and solipsism in sections 5.6-5.641 of Ludwig Wittgenstein’s Tractatus Logico- Philosophicus.2 Wittgenstein writes: 5.6 The limits of my language mean the limits of my world. 5.61 Logic fills the world: the limits of the world are also its limits. We cannot therefore say in logic: This and this there is in the (...) world, that there is not. For that would apparently presuppose that we exclude certain possibilities, and this cannot be the case since otherwise logic must get outside the limits of the world: that is. (shrink)

In this paper, we define some consequence relations based on supervaluation semantics for partial models, and we investigate their properties. For our main consequence relation, we show that natural versions of the following fail: upwards and downwards Lowenheim-Skolem, axiomatizability, and compactness. We also consider an alternate version for supervaluation semantics, and show both axiomatizability and compactness for the resulting consequence relation.

The authors suggest creating a scheme that offers new incentives for research on diseases disproportionately affecting the poor, with the goal of making development of neglected disease vaccines a lucrative endeavor for pharmaceutical companies.

The first chapter explores the theory developed in Kripke's "Outline of a Theory of Truth." A tension in Kripke's account of the concept of truth is revealed--a conflict between two intuitions. The first intuition, called the "fixed point conception of truth," is that the whole meaning of the truth predicate is given by the formula "we may assert of a sentence that it is true iff we may assert that sentence." The second intuition, called the "thesis of the supervenience of (...) semantics," is that the interpretation of the truth predicate is determined by the interpretations of all the other non-logical constants of the language. I show that these two intuitions cannot be reconciled within the context of Kripke's theory, and I argue for the choice of the fixed point conception of truth over the principle of the supervenience of semantics. Chief among the considerations that I advance is the fact that the fixed point conception of truth yields a natural logic of truth. In the second chapter I present that logic of truth in the form of a cut-free sequent calculus. I then turn, in chapter three, to a discussion of the significance of such cut-free sequent calculi. I argue that we may view the sequent calculus introduction rules for a logical constant as giving the meaning of that constant, under certain conditions. In particular, we can see our logic of truth as providing an explication of our intuitive concept of truth which complements Kripke's original model-theoretic explication. The fourth chapter takes up some criticisms of Kripke's theory which center on the logic of truth. In addition, the general ideas developed in the first three chapters are applied in a discussion of the various schemes of three-valued logic which can be used in the development of Kripke's approach. Finally, in the last chapter, it is shown that Kripke's technical concepts, and the logical ideas developed in the second and third chapters, can be used to provide a unified account of many contexts in which paradox arises. (shrink)

In work culminating in Know How (2009), Jason Stanley argues, against Gilbert Ryle, that knowledge-how is a species of knowledge-that. In How Propaganda Works (2015), Stanley portrays this work as undermining a “flawed ideology” supporting elitist valuations of intellectual work and workers. However, the link between Stanley’s two philosophical projects is weak. Ryle’s distinction between knowledge-how and knowledge-that lacks the political consequences foreseen by Stanley. Versions of “intellectualism” have as much potential to align with hierarchical political systems as do versions (...) of “anti-intellectualism.” Consequently, the debate about knowledge-how and knowledge-that comes apart from Stanley’s more recent concerns about flawed ideologies.En un trabajo que encuentra su culminación en Know How (2009), Jason Stanely argumenta, en contra de Gilbert Ryle, que el saber-cómo es una especie del saber-qué. En How Propaganda Works (2015), Stanley presenta su trabajo como debilitador de una “falsa ideología” que respalda valoraciones elitistas del trabajo intelectual y los trabajadores intelectuales. Sin embargo, la conexión entre los dos proyectos filosóficos de Stanley es débil. La distinción de Ryle entre saber-cómo y saber-qué no tiene las consecuencias políticas previstas por Stanley. Algunas versiones del “intelectualismo” tienen el mismo potencial para alinearse con sistemas políticos jerárquico que algunas versiones del “anti-intelectualismo”. En consecuencia, el debate en torno a las nociones de saber-cómo y saber-qué no tiene incidencia sobre la preocupación más reciente de Stanley acerca de las ideologías falsas. (shrink)

In "What is History For?," Scott Soames responds to criticisms of his treatment of Russell's logic in volume 1 of his "Philosophical Analysis in the Twentieth Century." This note rebuts two of Soames's replies, showing that a first-order presentation of Russell's logic does not fit the argument of the "Introduction to Mathematical Philosophy," and that Soames's contextual definition of classes does not match Russell's contextual definition of classes. In consequence, Soames's presentation of Russell's logic misrepresents what Russell took to be (...) its technical achievement and its philosophical significance. (shrink)

George Wilson has recently defended Kripke's well-known interpretation of Wittgenstein against the criticisms of John McDowell. Wilson claims that these criticisms rest on misunderstandings of Kripke and that, when correctly understood, Kripke's interpretation stands up to them well. In particular, Wilson defends Kripke's Wittgenstein against the charge of "non-factualism" about meaning. However, Wilson has not appreciated the full significance of McDowell's criticism. I use a brief exploration of Kripke's analogy between Wittgenstein and Hume to put this significance in sharp relief. (...) It emerges that McDowell's response to Kripke's Wittgenstein account of meaning is in important respects analogous to Kant's response to Hume's account of causality, particularly Kant's complaint that Hume reduced the objective necessity of the causal nexus to a merely subjective necessity. In the same way Kripke's Wittgenstein reduces the objective normative force of meanings to a "quasi-subjective," community-relative status. (shrink)

Ted A. Warfield has recently employed modal logic to argue that compatibilism in the free-will/determinism debate entails the rejection of intuitively valid inferences. I show that Warfield's argument fails. A parallel argument leads to the false conclusion that the mere possibility of determinism, together with the necessary existence of any contingent propositions, entails the rejection of intuitively valid inferences. The error in both arguments involves a crucial equivocation, which can be revealed by replacing modal operators with explicit quantifiers over possible (...) worlds. I conclude that the modal-logical apparatus used by Warfield obscures rather than clarifies, and distracts from the real philosophical issues involved in the metaphysical debate. These issues cannot be settled by logic alone. (shrink)

Gyula begins with a contrast between contemporary scare-quotes essentialism and Aristotelian full-blooded essentialism. The former is a semantic thesis couched in the vocabulary of possible-worlds semantics, holding that some terms are rigid designators, while the latter is a metaphysical thesis, couched in a more ancient vocabulary, holding that things have essences. Gyula argues that the more traditional metaphysical framework deserves reconsideration, both because it can help us with problems arising from the contemporary approach, and because it possesses greater expressive power (...) than the contemporary approach. He presents a fragmentary formal semantics for the traditional approach, and argues that this semantics enables us to see how the problems of contemporary essentialism can be avoided while at the same time other properly metaphysical issues, which are unapproachable from within the contemporary model due to its expressive weakness, become available for investigation. The semantics that he presents seems intended to establish the intelligibility of the traditional vocabulary, and so of the thesis of Aristotelian essentialism which is couched in it. Gyula then argues that this thesis is in fact true, using the vocabulary which the semantics has rendered legitimate. (shrink)

Many distinct, controvertial issues are to be found within the labyrinthine\ntwists and turns of the problem of evil. For philosophers of the\nseventeenth and early eighteenth centures, evil presented a challenge\nto the consistency and rationality of the world-picture disclosed\nby the new way of ideas. In dealing with this challenge, however,\nphilosophers were also concerned with their positions in the theological\ndebates about original sin, free will, and justification that were\nthe legacy of the Protestant Reformation to European intellectual\nlife. Emerging from a conference on the (...) problem of evil in the early\nmodern period held at the University of Toronto in 1999, the papers\nin this collection represent some of the best original work being\ndone today on the theodicies of such early modern philosophers as\nLeibniz, Suarez, Spinoza, Malebranche, and Pierre Bayle. (shrink)

George Wilson has recently defended Kripke’s well-known interpretation of Wittgenstein against the criticisms of John McDowell. Wilson claims that these criticisms rest on misunderstandings of Kripke and that, when correctly understood, Kripke’s interpretation stands up to them well. In particular, Wilson defends Kripke’s Wittgenstein against the charge of “non-factualism” about meaning. However, Wilson has not appreciated the full significance of McDowell’s criticism. I use a brief exploration of Kripke’s analogy between Wittgenstein and Hume to put this significance in sharp relief. (...) It emerges that McDowell’s response to Kripke’s Wittgenstein account of meaning is in important respects analogous to Kant’s response to Hume’s account of causality, particularly Kant’s complaint that Hume reduced the objective necessity of the causal nexus to a merely subjective necessity. In the same way Kripke’s Wittgenstein reduces the objective normative force of meanings to a “quasi-subjective.” community-relative status. (shrink)