2006. George Boole. Encyclopedia of Philosophy. 2nd edition. Detroit: Macmillan Reference USA. -/- George Boole (1815-1864), whose name lives among modern computer-related sciences in Boolean Algebra, Boolean Logic, Boolean Operations, and the like, is one of the most celebrated logicians of all time. Ironically, his actual writings often go unread and his actual contributions to logic are virtually unknown—despite the fact that he was one of the clearest writers in the field. Working with various students including (...) Susan Wood and Sriram Nambiar, I have written several publications trying to set the record straight—but so far to little avail. This encyclopedia entry is one more attempt to set the record straight in a way that can be appreciated by non-experts.Also see https://www.academia.edu/10161999/Booles_criteria_of_validity_and_invalidity . (shrink)

It is one thing for a given proposition to follow or to not follow from a given set of propositions and it is quite another thing for it to be shown either that the given proposition follows or that it does not follow.* Using a formal deduction to show that a conclusion follows and using a countermodel to show that a conclusion does not follow are both traditional practices recognized by Aristotle and used down through the history of logic. These (...) practices presuppose, respectively, a criterion of validity and a criterion of invalidity each of which has been extended and refined by modern logicians: deductions are studied in formal syntax (proof theory) and coun¬termodels are studied in formal semantics (model theory). The purpose of this paper is to compare these two criteria to the corresponding criteria employed in Boole’s first logical work, The Mathematical Analysis of Logic (1847). In particular, this paper presents a detailed study of the relevant metalogical passages and an analysis of Boole’s symbolic derivations. It is well known, of course, that Boole’s logical analysis of compound terms (involving ‘not’, ‘and’, ‘or’, ‘except’, etc.) contributed to the enlargement of the class of propositions and arguments formally treatable in logic. The present study shows, in addition, that Boole made significant contributions to the study of deduc¬tive reasoning. He identified the role of logical axioms (as opposed to inference rules) in formal deductions, he conceived of the idea of an axiomatic deductive sys¬tem (which yields logical truths by itself and which yields consequences when ap¬plied to arbitrary premises). Nevertheless, surprisingly, Boole’s attempt to imple¬ment his idea of an axiomatic deductive system involved striking omissions: Boole does not use his own formal deductions to establish validity. Boole does give symbolic derivations, several of which are vitiated by “Boole’s Solutions Fallacy”: the fallacy of supposing that a solution to an equation is necessarily a logical consequence of the equation. This fallacy seems to have led Boole to confuse equational calculi (i.e., methods for gen-erating solutions) with deduction procedures (i.e., methods for generating consequences). The methodological confusion is closely related to the fact, shown in detail below, that Boole had adopted an unsound criterion of validity. It is also shown that Boole totally ignored the countermodel criterion of invalid¬ity. Careful examination of the text does not reveal with certainty a test for invalidity which was adopted by Boole. However, we have isolated a test that he seems to use in this way and we show that this test is ineffectual in the sense that it does not serve to identify invalid arguments. We go beyond the simple goal stated above. Besides comparing Boole’s earliest criteria of validity and invalidity with those traditionally (and still generally) employed, this paper also investigates the framework and details of THE MATHEMATICAL ANALYSIS OF LOGIC. (shrink)

O presente artigo busca debater a posição de Charles Sanders Peirce e dos primeiros estudantes peirceanos de Lógica (Christine Ladd e O. H. Mitchell nos Studies in Logic, 1883) dentro do debate inspirador da visão da linguagem dentro da Filosofia Analítica, conhecido como “Lingua Universalis contra Calculus Ratiocinator”, cujos primórdios podem ser traçados desde a filosofia de Gottfried Leibniz. Para isso, comparamos esse campo do pensamento peirceano com o debate crucial entre a conceitografia de Gottlob Frege (Begriffsschrift, 1879) e a (...) lógica algébrica de George Boole (An investigation of the Laws of Thought on which are founded the mathematical theories of Logic and Probabilities, 1854). O nosso objetivo principal é observar que esse momento da filosofia peirceana pode ser comparado com o pensamento wittgensteiniano, especialmente em sua nova vertente, chamada New Wittgenstein, que tenta superar a tradicional divisão entre Tractatus Logico-Philosophicus e Investigações Filosóficas. Pela comparação entre pensadores influenciados por C. S. Peirce e a filosofia de Ludwig Wittgenstein, pretendemos abrir caminhos na compreensão do conceito de jogo de linguagem, especialmente em sua gramática e em seus operadores simbólicos, através da observação das funções de verdade [truth functions] e as tabelas de verdade [truth tables] enquanto lógica algébrica. (shrink)

