Gottfried Leibniz embarked on a research program to prove all the Aristotelic categorical syllogisms by diagrammatic and algebraic methods. He succeeded in proving them by means of Euler diagrams, but didn’t produce a manuscript with their algebraic proofs. We demonstrate how key excerpts scattered across various Leibniz’s drafts on logic contained sufficient ingredients to prove them by an algebraic method –which we call the Leibniz-Cayley (LC) system– without having to make use of the more expressive and complex machinery of (...) first-order quantificational logic. In addition, we prove the classic categorical syllogisms again by a relational method –which we call the McColl-Ladd (ML) system– employing categorical relations studied by Hugh McColl and Christine Ladd. Finally, we show the connection of ML and LC with Boolean algebra, proving that ML is a consequence of LC, and that LC is a consequence of the Boolean lattice axioms, thus establishing Leibniz’s historical priority over George Boole in characterizing and applying (a sufficient fragment of) Boolean algebra to effectively tackle categorical syllogistic. (shrink)

Stanley Cavell isn't the first to arrive at philosophy through a life with music. Nor is he the first whose philosophical practice bears the marks of that life. Much of Cavell's life with music is confirmed for the world in his philosophical autobiography Little Did I Know. A central moment in that book is Cavell's describing the realization that he was to leave his musical career behind – for what exactly, he did not yet know. He connects the memory-shock (...) of this leaving with "the work of mourning." How does such a life out of music inform Cavell's philosophical sensibility? The thought I follow in this essay is that Cavell's distinctive orientation in philosophy – call this his lifelong coming to terms with his abandoning a life in music – is guided in part by an interest in those moments in experience where words seem to run out, or veer toward nonsense, leaving in their wake touchstones of ecstasy. I explore this idea by summarizing my exchange with Stanley Cavell years ago when I asked him whether certain passages from his essay "Music Discomposed" are depictions of the unsayable. Cavell's response is elaborated, or qualified, by considering a pair of moments in Little Did I Know where words appear to run out. I conclude by discussing culminating thoughts on the burden borne by words and their failure that appear in Cavell's late essay on music, "Impressions of Revolution.". (shrink)

In this paper, I propose a novel interpretation of the role of the understanding in generating the unity of space and time. On the account I propose, we must distinguish between the unity that belongs to determinate spaces and times – which is a result of category-guided synthesis and which is Kant’s primary focus in §26 of the B-Deduction, including the famous B160–1n – and the unity that belongs to space and time themselves as all-encompassing structures. Non-conceptualist readers of Kant (...) have argued that this latter unity cannot be the product of categorial synthesis. While they are correct that this unity is not the product of any particular act of category-guided synthesis, I argue that conceptualists are right to nevertheless attribute this unity to the understanding. I argue that it is a result of what we can think of as the ‘original’ synthesis of understanding and sensibility themselves – it is a synthesis, moreover, in which the whole is logically prior to the parts. (shrink)

This article highlights sympathies between Wang Yangming's notion of zhenzhi (real knowing) and Stanley Cavell's concept of acknowledgment. I begin by noting a problem in interpreting Wang on the unity of knowing and acting, which leads to considering how our suffering pain figures in our “real knowing” of another's pain. I then turn to Cavell's description of a related problem in modern skepticism, where Cavell argues that knowing another's pain requires acknowledging it. Cavell's concept of acknowledgment answers to Wang's (...) insistence that knowing and acting are one, and corrects Antonio Cua's very different appropriation of “acknowledgment” to explain Wang's doctrine. (shrink)

What methodological approaches do research programs use to investigate the world? Elisabeth Lloyd’s Logic of Research Questions (LRQ) characterizes such approaches in terms of the questions that the researchers ask and causal factors they consider. She uses the Logic of Research Questions Framework to criticize adaptationist programs in evolutionary biology for dogmatically assuming selection explanations of the traits of organisms. I argue that Lloyd’s general criticism of methodological adaptationism is an artefact of the impoverished LRQ. My Ordered Factors (...) Proposal extends the LRQ to characterize approaches with sequences of questions and factors. I highlight the importance that ordering one’s investigation plays in approaches at the level of adaptationism by analyzing two research programs in community ecology: competitionists and neutralists. Competitionists and neutralists take opposed starting points and use explanatory and developmental heuristics to consider more factors in due time. On the Ordered Factors Proposal, these approaches are not only the ecological factors they are open to considering but also the order in which they will consider them. My disagreement with Lloyd’s over how to characterize methodological approaches reflects different views about methodological monism and pluralism. (shrink)

