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

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

TABLE OF CONTENTS Introduction: Pragmatists in Venice Alexander Kremer... 5 I. Philosophy and human evolution Persons as Natural Artifacts Joseph Margolis... 8 II. Cultural politics and democracy Is Marx a Pragmatist? Tom Rockmore... 24 The waxing and waning of democracy as a way of life : Some of the economic underpinnings Jane Skinner... 33 Redefining the Meaning of 'Morality': A Chapter in the Cultural Politics of Capitalism Kenneth W. Stikkers... 42 Imperial Irony: Rorty, Richard Henry Pratt and the (...) American Indian Genocide Scott L Pratt... 48 Bruno Latour, American Pragmatism, and the Idea of Non-Human Democracy Leszek Koczanowicz... 59 Beyond culturalism: A Deweyan reading of the expansion of 'Ndrangheta Matteo Santarelli... 66 Philosophy as Cultural Politics in Rorty, Shusterman, And Pragmatism Alexander Kremer... 79 III. Food, Semiotics, Society John Dewey: A Culinary Perspective Dorota Koczanowicz... 88 De-Subjectification in Semiotics: Argumentations, Self-Defense and Signs of Opposing Forces Martin Svantner... 95 IV. Book Reviews Democracy and Consensus: Review Essay of Leszek Koczanowicz's POLITICS OF DIALOGUE John Ryder... 111 Pragmatism Hotel. R. Calcaterra, G. Maddalena & G. Marchetti : lL PRAGMATISMO. DALLE ORIGINI AGLI SVILUPPI CONTEMPORANEl Brunella Antomarini... 117. (shrink)

We define a propositionally quantified intuitionistic logic Hπ + by a natural extension of Kripke's semantics for propositional intutionistic logic. We then show that Hπ+ is recursively isomorphic to full second order classical logic. Hπ+ is the intuitionistic analogue of the modal systems S5π +, S4π +, S4.2π +, K4π +, Tπ +, Kπ + and Bπ +, studied by Fine.

We define a propositionally quantified intuitionistic logic $\mathbf{H}\pi +$ by a natural extension of Kripke's semantics for propositional intutionistic logic. We then show that $\mathbf{H}\pi+$ is recursively isomorphic to full second order classical logic. $\mathbf{H}\pi+$ is the intuitionistic analogue of the modal systems $\mathbf{S}5\pi +, \mathbf{S}4\pi +, \mathbf{S}4.2\pi +, \mathbf{K}4\pi +, \mathbf{T}\pi +, \mathbf{K}\pi +$ and $\mathbf{B}\pi +$, studied by Fine.

Where humans can manipulate and integrate the information they receive in subtle and ever-changing ways from context to context, computers need structured and context-free background information of a sort which ontologies can help to provide. A domain ontology captures the stable, highly general and commonly accepted core knowledge for an application domain. The domain at issue here is that of the life sciences, in particular molecular biology and bioinformatics. Contemporary life science research includes components drawn from physics, chemistry, mathematics, medicine (...) and many other areas, and all of these dimensions, as well as fundamental philosophical issues, must be taken into account in the construction of a domain ontology. Here we describe the basic features of domain ontologies in the life sciences and show how they can be used. (shrink)

The seventh edition of this pragmatic guide to determining right and wrong in the workplace is updated with new case studies and ancillary materials to combine stakeholder perspectives with a deep dive on workplace ethics issues. Using a unique stakeholder-based approach, this book takes business ethics out of the theory realm and provides practical ways to analyze any business decision. Including dozens of cases, Joseph Weiss looks beyond the impacts of ethical lapses on share price and profit to focus (...) on relationships between stakeholders, including individuals, groups, corporations, and governments. The new seventh edition includes seven new cases and ten new Point/Counterpoint exercises, which challenge students to argue both sides of a contemporary issue. It incorporates the latest research as well as updated cases dealing with recent scandals at organizations such as Boeing, Facebook, and Uber. Professors will have access to online support, including teaching notes, PowerPoint slides, and sample tests. The book is equipped with a step-by-step guide to implementing stakeholder analysis, tips to help students apply ethical principles in their personal and professional lives, and comprehensive coverage of employee workplace issues. Addressing relevant topics such as risk management, preferential hiring, and sexual harassment in conjunction with the digital divide, bribery, the environment, and more, Business Ethics, seventh edition explores ethical implications in today's increasingly interconnected global business environment. (shrink)