Analytic philosophy has been perhaps the most successful philosophical movement of the twentieth century. While there is no one doctrine that defines it, one of the most salient features of analytic philosophy is its reliance on contemporary logic, the logic that had its origin in the works of George Boole and Gottlob Frege and others in the mid‐to‐late nineteenth century. Boolean algebra, the heart of Boole's contributions to logic, has also come to represent a cornerstone of modern (...) computing. Frege had broad philosophical interests, and his writings on the nature of logical form, meaning and truth remain the subject of intense theoretical discussion, especially in the analytic tradition. Frege's works, and the powerful new logical calculi developed at the end of the nineteenth century, influenced many of its most seminal figures, such as Bertrand Russell, Ludwig Wittgenstein and Rudolf Carnap. (shrink)

ABSTRACT: In its strongest unqualified form, the principle of wholistic reference is that in any given discourse, each proposition refers to the whole universe of that discourse, regardless of how limited the referents of its non-logical or content terms. According to this principle every proposition of number theory, even an equation such as "5 + 7 = 12", refers not only to the individual numbers that it happens to mention but to the whole universe of numbers. This principle, its history, (...) and its relevance to some of Oswaldo Chateaubriand's work are discussed in my 2004 paper "The Principle of Wholistic Reference" in Essays on Chateaubriand's "Logical Forms". In Chateaubriand's réplica (reply), which is printed with my paper, he raised several important additional issues including the three I focus on in this tréplica (reply to his reply): truth-values, universes of discourse, and formal ontology. This paper is self-contained: it is not necessary to have read the above-mentioned works. The principle of wholistic reference (PWR) was first put forth by George Boole in 1847 when he espoused a monistic fixed-universe viewpoint similar to the one Frege and Russell espoused throughout their careers. Later, Boole elaborated PWR in 1854 from the pluralistic multiple-universes perspective. (shrink)

George Boole emerged from the British tradition of the “New Analytic”, known for the view that the laws of logic are laws of thought. Logicians in the New Analytic tradition were influenced by the work of Immanuel Kant, and by the German logicians Wilhelm Traugott Krug and Wilhelm Esser, among others. In his 1854 work An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities, Boole argues that the laws (...) of thought acquire normative force when constrained to mathematical reasoning. Boole’s motivation is, first, to address issues in the foundations of mathematics, including the relationship between arithmetic and algebra, and the study and application of differential equations (Durand-Richard, van Evra, Panteki). Second, Boole intended to derive the laws of logic from the laws of the operation of the human mind, and to show that these laws were valid of algebra and of logic both, when applied to a restricted domain. Boole’s thorough and flexible work in these areas influenced the development of model theory (see Hodges, forthcoming), and has much in common with contemporary inferentialist approaches to logic (found in, e.g., Peregrin and Resnik). (shrink)

As George Boole saw it, the laws of logic are the laws of thought, and by this he meant, not that human thought is actually governed by the laws of logic, but, rather, that it should be. Boole’s view that the laws of logic have normative implications for how we ought to think is anything but an outlier. The idea that violating the laws of logic involves epistemic impropriety has seemed to many to be just obvious. It (...) has seemed especially obvious to those who see propositional justification as more fundamental than doxastic justification. Whatever other principles are required for defining propositional justification, the laws of logic seem indispensable. The idea that violation of the laws of logic involves some sort of epistemic impropriety—whatever the peculiarities of our psychology may be—has served as a fixed point around which defenders of the fundamentality of propositional justification are united, whatever their other differences. This paper challenges that common thread in defenses of the fundamentality of propositional justification. It is argued that the laws of logic have no bearing whatever on epistemic justification. Once we see why this should be so, the way is paved for seeing why it is that doxastic justification is more fundamental than propositional justification. (shrink)

We attempt here to trace the evolution of Frege’s thought about truth. What most frames the way we approach the problem is a recognition that hardly any of Frege’s most familiar claims about truth appear in his earliest work. We argue that Frege’s mature views about truth emerge from a fundamental re-thinking of the nature of logic instigated, in large part, by a sustained engagement with the work of George Boole and his followers, after the publication of Begriffsschrift (...) and the appearance of critical reviews by members of the Boolean school. (shrink)

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)