In this paper we prove the completeness of three logical systems I LI, IL2 and IL3. IL1 deals solely with identities {a = b), and its deductions are the direct deductions constructed with the three traditional rules: (T) from a = b and b = c infer a = c, (S) from a = b infer b = a and (A) infer a = a(from anything). IL2 deals solely with identities and inidentities {a ± b) and its deductions include both (...) the direct and the indirect deductions constructed with the three traditional rules. IL3 is a hybrid of IL1 and IL2: its deductions are all direct as in IL1 but it deals with identities and inidentities as in IL2. IL1 and IL2 have a high degree of naturalness. Although the hybrid system IL3 was constructed as an artifact useful in the mathematical study of IL1 and IL2, it nevertheless has some intrinsically interesting aspects. The main motivation for describing and studying such simple systems is pedagogical. In teaching beginning logic one would like to present a system of logic which has the following properties. First, it exemplifies the main ideas of logic: implication, deduction, non-implication, counterargument(or countermodel), logical truth, self-contradiction, consistency,satisfiability, etc. Second, it exemplifies the usual general metaprinciples of logic: contraposition and transitivity of implication, cut laws, completeness,soundness, etc. Third, it is simple enough to be thoroughly grasped by beginners. Fourth, it is obvious enough so that its rules do not appear to be arbitrary or purely conventional. Fifth, it does not invite confusions which must be unlearned later. Sixth, it involves a minimum of presuppositions which are no longer accepted in mainstream contemporary logic. (shrink)

In the literature on supervaluationism, a central source of concern has been the acceptability, or otherwise, of its alleged logical revisionism. I attack the presupposition of this debate: arguing that when properly construed, there is no sense in which supervaluational consequence is revisionary. I provide new considerations supporting the claim that the supervaluational consequence should be characterized in a ‘global’ way. But pace Williamson (1994) and Keefe (2000), I argue that supervaluationism does not give rise to counterexamples to familiar inference-patterns (...) such as reductio and conditional proof. (shrink)

This essay presents a philosophical and computational theory of the representation of de re, de dicto, nested, and quasi-indexical belief reports expressed in natural language. The propositional Semantic Network Processing System (SNePS) is used for representing and reasoning about these reports. In particular, quasi-indicators (indexical expressions occurring in intentional contexts and representing uses of indicators by another speaker) pose problems for natural-language representation and reasoning systems, because--unlike pure indicators--they cannot be replaced by coreferential NPs without changing the meaning of the (...) embedding sentence. Therefore, the referent of the quasi-indicator must be represented in such a way that no invalid coreferential claims are entailed. The importance of quasi-indicators is discussed, and it is shown that all four of the above categories of belief reports can be handled by a single representational technique using belief spaces containing intensional entities. Inference rules and belief-revision techniques for the system are also examined. (shrink)

Supervaluationism is often described as the most popular semantic treatment of indeterminacy. There’s little consensus, however, about how to fill out the bare-bones idea to include a characterization of logical consequence. The paper explores one methodology for choosing between the logics: pick a logic thatnorms beliefas classical consequence is standardly thought to do. The main focus of the paper considers a variant of standard supervaluational, on which we can characterizedegrees of determinacy. It applies the methodology above to focus ondegree (...) logic. This is developed first in a basic, single-premise case; and then extended to the multipremise case, and to allowdegreesof consequence. The metatheoretic properties of degree logic are set out. On the positive side, the logic is supraclassical—all classical valid sequents are degree logic valid. Strikingly, metarules such as cut and conjunction introduction fail. (shrink)

How do we determine whether individuals accept the actual consistency of a political argument instead of just its rhetorical good looks? This article answers this question by proposing an interpretation of political argument within the constraints of political liberalism. It utilises modern developments in the philosophy of logic and language to reclaim ‘meaningless nonsense’ from use as a partisan war cry and to build up political argument as something more than a power struggle between competing conceptions of the good. (...) Standard solutions for ‘clarifying’ meaning through descriptive definition encounter difficulties with the biases of status quo idioms (long noted by theorists like William Connolly and Quentin Skinner), as well as partisan translations and circularity. Collectively called linguistic gerrymandering, these difficulties threaten political liberalism’s underlying coherency. The proposed interpretation of political argument overcomes this with a new brand of conceptual analysis that can falsifiably determine whether rhetoric has hijacked political argument. (shrink)

"William Day is . . . concerned to explore the dynamics of what Cavell calls 'a theology of reading' through a careful examination of a fragment of the philosopher's autobiography first published as 'Excerpts from Memory' (2006) and subsequently revised for Little Did I Know (2010). If, as Cavell suggests, 'the underlying subject' of both criticism and philosophy is 'the subject of examples', in which our interest lies in their emblematic aptness or richness as exemplars, exemplarity becomes central to (...) the aim of our reading. . . . Day considers how autobiography as a genre is preoccupied with the question of the author's exemplarity (Augustine or Rousseau), and in Cavell's retelling in 'Excerpts from Memory' he discusses how an event that Cavell would have us read allegorically - his move at the age of seven to a new apartment, his coming upon a familiar bowl containing nonpareils, his remark upon this to his father and his father's violent reaction - recasts a scene of paternal hatred as the child's offer of communion. Day suggests that this retelling proves to be redemptive: first, of the incident itself, and second, of the reader's own experience. Seeing how to read this autobiographical life as exemplary helps us to transfigure our own moments of deprivation into so many possibilities for freedom." --James Loxley and Andrew Taylor, introductory chapter to Stanley Cavell: Philosophy, Literature and Criticism, 15-16. (shrink)