The integration of standardized biomedical terminologies into a single, unified knowledge representation system has formed a key area of applied informatics research in recent years. The Unified Medical Language System (UMLS) is the most advanced and most prominent effort in this direction, bringing together within its Metathesaurus a large number of distinct source-terminologies. The UMLS Semantic Network, which is designed to support the integration of these source-terminologies, has proved to be a highly successful combination of formal coherence and broad scope. (...) We argue here, however, that its organization manifests certain structural problems, and we describe revisions which we believe are needed if the network is to be maximally successful in realizing its goals of supporting terminology integration. (shrink)

This book critically assesses arguments for the existence of the God of classical theism, develops an innovative account of objects’ persistence, and defends new arguments against classical theism. The authors engage the following classical theistic proofs: Aquinas’s First Way, Aquinas’s De Ente argument, and Feser’s Aristotelian, Neo-Platonic, Augustinian, Thomistic, and Rationalist proofs. The authors also provide the first systematic treatment of the ‘existential inertia thesis’. By connecting the thesis to relativity theory and recent developments in the philosophy of physics, and (...) by developing a variety of novel existential-inertia-friendly explanations of persistence, they mount a formidable new case against classical theistic proofs. Finally, they defend new arguments against classical theism based on abstract objects and changing divine knowledge. The text appeals to students, researchers, and others interested in classical theistic proofs, the existence and nature of God, and the ultimate explanations of persistence, change, and contingency. (shrink)

Fine and Kripke extended S5, S4, S4.2 and such to produce propositionally quantified systems , , : given a Kripke frame, the quantifiers range over all the sets of possible worlds. is decidable and, as Fine and Kripke showed, many of the other systems are recursively isomorphic to second-order logic. In the present paper I consider the propositionally quantified system that arises from the topological semantics for S4, rather than from the Kripke semantics. The topological system, which I dub , (...) is strictly weaker than its Kripkean counterpart. I prove here that second-order arithmetic can be recursively embedded in . In the course of the investigation, I also sketch a proof of Fine's and Kripke's results that the Kripkean system is recursively isomorphic to second-order logic. (shrink)

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

R. K. Meyer once gave precise form to the question of whether relevant implication can be defined in any modal system, and his answer was `no'. In the present paper, we extend S4, first with propositional quantifiers, to the system S4π+; and then with definite propositional descriptions, to the system S4π+ lp . We show that relevant implication can in some sense be defined in the modal system S4π+ lp , although it cannot be defined in S4π+.

R. K. Meyer once gave precise form to the question of whether relevant implication can be defined in any modal system, and his answer was `no'. In the present paper, we extend $\mathbf{S4}$, first with propositional quantifiers, to the system $\mathbf{S4\pi}+$; and then with definite propositional descriptions, to the system $\mathbf{S4\pi}+^{lp}$. We show that relevant implication can in some sense be defined in the modal system $\mathbf{S4\pi}+^{lp}$, although it cannot be defined in $\mathbf{S4\pi}+$.

The term 'implicit bias' has very swiftly been incorporated into philosophical discourse. Our aim in this paper is to scrutinise the phenomena that fall under the rubric of implicit bias. The term is often used in a rather broad sense, to capture a range of implicit social cognitions, and this is useful for some purposes. However, we here articulate some of the important differences between phenomena identified as instances of implicit bias. We caution against ignoring these differences: it is likely (...) they have considerable significance, not least for the sorts of normative recommendations being made concerning how to mitigate the bad effects of implicit bias. (shrink)

While engaging in rich discussion, Conspiracy Theories analyzes current arguments and evidence while providing real-world examples so students can contextualize and visualize the debates. Each chapter addresses important current questions, provides conceptual tools, defines important terms, and introduces the appropriate methods of analysis.

Dynamic topological logic provides a context for studying the confluence of the topological semantics for S4, topological dynamics, and temporal logic. The topological semantics for S4 is based on topological spaces rather than Kripke frames. In this semantics, □ is interpreted as topological interior. Thus S4 can be understood as the logic of topological spaces, and □ can be understood as a topological modality. Topological dynamics studies the asymptotic properties of continuous maps on topological spaces. Let a dynamic topological system (...) be a topological space X together with a continuous function f. f can be thought of in temporal terms, moving the points of the topological space from one moment to the next. Dynamic topological logics are the logics of dynamic topological systems, just as S4 is the logic of topological spaces. Dynamic topological logics are defined for a trimodal language with an S4-ish topological modality □ , and two temporal modalities, ○ and * , both interpreted using the continuous function f. In particular, ○ expresses f’s action on X from one moment to the next, and * expresses the asymptotic behaviour of f. (shrink)

