Switch to: References

Citations of:

Meaning and Necessity: A Study in Semantics and Modal Logic

Chicago, IL, USA: University of Chicago Press (1947)

Add citations

You must login to add citations.
  1. The Ethics of Conceptualization: Tailoring Thought and Language to Need.Matthieu Queloz - forthcoming - Oxford: Oxford University Press.
    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: (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Ordinal Type Theory.Jan Plate - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The Logical and Philosophical Foundations for the Possibility of True Contradictions.Ben Martin - 2014 - Dissertation, University College London
    The view that contradictions cannot be true has been part of accepted philosophical theory since at least the time of Aristotle. In this regard, it is almost unique in the history of philosophy. Only in the last forty years has the view been systematically challenged with the advent of dialetheism. Since Graham Priest introduced dialetheism as a solution to certain self-referential paradoxes, the possibility of true contradictions has been a live issue in the philosophy of logic. Yet, despite the arguments (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Mates and the hierarchy.Marion Durand & Gurpreet Rattan - 2022 - Synthese 200 (6):1-24.
    Mates’s Puzzle has flown below many philosophers’ radar, despite its relations to both Frege’s Puzzle and the Paradox of Analysis. We explain the relations amongst these puzzles on the way to arguing that Mates’s Puzzle suggests a generalization of Frege’s Puzzle, and of the sense-reference distinction itself, in the form of hierarchy of senses. We explain how Mates’s Puzzle and the hierarchy, to different degrees, illuminate each other, and how their connection is missed in the literature. However, we argue that (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Hypothetical Frequencies as Approximations.Jer Steeger - 2024 - Erkenntnis 89 (4):1295-1325.
    Hájek (Erkenntnis 70(2):211–235, 2009) argues that probabilities cannot be the limits of relative frequencies in counterfactual infinite sequences. I argue for a different understanding of these limits, drawing on Norton’s (Philos Sci 79(2):207–232, 2012) distinction between approximations (inexact descriptions of a target) and idealizations (separate models that bear analogies to the target). Then, I adapt Hájek’s arguments to this new context. These arguments provide excellent reasons not to use hypothetical frequencies as idealizations, but no reason not to use them as (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Frameworks, models, and case studies: a new methodology for studying conceptual change in science and philosophy.Matteo De Benedetto - 2022 - Dissertation, Ludwig Maximilians Universität, München
    This thesis focuses on models of conceptual change in science and philosophy. In particular, I developed a new bootstrapping methodology for studying conceptual change, centered around the formalization of several popular models of conceptual change and the collective assessment of their improved formal versions via nine evaluative dimensions. Among the models of conceptual change treated in the thesis are Carnap’s explication, Lakatos’ concept-stretching, Toulmin’s conceptual populations, Waismann’s open texture, Mark Wilson’s patches and facades, Sneed’s structuralism, and Paul Thagard’s conceptual revolutions. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Is the HYPE about strength warranted?Martin Fischer - 2022 - Synthese 200 (3):1-25.
    In comparing classical and non-classical solutions to the semantic paradoxes arguments relying on strength have been influential. In this paper I argue that non-classical solutions should preserve the proof-theoretic strength of classical solutions. Leitgeb’s logic of HYPE is then presented as an interesting possibility to strengthen FDE with a suitable conditional. It is shown that HYPE allows for a non-classical Kripkean theory of truth, called KFL, that is strong enough for the relevant purposes and has additional attractive properties.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Belief, Truth, and Ways of Believing.Johannes Stern - 2021 - In Carlo Nicolai & Johannes Stern (eds.), Modes of Truth: The Unified Approach to Truth, Modality, and Paradox. New York, NY: Routledge.
    The notions of belief and truth frequently interact in philosophical discourse but, surprisingly, a coherent semantics for such discourse is still wanting. Indeed, a number of puzzles stand in way of a satisfactory semantic account of the notion of truth in doxastic contexts. In this paper we discuss these puzzles and develop a more satisfactory semantic account that combines ideas from contextualist theories of attitude reports and Awareness semantics for non-idealized belief.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • (1 other version)Explicating ‘Explication’ via Conceptual Spaces.Matteo De Benedetto - 2022 - Erkenntnis 87 (2):853-889.
    Recent years have witnessed a revival of interest in the method of explication as a procedure for conceptual engineering in philosophy and in science. In the philosophical literature, there has been a lively debate about the different desiderata that a good explicatum has to satisfy. In comparison, the goal of explicating the concept of explication itself has not been central to the philosophical debate. The main aim of this work is to suggest a way of filling this gap by explicating (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • World and Logic.Jens Lemanski - 2021 - London, Vereinigtes Königreich: College Publications.
    What is the relationship between the world and logic, between intuition and language, between objects and their quantitative determinations? Rationalists, on the one hand, hold that the world is structured in a rational way. Representationalists, on the other hand, assume that language, logic, and mathematics are only the means to order and describe the intuitively given world. In World and Logic, Jens Lemanski takes up three surprising arguments from Arthur Schopenhauer’s hitherto undiscovered Berlin Lectures, which concern the philosophy of language, (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • How did we get here from there? The transformation of analytic philosophy.Timothy Williamson - 2014 - Belgrade Philosophical Annual 27 (27):7-37.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Conceptual Ethics and The Methodology of Normative Inquiry.Tristram McPherson & David Plunkett - 2019 - In Alexis Burgess, Herman Cappelen & David Plunkett (eds.), Conceptual Engineering and Conceptual Ethics. New York, USA: Oxford University Press. pp. 274-303.
    This chapter explores two central questions in the conceptual ethics of normative inquiry. The first is whether to orient one’s normative inquiry around folk normative concepts (like KNOWLEDGE or IMMORAL) or around theoretical normative concepts (like ADEQUATE EPISTEMIC JUSTIFICATION or PRO TANTO PRACTICAL REASON). The second is whether to orient one’s normative inquiry around concepts whose normative authority is especially accessible to us (such as OUGHT ALL THINGS CONSIDERED), or around concepts whose extension is especially accessible to us (such as (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Back to the Golden Age: Saul Kripke's Naming and Necessity and twenty‐first century philosophy.Andrea Bianchi - 2021 - Theoria 88 (2):278-295.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Truth and Falsehood: An Inquiry Into Generalized Logical Values.Yaroslav Shramko & Heinrich Wansing - 2011 - Dordrecht, Netherland: Springer.
    The book presents a thoroughly elaborated logical theory of generalized truth-values understood as subsets of some established set of truth values. After elucidating the importance of the very notion of a truth value in logic and philosophy, we examine some possible ways of generalizing this notion. The useful four-valued logic of first-degree entailment by Nuel Belnap and the notion of a bilattice constitute the basis for further generalizations. By doing so we elaborate the idea of a multilattice, and most notably, (...)
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  • Nuel Belnap on Indeterminism and Free Action.Thomas Müller (ed.) - 2014 - Wien, Austria: Springer.
    This volume seeks to further the use of formal methods in clarifying one of the central problems of philosophy: that of our free human agency and its place in our indeterministic world. It celebrates the important contributions made in this area by Nuel Belnap, American logician and philosopher. Philosophically, indeterminism and free action can seem far apart, but in Belnap’s work, they are intimately linked. This book explores their philosophical interconnectedness through a selection of original research papers that build forth (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic.Marie Duží, Bjorn Jespersen & Pavel Materna - 2010 - Dordrecht, Netherland: Springer.
    The book is about logical analysis of natural language. Since we humans communicate by means of natural language, we need a tool that helps us to understand in a precise manner how the logical and formal mechanisms of natural language work. Moreover, in the age of computers, we need to communicate both with and through computers as well. Transparent Intensional Logic is a tool that is helpful in making our communication and reasoning smooth and precise. It deals with all kinds (...)
    Download  
     
    Export citation  
     
    Bookmark   51 citations  
  • Fregeanism, sententialism, and scope.Harvey Lederman - 2022 - Linguistics and Philosophy 45 (6):1235-1275.
    Among philosophers, Fregeanism and sententialism are widely considered two of the leading theories of the semantics of attitude reports. Among linguists, these approaches have received little recent sustained discussion. This paper aims to bridge this divide. I present a new formal implementation of Fregeanism and sententialism, with the goal of showing that these theories can be developed in sufficient detail and concreteness to be serious competitors to the theories which are more popular among semanticists. I develop a modern treatment of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Reversing logical nihilism.Tristan Grøtvedt Haze - 2022 - Synthese 200 (3):1-18.
    Gillian Russell has recently proposed counterexamples to such elementary argument forms as Conjunction Introduction and Identity. These purported counterexamples involve expressions that are sensitive to linguistic context—for example, a sentence which is true when it appears alone but false when embedded in a larger sentence. If they are genuine counterexamples, it looks as though logical nihilism—the view that there are no valid argument forms—might be true. In this paper, I argue that the purported counterexamples are not genuine, on the grounds (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Possible in Philosophy.Antoine Taillard - 2021 - The Palgrave Encyclopedia of the Possible.
    Within philosophy, the word “possible” is generally used to speak about either of the following. (1) Possibility: the notion that is expressed by sentences such as “It is possible that there are green cats,” “She may become the best surgeon in the city,” and “Our team can win the race.” Among the features of possibility, three are of particular interest to philosophers: it is closely related with necessity, contingency, and actuality; it is not unified, but comes in multiple varieties; it (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • (2 other versions)Introduction to CAT4. Part 1. Axioms.Andrew Thomas Holster - manuscript
    CAT4 is proposed as a general method for representing information, enabling a powerful programming method for large-scale information systems. It enables generalised machine learning, software automation and novel AI capabilities. It is based on a special type of relation called CAT4, which is interpreted to provide a semantic representation. This is Part 1 of a five-part introduction. The focus here is on defining the key mathematical structures first, and presenting the semantic-database application in subsequent Parts. We focus in Part 1 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • (2 other versions)Introduction to CAT4. Part 2. CAT2.Andrew Thomas Holster - manuscript
    CAT4 is proposed as a general method for representing information, enabling a powerful programming method for large-scale information systems. It enables generalised machine learning, software automation and novel AI capabilities. It is based on a special type of relation called CAT4, which is interpreted to provide a semantic representation. This is Part 2 of a five-part introduction. The focus here is on defining key mathematical properties of CAT2, identifying the topology and defining essential functions over a coordinate system. The analysis (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Cognitive Significance.Aidan Gray - 2021 - In Heimir Geirsson & Stephen Biggs (eds.), The Routledge Handbook of Linguistic Reference. New York: Routledge.
    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.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Post-Truth Conceptual Engineering.Manuel Gustavo Isaac - 2024 - Inquiry: An Interdisciplinary Journal of Philosophy 67 (1):199-214.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Fine-grained semantics for attitude reports.Harvey Lederman - 2021 - Semantics and Pragmatics 14 (1).
    I observe that the “concept-generator” theory of Percus and Sauerland (2003), Anand (2006), and Charlow and Sharvit (2014) does not predict an intuitive true interpretation of the sentence “Plato did not believe that Hesperus was Phosphorus”. In response, I present a simple theory of attitude reports which employs a fine-grained semantics for names, according to which names which intuitively name the same thing may have distinct compositional semantic values. This simple theory solves the problem with the concept-generator theory, but, as (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Carnapian frameworks.Gabriel L. Broughton - 2021 - Synthese 199 (1-2):4097-4126.
    Carnap’s seminal ‘Empiricism, Semantics and Ontology’ makes important use of the notion of a framework and the related distinction between internal and external questions. But what exactly is a framework? And what role does the internal/external distinction play in Carnap’s metaontology? In an influential series of papers, Matti Eklund has recently defended a bracingly straightforward interpretation: A Carnapian framework, Eklund says, is just a natural language. To ask an internal question, then, is just to ask a question in, say, English. (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Shadows of Syntax: Revitalizing Logical and Mathematical Conventionalism.Jared Warren - 2020 - New York, USA: Oxford University Press.
    What is the source of logical and mathematical truth? This book revitalizes conventionalism as an answer to this question. Conventionalism takes logical and mathematical truth to have their source in linguistic conventions. This was an extremely popular view in the early 20th century, but it was never worked out in detail and is now almost universally rejected in mainstream philosophical circles. Shadows of Syntax is the first book-length treatment and defense of a combined conventionalist theory of logic and mathematics. It (...)
    Download  
     
    Export citation  
     
    Bookmark   36 citations  
  • CRITIQUE OF IMPURE REASON: Horizons of Possibility and Meaning.Steven James Bartlett - 2021 - Salem, USA: Studies in Theory and Behavior.
    PLEASE NOTE: This is the corrected 2nd eBook edition, 2021. ●●●●● _Critique of Impure Reason_ has now also been published in a printed edition. To reduce the otherwise high price of this scholarly, technical book of nearly 900 pages and make it more widely available beyond university libraries to individual readers, the non-profit publisher and the author have agreed to issue the printed edition at cost. ●●●●● The printed edition was released on September 1, 2021 and is now available through (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Antirealist Essentialism.Jonathan Livingstone-Banks - 2014 - Dissertation, University of Leeds
    This project is an investigation into the prospects for an antirealist theory of essence. Essentialism is the claim that at least some things have some of their properties essentially. Essentialist discourse includes claims such as “Socrates is essentially human”, and “Socrates is accidentally bearded”. Historically, there are two ways of interpreting essentialist discourse. I call these positions ‘modal essentialism’ and ‘neo-Aristotelian essentialism’. According to modal essentialism, for Socrates to be essentially human is for it to be necessary that he be (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The History and Prehistory of Natural-Language Semantics.Daniel W. Harris - 2017 - In Sandra Lapointe & Christopher Pincock (eds.), Innovations in the History of Analytical Philosophy. London, United Kingdom: Palgrave-Macmillan. pp. 149--194.
    Contemporary natural-language semantics began with the assumption that the meaning of a sentence could be modeled by a single truth condition, or by an entity with a truth-condition. But with the recent explosion of dynamic semantics and pragmatics and of work on non- truth-conditional dimensions of linguistic meaning, we are now in the midst of a shift away from a truth-condition-centric view and toward the idea that a sentence’s meaning must be spelled out in terms of its various roles in (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • The Fundamental Problem of Logical Omniscience.Peter Hawke, Aybüke Özgün & Francesco Berto - 2020 - Journal of Philosophical Logic 49 (4):727-766.
    We propose a solution to the problem of logical omniscience in what we take to be its fundamental version: as concerning arbitrary agents and the knowledge attitude per se. Our logic of knowledge is a spin-off from a general theory of thick content, whereby the content of a sentence has two components: an intension, taking care of truth conditions; and a topic, taking care of subject matter. We present a list of plausible logical validities and invalidities for the logic of (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • Fundamental non-qualitative properties.Byron Simmons - 2021 - Synthese 198 (7):6183-6206.
    The distinction between qualitative and non-qualitative properties should be familiar from discussions of the principle of the identity of indiscernibles: two otherwise exactly similar individuals, Castor and Pollux, might share all their qualitative properties yet differ with respect to their non-qualitative properties—for while Castor has the property being identical to Castor, Pollux does not. But while this distinction is familiar, there has not been much critical attention devoted to spelling out its precise nature. I argue that the class of non-qualitative (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Conceptual Spaces, Generalisation Probabilities and Perceptual Categorisation.Nina Poth - 2019 - In Peter Gärdenfors, Antti Hautamäki, Frank Zenker & Mauri Kaipainen (eds.), Conceptual Spaces: Elaborations and Applications. Cham, Switzerland: Springer Verlag. pp. 7-28.
    Shepard’s (1987) universal law of generalisation (ULG) illustrates that an invariant gradient of generalisation across species and across stimuli conditions can be obtained by mapping the probability of a generalisation response onto the representations of similarity between individual stimuli. Tenenbaum and Griffiths (2001) Bayesian account of generalisation expands ULG towards generalisation from multiple examples. Though the Bayesian model starts from Shepard’s account it refrains from any commitment to the notion of psychological similarity to explain categorisation. This chapter presents the conceptual (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • What is Conceptual Engineering and What Should it Be?David Chalmers - 2020 - Inquiry: An Interdisciplinary Journal of Philosophy 63.
    Conceptual engineering is the design, implementation, and evaluation of concepts. Conceptual engineering includes or should include de novo conceptual engineering (designing a new concept) as well as conceptual re-engineering (fixing an old concept). It should also include heteronymous (different-word) as well as homonymous (same-word) conceptual engineering. I discuss the importance and the difficulty of these sorts of conceptual engineering in philosophy and elsewhere.
    Download  
     
    Export citation  
     
    Bookmark   69 citations  
  • Can Church’s thesis be viewed as a Carnapian explication?Paula Quinon - 2019 - Synthese 198 (Suppl 5):1047-1074.
    Turing and Church formulated two different formal accounts of computability that turned out to be extensionally equivalent. Since the accounts refer to different properties they cannot both be adequate conceptual analyses of the concept of computability. This insight has led to a discussion concerning which account is adequate. Some authors have suggested that this philosophical debate—which shows few signs of converging on one view—can be circumvented by regarding Church’s and Turing’s theses as explications. This move opens up the possibility that (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • On counterpossibles.Jens Christian Bjerring - 2013 - Philosophical Studies 168 (2):327-353.
    The traditional Lewis–Stalnaker semantics treats all counterfactuals with an impossible antecedent as trivially or vacuously true. Many have regarded this as a serious defect of the semantics. For intuitively, it seems, counterfactuals with impossible antecedents—counterpossibles—can be non-trivially true and non-trivially false. Whereas the counterpossible "If Hobbes had squared the circle, then the mathematical community at the time would have been surprised" seems true, "If Hobbes had squared the circle, then sick children in the mountains of Afghanistan at the time would (...)
    Download  
     
    Export citation  
     
    Bookmark   47 citations  
  • Safety, the Preface Paradox and Possible Worlds Semantics.Michael J. Shaffer - 2019 - Axiomathes 29 (4):347-361.
    This paper contains an argument to the effect that possible worlds semantics renders semantic knowledge impossible, no matter what ontological interpretation is given to possible worlds. The essential contention made is that possible worlds semantic knowledge is unsafe and this is shown by a parallel with the preface paradox.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Scientific Philosophy and the Critique of Metaphysics from Russell to Carnap to Quine.Sean Morris - 2020 - Erkenntnis 85 (4):773-799.
    In his “Wissenschaftslogik: The Role of Logic in the Philosophy of Science,” Michael Friedman argues that Carnap’s philosophy of science “is fundamentally anti-metaphysical—he aims to use the tools of mathematical logic to dissolve rather [than] solve traditional philosophical problems—and it is precisely this point that is missed by his logically-minded contemporaries such as Hempel and Quine”. In this paper, I take issue with this claim, arguing that Quine, too, is a part of this anti-metaphysical tradition. I begin in section I (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • A Guided Tour Of Conceptual Engineering and Conceptual Ethics.Herman Cappelen & David Plunkett - 2019 - In Alexis Burgess, Herman Cappelen & David Plunkett (eds.), Conceptual Engineering and Conceptual Ethics. New York, USA: Oxford University Press. pp. 1-26.
    In this Introduction, we aim to introduce the reader to the basic topic of this book. As part of this, we explain why we are using two different expressions (‘conceptual engineering’ and ‘conceptual ethics’) to describe the topics in the book. We then turn to some of the central foundational issues that arise for conceptual engineering and conceptual ethics, and finally we outline various views one might have about their role in philosophy and inquiry more generally.
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • An Epistemic Non-Consequentialism.Kurt L. Sylvan - 2020 - The Philosophical Review 129 (1):1-51.
    Despite the recent backlash against epistemic consequentialism, an explicit systematic alternative has yet to emerge. This paper articulates and defends a novel alternative, Epistemic Kantianism, which rests on a requirement of respect for the truth. §1 tackles some preliminaries concerning the proper formulation of the epistemic consequentialism / non-consequentialism divide, explains where Epistemic Kantianism falls in the dialectical landscape, and shows how it can capture what seems attractive about epistemic consequentialism while yielding predictions that are harder for the latter to (...)
    Download  
     
    Export citation  
     
    Bookmark   36 citations  
  • If structured propositions are logical procedures then how are procedures individuated?Marie Duží - 2019 - Synthese 196 (4):1249-1283.
    This paper deals with two issues. First, it identifies structured propositions with logical procedures. Second, it considers various rigorous definitions of the granularity of procedures, hence also of structured propositions, and comes out in favour of one of them. As for the first point, structured propositions are explicated as algorithmically structured procedures. I show that these procedures are structured wholes that are assigned to expressions as their meanings, and their constituents are sub-procedures occurring in executed mode. Moreover, procedures are not (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • HYPE: A System of Hyperintensional Logic.Hannes Leitgeb - 2019 - Journal of Philosophical Logic 48 (2):305-405.
    This article introduces, studies, and applies a new system of logic which is called ‘HYPE’. In HYPE, formulas are evaluated at states that may exhibit truth value gaps and truth value gluts. Simple and natural semantic rules for negation and the conditional operator are formulated based on an incompatibility relation and a partial fusion operation on states. The semantics is worked out in formal and philosophical detail, and a sound and complete axiomatization is provided both for the propositional and the (...)
    Download  
     
    Export citation  
     
    Bookmark   35 citations  
  • Impure concepts and non-qualitative properties.Byron Simmons - 2020 - Synthese 197 (7):3065-3086.
    Some properties such as having a beard and being a philosopher are intuitively qualitative, while other properties such as being identical to Plato and being a student of Socrates are intuitively non-qualitative. It is often assumed that, necessarily, a property is qualitative if and only if it can be designated descriptively without the aid of directly referential devices. I argue that this linguistic thesis fails in both directions: there might be non-qualitative properties that can be designated descriptively, and there appear (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • The Importance of Concepts.Sarah Sawyer - 2018 - Proceedings of the Aristotelian Society 118 (2):127-147.
    Words change meaning over time. Some meaning shift is accompanied by a corresponding change in subject matter; some meaning shift is not. In this paper I argue that an account of linguistic meaning can accommodate the first kind of case, but that a theory of concepts is required to accommodate the second. Where there is stability of subject matter through linguistic change, it is concepts that provide the stability. The stability provided by concepts allows for genuine disagreement and ameliorative change (...)
    Download  
     
    Export citation  
     
    Bookmark   54 citations  
  • Enciclopédia de Termos Lógico-Filosóficos.João Miguel Biscaia Branquinho, Desidério Murcho & Nelson Gonçalves Gomes (eds.) - 2006 - São Paulo, SP, Brasil: Martins Fontes.
    Esta enciclopédia abrange, de uma forma introdutória mas desejavelmente rigorosa, uma diversidade de conceitos, temas, problemas, argumentos e teorias localizados numa área relativamente recente de estudos, os quais tem sido habitual qualificar como «estudos lógico-filosóficos». De uma forma apropriadamente genérica, e apesar de o território teórico abrangido ser extenso e de contornos por vezes difusos, podemos dizer que na área se investiga um conjunto de questões fundamentais acerca da natureza da linguagem, da mente, da cognição e do raciocínio humanos, bem (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Working from Within: The Nature and Development of Quine's Naturalism.Sander Verhaegh - 2018 - New York: Oxford University Press.
    During the past few decades, a radical shift has occurred in how philosophers conceive of the relation between science and philosophy. A great number of analytic philosophers have adopted what is commonly called a ‘naturalistic’ approach, arguing that their inquiries ought to be in some sense continuous with science. Where early analytic philosophers often relied on a sharp distinction between science and philosophy—the former an empirical discipline concerned with fact, the latter an a priori discipline concerned with meaning—philosophers today largely (...)
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  • Semantic Internalism is a Mistake.Krystyna Bielecka - 2017 - Hybris. Internetowy Magazyn Filozoficzny 38:123-146.
    The concept of narrow content is still under discussion in the debate over mental representation. In the paper, one-factor dimensional accounts of representation are analyzed, particularly the case of Fodor's methodological solipsism. In methodological solipsism, semantic properties of content are arguably eliminated in favor of syntactic ones. If “narrow content” means content properties independent of external factors to a system (as in Segal's view), the concept of content becomes elusive. Moreover, important conceptual problems with one-factor dimensional account are pointed out (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Ilyenkov and language.Igor Hanzel - 2018 - Studies in East European Thought 70 (1):1-18.
    The article analyses the relation of E. V. Ilyenkov to the phenomenon of language. His approach, it is shown, had its roots in his explication of notion of ideal which led him to assign priority to work with respect to language at a general level as well as at the level ontogenesis of human infants. Two additional factors shaped his approach to the phenomenon of language. The first was his negative approach to disciplines investigating the structure of language: mathematical logic, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Theories of Reference: What Was the Question?Panu Raatikainen - 2020 - In Andrea Bianchi (ed.), Language and reality from a naturalistic perspective: Themes from Michael Devitt. Cham: Springer. pp. 69–103.
    The new theory of reference has won popularity. However, a number of noted philosophers have also attempted to reply to the critical arguments of Kripke and others, and aimed to vindicate the description theory of reference. Such responses are often based on ingenious novel kinds of descriptions, such as rigidified descriptions, causal descriptions, and metalinguistic descriptions. This prolonged debate raises the doubt whether different parties really have any shared understanding of what the central question of the philosophical theory of reference (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • The Ambiguity of Artworks –A Guideline for Empirical Aesthetics Research with Artworks as Stimuli.Gregor U. Hayn-Leichsenring - 2017 - Frontiers in Psychology 8.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Quine and Ontology.Oswaldo Chateaubriand - 2003 - Principia: An International Journal of Epistemology 7 (1-2):41-74.
    Ontology played a very large role in Quine’s philosophy and was one of his major preoccupations from the early 30’s to the end of his life. His work on ontology provided a basic framework for most of the discussions of ontology in analytic philosophy in the second half of the Twentieth Century. There are three main themes (and several sub-themes) that Quine developed in his work. The first is ontological commitment: What are the existential commitments of a theory? The second (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations