Rudolf Carnap’s logical pluralism is often held to be one in which corresponding connectives in different logics have different meanings. This paper presents an alternative view of Carnap’s position, in which connectives can and do share their meaning in some contexts. This re-interpretation depends crucially on extending Carnap’s linguistic framework system to include meta-linguistic frameworks, those frameworks which we use to talk about linguistic frameworks. I provide an example that shows how this is possible, and give some textual evidence that (...) Carnap would agree with this interpretation. Additionally, I show how this interpretation puts the Carnapian position much more in line with the position given in Shapiro than had been thought before. (shrink)

In a series of recent works, Kit Fine, 605–631, 2003, 2007) has sketched a novel solution to Frege’s puzzle. Radically departing from previous solutions, Fine argues that Frege’s puzzle forces us to reject compositionality. In this paper we first provide an explicit formalization of the relational semantics for first-order logic suggested, but only briefly sketched, by Fine. We then show why the relational semantics alone is technically inadequate, forcing Fine to enrich the syntax with a coordination schema. Given this enrichment, (...) we argue, that that the semantics is compositional. We then examine the deep consequences of this result for Fine’s proposed solution to Frege’s puzzle. We argue that Fine has mis-diagnosed his own solution–his attempted solution does not deny compositionality. The correct characterization of Fine’s solution fits him more comfortably among familiar solutions to the puzzle. (shrink)

My dissertation explores the ways in which Rudolf Carnap sought to make philosophy scientific by further developing recent interpretive efforts to explain Carnap’s mature philosophical work as a form of engineering. It does this by looking in detail at his philosophical practice in his most sustained mature project, his work on pure and applied inductive logic. I, first, specify the sort of engineering Carnap is engaged in as involving an engineering design problem and then draw out the complications of design (...) problems from current work in history of engineering and technology studies. I then model Carnap’s practice based on those lessons and uncover ways in which Carnap’s technical work in inductive logic takes some of these lessons on board. This shows ways in which Carnap’s philosophical project subtly changes right through his late work on induction, providing an important corrective to interpretations that ignore the work on inductive logic. Specifically, I show that paying attention to the historical details of Carnap’s attempt to apply his work in inductive logic to decision theory and theoretical statistics in the 1950s and 1960s helps us understand how Carnap develops and rearticulates the philosophical point of the practical/theoretical distinction in his late work, offering thus a new interpretation of Carnap’s technical work within the broader context of philosophy of science and analytical philosophy in general. (shrink)

This is the most comprehensive book ever published on philosophical methodology. A team of thirty-eight of the world's leading philosophers present original essays on various aspects of how philosophy should be and is done. The first part is devoted to broad traditions and approaches to philosophical methodology. The entries in the second part address topics in philosophical methodology, such as intuitions, conceptual analysis, and transcendental arguments. The third part of the book is devoted to essays about the interconnections between philosophy (...) and neighbouring fields, including those of mathematics, psychology, literature and film, and neuroscience. (shrink)

Recent work on analyticity distinguishes two kinds, metaphysical and epistemic. This paper argues that the distinction allows for a new view in the philosophy of logic according to which the claims of logic are metaphysically analytic and have distinctive modal profiles, even though their epistemology is holist and in many ways rather Quinean. It is argued that such a view combines some of the more attractive aspects of the Carnapian and Quinean approaches to logic, whilst avoiding some famous problems.

Everyone knows what David Lewis' possible worlds are, what role they play in his account of possibility and necessity, and Saul Kripke's criticisms. But what, instead, are Kripke's possible worlds, and what role do they play in his account of possibility and necessity? The answers are not so obvious. Recently, it has even been claimed that, contrary to what is standardly assumed, Kripke's approach to modality has not always been consistently metaphysical. In particular, an interpretation of the famous passage in (...) the preface to Naming and Necessity with Kripke's discussion of the dice example has been put forward, according to which he purports there to clarify the modal notions in terms of that of possible world, model-theoretically construed, in a way which is reminiscent of Carnap's. In this paper, I shall point out some internal difficulties of this interpretation, and offer a different one, according to which in the dice passage Kripke is trying, consistently with his metaphysical approach, to legitimize the technically useful notion of possible world starting from modal notions, to be accounted for in another way (arguably, in an essentialistic framework). My final goal, however, will be philosophical elucidation rather than mere exegesis. Indeed, I am interested in shedding some light on what possible worlds might possibly be, if something like Kripke's metaphysical approach is on the right track. (shrink)

