Due to Gӧdel’s incompleteness results, the categoricity of a sufficiently rich mathematical theory and the semantic completeness of its underlying logic are two mutually exclusive ideals. For first- and second-order logics we obtain one of them with the cost of losing the other. In addition, in both these logics the rules of deduction for their quantifiers are non-categorical. In this paper I examine two recent arguments –Warren (2020), Murzi and Topey (2021)– for the idea that the natural deduction rules (...) for the first-order universal quantifier are categorical, i.e., they uniquely determine its semantic intended meaning. Both of them make use of McGee’s open-endedness requirement and the second one uses in addition Garson’s (2013) local models for defining the validity of these rules. I argue that the success of both these arguments is relative to their semantic or infinitary assumptions, which could be easily discharged if the introduction rule for the universal quantifier is taken to be an infinitary rule, i.e. non-compact. Consequently, I reconsider the use of the ω-rule and I show that the addition of the ω-rule to the standard formalizations of first-order logic is categorical. In addition, I argue that the open-endedness requirement does not make the first-order Peano Arithmetic categorical and I advance an argument for its categoricity based on the inferential conservativity requirement. (shrink)

One of the philosophical uses of Dedekind’s categoricity theorem for Peano Arithmetic is to provide support for semantic realism. To this end, the logical framework in which the proof of the theorem is conducted becomes highly significant. I examine different proposals regarding these logical frameworks and focus on the philosophical benefits of adopting open-ended schemas in contrast to second order logic as the logical medium of the proof. I investigate Pederson and Rossberg’s critique of the ontological advantages of open-ended arithmetic (...) when it comes to establishing the categoricity of Peano Arithmetic and show that the critique is highly problematic. I argue that Pederson and Rossberg’s ontological criterion deliver the bizarre result that certain first order subsystems of Peano Arithmetic have a second order ontology. As a consequence, the application of the ontological criterion proposed by Pederson and Rossberg assigns a certain type of ontology to a theory, and a different, richer, ontology to one of its subtheories. (shrink)

The aim of this paper is to make sense of the Keynes–Johnson octagon of oppositions. We will discuss Keynes' logical theory, and examine how his view is reflected on this octagon. Then we will show how this structure is to be handled by means of a semantics of partition, thus computing logical relations between matching formulas with a semantic method that combines model theory and Boolean algebra.

The paper looks at the semantics and ontology of dispositions in the light of recent work on the subject. Objections to the simple conditionals apparently entailed by disposition statements are met by replacing them with so-called 'reduction sentences' and some implications of this are explored. The usual distinction between categorical and dispositional properties is criticised and the relation between dispositions and their bases examined. Applying this discussion to two typical cases leads to the conclusion that fragility is not (...) a real property and that, while both temperature and its bases are, this does not generate any problem of overdetermination. (shrink)

Categorial logic, as its name suggests, applies the techniques and machinery of category theory to topics traditionally classified as part of logic. We claim that these tools deserve attention from a greater range of philosophers than just the mathematical logicians. We support this claim with an example. In this paper we show how one particular tool from categorial logic---hyperdoctrines---suggests interesting metaphysics. Hyperdoctrines can provide semantics for quantified languages, but this account of quantification suggests a metaphysical picture quite different from (...) the one suggested by standard model-theoretic semantics. (shrink)

The paper sketches an argument against modal monism, more specifically against the reduction of physical possibility to metaphysical possibility. The argument is based on semantic aspects of non-distributive quantum logic.

Recent work in epistemology defends the unorthodox theses that belief is (1) an evidentially weak, and (2) question-sensitive attitude, and (3) that forming beliefs is sometimes a matter of guessing. What motivates these theses are examples of rationally permissible belief-ascriptions that exhibit these traits. The main aim of this paper is to outline a semantic account of categorical and conditional belief-ascriptions that captures the motivating data. We then survey some consequences of the proposed semantics, particularly with respect to (...) the question of whether closure under rules of inference is rationally required for weak, question-sensitive belief. (shrink)

This paper is a short introduction to Carnap’s writings on semantics with an emphasis on the transition from the syntactic period to the semantic one. I claim that one of Carnap’s main aims was to investigate the possibility of the symmetry between the syntactic and the semantic methods of approaching philosophical problems, both in logic and in the philosophy of science. This ideal of methodological symmetry could be described as an attempt to obtain categorical logical systems, i.e., systems (...) that allow only the intended semantical interpretation. (shrink)

Vann McGee has recently argued that Belnap’s criteria constrain the formal rules of classical natural deduction to uniquely determine the semantic values of the propositional logical connectives and quantifiers if the rules are taken to be open-ended, i.e., if they are truth-preserving within any mathematically possible extension of the original language. The main assumption of his argument is that for any class of models there is a mathematically possible language in which there is a sentence true in just those models. (...) I show that this assumption does not hold for the class of models of classical propositional logic. In particular, I show that the existence of non-normal models for negation undermines McGee’s argument. (shrink)

Mark Wilson argues that the standard categorizations of "Theory T thinking"— logic-centered conceptions of scientific organization (canonized via logical empiricists in the mid-twentieth century)—dampens the understanding and appreciation of those strategic subtleties working within science. By "Theory T thinking," we mean to describe the simplistic methodology in which mathematical science allegedly supplies ‘processes’ that parallel nature's own in a tidily isomorphic fashion, wherein "Theory T’s" feigned rigor and methodological dogmas advance inadequate discrimination that fails to distinguish between explanatory structures that (...) are architecturally distinct. One of Wilson's main goals is to reverse such premature exclusions and, thus, early on Wilson returns to John Locke's original physical concerns regarding material science and the congeries of descriptive concern insofar as capturing varied phenomena (i.e., cohesion, elasticity, fracture, and the transmission of coherent work) encountered amongst ordinary solids like wood and steel are concerned. Of course, Wilson methodologically updates such a purview by appealing to multiscalar techniques of modern computing, drawing from Robert Batterman's work on the greediness of scales and Jim Woodward's insights on causation. (shrink)

Logical inferentialism maintains that the formal rules of inference fix the meanings of the logical terms. The categoricity problem points out to the fact that the standard formalizations of classical logic do not uniquely determine the intended meanings of its logical terms, i.e., these formalizations are not categorical. This means that there are different interpretations of the logical terms that are consistent with the relation of logical derivability in a logical calculus. In the case of the quantificational logic, the (...) categoricity problem is generated by the finite nature of the standard calculi and one direction in which it can be solved is to strengthen the deductive systems by adding infinitary rules (such as the ω-rule), i.e., to construct a full formalization. Another main direction is to provide a natural semantics for the standard rules of inference, i.e., a semantics for which these rules are categorical. My aim in this paper is to analyze some recent approaches for solving the categoricity problem and to argue that a logical inferentialist should accept the infinitary rules of inference for the first order quantifiers, since our use of the expressions “all” and “there is” leads us beyond the concrete and finite reasoning, and human beings do sometimes employ infinitary rules of inference in their reasoning. (shrink)

Logical inferentialism maintains that the formal rules of inference fix the meanings of the logical terms. The categoricity problem points out to the fact that the standard formalizations of classical logic do not uniquely determine the intended meanings of its logical terms, i.e., these formalizations are not categorical. This means that there are different interpretations of the logical terms that are consistent with the relation of logical derivability in a logical calculus. In the case of the quantificational logic, the (...) categoricity problem is generated by the finite nature of the standard calculi and one direction in which it can be solved is to strengthen the deductive systems by adding infinitary rules (such as the ω-rule), i.e., to construct a full formalization. Another main direction is to provide a natural semantics for the standard rules of inference, i.e., a semantics for which these rules are categorical. My aim in this paper is to analyze some recent approaches for solving the categoricity problem and to argue that a logical inferentialist should accept the infinitary rules of inference for the first order quantifiers, since our use of the expressions “all” and “there is” leads us beyond the concrete and finite reasoning, and human beings do sometimes employ infinitary rules of inference in their reasoning. (shrink)