Alexius Meinong developed a notion of defective objects in order to account for various logical and psychological paradoxes. The notion is of historical interest, since it presages recent work on the logical paradoxes by Herzberger and Kripke. But it fails to do the job it was designed for. However, a technique implicit in Meinong's investigation is more successful and can be adapted to resolve a similar paradox discovered by Romane Clark in a revised version of Meinong's Theory of Objects due (...) to Rapaport. One family of paradoxes remains, but it is argued that they are unavoidable and relatively harmless. (shrink)

An overview of the ancient philosophers and their philosophical system (divided into the fields of logic, physics, and ethics) comprising the living, organic, enduring, and evolving body of interrelated ideas identifiable as the Stoic perspective.

Truth is undefined for imperative statements. However, if imperatives implicitly reference a fact, they can be rephrased as truth­-valuable declaratives explicitly referencing that fact. But are there such facts? Kenny held that any imperative references a set of wishes held by its imperator. I extend his thesis by proposing that imperator wishes are facts implicitly referenced by imperatives and explicitly referencing them yields semantically isomorphic declaratives. I implement this thesis with modal operators for wants and cause with which declarative schemata (...) are formed to automate translation of imperatives into semantically isomorphic declaratives called proxy-­imperatives. The proxy-­imperatives match imperative behavior and provide semantic validation of imperative arguments thereby integrating imperative reasoning into classic truth­-valuable logic. (shrink)

John Maynard Keynes’s A Treatise on Probability is the seminal text for the logical interpretation of probability. According to his analysis, probabilities are evidential relations between a hypothesis and some evidence, just like the relations of deductive logic. While some philosophers had suggested similar ideas prior to Keynes, it was not until his Treatise that the logical interpretation of probability was advocated in a clear, systematic and rigorous way. I trace Keynes’s influence in the philosophy of probability through a (...) heterogeneous sample of thinkers who adopted his interpretation. This sample consists of Frederick C. Benenson, Roy Harrod, Donald C. Williams, Henry E. Kyburg and David Stove. The ideas of Keynes prove to be adaptable to their diverse theories of probability. My discussion indicates both the robustness of Keynes’s probability theory and the importance of its influence on the philosophers whom I describe. I also discuss the Problem of the Priors. I argue that none of those I discuss have obviously improved on Keynes’s theory with respect to this issue. (shrink)

In *Here and There*, Stanley Cavell suggests that music, like speech, implicates the listener, so that our descriptions of music "are to be thought of not as discoveries but as impressions and assignments of meaning." Such impressions express what "makes an impression upon us," "what truly matters to us." Moreover, this aspect of music "is itself more revolutionary than ... any political event of which it could be said to form a part." I offer one indication of that significance (...) by considering a recent challenge to an old claim about the relation between jazz and democracy. Stanley Crouch claims that jazz practice is an emblem of democracy, while Benjamin Givan observes the undemocratic, hierarchical way that jazz musicians work together. But both positions rest on a limited notion of "democracy." I contrast it to the tradition in political thought that requires each citizen to find their own voice if they're to acquire the ability to govern themselves. Consequently, a better emblem of jazz's democratic advance lies in the challenge it presents to the attentive listener. Jazz listening is increasingly characterized by a learned culture of hearing what isn't played, hearing allusions, hearing unspoken interplay. The nature of this "hearing between the lines" parallels the tradition of esoteric writing in the history of political thought. It suggests that jazz's democratic importance is found in the listener's willingness to give voice to what she hears, not knowing whether her experience is shared by others or whether it singles her out, possibly for skepticism or ridicule. (shrink)

A uniform theory of conditionals is one which compositionally captures the behavior of both indicative and subjunctive conditionals without positing ambiguities. This paper raises new problems for the closest thing to a uniform analysis in the literature (Stalnaker, Philosophia, 5, 269–286 (1975)) and develops a new theory which solves them. I also show that this new analysis provides an improved treatment of three phenomena (the import-export equivalence, reverse Sobel-sequences and disjunctive antecedents). While these results concern central issues in the study (...) of conditionals, broader themes in the philosophy of language and formal semantics are also engaged here. This new analysis exploits a dynamic conception of meaning where the meaning of a symbol is its potential to change an agent’s mental state (or the state of a conversation) rather than being the symbol’s content (e.g. the proposition it expresses). The analysis of conditionals is also built on the idea that the contrast between subjunctive and indicative conditionals parallels a contrast between revising and consistently extending some body of information. (shrink)

Information can be public among a group. Whether or not information is public matters, for example, for accounts of interdependent rational choice, of communication, and of joint intention. A standard analysis of public information identifies it with (some variant of) common belief. The latter notion is stipulatively defined as an infinite conjunction: for p to be commonly believed is for it to believed by all members of a group, for all members to believe that all members believe it, and so (...) forth. This analysis is often presupposed without much argument in philosophy. Theoretical entrenchment or intuitions about cases might give some traction on the question, but give little insight about why the identification holds, if it does. The strategy of this paper is to characterize a practical-normative role for information being public, and show that the only things that play that role are (variants of) common belief as stipulatively characterized. In more detail: a functional role for “taking a proposition for granted” in non-isolated decision making is characterized. I then present some minimal conditions under which such an attitude is correctly held. The key assumption links this attitude to beliefs about what is public. From minimal a priori principles, we can argue that a proposition being public among a group entails common commitment to believe among that group. Later sections explore partial converses to this result, the factivity of publicity and publicity from the perspective of outsiders to the group, and objections to the aprioricity of the result deriving from a posteriori existential presuppositions. (shrink)