Carnap’s work was instrumental to the liberalization of empiricism in the 1930s that transformed the logical positivism of the Vienna Circle to what came to be known as logical empiricism. A central feature of this liberalization was the deployment of the Principle of Tolerance, originally introduced in logic, but now invoked in an epistemological context in “Testability and Meaning”. Immediately afterwards, starting with Foundations of Logic and Mathematics, Carnap embraced semantics and turned to interpretation to guide the choice of a (...) theoretical language for science. The first thesis of this paper is that recourse to an intended interpretation led to a partial retrenchment of the conventionalism implied by the Principle of Tolerance. It required that the choice of a language be based on abstraction from a context; this procedure later became a component of the process of explication that was distinctive to Carnap’s mature views. The interpretive origin of formal systems also ensured their likely syntactic consistency, an issue on which Carnap was strongly criticized by figures such as Beth and Gödel. The second thesis of this paper is that this reliance on an intended interpretation enabled constructed formal systems to be relevant to the development of empirical science. (shrink)

Lewis's notion of a "natural" property has proved divisive: some have taken to the notion with enthusiasm, while others have been sceptical. However, it is far from obvious what the enthusiasts and the sceptics are disagreeing about. This paper attempts to articulate what is at stake in this debate.

Among the most remarkable developments in metaphysics since the 1950’s is the explosion of philosophical interest in possible worlds. This paper proposes an explanation of what possible worlds are, and argues that this proposal, the interpreted models conception, should be attractive to anyone who thinks that modal facts are primitive, and so not to be explained in terms of some non-modal notion of “possible world.” I articulate three constraints on any acceptable primitivist explanation of the nature of possible worlds, and (...) show that the interpreted models conception meets the three constraints. (shrink)

Charles Peirce's diagrammatic logic — the Existential Graphs — is presented as a tool for illuminating how we know necessity, in answer to Benacerraf's famous challenge that most ‘semantics for mathematics’ do not ‘fit an acceptable epistemology’. It is suggested that necessary reasoning is in essence a recognition that a certain structure has the particular structure that it has. This means that, contra Hume and his contemporary heirs, necessity is observable. One just needs to pay attention, not merely to individual (...) things but to how those things are related in larger structures, certain aspects of which relations force certain other aspects to be a certain way. (shrink)

In this paper, I investigate whether we can use a world-involving framework to model the epistemic states of non-ideal agents. The standard possible-world framework falters in this respect because of a commitment to logical omniscience. A familiar attempt to overcome this problem centers around the use of impossible worlds where the truths of logic can be false. As we shall see, if we admit impossible worlds where “anything goes” in modal space, it is easy to model extremely non-ideal agents that (...) are incapable of performing even the most elementary logical deductions. A much harder, and considerably less investigated challenge is to ensure that the resulting modal space can also be used to model moderately ideal agents that are not logically omniscient but nevertheless logically competent. Intuitively, while such agents may fail to rule out subtly impossible worlds that verify complex logical falsehoods, they are nevertheless able to rule out blatantly impossible worlds that verify obvious logical falsehoods. To model moderately ideal agents, I argue, the job is to construct a modal space that contains only possible and non-trivially impossible worlds where it is not the case that “anything goes”. But I prove that it is impossible to develop an impossible-world framework that can do this job and that satisfies certain standard conditions. Effectively, I show that attempts to model moderately ideal agents in a world-involving framework collapse to modeling either logical omniscient agents, or extremely non-ideal agents. (shrink)