John Venn has the “uneasy suspicion” that the stagnation in mathematical logic between J. H. Lambert and George Boole was due to Kant’s “disastrous effect on logical method,” namely the “strictest preservation [of logic] from mathematical encroachment.” Kant’s actual position is more nuanced, however. In this chapter, I tease out the nuances by examining his use of Leonhard Euler’s circles and comparing it with Euler’s own use. I do so in light of the developments in logical calculus from (...) G. W. Leibniz to Lambert and Gottfried Ploucquet. While Kant is evidently open to using mathematical tools in logic, his main concern is to clarify what mathematical tools can be used to achieve. For without such clarification, all efforts at introducing mathematical tools into logic would be blind if not complete waste of time. In the end, Kant would stress, the means provided by formal logic at best help us to express and order what we already know in some sense. No matter how much mathematical notations may enhance the precision of this function of formal logic, it does not change the fact that no truths can, strictly speaking, be revealed or established by means of those notations. (shrink)

In its strongest, unqualified form the principle of wholistic reference is that each and every proposition refers to the whole universe of discourse as such, regardless how limited the referents of its non-logical or content terms. Even though Boole changed from a monistic fixed-universe framework in his earlier works of 1847 and 1848 to a pluralistic multiple-universe framework in his mature treatise of 1854, he never wavered in his frank avowal of the principle of wholistic reference, possibly in a (...) slightly weaker form. Indeed, he took it as an essential accompaniment to his theory of concept formation and proposition formation. Similar views are found in later logicians, and some of the most recent formulations of standard, one-sorted first-order logic seem to be in accord with a form of it, if they do not actually imply the principle itself. (shrink)

In its strongest, unqualified form the principle of wholistic reference is that each and every proposition refers to the whole universe of discourse as such, regardless how limited the referents of its non-logical or content terms. Even though Boole changed from a monistic fixed-universe framework in his earlier works of 1847 and 1848 to a pluralistic multiple-universe framework in his mature treatise of 1854, he never wavered in his frank avowal of the principle of wholistic reference, possibly in a (...) slightly weaker form. Indeed, he took it as an essential accompaniment to his theory of concept formation and proposition formation. Similar views are found in later logicians, and some of the most recent formulations of standard, one-sorted first-order logic seem to be in accord with a form of it, if they do not actually imply the principle itself.Em sua forma mais forte e geral, o princípio da referência universalista afirma que toda proposição refere-se ao universo completo do discurso propriamente dito, independentemente de quão limitados sejam os referentes de seus termos não-lógicos ou com conteúdo. Embora Boole mudasse de um modelo monístico de universo-fixo nos seus trabalhos iniciais de 1847 e 1848 para um modelo pluralista de universo-múltiplo no seu tratado maduro de 1854, ele nunca hesitou em sua aceitação franca do princípio da referência universalista, possivelmente em uma forma ligeiramente mais fraca. De fato, ele considerou este princípio como um acompanhamento essencial para a sua teoria de formação de conceitos e de proposições. Visões semelhantes são encontradas em lógicos posteriores, e algumas das mais recentes formulações da lógica clássica de primeira ordem parecem estar de acordo com uma forma deste, se é que elas não implicam, de fato, o próprio princípio. (shrink)

This 4-page review-essay—which is entirely reportorial and philosophically neutral as are my other contributions to MATHEMATICAL REVIEWS—starts with a short introduction to the philosophy known as mathematical structuralism. The history of structuralism traces back to George Boole (1815–1864). By reference to a recent article various feature of structuralism are discussed with special attention to ambiguity and other terminological issues. The review-essay includes a description of the recent article. The article’s 4-sentence summary is quoted in full and then analyzed. (...) The point of the quotation is to make clear how murky, incompetent, and badly written the paper is. There is no way to determine from the article whether the editor or referees suggests improvements. (shrink)