This thesis describes two classes of Dialectica categories. Chapter one introduces dialectica categories based on Goedel's Dialectica interpretation and shows that they constitute a model of Girard's Intuitionistic Linear Logic. Chapter two shows that, with extra assumptions, we can provide a comonad that interprets Girard's !-course modality. Chapter three presents the second class of Dialectica categories, a simplification suggested by Girard, that models (classical) Linear Logic and chapter four shows how to provide modalities ! and ? for this second class (...) of construction. (shrink)

The Duhem-Quine thesis famously holds that a single hypothesis cannot be confirmed or disconfirmed in isolation, but instead only in conjunction with other background hypotheses. This article argues that this has important and underappreciated implications for metaethics. Section 1 argues that if one begins metaethics firmly wedded to a naturalistic worldview—due (e.g.) to methodological/epistemic considerations—then normativity will appear to be reducible to a set of social-psycho-semantic behaviors that I call the ‘normative stance.’ Contra Hume and Bedke (2012), I argue that (...) the normative stance provides semantically-grounded entailments from natural truths to normative truths, reducing the latter to the former. Specifically, the normative stance explains the truth-conditions, truth-values, and truth-makers of normative propositions in terms of socially grounded cognitive-behavioral rules and other natural facts, thus explaining how there can be bona fide normative facts and properties in a wholly naturalistic world. I then show that the normative stance explains the apparent stance-independence and non-naturalness of normative reasons, intrinsic value, and categoricity of moral reasons as ‘user-illusions’ generated by people having strong psycho-social propensities—rooted in evolution and social cooperation—to take these normative stances. Section 2 then argues that while the normative stance may appear to naturalists to successfully explain normativity, it will not appeal to those who come to metaethics with different background commitments. I conclude that naturalists should take the normative stance to be a promising metaethical theory of normativity, and that whether it is a true theory of normativity is something that can only be ascertained by determining which background hypotheses—naturalistic or otherwise—we should have when doing metaethics. (shrink)

In the first part of this investigation we highlight two, seemingly irreconcilable, beliefs that suggest an impending crisis in the teaching, research, and practice of—primarily state-supported—mathematics: (a) the belief, with increasing, essentially faith-based, conviction and authority amongst academics that first-order Set Theory can be treated as the lingua franca of mathematics, since its theorems—even if unfalsifiable—can be treated as ‘knowledge’ because they are finite proof sequences which are entailed finitarily by self-evidently Justified True Beliefs; and (b) the slowly emerging, but (...) powerfully rooted in economic imperatives, belief that only those Justified True Beliefs can be treated as ‘knowledge’ which are, further, categorically communicable as Factually Grounded Beliefs—hence as comprehensible pre-formal ‘mathematical truths’—by any intelligence that lays claims to a mathematical lingua franca. We argue that this seeming irreconcilability merely reflects a widening chasm between an increasing under-estimation of the value to society of ‘semantic arithmetical truth’, and an increasing over-estimation of the value to society of ‘syntactic set-theoretical provability’; a chasm which must be narrowed and bridged explicitly. We thus proffer a Complementarity Thesis which seeks to recognize that mathematical ‘provability’ and mathematical ‘truth’ need to be interdependent and complementary, ‘evidence-based’, assignments-by-convention to the formulas of a formal mathematical language; where (a) the goal of mathematical ‘proofs’ may be viewed as seeking to ensure that any mathematical language intended to formally represent our pre-formal conceptual metaphors and their inter-relatedness is unambiguous, and free from contradiction; whilst (b) the goal of mathematical ‘truths’ must be viewed as seeking to ensure that any such representation does, indeed, uniquely identify and adequately represent such metaphors and their inter-relatedness. Our thesis is that, by universally ignoring the need to introduce goal (b) in our curriculum, the teaching of, and research in, mathematics at the post-graduate level cannnot justify its value to society beyond the mere intellectual stimulation of individual minds. In the second part we appeal to some recent—and hitherto unsuspected—unarguably constructive Tarskian interpretations, of the first-order Peano Arithmetic PA, which establish PA as both finitarily consistent, and categorical. Since we also show that the second order subsystem ACA0 of Peano Arithmetic and PA cannot both be assumed provably consistent, we conclude that there can be no mathematical, or meta-mathematical, proof of consistency for Set Theory. Hence the theorems of any Set Theory are not sufficient for distinguishing between (i) what we can believe to be a ‘mathematical truth’; (ii) what we can evidence as a ‘mathematical truth’; and (iii) what we ought not to believe is a ‘mathematical truth’; whilst the theorems of the first-order Peano Arithmetic PA are sufficient for distinguishing between (i), (ii) and (iii). We conclude from this that the holy grail of mathematics ought to be ‘arithmetical truth’, not ‘set-theoretical proof’. (shrink)

There are various ways in which context matters in ethics. Most clearly, the context in which an action is performed might determine whether the action is morally right: though it is often wrong not to keep a promise, it might be permissible in certain contexts. More radically, proponents of moral particularism (see particularism) have argued that a reason for an action in one context is not guaranteed to be a reason in a different context: whether it is a reason against (...) an act that it breaks a promise or inflicts pain might depend on the particulars of the situation. In moral epistemology, Timmons (1999: Ch. 5) argues that whether a moral judgment is epistemically responsible depends both on the basic moral outlook of the moral judge and on whether the context of judgment is one of engaged moral thinking, or one of distanced, skeptical reflection. In the former, the judge’s basic moral outlook can serve to justify the judgment; not so in the latter (see epistemology, moral). -/- Our focus here, however, will be on forms of metaethical, and more precisely semantic, contextualism in moral discourse and moral thinking. According to these forms of contextualism (henceforth “metaethical contextualism,” or just “contextualism”), the meaning or truth-conditions of a moral judgment depend not only on the properties of the act it concerns, but also on features of the context in which the judgment is made, such as the standards endorsed by the moral judge or the parties of the conversation. If metaethical contextualism is correct, it might be that when two persons judge that abortions must be banned, one person’s judgment might be true whereas the other person’s is false, because they accept different fundamental norms. This would undermine the idea that there are objectively correct answers to moral questions. -/- Metaethical contextualism is supported from three directions. First, what is expressed by terms such as “good” and “ought” seems to be context-dependent when used outside ethics, being dependent on a variety of interests and concerns. One might therefore expect similar context dependence when these terms are used to express moral judgments, assuming a corresponding variety of interests and concerns in moral contexts. Second, many have thought that deep moral disagree- ments suggest that the interests and concerns behind moral judgments do vary in this way. Finally, contextualism promises to make sense of what seems to be an intrinsic yet defeasible connection between moral judgments and moral motivation, by tying the meaning or truth-conditions of moral judgments closely to interests and concerns of moral judges. At the same time, contextualism faces two broad kinds of problems: to make sense of the seemingly categorical or objective preten- sions of moral claims, and to explain why the parties to deep moral disagreement often behave as if they were disagreeing about substantive issues rather than talking past each other. In the sections that follow, we look closer at both sources of support and problems for contextualism. (shrink)