In their Why Machines Will Never Rule the World, Landgrebe and Smith (2023) argue that it is impossible for artificial general intelligence (AGI) to succeed, on the grounds that it is impossible to perfectly model or emulate the “complex” “human neurocognitive system”. However, they do not show that it is logically impossible; they only show that it is practically impossible using current mathematical techniques. Nor do they prove that there could not be any other kinds of theories than those in (...) current use. Even if perfect theories were impossible or unlikely, perfection may not be needed and may even be unhelpful. (shrink)

Might it be that world itself, independently of what we know about it or how we represent it, is metaphysically indeterminate? This article tackles in turn a series of questions: In what sorts of cases might we posit metaphysical indeterminacy? What is it for a given case of indefiniteness to be 'metaphysical'? How does the phenomenon relate to 'ontic vagueness', the existence of 'vague objects', 'de re indeterminacy' and the like? How might the logic work? Are there reasons for (...) postulating this distinctive sort of indefiniteness? Conversely, are there reasons for denying that there is indefiniteness of this sort? (shrink)

This chapter is a substantially expanded version of (and so substantially supersedes) “Words Fail Me. (Stanley Cavell’s Life Out of Music)” that appeared in Inheriting Stanley Cavell: Memories, Dreams, Reflections (Bloomsbury, 2020). It offers to read Cavell’s claim that “philosophy, of a certain ambition, tends perpetually to intersect the autobiographical.” Its guiding thought is that a life that finds a home in philosophy from out of its devotion to music (as is true of, among others, Rousseau, Nietzsche, and (...) Wittgenstein, all philosophers Cavell wrote about and cared about) will take on a certain character. In Cavell’s case, his distinctive orientation in philosophy—call this his lifelong coming to terms with his abandoning a life in music—is guided in part by (1) an interest in those moments in experience where words seem to run out, or veer toward nonsense, leaving in their wake touchstones of ecstasy; and (2) an interest in the education of the senses, without which interest we risk their starvation. These twin claims are illustrated through an interweaving of remarks and reminiscences of Cavell on music that culminate in a reading of his last published pieces devoted to music, primarily “Impressions of Revolution.”. (shrink)

Why should we be means-end rational? Why care whether someone’s mental states exhibit certain formal patterns, like the ones formalized in causal decision theory? This paper establishes a dominance argument for these constraints in a finite setting. If you violate the norms of causal decision theory, then your desires will be aptness dominated. That is, there will be some alternative set of desires that you could have had, which would be more apt (closer to the actual values fixed by your (...) sensibility/ what you intrinsically care about) no matter which world is actual. If we care about having apt desires, then, we should never let ourselves violate these norms of means-end rationality. This argument shares a form with now-standard accuracy arguments for probabilism, opening up a new terrain for that discussion. I show that the foundational assumptions about the shape of accuracy and of aptness required to run the arguments for means-end rationality and for probabilism run closely parallel. I show the argument is robust under different theories of subjective actual value, including nonclassical treatments of indeterminacy in actual value; I show the argument may (but need not!) be generalized to objective theories of value. The upshot is that aptness-domination arguments for decision theories should be added to the philosophical playbook. (shrink)

Jeff Paris proves a generalized Dutch Book theorem. If a belief state is not a generalized probability then one faces ‘sure loss’ books of bets. In Williams I showed that Joyce’s accuracy-domination theorem applies to the same set of generalized probabilities. What is the relationship between these two results? This note shows that both results are easy corollaries of the core result that Paris appeals to in proving his dutch book theorem. We see that every point of accuracy-domination defines a (...) dutch book, but we only have a partial converse. (shrink)

Joyce (1998) gives an argument for probabilism: the doctrine that rational credences should conform to the axioms of probability. In doing so, he provides a distinctive take on how the normative force of probabilism relates to the injunction to believe what is true. But Joyce presupposes that the truth values of the propositions over which credences are defined are classical. I generalize the core of Joyce’s argument to remove this presupposition. On the same assumptions as Joyce uses, the credences of (...) a rational agent should always be weighted averages of truth value assignments. In the special case where the truth values are classical, the weighted averages of truth value assignments are exactly the probability functions. But in the more general case, probabilistic axioms formulated in terms of classical logic are violated—but we will show that generalized versions of the axioms formulated in terms of non-classical logics are satisfied. (shrink)