John Corcoran and George Boger. Aristotelian logic and Euclidean geometry. Bulletin of Symbolic Logic. 20 (2014) 131. -/- By an Aristotelian logic we mean any system of direct and indirect deductions, chains of reasoning linking conclusions to premises—complete syllogisms, to use Aristotle’s phrase—1) intended to show that their conclusions follow logically from their respective premises and 2) resembling those in Aristotle’s Prior Analytics. Such systems presuppose existence of cases where it is not obvious that the conclusion follows from the (...) premises: there must be something deductions can show. Corcoran calls a proposition that follows from given premises a hidden consequence of those premises if it is not obvious that the proposition follows from those premises. By a Euclidean geometry we mean an extended discourse beginning with basic premises—axioms, postulates, definitions—1) treating a universe of geometrical figures and 2) resembling Euclid’s Elements. There were Euclidean geometries before Euclid (fl. 300 BCE), even before Aristotle (384–322 BCE). Bochenski, Lukasiewicz, Patzig and others never new this or if they did they found it inconvenient to mention. Euclid shows no awareness of Aristotle. It is obvious today—as it should have been obvious in Euclid’s time, if anyone knew both—that Aristotle’s logic was insufficient for Euclid’s geometry: few if any geometrical theorems can be deduced from Euclid’s premises by means of Aristotle’s deductions. Aristotle’s writings don’t say whether his logic is sufficient for Euclidean geometry. But, there is not even one fully-presented example. However, Aristotle’s writings do make clear that he endorsed the goal of a sufficient system. Nevertheless, incredible as this is today, many logicians after Aristotle claimed that Aristotelian logics are sufficient for Euclidean geometries. This paper reviews and analyses such claims by Mill, Boole, De Morgan, Russell, Poincaré, and others. It also examines early contrary statements by Hintikka, Mueller, Smith, and others. Special attention is given to the argumentations pro or con and especially to their logical, epistemic, and ontological presuppositions. What methodology is necessary or sufficient to show that a given logic is adequate or inadequate to serve as the underlying logi of a given science. (shrink)

The paper elaborates upon various points and arguments in the author’s “A Priori Knowledge and the Scope of Philosophy” (Philosophical Studies, 1993), in which the author defends the autonomy of philosophy from the empirical sciences. It provides, for example, an extended defense of the modal reliabilist theory of basic evidence, including a new argument against evolutionary explanations of the reliability of intuitions. It also contains a fuller discussion of how to neutralize the threat of scientific essentialism to the autonomy of (...) philosophy. (shrink)

Cicero’s "Academica" offers a particularly rich demonstration of how the unhappy dialectic between stoicism and skepticism engages Roman historical self-consciousness. The Hegelian thesis of philosophy as mediated through historical development is given a clear articulation in the “derivative” Romans, precisely through their reception of a tradition, their experience of philosophy as inseparable from the self-consciousness of historical relation. The dispute happening in the "Academica" between a dogmatic stoicism and academic skepticism thus directly echoes the problems of contemporary 21st century philosophy (...) insofar as the structures of the unhappy consciousness endure in the “academic” give and take between the authority of received doctrine (say, of mainstream post-classical analytic philosophy) and their subversion in skeptical critique. (shrink)

This paper constructs a model of metaphysical indeterminacy that can accommodate a kind of ‘deep’ worldly indeterminacy that arguably arises in quantum mechanics via the Kochen-Specker theorem, and that is incompatible with prominent theories of metaphysical indeterminacy such as that in Barnes and Williams (2011). We construct a variant of Barnes and Williams's theory that avoids this problem. Our version builds on situation semantics and uses incomplete, local situations rather than possible worlds to build a model. We evaluate the resulting (...) theory and contrast it with similar alternatives, concluding that our model successfully captures deep indeterminacy. (shrink)

The paper begins with a clarification of the notions of intuition (and, in particular, modal intuition), modal error, conceivability, metaphysical possibility, and epistemic possibility. It is argued that two-dimensionalism is the wrong framework for modal epistemology and that a certain nonreductionist approach to the theory of concepts and propositions is required instead. Finally, there is an examination of moderate rationalism’s impact on modal arguments in the philosophy of mind -- for example, Yablo’s disembodiment argument and Chalmers’s zombie argument. A less (...) vulnerable style of modal argument is defended, which nevertheless wins the same anti-materialist conclusions sought by these other arguments. (shrink)

This study provides a unified theory of properties, relations, and propositions (PRPs). Two conceptions of PRPs have emerged in the history of philosophy. The author explores both of these traditional conceptions and shows how they can be captured by a single theory.

Radical empiricism is the view that a person's experiences (sensory and introspective), or a person's observations, constitute the person's evidence. This view leads to epistemic self-defeat. There are three arguments, concerning respectively: (1) epistemic starting points; (2) epistemic norms; (3) terms of epistemic appraisal. The source of self-defeat is traced to the fact that empiricism does not count a priori intuition as evidence (where a priori intuition is not a form of belief but rather a form of seeming, specifically intellectual (...) as opposed to sensory). Moderate rationalism, by contrast, avoids self-defeat. (shrink)