In the paper, original formal-logical conception of syntactic and semantic: intensional and extensional senses of expressions of any language L is outlined. Syntax and bi-level intensional and extensional semantics of language L are characterized categorically: in the spirit of some Husserl’s ideas of pure grammar, Leśniewski-Ajukiewicz’s theory syntactic/semantic categories and in accordance with Frege’s ontological canons, Bocheński’s famous motto—syntax mirrors ontology and some ideas of Suszko: language should be a linguistic scheme of ontological reality and simultaneously a tool of (...) its cognition. In the logical conception of language L, its expressions should satisfy some general conditions of language adequacy. The adequacy ensures their unambiguous syntactic and semantic senses and mutual, syntactic, and semantic compatibility, correspondence guaranteed by the acceptance of a postulate of categorial compatibility syntactic and semantic categories of expressions of L. From this postulate, three principles of compositionality follow: one syntactic and two semantic already known to Frege. They are treated as conditions of homomorphism partial algebra of L into algebraic models of L: syntactic, intensional, and extensional. In the paper, they are applied to some expressions with quantifiers. Language adequacy connected with the logical senses described in the logical conception of language L is, of course, an idealization, but only expressions with high degrees of precision of their senses, after due justification, may become theorems of science. (shrink)

If embodied models no longer address the symbol grounding problem and a conceptual system can step in and resolve categorizations when embodied simulations fail, then perhaps the next step in theory-building is to isolate the unique contributions of embodied simulation. What is a disembodied conceptual system incapable of doing with respect to semantic processing or the categorization of smiles?

Empirical knowledge exists in the form of antiskeptical conditionals, which are propositions like [if I am not undetectably deceived, then I am holding a pen]. Such conditionals, despite their trivial appearance, have the same essential content as the categorical propositions that we usually discuss, and can serve the same functions in science and practical reasoning. This paper sketches out two versions of a general response to skepticism that employs these conditionals. The first says that our ordinary knowledge attributions can (...) safely be replaced by statements using antiskeptical conditionals, which provides a way around the standard sort of skeptical argument while accepting its soundness with respect to the usual targets. The second analyzes the objects of our ordinary knowledge attributions as antiskeptical conditionals, which allows us to refute, not just evade, the skeptic's argument. Both versions compare favorably to the best-knowncurrent approaches to skepticism, including semantic contextualism. (shrink)

This paper aims to provide a mathematically tractable background against which to model both modal and hyperintensional cognitivism and modal and hyperintensional expressivism. I argue that epistemic modal algebras, endowed with a hyperintensional, topic-sensitive epistemic two-dimensional truthmaker semantics, comprise a materially adequate fragment of the language of thought. I demonstrate, then, how modal expressivism can be regimented by modal coalgebraic automata, to which the above epistemic modal algebras are categorically dual. I examine five methods for modeling the dynamics of (...) conceptual engineering for intensions and hyperintensions. I develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. I examine then the virtues unique to the modal and hyperintensional expressivist approaches here proffered in the setting of the foundations of mathematics, by contrast to competing approaches based upon both the inferentialist approach to concept-individuation and the codification of speech acts via intensional semantics. (shrink)

*These notes were folded into the published paper "Probability and nonclassical logic*. Revising semantics and logic has consequences for the theory of mind. Standard formal treatments of rational belief and desire make classical assumptions. If we are to challenge the presuppositions, we indicate what is kind of theory is going to take their place. Consider probability theory interpreted as an account of ideal partial belief. But if some propositions are neither true nor false, or are half true, or whatever—then (...) it’s far from clear that our degrees of belief in it and its negation should sum to 1, as classical probability theory requires (?, cf.). There are extant proposals in the literature for generalizing (categorical) probability theory to a non-classical setting, and we will use these below. But subjective probabilities themselves stand in functional relations to other mental states, and we need to trace the knock-on consequences of revisionism for this interrelationship (arguably, degrees of belief only count as kinds of belief in virtue of standing in these functional relationships). (shrink)

This essay examines how Husserl stretches the bounds of his philosophy of meaning, according to which all propositions are categorical, to account for existential propositions, which seem to lack predicates. I examine Husserl’s counterintuitive conclusion that an existential proposition does possess a predicate and I explore his endeavor to pinpoint what that predicate is. This goal is accomplished in three stages. First, I examine Husserl’s standard theory of predication and categorial intuition from his 1901 Logical Investigations. Second, I show (...) how Husserl imposes those 1901 insights to uncover the predicate of the existential proposition in unpublished manuscripts and lectures. He determines that the existential proposition predicates of the subject, that it corresponds to an actual object. This analysis reveals that Husserl’s descriptions of existential propositions from the late 1890s employed both static and genetic methodologies. In those texts, he carefully untangles and clarifies the co-enmeshed passive and active moments of consciousness and shows that the passive givenness of certain circumstances is the condition of possibility for our active verifying of propositions. Finally, I execute a critical assessment of Husserl’s thought to reveal that, while his insights about existential propositions are largely correct, they are augmented by re-construing them within the context of his mature philosophy. Only by renouncing his metaphysical neutrality and by accounting for intersubjectivity, can Husserl properly clarify existential propositions. (shrink)