This paper investigates the relation between Carnap and Quine’s views on analyticity on the one hand, and their views on philosophical analysis or explication on the other. I argue that the stance each takes on what constitutes a successful explication largely dictates the view they take on analyticity. I show that although acknowledged by neither party (in fact Quine frequently expressed his agreement with Carnap on this subject) their views on explication are substantially different. I argue that this difference not (...) only explains their differences on the question of analyticity, but points to a Quinean way to answer a challenge that Quine posed to Carnap. The answer to this challenge leads to a Quinean view of analyticity such that arithmetical truths are analytic, according to Quine’s own remarks, and set theory is at least defensibly analytic. (shrink)

Robert Stalnaker has argued that mathematical information is information about the sentences and expressions of mathematics. I argue that this metalinguistic account is open to a variant of Alonzo Church's translation objection and that Stalnaker's attempt to get around this objection is not successful. If correct, this tells not only against Stalnaker's account of mathematical truths, but against any metalinguistic account of truths that are both necessary and informative.

Against standard descriptivist and referentialist semantics for fictional reports, I will defend a view according to which fictional names do not refer yet they can be distinguished from one another in virtue of their different name-using practices. The logical structures of sentences containing fictional names inherit these distinctions. Different interpretations follow.

I defend counterpart theory against post-Kripkean objections. Trenton Merricks objects that no construction of ersatz counterparts is uniquely and intrinsically suitable; I reply that metaphysical constructions need not have these features. Sarah Moss refutes my solution (from "All the world's a stage") to the problem of timeless counting for temporal counterpart theory; I offer a new solution. Hazen, Fara, Williamson, and others have objected that counterpart theory generates an unacceptable logic for an actuality operator; I attempt to give a better (...) semantics. (shrink)

In the Twentieth Century, Logic and Philosophy of Language are two of the few areas of philosophy in which philosophers made indisputable progress. For example, even now many of the foremost living ethicists present their theories as somewhat more explicit versions of the ideas of Kant, Mill, or Aristotle. In contrast, it would be patently absurd for a contemporary philosopher of language or logician to think of herself as working in the shadow of any figure who died before the Twentieth (...) Century began. Advances in these disciplines make even the most unaccomplished of its practitioners vastly more sophisticated than Kant. There were previous periods in which the problems of language and logic were studied extensively (e.g. the medieval period). But from the perspective of the progress made in the last 120 years, previous work is at most a source of interesting data or occasional insight. All systematic theorizing about content that meets contemporary standards of rigor has been done subsequently. (shrink)

In a series of papers over a period of several years Barry Smith andWerner Ceusters have offered a number of cogent criticisms of historical approaches to creating, maintaining, and applying biomedical terminologies and ontologies. And they have urged the adoption of what they refer to as a “realism-based” approach. Indeed, at times they insist that the realism-based approach not only offers clear advantages and a well-founded methodological basis for ontology development and evaluation, but that such a realist perspective is in (...) fact necessary for understanding and using terminologies and ontologies in science. -/- This paper explores a number of questions surrounding such claims, provides a careful characterization of the type of realism recommended by Smith and Ceusters, and evaluates the role that realism plays in the critiques and recommendations that they offer. The conclusion reached is that while Smith’s and Ceusters’ criticisms of prior practice in the treatment of ontologies and terminologies in medical informatics are often both perceptive and well founded, and while at least some of their own proposals demonstrate obvious merit and promise, none of this either follows from or requires the brand of realism that they propose. (shrink)

Anotace Following Carnap's Principle of Subject Matter, Pavel Tichý proposed a methodological principle I call the "Denotational Principle of Aboutness". It says that expressions are about their denotata. Denotata are modelled as possible world intensions or (common) extensions. Nearly the same principle was recently defended by Marie Duží and Pavel Materna under the name the "Parmenides Principle". However, Duží and Materna did not react to Tichý's late proposal which I call the "Constructional Principle of Aboutness". It says that the subject (...) matter of expressions consists not in their denotata but their meanings. The meanings are explicated by Tichý, and also by Duží and Materna, as so-called constructions; constructions are complex entities akin to algorithms, they construct intensions or extensions. In this paper, I argue in favour of the Constructional Principle of Aboutness. I show that there are not only single arguments, but whole net of methodological principles which support it. This is why the topic largely transcends the debate among Tichý's followers. (shrink)