This paper provides a defense of two traditional theses: the Autonomy of Philosophy and the Authority of Philosophy. The first step is a defense of the evidential status of intuitions (intellectual seemings). Rival views (such as radical empiricism), which reject the evidential status of intuitions, are shown to be epistemically self-defeating. It is then argued that the only way to explain the evidential status of intuitions is to invoke modal reliabilism. This theory requires that intuitions have a certain qualified modal (...) tie to the truth. This result is then used as the basis of the defense of the Autonomy and Authority theses. The paper closes with a defense of the two theses against a potential threat from scientific essentialism. (shrink)

This paper argues that participation in an intimate relationship can generate additional or stronger reasons for one to act paternalistically toward the intimate. Moreover, participation in such a relationship can also weaken or cancel some of the presumptive reasons of respect one would otherwise have not to interfere. The paper also reflects, more generally, on the nature of intimate relationships, the normative significance of paternalism, and the normative differences between paternalism in larger-scale institutional contexts and paternalism in closer, interpersonal ones. (...) -/- . (shrink)

This chapter picks up on what Heidegger in his 1949 ‘Letter on ‘Humanism’’ calls ‘the historical in being’, that dimension of being within which, for Heidegger, a ‘productive dialogue’ between phenomenology and existentialism, on the one hand, and Marxism, on the other, ‘first becomes possible.’ It introduces the possibility of this dialogue through a particular, and particularly revealing, problem with The German Ideology: namely, Marx and Engels offer no analysis of the relationship between time, temporality and their materialist concept of (...) history. (shrink)

While it is widely agreed that Hegel’s philosophy is a philosophy of freedom, the significance and scope of Hegel’s theory of freedom is disputed. Most scholarly work on this topic has been devoted to the socio-political philosophy of the Philosophy of Right. But Hegel also speaks of freedom in a way which extends beyond the concerns of his socio-political thought. This dissertation demonstrates how Hegel’s theory of freedom is more fully grasped when it is understood as a comprehensive philosophy which (...) also involves an ontology (a logic of being) and a phenomenology (a direct experience of this logic). The free state which Hegel outlines in the Philosophy of Right is still only a limited manifestation of a freedom which also pervades other aspects of human experience. A way of thinking which is “free” (in the sense that it does not restrict itself by assuming false methodological limitations) is itself essential to our capacity for rational self-determination. Moreover, this “speculative” perspective has only been achieved through the gradual cultivation (Bildung) of the free personality throughout history. -/- This dissertation therefore investigates why Hegel thinks that freedom is at issue in abstract philosophical thought (in his logical works) as well as in concrete historical phenomena (in the Phenomenology of Spirit). This logic and appearance of freedom explicates Hegel’s statement in the Preface of the Phenomenology that the absolute is not only substance, but also subject. Having shown that both the ancient freedom of the “social substance” and the modern freedom of the “pure I” are untenable on their own terms, Hegel advances a logical and phenomenological theory of freedom in which these one-sided truths are reconciled with each other. The “substantial subject” of Hegelian freedom more fully actualizes the purely subjective freedom of the Enlightenment, enabling true individual self-determination. Freedom appears not just as the right to make arbitrary choices, but as substantial thought and conviction. (shrink)

The inherently subjective nature of consciousness severely limits our ability to make progress on the problem of consciousness. The inability to acquire objective, publicly available data on the phenomenal aspect of consciousness makes evaluating alternative theories very difficult, if not impossible. However, the anomalous nature of subjective states with respect to our conventional theories of the physical world suggests the possibility of considering other anomalous data around consciousness that happen to be objective. For such purposes, I propose that we examine (...) the psi data gathered under laboratory conditions, which generally receive little attention. I wish to consider whether we have theories or frameworks of consciousness that attempt to account for subjective qualia but also fit the psi data. I argue that Russellian monism can be combined with an argument regarding quantum holism to arrive at a version of cosmopsychism that fits very well with the psi data. While I do not argue that such a framework exhausts the theoretical possibilities, I do suggest we can move forward with a framework that has attractive theoretical features and is also consistent with objective data currently on the table. (shrink)