Dynamic topological logic provides a context for studying the confluence of the topological semantics for S4, topological dynamics, and temporal logic. The topological semantics for S4 is based on topological spaces rather than Kripke frames. In this semantics, □ is interpreted as topological interior. Thus S4 can be understood as the logic of topological spaces, and □ can be understood as a topological modality. Topological dynamics studies the asymptotic properties of continuous maps on topological spaces. Let a dynamic topological system (...) be a topological space X together with a continuous function f. f can be thought of in temporal terms, moving the points of the topological space from one moment to the next. Dynamic topological logics are the logics of dynamic topological systems, just as S4 is the logic of topological spaces. Dynamic topological logics are defined for a trimodal language with an S4-ish topological modality □, and two temporal modalities, ○ and *, both interpreted using the continuous function f. In particular, ○ expresses f’s action on X from one moment to the next, and * expresses the asymptotic behaviour of f. (shrink)

This text provides an extensive exploration of the relationship between the thought of Otto Neurath and Rudolf Carnap, providing a new argument for the complementarity of their mature philosophies as part of a collaborative metatheory of science. In arguing that both Neurath and Carnap must be interpreted as proponents of epistemological naturalism, and that their naturalisms rest on shared philosophical ground, it is also demonstrated that the boundaries and possibilities for epistemological naturalism are not as restrictive as Quinean orthodoxy has (...) previously suggested. Both building on and challenging the scholarship of the past four decades, this naturalist reading of Carnap also provides a new interpretation of Carnap’s conception of analyticity, allowing for a refutation of the Quinean argument for the incompatibility of naturalism and the analytic/synthetic distinction. In doing so, the relevance and potential importance of their scientific meta-theory for contemporary questions in the philosophy of science is demonstrated. This text appeals to students and researchers working on Logical Empiricism, Quine, the history of analytic philosophy and the history of philosophy of science, as well as proponents of naturalized epistemology. (shrink)

The book combines philosophical exposition and legal analysis, and pays special attention to issues of tort law.

In our papers on the rationality of magic, we distinghuished, for purposes of analysis, three levels of rationality. First and lowest (rationalitYl) the goal directed action of an agent with given aims and circumstances, where among his circumstances we included his knowledge and opinions. On this level the magician's treatment of illness by incantation is as rational as any traditional doctor's blood-letting or any modern one's use of anti-biotics. At the second level (rationalitY2) we add the element of rational thinking (...) or thinking which obeys some set of explicit rules, a level which is not found in magic in general, though it is sometimes given to specific details of magical thinking within the magical thought-system. It was the late Sir Edward E. Evans-Pritchard who observed that when considering magic in detail the magician may be as consistent or critical as anyone else; but when considering magic in general, or any system of thought in general, the magician could not be critical or even comprehend the criticism. Evans-Pritchard went even further: he was sceptical as to whether it could be done in a truly consistent manner: one cannot be critical of one's own system, he thought. On this level (rationalitY2) of discussion we have explained (earlier) why we prefer to wed Evans Pritchard's view of the magician's capacity for piece-meal rationality to Sir James Frazer's view that magic in general is pseudo-rational because it lacks standards of rational thinking. (shrink)

In ‘Fair Infinite Lotteries’ (FIL), Wenmackers and Horsten use non-standard analysis to construct a family of nicely-behaved hyperrational-valued probability measures on sets of natural numbers. Each probability measure in FIL is determined by a free ultrafilter on the natural numbers: distinct free ultrafilters determine distinct probability measures. The authors reply to a worry about a consequent ‘arbitrariness’ by remarking, “A different choice of free ultrafilter produces a different ... probability function with the same standard part but infinitesimal differences.” They illustrate (...) this remark with the example of the sets of odd and even numbers. Depending on the ultrafilter, either each of these sets has probability 1/2, or the set of odd numbers has a probability infinitesimally higher than 1/2 and the set of even numbers infinitesimally lower. The point of the current paper is simply that the amount of indeterminacy is much greater than acknowledged in FIL: there are sets of natural numbers whose probability is far more indeterminate than that of the set of odd or the set of even numbers. (shrink)