The article aims at exposition, commenting and interpreting Frege’s theory of meaning, based on the requirement to distinguish, in the meaning of a sign, the level of sense (Sinn) and the correlative level of reference (Bedeutung). The author directs attention to some logico-linguistic reasons which seem to have urged Frege to advocate the differential conception of meaning. In accordance with Frege’s decision to use the theoretical notions of sense and reference, the relevant semantic features of a proper name as well (...) as of a declarative sentence are explored. Since only something which constitutes what someone who understands the word or expression implicitly grasps can be counted as a possible ingredient in meaning, the claim is made that entities on the level of reference (objects, truth-values) are not undeniable ingredients of meaning. Sense therefore is left in the role of a genuine semantic concept. Keywords: Frege, language, meaning, sense, reference. (shrink)

A number of important philosophical problems are problems in the overlap of logic and ontology. Both logic and ontology are diverse fields within philosophy, and partly because of this there is not one single philosophical problem about the relation between logic and ontology. In this survey article we will first discuss what different philosophical projects are carried out under the headings of "logic" and "ontology" and then we will look at several areas where logic and ontology overlap.

Based on archival material from the Carnap and FeiglArchives, this paper re-examines Carnap's approach tothe issue of scientific realism in the 1950s and theearly 1960s. It focuses on Carnap's re-invention ofthe Ramsey-sentence approach to scientific theoriesand argues that Carnap wanted to entertain a genuineneutral stance in the realism-instrumentalism debate.Following Grover Maxwell, it claims that Carnap'sposition may be best understood as a version of`structural realism'. However, thus understood,Carnap's position faces the challenge that Newmanraised against Russell's structuralism: the claim thatthe knowledge of (...) the unobservable is limited to itspurely structural characteristics is eitheruninformative or unsustainable. (shrink)

It is generally assumed that if it is possible to believe that p without believing that q, then there is some difference between the object of the thought that p and the object of the thought that q. This assumption is challenged in the present paper, opening the way to an account of epistemic opacity that improves on existing accounts, not least because it casts doubt on various arguments that attempt to derive startling ontological conclusions from seemingly innocent epistemic premises.

A new kind of defense of the Millian theory of names is given, which explains intuitive counter-examples as depending on pragmatic effects of the relevant sentences, by direct application of Grice’s and Sperber and Wilson’s Relevance Theory and uncontroversial assumptions. I begin by arguing that synonyms are always intersubstitutable, despite Mates’ considerations, and then apply the method to names. Then, a fairly large sample of cases concerning names are dealt with in related ways. It is argued that the method, as (...) applied to the various cases, satisfies the criterion of success: that for every sentence in context, it is a counter-example to Millianism to the extent that it has pragmatic effects (matching speakers’ intuitions). (shrink)

This paper provides a general introduction to the use of causal models in the metaphysics of causation, specifically structural equation models and directed acyclic graphs. It reviews the formal framework, lays out a method of interpretation capable of representing different underlying metaphysical relations, and describes the use of these models in analyzing causation.