Es werden vier verbreitete Verwendungsweisen des Wortes ‘Argument’ beschrieben, an Beispielen erläutert und dann schrittweise expliziert. Die wichtigsten Explikata sind: ‘eine Satzfolge x ist ein deskriptives Argument in Standardform’, ‘ein deskriptives Argument x in Standardform ist bei der subjektiven Wahrscheinlichkeitsverteilung p stark (bzw. schwach)’, ‘ein Aussagesatz x ist bei der subjektiven Wahrscheinlichkeitsverteilung p ein Argument für (bzw. gegen) einen Aussagesatz y’, ‘ein geordneter Tripel x von deskriptiven Argumenten in Standardform, von Argumentebenen und von Argumentsträngen ist eine deskriptive Argumenthierarchie in Standardform’, (...) ‘eine deskriptive Argumenthierarchie x in Standardform ist gültig (bzw. ungültig; stichhaltig; konsistent; inkonsistent; sichtlich zirkelhaft; stark (bzw. schwach) bei der subjektiven Wahrscheinlichkeitsverteilung p)’. (shrink)

The topic of a priori knowledge is approached through the theory of evidence. A shortcoming in traditional formulations of moderate rationalism and moderate empiricism is that they fail to explain why rational intuition and phenomenal experience count as basic sources of evidence. This explanatory gap is filled by modal reliabilism -- the theory that there is a qualified modal tie between basic sources of evidence and the truth. This tie to the truth is then explained by the theory of concept (...) possession: this tie is a consequence of what, by definition, it is to possess (i.e., to understand) one’s concepts. A corollary of the overall account is that the a priori disciplines (logic, mathematics, philosophy) can be largely autonomous from the empirical sciences. (shrink)

Scientific essentialism is the view that some necessities can be known only with the aid of empirical science. The thesis of the paper is that scientific essentialism does not extend to the central questions of philosophy and that these questions can be answered a priori. The argument is that the evidence required for the defense of scientific essentialism is reliable only if the intuitions required by philosophy to answer its central questions is also reliable. Included is an outline of a (...) modal reliabilist theory of basic evidence and a concept-possession account of the reliability of a priori intuition. (shrink)

Professor Fletcher challenges the traditional account of the development of tort doctrine as a shift from an unmoral standard of strict liability for directly causing harm to a moral standard based on fault. He then sets out two paradigms of liability to serve as constructs for understanding competing ideological viewpoints about the proper role of tort sanctions. He asserts that the paradigm of reciprocity, which looks only to the degree of risk imposed by the parties to a lawsuit on each (...) other, and to the existence of possible excusing conditions, provides greater protection of individual interests than the paradigm of reasonableness, which assigns liability instrumentally on the basis of a utilitarian calculus. Finally, Professor Fletcher examines stylistic differences between the two paradigms which may explain the modern preference for the paradigm of reasonableness. (shrink)

Recent work in philosophy of language has raised significant problems for the traditional theory of propositions, engendering serious skepticism about its general workability. These problems are, I believe, tied to fundamental misconceptions about how the theory should be developed. The goal of this paper is to show how to develop the traditional theory in a way which solves the problems and puts this skepticism to rest. The problems fall into two groups. The first has to do with reductionism, specifically attempts (...) to reduce propositions to extensional entities-either extensional functions or sets. The second group concerns problems of fine grained content-both traditional 'Cicero'/'Tully' puzzles and recent variations on them which confront scientific essentialism. After characterizing the problems, I outline a non-reductionist approach-the algebraic approach-which avoids the problems associated with reductionism. I then go on to show how the theory can incorporate non-Platonic (as well as Platonic) modes of presentation. When these are implemented nondescriptively, they yield the sort of fine-grained distinctions which have been eluding us. The paper closes by applying the theory to a cluster of remaining puzzles, including a pair of new puzzles facing scientific essentialism. (shrink)

First, given criteria for identifying universals and particulars, it is shown that stuffs appear to qualify as neither. Second, the standard solutions to the logico-linguistic problem of mass terms are examined and evidence is presented in favor of the view that mass terms are straightforward singular terms and, relatedly, that stuffs indeed belong to a metaphysical category distinct from the categories of universal and particular. Finally, a new theory of the copula is offered: 'The cue is cold', 'The cube is (...) ice', and 'Ice is water' all have the form 'A is B'. On the basis of the logical behavior of stuff-names with respect to this univocal copula, definitions are suggested for 'X is a stuff', 'X composes Y', 'X is a material object', and even 'Matter'. Hence an expanded form of logicism. (shrink)