This essay disambiguates the relationship between phenomenology and explanation, whereby we uncover a fundamentally new way to understand the function of phenomenology within the sciences. These objectives are accomplished in two stages. First, we propose an original way to interpret Husserl's claim that his phenomenology is non-explanatory. We demonstrate, contra accepted interpretations, that Husserl did not think phenomenology is non-explanatory, because it is descriptive or because it does not deal with causes. Instead, we demonstrate that Husserl concluded that phenomenology is (...) non-explanatory, because it engages in a dialectical process of conceptual clarification. To substantiate this interpretation, we examine how Husserl understood the function of explanation in three different tiers of standard science and how he grasped the role of phenomenology in pure logic. Having properly clarified Husserl's conclusion—that phenomenology is non-explanatory—we then execute our second task, namely to challenge just that idea. We argue that Husserl has—despite his claims to the contrary—de facto and inadvertently described his phenomenology as an explanatory nomological science. Our paper therefore not only clears up a longstanding misinterpretation of Husserl, but opens a new area of debate concerning the status of phenomenology within the scientific nexus. (shrink)

In the spirit of William James, we present a process view of human consciousness. Our approach, however, follows upon Charles Tart’s original systems theory analysis of states of consciousness, although it differs in its reliance on the modern sciences of complexity, especially dynamical systems theory and its emphasis on process and evolution. We argue that consciousness experience is constructive in the sense that it is the result of ongoing self-organizing and self-creating processes in the mind and body. These processes (...) follow a broad developmental agenda already described by psychologists such as Jean Piaget. Similar constructive transformations of consciousness appear to have occurred across the course of human history. In this sense, phylogeny indeed recapitulates ontogeny. Finally, modern developmental research suggests that the most advanced levels of human growth transform consciousness in the direction of increasing selflessness and spirituality, rather than simply toward greater intelligence. (shrink)

The author’s aim in this quirky monograph is not to reconstruct all that can be surmised about Stoic logic in the first two centuries A.D. of the Roman empire, but rather to concentrate on the three Stoic authors whose extant texts contain remarks on logic. These imperial Stoics, Seneca, Epictetus, and Marcus Aurelius, are known for their emphasis on ethics and not for their contributions in either logic or physics. So it comes as some surprise that Barnes (...) can find much to say about what these philosophers thought about logic. As Barnes presents it (defying chronology), “Marcus introduces the comedy; Seneca features in the second act; and Epictetus is the hero” (ix). (shrink)

It is well known that the probabilistic relation of confirmation is not transitive in that even if E confirms H1 and H1 confirms H2, E may not confirm H2. In this paper we distinguish four senses of confirmation and examine additional conditions under which confirmation in different senses becomes transitive. We conduct this examination both in the general case where H1 confirms H2 and in the special case where H1 also logically entails H2. Based on these analyses, we argue that (...) the Screening-Off Condition is the most important condition for transitivity in confirmation because of its generality and ease of application. We illustrate our point with the example of Moore’s “proof” of the existence of a material world, where H1 logically entails H2, the Screening-Off Condition holds, and confirmation in all four senses turns out to be transitive. (shrink)

A reading of the film Moonstruck (1987) is presented in two movements. The first aligns Moonstruck with certain Hollywood film comedies of the 1930s and 40s, those Stanley Cavell calls comedies of remarriage. The second turns to some aspects of Emerson's writing – in particular his interest in our relation to human greatness, and his coinciding interest in our relation to the words of a text – and shows how Moonstruck inherits these Emersonian, essentially philosophical interests.

Many accounts of structural rationality give a special role to logic. This paper reviews the problem case of clear-eyed logical uncertainty. An account of rational norms on belief that does not give a special role to logic is developed: doxastic probabilism.

The goal of the Department of Defense Net-Centric Data Strategy is to improve data sharing throughout the DoD. Data sharing is a critical element of interoperability in the emerging system-of-systems. Achieving interoperability requires the elimination of two types of data heterogeneity: differences of syntax and differences of semantics. This paper builds a path toward semantic uniformity through application of a disciplined approach to ontology. An ontology is a consensus framework representing the types of entities within a given domain and the (...) relations between them. The construction of an ontology begins when a Community of Interest (COI) identifies its authoritative data sources (ADS), which are usually manifest in relevant doctrinal publications, glossaries, data dictionaries, and logical data models. The identified terms are then defined in relation to a common logical framework that has been designed to ensure interoperability with other ontologies created on the basis of the same strategy. As will be described, the Command and Control (C2) Ontology will include representations of a substantial number of entities within the Command and Control (C2) domain. If domain ontologies (e.g. Strike and Counterinsurgency) semantically align with the C2 Ontology, then a substantial barrier to systems interoperability is thereby crossed. (shrink)