Gottlob Frege and Edmund Husserl are two seemingly different philosophers in their methodology. Both have significantly influenced Western philosophy in that their contributions established fields within philosophy that are of intensive study today. Still, their differences in methodology have, in certain instances, yielded similar or distinct results. Their results ranged from the distinction of sense and reference, objectivity, and the theory of mathematics: specifically, their definition of number. Frege and Husserl have such striking similarities in their theory of sense and (...) reference and related notions that from their apparent correspondence, Frege seems to have acknowledged the coincidences in their theories (Frege & Kluge, 1972) (Hill & Rosado Haddock Intro, 4, & 30-33). That is not to say there are exact parallels between Frege and Husserl and their results, as I will acknowledge their similarities and differences within scale. So, I intend to demonstrate their respective theories and results descriptively to show their likenesses while still recognizing their divergences in scope and methodology. Indirectly, I would also hope to illustrate the ties, in terms of subject matter, of these two philosophers who are historically considered at odds with one another; be it personally, in their schools of philosophy, or methodologically (Hartimo 47-53). (shrink)

The overarching goal of this book is to differentiate and provide a highly detailed descriptive account of a specific class of arguments. To simplify, let us consider the following example: suppose one aims to persuade that “Julius Caesar was a criminal.” To support that claim various arguments may be formulated, such as: a) Joseph Stalin murdered his political opponents who openly opposed him, thus he was a criminal. Julius Caesar did the same. Therefore, if Stalin was a criminal, then Caesar (...) was also a criminal. b) Most historians studying the history of the Roman Empire consider Julius Caesar to be a criminal, so he was one. c) The majority of people believe Julius Caesar was a criminal, so he was one. d) Anyone who murders or orders the killing of others is a criminal—regardless of whether it’s in defense of the country or to maintain power. Julius Caesar issued orders resulting in thousands of deaths, so he was a criminal. Argumentation theory distinguishes and extensively describes different types of arguments, each with its own definition, argumentation scheme, subtypes, and criteria for evaluation. We may, therefore, identify that: example (a) employs the argument from analogy, (b) is an argument from authority (ad auctoritate), and (c) is an argument from popular opinion (ad populum). What about (d)? Is there a theory for such arguments? Argument in the example (d) establishes the meaning of “criminal” by extending it to those who lead troops into battle or kill in self-defense, and in this way, Caesar can also be included in the extension of a “criminal” (regardless of whether he committed genocide or simply won battles). Although there are many concepts in argumentation theory and informal logic that explain various aspect of such arguments (e.g., persuasive definitions and persuasive quasi-definitions, attributions, classification arguments, etc.) there is no theory for such arguments—or rather—there was no until now. This book is aimed to provide a concept, classification, and assessment criteria for arguments which fix the meaning to support persuasion—namely, semantic arguments. Semantic arguments manifest themselves as a common and very powerful means of persuasion in various areas of human activity, including political discourse, advertising, science, law, and philosophy. This can be illustrated through an analysis of some examples: e.g., the redefinition of “planet” proposed in 2008 to exclude Pluto from the scope of this concept, the redefinition of the term “wetland” put forward by G.W. Bush in 1988, modifications of the definition of “human being” in disputes about abortion, or the definition of “vehicle” in cases of accidents involving electric scooters. The book’s goal is to provide a model of semantic argument—differentiating arguments that fix meaning for persuasive purposes, providing definition and scheme, constructing a comprehensive classification, and developing assessment criteria. This broader aim also fills a gap in argumentation theory regarding our understanding of semantic arguments and their actual and potential applications. (shrink)

Philosophy strives to give us a firmer hold on our concepts. But what about their hold on us? Why place ourselves under the sway of a concept and grant it the authority to shape our thought and conduct? Another conceptualization would carry different implications. What makes one way of thinking better than another? This book develops a framework for concept appraisal. Its guiding idea is that to question the authority of concepts is to ask for reasons of a special kind: (...) reasons for concept use, which tell us which concepts to adopt, adhere to, or abandon, thereby shoring up—or undercutting—the reasons for action and belief that guide our deliberations. Traditionally, reasons for concept use have been sought either in timeless rational foundations or in concepts’ inherent virtues, such as precision and consistency. Against this, the book advances two main claims: that we find reasons for concept use in the conceptual needs we discover when we critically distance ourselves from a concept by viewing it from the autoethnographic stance; and that sometimes, concepts that conflict, or exhibit other vices such as vagueness or superficiality, are just what we need. By considering not what concepts are absolutely best, but what concepts we now need, we can reconcile ourselves to the contingency of our concepts, determine the proper place of efforts to tidy up thought, and adjudicate between competing conceptions of things—even things as contested as liberty or free will. A needs-based approach separates helpful clarification from hobbling tidy-mindedness, and authoritative definition from conceptual gerrymandering. (shrink)