Os dois ensaios aqui traduzidos: “Uma visita a uma glândula pineal”, publicado originalmente em 21 de abril de 1713 no número 35 do Guardian e a “A glândula pineal (continuação)”, publicado no dia 25 de abril, no número 39, formam uma unidade não apenas pela referência a ideia de glândula pineal concebida por Descartes como ponto de interação entre a alma e o corpo, mas também pela forma literária e pelo pseudônimo comum. Eles fazem parte de um conjunto de quatorze (...) ensaios atribuídos a George Berkeley, reunidos e publicados pela primeira vez apenas em 1871, no volume III da edição organizada por A. C. Fraser. Os ensaios publicados no Guardian foram escritos durante a permanência de Berkeley em Londres em 1713, quando Jonathan Swift (1667-1745) e Richard Steele (1672-1729), seus conterrâneos, contribuiriam para lhe abrir caminho no ambiente literário inglês. O principal objetivo de Berkeley ao publicar os ensaios foi o de defender o teísmo cristão contra os “livre-pensadores” da época, assumidos como materialistas e ateus. A tradução aqui apresentada foi realizada com base na edição organizada por Luce e Jessop. The Works of George Berkeley Bishop of Cloyne. Luce, A. A. and Jessop, T. E. London and Edimburgh: Nelson, 1948, v. 7, 185-192. (shrink)

Logik ist nach dem traditionellen Verständnis eine ars iudicandi, eine Kunst, die Gültigkeit von Schlüssen zu prüfen. Da mit die normalen Mittel der modernen Logik zu diesem Zweck eingesetzt werden können, müssen erst Formeln an die Stelle von Sätzen treten: umgangssprachliche Schlüsse müssen adäquat formalisiert werden. Die richtige Formel entwickelt ein theoretisches Konzept des Formalisierens und praktisch anwendbare Adäquatheitskriterien für Formalisierungen. Dabei werden zentrale Fragen der Philosophie der Logik unter dem Gesichtspunkt des Zusammenspiels von Umgangssprache und Formalismus untersucht. Die ausführliche (...) und systematische Diskussion von Formalisierungstests bietet eine wichtige Ergänzung zu den traditionellen Logiklehrbüchern. (shrink)

We investigate an enrichment of the propositional modal language L with a "universal" modality ■ having semantics x ⊧ ■φ iff ∀y(y ⊧ φ), and a countable set of "names" - a special kind of propositional variables ranging over singleton sets of worlds. The obtained language ℒ $_{c}$ proves to have a great expressive power. It is equivalent with respect to modal definability to another enrichment ℒ(⍯) of ℒ, where ⍯ is an additional modality with the semantics x ⊧ ⍯φ (...) iff Vy(y ≠ x → y ⊧ φ). Model-theoretic characterizations of modal definability in these languages are obtained. Further we consider deductive systems in ℒ $_{c}$ . Strong completeness of the normal ℒ $_{c}$ logics is proved with respect to models in which all worlds are named. Every ℒ $_{c}$ -logic axiomatized by formulae containing only names (but not propositional variables) is proved to be strongly frame-complete. Problems concerning transfer of properties ([in]completeness, filtration, finite model property etc.) from ℒ to ℒ $_{c}$ are discussed. Finally, further perspectives for names in multimodal environment are briefly sketched. (shrink)

This paper offers a brand storytelling, that is a narratological account of Covid-19 pandemic’s emergence phase. By adopting a fictional ontological standpoint, the virus’ deploying media story-world is identified with a process of narrative spacing. Subsequently, the brand’s personality is analyzed as a narrative place brand. The narrative model that is put forward aims at outlining the main episodes that make up the virus’ brand personality as process and structural components (actors, settings, actions, relationships). A series of deep or ontological (...) metaphors are singled out as the core DNA of this place brand, by applying metaphorical modeling to the tropical articulation of Covid-19’s narrative. The virus’ kernel is identified with terror, as a menacing force that wipes out existing regimes of signification due to its uncertain motives, origins and operational mode. In this context, familiar urban spaces, cultural practices and intersubjective communications are redefined, repurposed and reprogrammed. This process is called terrorealization, as the desertification and metaphorical sublation of all prior territorial significations. This study contributes to the narrative sub-stream of place branding by approaching a globally relevant sociocultural phenomenon from a brand storytelling perspective. (shrink)