Corcoran’s 27 entries in the 1999 second edition of Robert Audi’s Cambridge Dictionary of Philosophy [Cambridge: Cambridge UP]. -/- ancestral, axiomatic method, borderline case, categoricity, Church (Alonzo), conditional, convention T, converse (outer and inner), corresponding conditional, degenerate case, domain, De Morgan, ellipsis, laws of thought, limiting case, logical form, logical subject, material adequacy, mathematical analysis, omega, proof by recursion, recursive function theory, scheme, scope, Tarski (Alfred), tautology, universe of discourse. -/- The entire work is available online free at more than (...) one website. Paste the whole URL. http://archive.org/stream/RobertiAudi_The.Cambridge.Dictionary.of.Philosophy/Robert.Audi_The.Cambrid ge.Dictionary.of.Philosophy -/- The 2015 third edition will be available soon. Before you think of buying it read some reviews on Amazon and read reviews of its competition: For example, my review of the 2008 Oxford Companion to Philosophy, History and Philosophy of Logic,29:3,291-292. URL: http://dx.doi.org/10.1080/01445340701300429 -/- Some of the entries have already been found to be flawed. For example, Tarski’s expression ‘materially adequate’ was misinterpreted in at least one article and it was misused in another where ‘materially correct’ should have been used. The discussion provides an opportunity to bring more flaws to light. -/- Acknowledgements: Each of these entries was presented at meetings of The Buffalo Logic Dictionary Project sponsored by The Buffalo Logic Colloquium. The members of the colloquium read drafts before the meetings and were generous with corrections, objections, and suggestions. Usually one 90-minute meeting was devoted to one entry although in some cases, for example, “axiomatic method”, took more than one meeting. Moreover, about half of the entries are rewrites of similarly named entries in the 1995 first edition. Besides the help received from people in Buffalo, help from elsewhere was received by email. We gratefully acknowledge the following: José Miguel Sagüillo, John Zeis, Stewart Shapiro, Davis Plache, Joseph Ernst, Richard Hull, Concha Martinez, Laura Arcila, James Gasser, Barry Smith, Randall Dipert, Stanley Ziewacz, Gerald Rising, Leonard Jacuzzo, George Boger, William Demopolous, David Hitchcock, John Dawson, Daniel Halpern, William Lawvere, John Kearns, Ky Herreid, Nicolas Goodman, William Parry, Charles Lambros, Harvey Friedman, George Weaver, Hughes Leblanc, James Munz, Herbert Bohnert, Robert Tragesser, David Levin, Sriram Nambiar, and others. -/- . (shrink)

This essay presents an approach to understanding improvised music, finding in the work of certain outstanding jazz musicians an emblem of Ralph Waldo Emerson's notion of self-trust and of Stanley Cavell's notion of moral perfectionism. The essay critiques standard efforts to interpret improvised solos as though they were composed, contrasting that approach to one that treats the procedures of improvisation as derived from our everyday actions. It notes several levels of correspondence between our interest in jazz improvisations and the (...) particular demands of Emerson's writing, and ends by considering how exemplary moments of instruction in jazz are expressive of Emersonian self-trust. (shrink)

JOHN CORCORAN AND WILIAM FRANK. Surprises in logic. Bulletin of Symbolic Logic. 19 253. Some people, not just beginning students, are at first surprised to learn that the proposition “If zero is odd, then zero is not odd” is not self-contradictory. Some people are surprised to find out that there are logically equivalent false universal propositions that have no counterexamples in common, i. e., that no counterexample for one is a counterexample for the other. Some people would be (...) surprised to find out that in normal first-order logic existential import is quite common: some universals “Everything that is S is P” —actually quite a few—imply their corresponding existentials “Something that is S is P”. Anyway, perhaps contrary to its title, this paper is not a cataloging of surprises in logic but rather about the mistakes that did or might have or might still lead people to think that there are no surprises in logic. The paper cataloging of surprises in logic is on our “to-do” list. -/- ► JOHN CORCORAN AND WILIAM FRANK, Surprises in logic. Philosophy, University at Buffalo, Buffalo, NY 14260-4150, USA E-mail: [email protected] There are many surprises in logic. Peirce gave us a few. Russell gave Frege one. Löwenheim gave Zermelo one. Gödel gave some to Hilbert. Tarski gave us several. When we get a surprise, we are often delighted, puzzled, or skeptical. Sometimes we feel or say “Nice!”, “Wow, I didn’t know that!”, “Is that so?”, or the like. Every surprise belongs to someone. There are no disembodied surprises. Saying there are surprises in logic means that logicians experience surprises doing logic—not that among logical propositions some are intrinsically or objectively “surprising”. The expression “That isn’t surprising” often denigrates logical results. Logicians often aim for surprises. In fact, [1] argues that logic’s potential for surprises helps motivate its study and, indeed, helps justify logic’s existence as a discipline. Besides big surprises that change logicians’ perspectives, the logician’s daily life brings little surprises, e.g. that Gödel’s induction axiom alone implies Robinson’s axiom. Sometimes wild guesses succeed. Sometimes promising ideas fail. Perhaps one of the least surprising things about logic is that it is full of surprises. Against the above is Wittgenstein’s surprising conclusion : “Hence there can never be surprises in logic”. This paper unearths basic mistakes in [2] that might help to explain how Wittgenstein arrived at his false conclusion and why he never caught it. The mistakes include: unawareness that surprise is personal, confusing logicians having certainty with propositions having logical necessity, confusing definitions with criteria, and thinking that facts demonstrate truths. People demonstrate truths using their deductive know-how and their knowledge of facts: facts per se are epistemically inert. [1] JOHN CORCORAN, Hidden consequence and hidden independence. This Bulletin, vol.16, p. 443. [2] LUDWIG WITTGENSTEIN, Tractatus Logico-Philosophicus, Kegan Paul, London, 1921. -/-. (shrink)