Higher-order logic, with its type-theoretic apparatus known as the simple theory of types (STT), has increasingly come to be employed in theorizing about properties, relations, and states of affairs—or ‘intensional entities’ for short. This paper argues against this employment of STT and offers an alternative: ordinal type theory (OTT). Very roughly, STT and OTT can be regarded as complementary simplifications of the ‘ramified theory of types’ outlined in the Introduction to Principia Mathematica (on a realist reading). While STT, understood as (...) a theory of intensional entities, retains the Fregean division of properties and relations into a multiplicity of categories according to their adicities and ‘input types’ and discards the division of intensional entities into different ‘orders’, OTT takes the opposite approach: it retains the hierarchy of orders (though with some modifications) and discards the categorisation of properties and relations according to their adicities and input types. In contrast to STT, this latter approach avoids intensional counterparts of the Epimenides and related paradoxes. Fundamental intensional entities lie at the base of the proposed hierarchy and are also given a prominent part to play in the individuation of non-fundamental intensional entities. (shrink)

The suppression task challenges classical logic. Classical logic is monotonic. However, in the suppression task, an inference with the form of modus ponendo ponens is inhibited by adding a new premise. Several explanations have been given to account for this fact. The present paper indicates three of them as examples: that of the theory of mental models, that based on logic programming and closed world assumption, and that referring to Carnap's concept of state‐descriptions. Besides, the paper offers one more explanation (...) linked to Carnap's idea of reduction. It proposes sentences akin to a reduction sentence, a pair reduction, and a bilateral reduction sentence. Those sentences are related to the initial conditional in the suppression task. This proposal tries to stay within first‐order predicate logic. (shrink)

To approach the many challenges involved in the notion of engineering concepts, it is important to have a clear idea of the starting point – the concepts that people use in their everyday lives, in conversations and in expressing beliefs, desires, intentions and so forth. The first Section of this chapter introduces evidence that I have accumulated over the last many years concerning the flexibility, context-dependence, and vagueness of such common concepts. The concept engineer needs to understand the structure of (...) the “raw material” with which she is working. In Section 2, I summarise some results concerning the amount of individual variation that exists within a single relatively homogenous population of individuals, both in what examples are considered most typical of a category, and in what properties are considered most central to a category (Hampton & Passanisi, 2016). The demonstration of a significant degree of reliable variation in responses to these questions, that is stable over time, illustrates the potential for conceptual engineering interventions to affect individuals’ concepts. Concepts are rarely fixed or uniformly understood in the same way. I then discuss the different ways in which concepts track the world, and I speculate about how different conceptual domains are governed by different criteria of validity or acceptability. This reflection will lead to Section 3 in which I summarise some results from recent research (Thorne, Quilty-Dunn, Smortchova, Shea, & Hampton, 2021), investigating for the first time how people view the value of different familiar concepts. Knowing how people appraise concepts will be a key to developing ideas for improving the reliability and validity of the concepts that they commonly use. A final section contains some (largely speculative) discussion about the implications of work in psychology of concepts for the project of conceptual engineering. (shrink)

The distinction between literal and figurative use is well-known and embedded in ‘folk linguistics’. According to folk linguistics, figurative uses deviate from literal ones. But recent work on lexical modulation and polysemy shows that meaning deviation is ubiquitous, even in cases of literal use. Hence, it has been argued, the literal/figurative distinction has no value for theorising about communication. In this paper, we focus on metaphor and argue that here the literal–figurative distinction has theoretical importance. The distinction between literal and (...) metaphorical needs to be captured by our account of communication because literal uses transmit information in a way that metaphorical ones do not. We argue that there is a way to explain the literal/metaphorical distinction that preserves the core of the folk-linguistic idea and gives the distinction theoretical relevance. We propose that literal uses of a word are made with the intention to conform to an established practice of use, while metaphorical uses do not so conform, but depend on this pre-existing practice. Our account can deal with data that are problematic for other theories. A further advantage is that it extends naturally to other non-literal uses of words, including metonymy. (shrink)