● Sergio Cremaschi, The non-existing Island. The chapter discusses how the cleavage between the Continental and the Anglo-American philosophies originated, the (self-)images of both philosophical worlds, the converging rediscoveries from the Seventies, and recent ecumenic or anti-ecumenic strategies. I argue that pragmatism provides an important counter-instance to the familiar self-images and the fashionable ecumenic or anti-ecumenic strategies. The conclusions are: (i) the only place where Continental philosophy exists (as Euro-Communism one decade ago) is America; (ii) less obviously, also analytic philosophy (...) does not exist, or does no more exist as a current or a paradigm; what does exist is, on the one hand, philosophy of language and, on the other, philosophy of mind, that is, two disciplines; (iii) the dissolution of analytic philosophy as a school has been highly fruitful, precisely in so far as it has left room for disciplines and research programmes; (iv) what is left, of the Anglo-American/Continental cleavage is primarily differences in styles, depending partly on intellectual traditions, partly owing to sociology, history, institutional frameworks; these differences should not be blurred by rash ecumenism; besides, theoretical differences are alive as ever, but within both camps; finally, there is indeed a lag (not a difference) in the appropriation of intellectual techniques by most schools of 'Continental' philosophy, and this should be overcome through appropriation of what the best 'analytic' philosophers have produced. ● Michael Strauss, Language and sense-perception: an aspect of analytic philosophy. To test an assertion about one fact by comparing it with perceived reality seems quite unproblematic. But the very possibility of such a procedure is incompatible with the intellectualistic basis of logical positivism and atomism (as it is for example to be found in Russell's Analysis of Mind). According to the intellectualistic approach pure sensation is meaningless. Sensation receives its meaning and order from the intellect through interpretation, which is performed with the help of linguistic tools, i.e. words and sentences. Before being interpreted, sensation is not a picture or a representation, it is neither true nor false, neither an illusion nor knowledge; it does not tell us anything; it is a lifeless and order-less matter. But how can a thought (or a proposition) be compared with such a lifeless matter? This difficulty confronts the intellectualist, if on the one hand he admits the necessity of comparing thought with sense-perception, and on the other hand presupposes that we possess only intellectual and no immediate perceptual understanding of what we see and hear. In this paper I give a critical exposition of three attempts, made by Russell, Neurath and Wittgenstein, to solve this problem. The first attempt adheres to strict conventionalism, the second tends to naturalism and the third leads to an amended, very moderate version of conventionalism. This amended conventionalism looks at sense impressions as being a peculiar language, which includes primary symbols, i.e. symbols not founded on convention and not being in need of interpretation. ● Ernst Tugendhat, Phenomenology and language analysis. The paper, first published in German in 1970, by which Tugendhat gave a start to the German rediscovery of analytic philosophy. The author stages a confrontation between phenomenology and language analysis. He argues that language analysis does not differ from phenomenology as far as the topics dealt with are concerned; instead, both currents are quite different in method. The author argues that language-analytic philosophy does not simply lay out of the mainstream of transcendental philosophy, but that instead it challenges this tradition on the very level of foundations. The author criticizes the linguistic-analytic approach centred on the subject as well as any object-centred approach, while proposing inter-subjective understanding through language as the new universal framework. This is, when construed in so general terms, the same program of hermeneutics, though in a more basic version. ● Jürgen Habermas, Language game, intention and meaning. On a few suggestions by Sellars and Wittgenstein. The paper, first published in German in 1975, in which Habermas announces his own linguistic turn through a discovery of speech acts. In this essay the author wants to work out a categorical framework for a communicative theory of society; he takes Wittgenstein's concept of language game as a Leitfade and, besides, he takes advantage also of Wilfried Sellars's quasi-transcendental account of the genesis of intentionality. His goal is to single out the problems connected with a theory of consciousness oriented in a logical-linguistic sense. ● Zvie Bar-On, Isomorphism of speech acts and intentional states. This essay presents the problem of the formal relationship between speech acts and intentional states as an essential part of the perennial philosophical question of the relation between language and thought. I attempt to show how this problem had been dealt with by two prominent philosophers of different camps in our century, Edmund Husserl and John Searle. Both of them wrote extensively about the theory of intentionality. I point out an interesting, as it were unintended, continuity of their work on that theory. Searle started where Husserl left off 80 years earlier. Their meeting point could be used as the first clue in our search. They both adopted in effect the same distinction between two basic aspects of the intentional experience: its content or matter, and its quality or mode. Husserl did not yet have the concept of a speech act as contradistinguished from an intentional state. The working hypothesis, however, which he suggested, could be used as a second clue for the further elaboration of the theory. The relationship of the two levels, the mental and the linguistic, which remained for Husserl in the background only, became the cornerstone of Searle' s inquiry. He employed the speech act as the model and analysed the intentional experience by means of the conceptual apparatus of his own theory of speech acts. This procedure enabled him to mark out a number of parallelisms and correlations between the two levels. This procedure explains the phenomenon of the partial isomorphism of speech acts and intentional states. ● Roberta de Monticelli, Ontology. A dialogue among the linguistic philosopher, the naturalist, and the phenomenological philosopher. This paper proposes a comparison between two main ways of conceiving the role and scope of that fundamental part of philosophy (or of "first" philosophy) which is traditionally called "ontology". One way, originated within the analytic tradition, consists of two main streams, namely philosophy of language and (contemporary) philosophy of mind, the former yielding "reduced ontology" and the latter "neo-Aristotelian ontology". The other way of conceiving ontology is exemplified by "phenomenological ontology" (more precisely, the Husserlian, not the Heideggerian version). Ontology as a theory of reference ("reduced" ontology, or ontology as depending on semantics) is presented and justified on the basis of some classical thesis of traditional philosophy of language (from Frege to Quine). "Reduced ontology" is shown to be identifiable with one level of a traditional, Aristotelian ontology, namely the one which corresponds to one of the four "senses of being" listed in Aristotle's Metaphysics: "being" as "being true". This identification is justified on the basis of Franz Brentano's "rules for translation" of the Aristotelian table of judgements in terms of (positive and negative) existential judgments such as are easily translatable into sentences of first order predicate logic. The second part of the paper is concerned with "neo-Aristotelian ontology", i.e. with naturalism and physicalism as the main ontological options underlying most of contemporary discussion in the philosophy of mind. The qualification of such options as "neo-Aristotelian" is justified; the relationships between "neo-Aristotelian ontology" and "reduced ontology" are discussed. In the third part the fundamental tenet of "phenomenological ontology" is identified by the thesis that a logical theory of existence and being does capture a sense of "existing" and "being" which, even though not the basic one, is grounded in the basic one. An attempt is done of further clarifying this "more basic" sense of "being". An argument making use of this supposedly "more basic" sense is advanced in favour of a "phenomenological ontology". ● Kuno Lorenz, Analytic Roots in Dialogic Constructivism. Both in the Vienna Circle ad in Russell's early philosophy the division of knowledge into two kinds (or two levels), perceptual and conceptual, plays a vital role. Constructivism in philosophy, in trying to provide a pragmatic foundation - a knowing-how - to perceptual as well as conceptual competences, discovered that this is dependent on semiotic tools. Therefore, the "principle of method" had to be amended by the "principle of dialogue". Analytic philosophy being an heir of classical empiricism, conceptually grasping the "given", and constructive philosophy being an heir of classical rationalism, perceptually providing the "constructed", merge into dialogical constructivism, a contemporary development of ideas derived especially from the works of Charles S. Peirce (his pragmatic maxim as a means of giving meaning to signs) and of Ludwig Wittgenstein (his language games as tools of comparison for understanding ways of life). 7. Albrecht Wellmer, "Autonomy of meaning" and "principle of charity" from the viewpoint of the pragmatics of language. In this essay I present an interpretation of the principle of the autonomy of meaning and of the principle of charity, the two main principles of Davidson's semantic view of truth, showing how both principles may fit in a perspective dictated by the pragmatics of language. I argue that (I) the principle of the autonomy of meaning may be thoroughly reformulated in terms of the pragmatics of language, (ii) the principle of charity needs a supplement in terms of pragmatics of language in order to become really enlightening as a principle of interpretation. Besides, I argue that: (i) on the one hand, the fundamental thesis of Habermas on the pragmatic theory of meaning ("we understand a speech act when we know what makes it admissible") is correlated with the seemingly intentionalist thesis according to which we understand a speech act when we know what a speaker means; (ii) on the other hand, to say that the meaning competence of a competent speaker is basically a competence about a potential of reasons (or also of possible justifications) which is inherently connected with the meaning of statements, or with their use in utterances. ● Rüdiger Bubner, The convergence of analytic and hermeneutic philosophy This paper argues that the analytic philosophy does not exist, at least as understood by its original programs. Differences in the analytic camp have always been bigger than they were believed to be. Now these differences are coming to the fore thanks to a process of dissolution of dogmatism. Philosophical analysis is led by its own inner logic towards questions that may be fairly qualified as hermeneutic. Recent developments in analytic philosophy, e.g. Davidson, seem to indicate a growing convergence of themes between philosophical analysis and hermeneutics; thus, the familiar opposition of Anglo-Saxon and Continental philosophy might soon belong to history. The fact of an ongoing appropriation of analytical techniques by present-day German philosophers may provide a basis for a powerful argument for the unity of philosophizing, beyond its strained images privileging one technique of thinking and rejecting the remainder. Actual philosophical practice should take the dialogue between the two camps more seriously; in fact, the processes described so far are no danger to philosophical work. They may be a danger for parochial approaches to philosophizing; indeed, contrary to what happens in the natural sciences, Thomas Kuhn's "normal science" developing within the framework of one fixed paradigm is not typical for philosophical thinking. And in philosophy innovating revolutions are symptoms more of vitality than of crisis. ● Karl-Otto Apel, The impact of analytic philosophy on my intellectual biography. In my paper I try to reconstruct the history of my Auseinandersetzung mit - as I called it - "language-analytical" philosophy (including even Peircean semiotics) since the late Fifties. The heuristics of my study was predetermined by two main motives of my beginnings: the hermeneutic turn of phenomenology and the transformation of "transcendental philosophy" in the light of the "language a priori". Thus, I took issue with the early and the later Wittgenstein, logical positivism, and post-Wittgensteinian and post-empiricist philosophy of science (i.e. G.H. von Wright and the renewal of the "explanation vs understanding controversy" as well as the debate between Th. Kuhn and Popper/Lakatos); besides, with speech act theory and the debate about "transcendental arguments" since Strawson. The "pragmatic turn", started already by C.L. Morris and the later Carnap, led me to study also the relationship between Wittgensteinian "use" theory of meaning and of truth. This resulted on my side in something like a program of "transcendental semiotics", i.e. "transcendental pragmatics" and "transcendental hermeneutics". ● Ben-Ami Scharfstein, A doubt on both their houses: the blindness to non-western philosophies. The burden of my criticism is that contemporary European philosophers of all kinds have continued to think as if there were no true philosophy but that of the West. For the most part, the existentialists have been oblivious of their Eastern congeners; the hermeneuticians have yet to stretch their horizons beyond the most familiar ones; and the analysts remain unaware of the analyses and linguistic sensitivities of the ancient non-European philosophers. Briefly, ignorance still blinds almost all contemporary Western philosophers to the rich, variegated philosophical traditions outside of their familiar orbit. Both Continental and Anglo-Americans have lost the breadth of view that once characterized such thinkers as Herder and the Humboldts. The blindness that has resulted is not simply that of individual Western philosophers but of our whole, still parochial philosophical culture. (shrink)

In the article we consider the relationship of traditional provisions of basic logical concepts and confront them with new and modern approaches to the same concepts. Logic is characterized in different ways when it is associated with syllogistics (referential – semantical model of logic) or with symbolic logic (inferential – syntactical model of logic). This is not only a difference in the logical calculation of (1) concepts, (2) statements, and (3) predicates, but this difference also appears in the treatment of (...) the calculative abilities of logical forms, the ontological-referential status of conceptual content and the inferential-categorical status of logical forms. The basic markers or basic ideas that separate ontologically oriented logic from categorically oriented logic are the (1) concept of truth, the (2) concept of meaning, the (3) concept of identity, and the (4) concept of predication. Here, this differences are explicitly demonstrated by the introduction of differential terminology. From this differential methodology follows a new set of characterizations of logic. (shrink)

Imagine an equilateral triangle “pointing upward”—its horizontal base under its apex angle. A semiotic triangle has the following three “vertexes”: (apex) an expression, (lower-left) one of the expression’s conceptual meanings or senses, and (lower-right) the referent or denotation determined by the sense [1, pp. 88ff]. One example: the eight-letter string ‘coleslaw’ (apex), the concept “coleslaw” (lower-left), and the salad coleslaw (lower-right) [1, p. 84f]. Using Church’s terminology [2, pp. 6, 41]—modifying Frege’s—the word ‘coleslaw’ expresses the concept “coleslaw”, the word ‘coleslaw’ (...) denotes or names the salad coleslaw, and the concept “coleslaw” determines the salad coleslaw—recalling Frege’s principle that sense determines denotation. Church [2, p. 6] wrote: -/- We shall say that a name denotes or names its denotation and expresses its sense. […] Of the sense we say that it determines its denotation, or is a concept of the denotation. -/- Aristotle seems cognizant of distinctions going beyond those in semiotic triangles. The expression Aristotle’s semiotic pyramids seem warranted by Aristotle’s Categories, 1a1: -/- When [two] things have a name (onoma) in common and the concept (logos) of being (ousia) which corresponds to the name in each case is different, they are called same-named (homonuma). Thus, for example, both a man and a picture [of an animal] are called animals. These have only a name in common. In each case the name’s concept of being [an animal] is different; for if one says what being an animal is for each of them, one will give two distinct concepts. -/- Semiotic triangles and pyramids in Aristotle’s logic are compared to those in Church’s [2]. [1] JOHN CORCORAN, Sentence, proposition, judgment, statement, and fact, Many Sides of Logic, College Publications, 2009. [2] ALONZO CHURCH, Introduction to Mathematical Logic, Princeton, 1956. -/- The semiotic pyramid in Categories, 1a1 has a square base under the vertex ‘animal’. On the corners of the square are: the concept “animal”, the concept “animal picture”, the animals, and the animal pictures. The animals are homonymous with the animal pictures. People find Aristotle’s example far-fetched or inept even if the experience of pointing to a picture while saying “That is Tarski” is familiar. Imagine looking at a painting while thinking “That is an animal”. Without putting too fine a point on this, notice that in Aristotle’s sense it is individual things that are homonymous, not words. It would be natural to say also in his sense that two things are homonyms if one is homonymous with the other. In contrast, we use the words homonym and homonymous to relate words that are spelled the same and pronounced the same but have different meaning. Consider the noun ‘center’ and the verb ‘center’. Consider the noun ‘smell’ and the verb ‘smell’. The spelling of two homonyms is an ambiguity, or an ambiguous spelling. We need appropriate adjectives to distinguish the Categorical senses of ‘homonym’ and ‘homonymous’ from the current English sense just mentioned. I propose ‘ontological’ for the sense relating things and ‘linguistic’ for that relating words. Given that all words are things but not all things are words, we ask are words that are linguistically homonymous also ontologically homonymous? END OF POST ABSTRACT. (shrink)

Bu kitapta, Ebû İshâk es-Saffâr’ın (öl. 534/1139) kelâmî görüşleri, Telḫîṣü’l-edille li-ḳavâʿidi’t-tevḥîd adlı eserinde Allah’ın isimlerinin anlamlarını açıklarken yaptığı yorumlar çerçevesinde ele alınmaktadır. Ebû İshâk es-Saffâr, 6./12. yüzyıl Hanefî-Mâtürîdî âlimlerinden biridir. Kelâma dair Telḫîṣü’l-edille eserinde esmâ-i hüsnâ konusuna ayrıntılı olarak yer vermektedir. İki cilt hâlinde yayımlanan bu eserin yaklaşık üçte birlik bir kısmını esmâ-i hüsnâ konusu oluşturmaktadır. Bu kısım incelendiğinde, Saffâr’ın Allah’ın varlığı, birliği ve sıfatları ile ilgili konular başta olmak üzere pek çok konuyu 175 esmâ-i hüsnâya dayanarak izah ettiği görülmektedir. (...) O, esmâ-i hüsnâ bölümünde yer vermediği bazı isimlere ise müstakil başlıklar altında değinmektedir. Örneğin el-Mütekkelim ismi kelâm sıfatını bağlamında ve halku’l-Kur’ân ile icâz’ul-Kur’ân gibi konularla ilişkili bir şekilde ele almaktadır. Bu isimler de listeye dahil edildiğinde sayı 178’e ulaşmaktadır. Bu durumda eserin yarısını esmâ-i hüsnâ konusu teşkil etmektedir. -/- Saffâr, esmâ-i hüsnâ bölümünde alfabetik bir sıra içerisinde ele aldığı ilâhî isimleri öncelikle lugavî (semantik) yönden izah etmektedir. Sonrasında ise değerlendirdiği ilahî ismi, bir kelâm konusu ile bağlantı kurarak kelâmî perspektifle açıklamaktadır Esmâ-i hüsnâ temelinde ele alınan konuların hilâfet meselesi hariç diğer kelâm bahislerini kapsadığı görülmektedir. Saffâr öncesi Hanefî-Mâtürîdî kelâm literatürü içinde esmâ-i hüsnânın bu kadar kapsamlı ele alındığı başka bir eser bilinmemektedir. -/- Bu kitap; üç ana bölümden oluşmaktadır. “Metodolojik Çerçeve” başlıklı giriş bölümünde çalışmanın konusu, önemi, amacı, yöntemi ve kaynakları hakkında bilgi verilmiştir. Birinci bölümde Saffâr’ın yaşadığı sosyokültürel çevre olan Mâverâünnehir bölgesi ile Buhara ve Merv şehirlerinin siyasî, sosyal ve dinî durumu ortaya konulmaya çalışılmıştır. İkinci bölümde esmâ-i hüsna konusunun anlaşılmasına temel oluşturan isim, tesmiye, müsemmâ, sıfat ve vasf gibi kavramlar ile esmâ-i hüsnânın sayısı ve ihsâsı gibi kelâmî tartışmalara değinilmiştir. Sonrasında Saffâr öncesi dönemde kaleme alınan esmâ-i hüsnâ litaratürü hakkında bilgi verilmiştir. Bölüm sonuna Saffâr’ın rivayet ettiği 178 ilahî isme dair ayrıntılı bir tablo eklenmiştir. Üçüncü bölümde öncelikle, Saffâr’ın esmâ-i hüsnâyı izah ederken dikkate aldığı kelâmî ilkeler tespit edilmeye çalışılmıştır. Sonrasında ise Saffâr’ın Telḫîṣü’l-edille’de ilâhî isimleri açıklarken ortaya koyduğu kelâmî görüş ve değerlendirmeler belirlenerek sistematik bir şekilde kategorize edilmiştir. Bu kapsamda ele alınan her konunun sonuna ilgili ilâhî isimleri ve bağlantılı olduğu tartışmaları içeren tablolar eklenmiştir. Sonuç bölümünde ise Saffâr’ın esmâ-i hüsnâ anlayışına dayanan kelâm yöntemine dair ulaştığımız sonuçlara yer verilmiştir. Bu kitapta onun, esmâ-i hüsnânın %75’inde kelâmî yorumlarda bulunduğu ve bilgi-varlık bahsinden âhiret hayatına kadar bütün kelâm konularını esmâ-i hüsnâ ile bağlantılı yorumladığı tespit edilmiştir. Ulaşılan bu sonuçlar, Saffâr’ın kelâm anlayışının ilâhî isimlerin yorumuna dayandığını ortaya koymaktadır. [his book discusses the theological views of Abū Isḥāq al-Ṣaffār d. 534/1139), within the framework of his comments on the meanings of Allah’s names, provided in his work titled Talkhīṣ al-adilla. Abū Isḥāq al-Ṣaffār is one of the Ḥanafite-Māturīdite scholars in the 6th/12th century. In his work titled Talkhīṣ al-adilla li-qawāʿid al-tawḥīd on kalām, he spared extensive space for al-asmāʾ al-husnā. Approximately one third of this work, published in two volumes, is devoted to al-asmāʾ al-husnā. An examination of the related section reveals that al-Ṣaffār explains many issues, particularly those related to the existence, unity and attributes of Allah, based on 175 al-asmāʾ al-husnā. He mentions some of the names that he does not include in the al-asmāʾ al-husnā section under separate headings. For example, the name al-Mutakallim is addressed within the context of the attribute of kalām and in relation to subjects, such as the khalq al-Qurʾān and i‘jaz al-Qurʾān. Upon the addition of these names to the list, the number names reaches 178. This means that half of the work deals with the subject of al-asmāʾ al-husnā. -/- al-Ṣaffār lists the divine names in alphabetical order and explains them semantically in the chapter of al-asmāʾ al-husnā. Then he goes on to clarify each divine name through a theological lens with a specific reference to the subject of kalām. In the pre-Saffar Ḥanafite-Māturīdite theological literature, there is no other work that addresses al-asmāʾ al-husnā in such an extensive way. -/- This book consists of three main sections. The first section titled “Methodological Framework”, elaborates on the focus, significance, purpose and method of the study, along with the sources used. The first part describes the political, social and religious status of Transoxiana (Mā-warāʾ al-Nahr) region and the cities of Bukhara and Marw, the sociocultural environment in which Saffar lived. The second chapter addresses various concepts, which promote the understanding of al-asmāʾ al-husnā, such as name, tasmiya, musammā, attribute and qualification in addition to the theological debates such as the number and iḥṣāʾ of al-asmāʾ al-husnā. Then, it provides information about the al-asmāʾ al-husnā literature produced in the pre- Ṣaffār period. The end of each chapter comes with a detailed table with the 178 divine names mentioned by al-Ṣaffār. In the third chapter, the author initially discusses the theological principles that al-Ṣaffār considered while explaining the essence of al-asmāʾ al-husnā. This section also determines and systematically categorizes the theological views and evaluations put forward by al-Ṣaffār while explaining the divine names in Talkhīṣ al-adilla. The tables with the divine names and the related discussions can be seen at the end of the discussion for each subject. The last section presents the conclusions reached, regarding the kalām method based on al-Ṣaffār’s understanding of the essence of al-asmāʾ al-husnā. The present study revealed that he made theological interpretations in 75% of the al-asmāʾ al-husnā and interpreted all theological issues ranging from the subjects of knowledge and existence to the Afterlife in connection with the al-asmāʾ al-husnā. These results indicate that al-Ṣaffār's understanding of kalām is based on the interpretation of the divine names.]. (shrink)

CORCORAN REVIEWS THE 4 VOLUMES OF TARSKI’S COLLECTED PAPERS Alfred Tarski (1901--1983) is widely regarded as one of the two giants of twentieth-century logic and also as one of the four greatest logicians of all time (Aristotle, Frege and Gödel being the other three). Of the four, Tarski was the most prolific as a logician. The four volumes of his collected papers, which exclude most of his 19 monographs, span over 2500 pages. Aristotle's writings are comparable in volume, but most (...) of the Aristotelian corpus is not about logic, whereas virtually everything written by Tarski concerns logic more or less directly. There is no doubt that Tarski wrote more on logic than any other author; he started publishing on logic in 1921 at the age of 20 and continued until his death at the age of 82. (shrink)

Ramseyan humility is the thesis that we cannot know which properties realize the roles specified by the laws of completed physics. Lewis seems to offer a sceptical argument for this conclusion. Humean fundamental properties can be permuted as to their causal roles and distribution throughout spacetime, yielding alternative possible worlds with the same fundamental structure as actuality, but at which the totality of available evidence is the same. On the assumption that empirical knowledge requires evidence, we cannot know which of (...) these worlds is actual. However, Lewis also appeals to a range of familiar semantic principles when framing his argument, which leads some authors to suppose that he can also plausibly be interpreted as offering a purely semantic argument for humility in addition. In this paper I grant that these arguments are Lewisian, but argue that Lewis is also committed to a theory of mind that licenses a purely metaphysical argument for humility based on the idea that mental properties supervene on fundamental structure. Given that knowing which x is the F requires knowing that a is the F, the supposition that we could come to know which properties actually occupy the fundamental roles entails differences in mental properties between worlds with the same fundamental structure, violating supervenience. Humility follows right away, without any further epistemic or semantic principles. This argument is immune to almost every way of rebutting the sceptical and semantic arguments; conversely, almost every way of rebutting the metaphysical argument tells equally against the others. (shrink)

This paper provides both a solution and a problem for the account of compositionality in Christopher Peacocke’s modest inferentialism. The immediate issue facing Peacocke’s account is that it looks as if compositionality can only be understood at the level of semantics, which is difficult to reconcile with inferentialism. Here, following up a brief suggestion by Peacocke, I provide a formal framework wherein compositionality occurs the level of the determining relation between inference and semantics. This, in turn provides a (...) “test” for compositionality, which, problematically, Peacocke’s natural deduction framework for classical logic can not meet. To finish, I briefly outline an alternative, bilateralist, framework for modest inferentialism, for which compositionality holds. (shrink)

Reviews of studies on sexual orientation reveal that researchers have not developed a clear conceptual definition of sexual orientation and that most researchers have failed to provide a theoretical framework for their studies. While some scholars recognize the conceptual confusion that has plagued the development of a theory of sexual orientation, most researchers study sexual orientation as if it were an immutable, essential nature of an individual without questioning how social context influences categorization. The problem with this approach is that (...) components have been hypothesized to be part of the construct, but there has been no systematic study of how to judge the accuracy of the construct. The present study suggests that, because categories of sexual orientation are socially constructed, the study of sexual orientation would benefit from an understanding of how the ordinary language community defines and categorizes sexual orientation. The purpose of the present study was to test the semantics of various category labels of sexual orientation used in ordinary language. Three hypothesized components of sexual orientation , involving either same-sex or opposite-sex oriented behavior, along with a fourth stimulus condition were manipulated in a 2 x 2 x 2 x 2 factorial design. Subjects were 371 college students who completed a questionnaire in which they were asked to give a one-word description in response to written statements about hypothetical individuals described as male or female who engage in various same- or opposite-sex behavior. Contrary to what was hypothesized, results demonstrate that there were some necessary and sufficient conditions for categorizing sexual orientation. Also contrary to a proto-behavioral hypothesis, the results of the relative strength of the three components in predicting category label indicate that sexual attraction was the strongest predictor, followed by overt sexual behavior, and sexual fantasy, respectively. The most impressive finding was the overwhelming support for the impurity hypothesis in which descriptions with any same-sex oriented behavior appeared to be judged to contaminate the individual's sexual orientation resulting in greater frequencies of responses of "homosexual" compared to other category labels. Finally, as predicted, overt sexual behavior was least predictive of the sexual orientation of females with sexual fantasy being the most predictive. For descriptions of males, sexual attraction was the most important predictor. Provided in the discussion are possible explanations for the current findings, a description of the limitations and implications of the study, and recommendations for future research. (shrink)

In [5], Béziau provides a means by which Gentzen’s sequent calculus can be combined with the general semantic theory of bivaluations. In doing so, according to Béziau, it is possible to construe the abstract “core” of logics in general, where logical syntax and semantics are “two sides of the same coin”. The central suggestion there is that, by way of a modification of the notion of maximal consistency, it is possible to prove the soundness and completeness for any normal (...) logic. However, the reduction to bivaluation may be a side effect of the architecture of ordinary sequents, which is both overly restrictive, and entails certain expressive restrictions over the language. This paper provides an expansion of Béziau’s completeness results for logics, by showing that there is a natural extension of that line of thinking to n-sided sequent constructions. Through analogical techniques to Béziau’s construction, it is possible, in this setting, to construct abstract soundness and completeness results for n-valued logics. (shrink)

After a short preface, the first of the three sections of this paper is devoted to historical and philosophic aspects of categoricity. The second section is a self-contained exposition, including detailed definitions, of a proof that every mathematical system whose domain is the closure of its set of distinguished individuals under its distinguished functions is categorically characterized by its induction principle together with its true atoms (atomic sentences and negations of atomic sentences). The third section deals with applications especially those (...) involving the distinction between characterizing a system and axiomatizing the truths of a system. (shrink)

Why do we draw the boundaries between “blue” and “green”, where we do? One proposed answer to this question is that we categorize color the way we do because we perceive color categorically. Starting in the 1950’s, the phenomenon of “categorical perception” (CP) encouraged such a response. CP refers to the fact that adjacent color patches are more easily discriminated when they straddle a category boundary than when they belong to the same category. In this paper, I make three (...) related claims. (1) Although what seems to guide discrimination performances seems to indeed be categorical information, the evidence in favor of the fact that categorical perception infl uences the way we perceive color is not convincing. (2) That CP offers a useful account of categorization is not obvious.While aiming at accounting for categorization, CP itself requires an account of categories. This being said, CP remains an interesting phenomenon. Why and how is our discrimination behavior linked to our categories? It is suggested that linguistic labels determine CP through a naming strategy to which participants resort while discriminating colors. This paper’s fi nal point is (3) that the naming strategy account is not enough. Beyond category labels, what seems to guide discrimination performance is category structure. (shrink)

On a widespread naturalist view, the meanings of mathematical terms are determined, and can only be determined, by the way we use mathematical language—in particular, by the basic mathematical principles we’re disposed to accept. But it’s mysterious how this can be so, since, as is well known, minimally strong first-order theories are non-categorical and so are compatible with countless non-isomorphic interpretations. As for second-order theories: though they typically enjoy categoricity results—for instance, Dedekind’s categoricity theorem for second-order and Zermelo’s quasi-categoricity (...) theorem for second-order —these results require full second-order logic. So appealing to these results seems only to push the problem back, since the principles of second-order logic are themselves non-categorical: those principles are compatible with restricted interpretations of the second-order quantifiers on which Dedekind’s and Zermelo’s results are no longer available. In this paper, we provide a naturalist-friendly, non-revisionary solution to an analogous but seemingly more basic problem—Carnap’s Categoricity Problem for propositional and first-order logic—and show that our solution generalizes, giving us full second-order logic and thereby securing the categoricity or quasi-categoricity of second-order mathematical theories. Briefly, the first-order quantifiers have their intended interpretation, we claim, because we’re disposed to follow the quantifier rules in an open-ended way. As we show, given this open-endedness, the interpretation of the quantifiers must be permutation-invariant and so, by a theorem recently proved by Bonnay and Westerståhl, must be the standard interpretation. Analogously for the second-order case: we prove, by generalizing Bonnay and Westerståhl’s theorem, that the permutation invariance of the interpretation of the second-order quantifiers, guaranteed once again by the open-endedness of our inferential dispositions, suffices to yield full second-order logic. (shrink)

David Gauthier suggested that all genuine moral problems are Prisoners Dilemmas (PDs), and that the morally and rationally required solution to a PD is to co-operate. I say there are four other forms of moral problem, each a different way of agents failing to be in PDs because of the agents’ preferences. This occurs when agents have preferences that are malevolent, self-enslaving, stingy, or bullying. I then analyze preferences as reasons for action, claiming that this means they must not target (...) the impossible, they must be able to be acted on in the circumstances, their targets must be attainable, and having the preferences must make their targets more likely. For groups of agents to have a distribution of preferences, their preferences must jointly have those four features, this imposing a kind of universalizability requirement on possible preferences. I then claim that, if all agents began with preferences satisfying these requirements, their preferences would not be of the morally problematic sort (on pain, variously, of circularity or contradiction in the specification of their targets). Instead, they would be either morally innocent preferences, or ones which put the agents in PDs. And it would then be instrumentally rational for the agents to prefer mutual co-operation. Thus if all agents initially had rationally permissible preferences and made rational choices of actions and preferences thereafter, they would never acquire immoral preferences, and so never be rationally moved to immoral actions. Further, the states of affairs such agents would be moved to bring about would be compatible with what Rawls’ agents would chose behind a veil of ignorance. Morality therefore reduces to rationality; necessarily, the actions categorically required by morality are also categorically required by rationality. (shrink)

Deprivation views of the badness of death are almost universally accepted among those who hold that death can be bad for the person who dies. In their most common form, deprivation views hold that death is bad because (and to the extent that) it deprives people of goods they would have gained had they not died at the time they did. Contrast this with categorical desire views, which hold that death is bad because (and to the extent that) it (...) thwarts people’s categorical desires. Categorical desires are desires that are not conditional upon one being alive; yet provide reason for the agent to continue living to ensure that those very desires are satisfied. I argue that categorical desire views are subject to two serious problems that deprivation views are not. First, categorical desire views entail that it is not bad for someone to not be resuscitated after dying a bad death. Second, categorical desire views cannot account for cases in which it is good to prevent people from coming into existence or cases in which it is good to prevent them from continuing to exist. After considering, and rejecting, various replies on behalf of categorical desire proponents, I conclude that we have good reason to reject categorical desire views in favor of deprivation views. (shrink)

We argue that, if taken seriously, Kripke's view that a language for science can dispense with a negation operator is to be rejected. Part of the argument is a proof that positive logic, i.e., classical propositional logic without negation, is not categorical.

Externalism is widely endorsed within contemporary philosophy of mind and language. Despite this, it is far from clear how the externalist thesis should be construed and, indeed, why we should accept it. In this entry I distinguish and examine three central types of externalism: what I call foundational externalism, externalist semantics, and psychological externalism. I suggest that the most plausible version of externalism is not in fact a very radical thesis and does not have any terribly interesting implications for (...) philosophy of mind, whereas the more radical and interesting versions of externalism are quite difficult to support. (shrink)

The categoricity problem for a system of logic reveals an asymmetry between the model-theoretic and the proof-theoretic resources of that logic. In particular, it reveals prima facie that the proof-theoretic instruments are insufficient for matching the envisaged model-theory, when the latter is already available. Among the proposed solutions for solving this problem, some make use of new proof-theoretic instruments, some others introduce new model-theoretic constrains on the proof-systems, while others try to use instruments from both sides. On the proof-theoretical side, (...) two main approaches for solving the categoricity problem for propositional classical logic consist in the enforcement of the formal systems of this logic by introducing rules of inference of a new kind. A multiple-conclusions logic allows rules of inference with more than one conclusion, while a bilateralist system contains rules of inference formulated in terms of assertion and rejection. Both these approaches reveal interesting formal features of logical reasoning. This paper analyses some of the advantages and limitations of these two approaches as solutions for a full formalization of logic, i.e., for a categorical formalization. (shrink)

I argue that semantics is the study of the proprietary database of a centrally inaccessible and informationally encapsulated input–output system. This system’s role is to encode and decode partial and defeasible evidence of what speakers are saying. Since information about nonlinguistic context is therefore outside the purview of semantic processing, a sentence’s semantic value is not its content but a partial and defeasible constraint on what it can be used to say. I show how to translate this thesis into (...) a detailed compositional-semantic theory based on the influential framework of Heim and Kratzer. This approach situates semantics within an independently motivated account of human cognitive architecture and reveals the semantics–pragmatics interface to be grounded in the underlying interface between modular and central systems. (shrink)

The concept of “life” certainly is of some use to distinguish birds and beavers from water and stones. This pragmatic usefulness has led to its construal as a categorical predicate that can sift out living entities from non-living ones depending on their possessing specific properties—reproduction, metabolism, evolvability etc. In this paper, we argue against this binary construal of life. Using text-mining methods across over 30,000 scientific articles, we defend instead a degrees-of-life view and show how these methods can contribute (...) to experimental philosophy of science and concept explication. We apply topic-modeling algorithms to identify which specific properties are attributed to a target set of entities (bacteria, archaea, viruses, prions, plasmids, phages and the molecule of adenine). Eight major clusters of properties were identified together with their relative relevance for each target entity (two that relate to metabolism and catalysis, one to genetics, one to evolvability, one to structure, and—rather unexpectedly—three that concern interactions with the environment broadly construed). While aligning with intuitions—for instance about viruses being less alive than bacteria—these quantitative results also reveal differential degrees of performance that have so far remained elusive or overlooked. Taken together, these analyses provide a conceptual “lifeness space” that makes it possible to move away from a categorical construal of life by empirically assessing the relative lifeness of more-or-less alive entities. (shrink)

This chapter develops a semantic theory for maps and situates it within the broader geography of meaning and semiotic significance. The discussion focuses on three central aspects of map semantics: the use of space, line marking, and linguistic tags. It is argued that the treatment of space in maps must be based on geometrical projection from a viewpoint rather than the traditional analysis in terms of spatial isomorphism. The chapter then shows how to integrate the projection-based semantics of (...) maps and the symbolic semantics of markers and tags, within the framework of possible-world semantics. The resulting account addresses issues of accuracy, viewpoint, orientation, and exhaustivity. (shrink)

Suppose that X and Y can’t possibly exist apart in reality; then—by definition—there’s no real distinction between them, only a conceptual distinction. There’s a conceptual distinction between a rectilinear figure’s triangularity and its trilaterality, for example, but no real distinction. In fundamental metaphysics there is no real distinction between an object’s categorical properties and its dispositional properties. So too there is no real distinction between an object and its properties. And in fundamental metaphysics, for X and Y to be (...) such that there is no real distinction between them is for them to be identical. (shrink)

We present colorful illustrations of particular properties of functorial diamonds, in the sense of Scholze; namely profinite reflections as categorical colors.We discuss sight as site using representable functors in the condensed formalism. We illuminate diamonds using our novel constructions of categorical Ozma and Cinderella, the site of Oz, and condensed Through the Looking-Glass.

In this paper I examine the relationship between the principle of right and the principle of morals [Sitten] in Kant’s Metaphysics of Morals. My interpretation denies that the principle of right is derived from the categorical imperative, but neither does it adhere to the independence thesis. I present a third way of understanding the relationship between the law of right and the universal law of morals: the latter is needed in order to formulate the former, but it is not (...) sufficient. The principle of right is obtained by applying the categorical imperative to the concept of right. I highlight the discussion on the subject within the late eighteenth-century German natural law tradition and similar arguments found in Achenwall. (shrink)

Truthmaker semantics is a recent development in formal and philosophical semantics, with similar motivation and scope to possible worlds semantics. The technical background is rather different, however, and results in a more fine-grained hyperintensional notion of content, allowing us to distinguish between classically equivalent propositions. After briefly introducing the main ideas, this entry will describe the technical apparatus of state spaces and the central notions of content and partial content. It will then outline applications of truthmaker (...) class='Hi'>semantics in language, logic, and other areas of philosophy. (shrink)

What is sexual orientation? The contemporary consensus among philosophers is that it is a disposition. Unsurprisingly, recent debates about the metaphysics of sexual orientation are almost entirely intramural. Behavioral dispositionalists argue that sexual orientation is a disposition to behave sexually. Desire dispositionalists argue that it is a disposition to desire sexually. We argue that sexual orientation is not best understood in terms of dispositions to behave or dispositions to desire before arguing that dispositions tout court fail to illuminate sexual orientation. (...) We then introduce and defend the idea that sexual orientation is best understood in terms of categorical phenomenal properties of sexual arousal. (shrink)

nated discussion of the semantics of such verbs. I will call this view.

Two semantic paradoxes, the Liar and Curry’s paradox, are analysed using a newly developed conception of procedural semantics (semantics according to which the truth of propositions is determined algorithmically), whose main characteristic is its departure from methodological realism. Rather than determining pre-existing facts, procedures are constitutive of them. Of this semantics, two versions are considered: closed (where the halting of procedures is presumed) and open (without this presumption). To this end, a procedural approach to deductive reasoning is (...) developed, based on the idea of simulation. As is shown, closed semantics supports classical logic, but cannot in any straightforward way accommodate the concept of truth. In open semantics, where paradoxical propositions naturally ‘belong’, they cease to be paradoxical; yet, it is concluded that the natural choice—for logicians and common people alike—is to stick to closed semantics, pragmatically circumventing problematic utterances. (shrink)

This article surveys recent literature by Parsons, McGee, Shapiro and others on the significance of categoricity arguments in the philosophy of mathematics. After discussing whether categoricity arguments are sufficient to secure reference to mathematical structures up to isomorphism, we assess what exactly is achieved by recent ‘internal’ renditions of the famous categoricity arguments for arithmetic and set theory.