The deceptive strangeness of prescience in Dune is typical of Herbert's ideas. The ancient Babylonians were able to systematically predict astronomical events, but contemporary astrophysicists can forecast distant events beyond the Babylonians’ wildest dreams. Herbert describes the prescience of characters like Paul as a hyperawareness of possibilities and probabilities given certain choices, rather than being able to examine a fixed future. Common sense suggests that prescience should help us live together better. The Prisoner's Dilemma can be interpreted in different ways, (...) but the basic logic is always the same. The Prisoner's Dilemma is an imaginary interaction between “prisoners,” but it actually might make more sense with prescient characters from the Duniverse. Stuart Hampshire argued that self‐knowledge tends to have the opposite effect – that it makes us freer. Prescience is a vastly expanded understanding of possible and probable consequences given information and choices, not the observation of a fixed future. (shrink)

Kit Fine’s logic of essence and his reduction of modality crucially rely on a principle called the ‘monotonicity of essence’. This principle says that for all pluralities, xx and yy, if some xx belong to some yy, then if it is essential to xx that p, it is also essential to yy that p. I argue that on the constitutive notion of essence, this principle is false. In particular, I show that this principle is false because it says that (...) some propositions are essential to yy even though those propositions are only about some of its members. I then consider modifications to the principle appealing to consequential essence and argue that such a modification is inconsistent with a central. (shrink)

Many philosophers argue that Keynes’s concept of the “weight of arguments” is an important aspect of argument appraisal. The weight of an argument is the quantity of relevant evidence cited in the premises. However, this dimension of argumentation does not have a received method for formalisation. Kyburg has suggested a measure of weight that uses the degree of imprecision in his system of “Evidential Probability” to quantify weight. I develop and defend this approach to measuring weight. I illustrate the usefulness (...) of this measure by employing it to develop an answer to Popper’s Paradox of Ideal Evidence. (shrink)

In this book, William Brant inquires how violence is reduced. Social causes of violence are exposed. War, sexual domination, leadership, propagandizing and comedy are investigated. Legal systems are explored as reducers and implementers of violence and threats.

According to John D. Norton's Material Theory of Induction, all inductive inferences are justified by local facts, rather than their formal features or some grand principles of nature's uniformity. Recently, Richard Dawid (Found Phys 45(9):1101–1109, 2015) has offered a challenge to this theory: in an adaptation of Norton's own celebrated "Dome" thought experiment, it seems that there are certain inductions that are intuitively reasonable, but which do not have any local facts that could serve to justify them in accordance with (...) Norton's requirements. Dawid's suggestion is that “raw induction” might have a limited but important role for such inferences. I argue that the Material Theory can accommodate such inductions, because there are local facts concerning the combinatoric features of the induction’s target populations that can licence the inferences in an analogous way to existing examples of material induction. Since my arguments are largely independent of the details of the Dome, Norton's theory emerges as surprisingly robust against criticisms of excessive narrowness. (shrink)

Wittgenstein's lack of sympathy for Shakespeare's works has been well noted by George Steiner and Harold Bloom among others. Wittgenstein writes in 1950, for instance: "It seems to me as though his pieces are, as it were, enormous sketches, not paintings; as though they were dashed off by someone who could permit himself anything, so to speak. And I understand how someone may admire this & call it supreme art, but I don't like it." Of course, the animosity of one (...) great mind for another has its own interest. But the interest here is increased by two factors: (1) Wittgenstein's brief but specific critique of Shakespeare's similes, of interest particularly since he identifies his own philosophical strength half-deprecatingly but still seriously as one of crafting beautiful similes; and (2) Wittgenstein's and Shakespeare's shared concern, as revealed in Stanley Cavell's writings, with the human impulse to skepticism. The present paper considers the importance of these two factors in weighing Wittgenstein's judgment. It suggests that Wittgenstein's frequent charge that Shakespeare is "completely unrealistic" is not a misunderstanding of the Bard (Wittgenstein distinguishes his "failure to understand" from others' willingness to misunderstand Shakespeare) but rather an expression of Wittgenstein's anxiety over Shakespeare's wholly original use of language to represent the sound of the raw motives to skepticism. (shrink)

As a philosopher, psychologist, and physician, the German thinker Hermann Lotze defies classification. Working in the mid-nineteenth-century era of programmatic realism, he critically reviewed and rearranged theories and concepts in books on pathology, physiology, medical psychology, anthropology, history, aesthetics, metaphysics, logic, and religion. Leading anatomists and physiologists reworked his hypotheses about the central and autonomic nervous systems. Dozens of fin-de-siècle philosophical contemporaries emulated him, yet often without acknowledgment, precisely because he had made conjecture and refutation into a method. In (...) spite of Lotze's status as a pivotal figure in nineteenth-century intellectual thought, no complete treatment of his work exists, and certainly no effort to take account of the feminist secondary literature. Hermann Lotze: An Intellectual Biography is the first full-length historical study of Lotze's intellectual origins, scientific community, institutional context, and worldwide reception. (shrink)