Among the philosophical accounts of reference, Quine’s The Roots of Reference stands out in offering an integrated account of the acquisition of linguistic reference and object individuation. Based on a non-referential ability to distinguish bodies, the acquisition of sortals and quantification are crucial steps in learning to refer to objects. In this article, we critically re-assess Quine’s account of reference. Our critique will proceed in three steps with the aim of showing that Quine effectively presupposes what he sets out to (...) explain, namely, reference to objects. We are going to argue that sortals do not individuate, that bodies are already objects, and that the acquisition of variables presupposes a notion of identity. The result is diagnostic of a central desideratum for any theory of reference: an explanation of spatiotemporal object individuation. (shrink)

This essay considers Kant’s theory of modality in light of a debate in contemporary modal metaphysics and modal logic concerning the Barcan formulas. The comparison provides a new and fruitful perspective on Kant’s complex and sometimes confusing claims about possibility and necessity. Two central Kantian principles provide the starting point for the comparison: that the possible must be grounded in the actual and that existence is not a real predicate. Both are shown to be intimately connected to the Barcan formulas, (...) and Kant’s views on what he distinguishes as three different kinds of modality are then considered in light of this connection. (shrink)

U radu se nudi opis konteksta unutar kojeg je formuliran poznati dokaz za nužnost identiteta. Iznosi se formalni prikaz ovog dokaza kako ga je formulirao poznati filozof i logičar Saul Kripke. Također se razmatra gledište filozofa Allana Gibbarda koji nasuprot Kripkeu brani tvrdnju da neki iskazi identiteta mogu biti kontingentni. Osnovni cilj rada je upoznati domaćeg čitatelja s formalnim aspektom rasprave o nužnosti identiteta te dati kratki pregled konteksta unutar kojeg su formulirani argumenti za nužnost identiteta. In the paper, we (...) offer an overview of the context within which the well-known proof of the necessity of identity is formulated. A formal account of this proof is presented as formulated by the renowned philosopher and logician Saul Kripke. Furthermore, we discuss the account of the philosopher Allan Gibbard, who defends the claim that some statements of identity can be contingent. The main goal of the paper is to acquaint the readers who understand the Croatian language with the formal aspect of the discussion on the necessity of identity and to give a brief overview of the context within which the arguments for the necessity of identity are formulated. (shrink)

There are two dominant approaches to quantification: the Fregean and the Tarskian. While the Tarskian approach is standard and familiar, deep conceptual objections have been pressed against its employment of variables as genuine syntactic and semantic units. Because they do not explicitly rely on variables, Fregean approaches are held to avoid these worries. The apparent result is that the Fregean can deliver something that the Tarskian is unable to, namely a compositional semantic treatment of quantification centered on truth and reference. (...) We argue that the Fregean approach faces the same choice: abandon compositionality or abandon the centrality of truth and reference to semantic theory. Indeed, we argue that developing a fully compositional semantics in the tradition of Frege leads to a typographic variant of the most radical of Tarskian views: variabilism, the view that names should be modeled as Tarskian variables. We conclude with the consequences of this result for Frege's distinction between sense and reference. (shrink)

In this paper, I try to outline what I take to be Naming and Necessity’s fundamental legacy to my generation and those that follow, and the new perspectives it has opened up for twenty-first century philosophy. The discussion is subdivided into three sections, concerning respectively philosophy of language, metaphysics, and metaphilosophy. The general unifying theme is that Naming and Necessity is helping philosophy to recover a Golden Age, by freeing it from the strictures coming from the empiricist and Kantian traditions (...) and reconnecting it to the world and the objects that populate it. Because of this, in the concluding paragraph I tentatively suggest that Kripke’s philosophy may be seen as a sui generis form of naturalism. (shrink)