The aim of this article is to fill a certain gap in the assessment of relativism by drawing on Joseph Ratzinger’s (1927–2022) criticism of the normative transformation since Kant. During the Enlightenment, Natural Law was doubted as a cultural feature of Christianity that had no bearing on pluralist society. Consequently, this jurisprudential tradition underwent de-Hellenization and branched out in radical directions, the most decisive of which was Kant’s post-metaphysical system of natural values. Positivism and German Idealism attempted to restore (...) the unity of philosophy that Kant’s philosophy had disrupted. Yet even more influentially, in the nineteenth and twentieth centuries it was Marxism that relativized the doxological aspect of normativity by emphasizing the importance of praxis. Since philosophy became neither an exact science as Kant had conceived it to be, nor a practical programme for social justice as Marxism had promised, the Existentialists, and particularly Sartre, advocated a more radical philosophy of freedom. Ratzinger argues that despite the nuances of post-Kantian philosophy, Positivism, Existentialism, and Marxism failed to comprehend the human condition and that the positivist method resulted in an overwhelming relativism that has reduced normativity to a matter of correct procedures rather than regarding it as the foundation of the inviolable dignity of the human being. (shrink)

The topological semantics for modal logic interprets a standard modal propositional language in topological spaces rather than Kripke frames: the most general logic of topological spaces becomes S4. But other modal logics can be given a topological semantics by restricting attention to subclasses of topological spaces: in particular, S5 is logic of the class of almost discrete topological spaces, and also of trivial topological spaces. Dynamic Topological Logic interprets a modal language enriched with two unary temporal connectives, next and henceforth. (...) DTL interprets the extended language in dynamic topological systems: a DTS is a topological space together with a continuous function used to interpret the temporal connectives. In this paper, we axiomatize four conservative extensions of S5, and show them to be the logic of continuous functions on almost discrete spaces, of homeomorphisms on almost discrete spaces, of continuous functions on trivial spaces and of homeomorphisms on trivial spaces. (shrink)

According to agent-based approaches to virtue ethics, the rightness of an action is a function of the motives which prompted that action. If those motives were morally praiseworthy, then the action was right; if they were morally blameworthy, the action was wrong. Many critics find this approach problematically insensitive to an act’s consequences, and claim that agent-basing fails to preserve the intuitive distinction between agent- and act-evaluation. In this article I show how an agent-based account of right action can be (...) made sensitive to an act’s consequences. According to the approach which I defend, an action is right just in case it realizes an agent’s morally praiseworthy motive. Conversely, an action is wrong just in case it realizes a morally blameworthy motive. Specifying act-evaluation in terms of the realization, rather than the expression, of an agent’s motives allows an agent-based approach to distinguish between agent- and act-evaluation. This is because an agent may act from a morally praiseworthy motive, but fail to realize that motive. Her action will therefore not have been the right one, despite its being the expression of morally praiseworthy motives. (shrink)

This anthology of essays on the work of David Kaplan, a leading contemporary philosopher of language, sprang from a conference, "Themes from Kaplan," organized by the Center for the Study of Language and Information at Stanford University.

In The Revision Theory of Truth (MIT Press), Gupta and Belnap (1993) claim as an advantage of their approach to truth "its consequence that truth behaves like an ordinary classical concept under certain conditions—conditions that can roughly be characterized as those in which there is no vicious reference in the language." To clarify this remark, they define Thomason models, nonpathological models in which truth behaves like a classical concept, and investigate conditions under which a model is Thomason: they argue that (...) a model is Thomason when there is no vicious reference in it. We extend their investigation, considering notions of nonpathologicality and senses of "no vicious reference" generated both by revision theories of truth and by fixedpoint theories of truth. We show that some of the fixed-point theories have an advantage analogous to that which Gupta and Belnap claim for their approach, and that at least one revision theory does not. This calls into question the claim that the revision theories have a distinctive advantage in this regard. (shrink)

In light of a well-documented deficit in theory of mind found in high-functioning individuals with autism and Asperger Syndrome, this article explores HFA and AS children’s social-cognitive understanding of other people as reflected in their linguistic performance when answering mundane, everyday questions posed by their family members during dinnertime interaction. Ethnographic observations and video recordings of spontaneous interaction at home reveal that, contrary to findings in cognitive psychological research, the majority of the time the children were able to detect their (...) interlocutors’ communicative intentions and produce relevant responses that were marked by their conversational partners as acceptable. This article proposes that this success is due in part to parents who, through different strategies, facilitate their HFA and AS children’s access to socio-cultural perspective-taking and their interlocutors’ intentions, and better their children’s communicative skills. (shrink)