The cultural consumption research landscape of the 21st century is marked by an increasing cross-disciplinary fermentation. At the same time, cultural theory and analysis have been marked by successive ‘inter-’ turns, most notably with regard to the Big Four: multimodality (or intermodality), interdiscursivity, transmediality (or intermediality), and intertextuality. This book offers an outline of interdiscursivity as an integrative platform for accommodating these notions. To this end, a call for a return to Foucault is issued via a critical engagement with the (...) so-called practice-turn. This re-turn does not seek to reconstitute venerably Foucauldianism, but to theorize ‘inters-’ as vanishing points that challenge the integrity of discrete cultural orders in non-convergent manners. The propounded interdiscursivity approach is offered as a reading strategy that permeates the contemporary cultural consumption phenomena that are scrutinized in this book, against a pan-consumptivist framework. By drawing on qualitative and mixed methods research designs, facilitated by CAQDAS software, the empirical studies that are hosted here span a vivid array of topics that are directly relevant to both traditional and new media researchers, such as the consumption of ideologies in Web 2.0 social movements, the ability of micro-celebrities to act as cultural game-changers, the post-loyalty abjective consumption ethos. The theoretically novel approaches on offer are coupled with methodological innovations in areas such as user-generated content, artists’ branding, and experiential consumption. (shrink)

Functionalism would be mistaken if there existed a system of deviant relations (an “anti-mind”) that had the same functional roles as the standard mental relations. In this paper such a system is constructed, using “Quinean transformations” of the sort associated with Quine’s thesis of the indeterminacy of translation. For example, a mapping m from particularistic propositions (e.g., that there exists a rabbit) to universalistic propositions (that rabbithood is manifested). Using m, a deviant relation thinking* is defined: x thinks* p iff (...) x thinks m(p). Such deviant relations satisfy the commonly discussed functionalist psychological principles. Finally, a more complicated system of deviant relations is constructed, one satisfying sophisticated principles dealing with the self-conscious rational mind. (shrink)

Presented here is an argument for the existence of universals. Like Church's translation- test argument, the argument turns on considerations from intensional logic. But whereas Church's argument turns on the fine-grained informational content of intensional sentences, this argument turns on the distinctive logical features of 'that'-clauses embedded within modal contexts. And unlike Church's argument, this argument applies against truth-conditions nominalism and also against conceptualism and in re realism. So if the argument is successful, it serves as a defense of full (...) ante rem realism. The argument emphasizes the need for a unified treatment of intensional statements -- modal statements as well as statements of assertion and belief. The larger philosophical moral will be that ante rem universals are uniquely suited to carry a certain kind of modal information. Linguistic entities, mind-dependent universals, and instance-dependent universals are incapable of serving that function. (shrink)

It is argued that, because of scientific essentialism, two currently popular arguments against the mind-body identity thesis -- the multiple-realizability argument and the Nagel-Jackson knowledge argument -- are unsatisfactory as they stand and that their problems are incurable. It is then argued that a refutation of the identity thesis in its full generality can be achieved by weaving together two traditional Cartesian arguments -- the modal argument and the certainty argument. This argument establishes, not just the falsity of the identity (...) thesis, but also the metaphysical possibility of disembodiment. (shrink)

This paper provides a new approach to a family of outstanding logical and semantical puzzles, the most famous being Frege's puzzle. The three main reductionist theories of propositions (the possible-worlds theory, the propositional-function theory, the propositional-complex theory) are shown to be vulnerable to Benacerraf-style problems, difficulties involving modality, and other problems. The nonreductionist algebraic theory avoids these problems and allows us to identify the elusive nondescriptive, non-metalinguistic, necessary propositions responsible for the indicated family of puzzles. The algebraic approach is also (...) used to defend antiexistentialism against existentialist prejudices. The paper closes with a suggestion about how this theory of content might enable us to give purely semantic (as opposed to pragmatic) solutions to the puzzles based on a novel formulation of the principle of compositionality. (shrink)

In this paper, I explore the link between consciousness and quantum mechanics. Often explanations that invoke consciousness to help explain some of the most perplexing aspects of quantum mechanics are not given serious attention. However, casual dismissal is perhaps unwarranted, given the persistence of the measurement problem, as well as the mysterious nature of consciousness. Using data accumulated from experiments in parapsychology, I examine what anomalous data with respect to consciousness might tell us about various explanations of quantum mechanics. I (...) examine three categories of quantum mechanics interpretations that have some promise of fitting with this anomalous data. I conclude that explanations that posit a substratum of reality containing pure information or potentia, along the lines proposed by Bohm and Stapp, off er the best fit for various categories of this data. (shrink)