Alonzo Church (1903–1995) was a renowned mathematical logician, philosophical logician, philosopher, teacher and editor. He was one of the founders of the discipline of mathematical logic as it developed after Cantor, Frege and Russell. He was also one of the principal founders of the Association for Symbolic Logic and the Journal of Symbolic Logic. The list of his students, mathematical and philosophical, is striking as it contains the names of renowned logicians and philosophers. In this article, we focus primarily on (...) Church’s philosophical contributions. (For an account of his life and academic history see the Introduction to The Collected Works of Alonzo Church (2019).) However, we also discuss his mathematical results when it is desirable to do so in order to pursue a philosophical issue. (shrink)

Frege's Puzzle is a founding problem in analytic philosophy. It lies at the intersection of central topics in the philosophy of language and mind: the theory of reference, the nature of propositional attitudes, the nature of semantic theorizing, the relation between semantics and pragmatics, etc. This chapter is an overview of the puzzle and of the space of contemporary approaches to it.

Conceptual engineering is the method for assessing and improving our concepts. Some have recently claimed that the implementation of such method in the form of ameliorative projects is truth-driven and should thus be epistemically constrained, ultimately at least (Simion 2018; cf. Podosky 2018). This paper challenges that claim on the assumption of a social constructionist analysis of ideologies, and provides an alternative, pragmatic and cognitive framework for determining the legitimacy of ameliorative conceptual projects overall. The upshot is that one should (...) not ameliorate for the sake of truth or knowledge, in the case of ideologies—at least, not primarily. (shrink)

Disquotationalism is the view that the only notion of truth we really need is one that can be wholly explained in terms of such trivialities as: “Snow is white” is true iff snow is white. The 'Classical Disquotational Strategy' attempts to establish this view case by case, by showing that each extant appeal to truth, in philosophical or scientific explanations, can be unmasked as an appeal only to disquotational truth. I argue here that the Classical Strategy fails in at least (...) two cases: attributions of truth to context-dependent utterances and uses of truth psychological explanations of behavioral success or, more fundamentally, appeals to falsity in psychological explanations of behavioral failure. -/- It's my intention to turn this paper into two papers. It's become quite unwieldy as it is---not unlike "The Strength of Truth Theories". (shrink)

Yleensä Wienin piirin loogista empirismiä kannattaneet filosofit mielletään antirealisteiksi. Tässä artikkelissa kuitenkin argumentoidaan, että piirin johtohahmo Moritz Schlick oli eräänlainen realisti myös nykystandardien valossa. Näin ollen – niin yllättävältä kuin se kuulostaakin – positivismi ja realismi ovat yhteensovitettavissa. Schlick tosin erotti kannattamansa empiirisen realismin jyrkästi metafyysisestä realismista, jota hän piti merkityksettömänä. Schlickin realismin esittelyn lisäksi artikkelissa tarkastellaan yleisellä tasolla hänen epistemologiaansa, kielifilosofiaansa ja metafysiikan kritiikkiään. Tekstissä pohditaan myös Schlickin suosiman realismin asemaa ja relevanssia nykyisessä realismikeskustelussa.

Putnam’s model-theoretic arguments for the indeterminacy of reference have been taken to pose a special problem for mathematical languages. In this paper, I argue that if one accepts that there are theory-external constraints on the reference of at least some expressions of ordinary language, then Putnam’s model-theoretic arguments for mathematical languages don’t go through. In particular, I argue for a kind of descriptivism about mathematical expressions according to which their reference is “anchored” in the reference of expressions of ordinary language. (...) These anchors add enough to the content of mathematical expressions to forestall the radical kind of indeterminacy that model-theoretic arguments are purported to show, while still leaving room for a plausible, moderate kind of indeterminacy. (shrink)