Igor Douven establishes several new intransitivity results concerning evidential support. I add to Douven’s very instructive discussion by establishing two further intransitivity results and a transitivity result.

This essay claims that a rupture between two languages permeates human rights discourse in contemporary Anglo-American legal thought. Human rights law is no exception. The one language is written in the sense that a signifying relation inscribed by institutional authors represents concepts. Theories of law have shared such a preoccupation with concepts. Legal rules, doctrines, principles, rights and duties exemplify legal concepts. One is mindful of the dominant tradition of Anglo-American conceptual jurisprudence in this regard. Words have been thought to (...) copy ready-made concepts. Acts of intellectualisation and the accompanying analytic technique have excluded a consideration of a very different sense of legal language. The second sense of a language concentrates upon unwritten acts of meaning which lack a discrete and assignable author. This essay aims to unconceal the importance of an unauthored language. Drawing from Edmund Husserl’s early writings, particularly his Logical Investigations, I shall argue that an unwritten language embodies the written language with acts of meaning. An act of meaning confers one’s experiential body into the content of a concept signified in a written language. In order to understand the importance of such pre-legal acts of meaning in human rights laws, I begin by outlining how universal human rights have been signified as universal by virtue of their content-independence. I then raise the problem of the exclusion of social-cultural phenomena as elements of human rights laws. The clue to this exclusionary character of human rights law rests in the analytic leap from an unwritten to a written legal language. The essay then addresses the effort to link legality with the social world: namely, the effort of grounding legality in a social convention. I examine how a social convention itself is conceptualized, leaving the remainder of acts of meaning. This failure of social conventions to access social-cultural phenomena encourages me to turn to acts of meaning as such acts were understood by Edmund Husserl in his earlier works. Meaning-constituting acts exist prior to intuitions and prior to social conventions. This priority exists analytically as well as phenomenologically. In order to exemplify this prior character of acts of meaning, I retrieve Antigone’s experiential knowledge in Sophocles’ Antigone. Antigone’s unwritten laws are characterized by an absence of mediating concepts. I then identify several elements of an act of meaning in an unwritten language: the experiential body as the source of the acts of meaning, praeiudicia (prejudgements), collective memories, the act character of meaning, and the act of interpretation of social behaviour. My final section raises the prospect of whether human rights can be considered universal if acts of meaning are that important in the identity of a law. (shrink)

This paper updates (2017) a previously-presented* model of models, which can be used to clarify discussion and analysis in a variety of disputes and debates, since many such discussions hinge on displaying or implying models about how things are related. Knowing about models does not itself supply any new information about our world, but it might help us to recognize when and how information is being conveyed on these matters, or where possibly it is being obscured. If a claim P (...) is expressed in the context of a certain model, a disagreement about P may actually not be about whether the underlying model is accurate; it could reflect misunderstandings about the model’s assumptions or conventions. Also, in practice, constructed models are rarely fully elaborated for every detail, so misunderstandings can arise from apparent “gaps” in the model. In that case, developing and considering complementary versions of models can sometimes clarify ambiguities. Following the main analysis are several extended Case examples to illustrate the wide applicability of the models approach, for clarifying, if not necessarily “resolving”, numerous debates and issues. For example, a famous “counter example” by Nelson Goodman to a logical model proposed by Carnap is shown to be not as deal-breaking as presumed historically, if only plausible complementary models had been explored. And models sometimes presented as competing in Artificial Intelligence research— “Declarative” versus “Procedural”—can instead be viewed as good examples of “complementary” models. Also reconsidered in this light are some well-known, competing positions, by Russell, Strawson, and Kripke, in the literature regarding names, pointing, definite descriptions and “using” sentences, and so on. All these concepts are locatable within the presently proposed models analysis. Questions such as where “truth” resides (whether in sentences or in uses of sentences) are not settled in this paper; yet, practical questions about how testable claims about the world can be expressed by models are clarified. _* Original version presented at a University of Waterloo Philosophy Colloquium 1984. (shrink)

Religion, Race, Multiculturalism, and Everyday Life takes a spirited conceptualist look back into the history of our development. The book sets out to explore the ways in which a punditry of human equality continues to lock in unassailably assured logical postures, enabled by the historically intertwined roles played by power and the passage of time, towards the invention and sustenance of social truth. Religion, race, and multiculturalism have been written about many times, and from a variety of academic, discipline-specific perspectives. (...) Nonetheless, these social issues remain ever relevant to any sincere bid to understand the inegalitarian aspects of modern society. Religion, Race, Multiculturalism, and Everyday Life was primarily written with serious students of philosophy, sociology, the humanities, and history in mind. The author contends that we should never be too afraid to explore contentious or difficult philosophical and social questions. (shrink)

This is an old draft of a paper that seeks to find the minimum cognitive/practical role for indeterminacy that we get if we assume a fully classical logic and semantics, but reject epistemicism. The ambition is to connect that classical setting to the framework for rational belief and decision I described in "Decision Making under Indeterminacy".