Results for 'Intensionality'

198 found
Order:
  1. Intensional Perceptual Ascriptions.David Bourget - 2017 - Erkenntnis 82 (3):513-530.
    This paper defends the view that perceptual ascriptions such as “Jones sees a cat” are sometimes intensional. I offer a range of examples of intensional perceptual ascriptions, respond to objections to intensional readings of perceptual ascriptions, and show how widely accepted semantic accounts of intensionality can explain the key features of intensional perceptual ascriptions.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  2. Intensional Relative Clauses and the Semantics of Variable Objects.Friederike Moltmann - 2019 - In Manfred Krifka & Schenner Mathias (eds.), Reconstruction Effects in Relative Clauses. De Gruyter Akademie Forschung. pp. 427-453..
    NPs with intensional relative clauses such as 'the book John needs to write' pose a significant challenge for semantic theory. Such NPs act like referential terms, yet they do not stand for a particular actual object. This paper will develop a semantic analysis of such NPs on the basis of the notion of a variable object. The analysis avoids a range of difficulties that a more standard analysis based on the notion of an individual concept would face. Most importantly, unlike (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. Intensionality and propositionalism.Kristina Liefke - forthcoming - Annual Review of Linguistics:4.1-4.21.
    Propositionalism is the view that all intensional constructions (including nominal and clausal attitude reports) can be interpreted as relations to truth-evaluable propositional content. While propositionalism has long been silently assumed in semantics and the philosophy of language, it has only recently entered center stage in linguistic research. This article surveys the properties of intensional constructions, which require the introduction of fine-grained semantic values (intensions). It contrasts two ways of obtaining such values: through the introduction of either Russellian propositions or Frege-Church-style (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. Tropes, Intensional Relative Clauses, and the Notion of a Variable Object.Friederike Moltmann - 2012 - In Aloni Maria, Kimmelman Vadim, Weidman Sassoon Galit, Roloefson Floris, Schulz Katrin & Westera Matthjis (eds.), Proceedings of the 18th Amsterdam Colloquium 2011. Springer.
    NPs with intensional relative clauses such as 'the impact of the book John needs to write' pose a significant challenge for trope theory (the theory of particularized properties), since they seem to refer to tropes that lack an actual bearer. This paper proposes a novel semantic analysis of such NPs on the basis of the notion of a variable object. The analysis avoids a range of difficulties that an alternative analysis based on the notion of an individual concept would face.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  5. Chapter 5: Intensional Transitive Verbs and their 'Objects'.Friederike Moltmann - 2012 - In Abstract Objects and the Semantics of Natural Language. Oxford, United Kingdom: Oxford University Press.
    This chapter gives a truthmaker-based account of the semantics of 'reifying' quantifiers like 'something' when they act as complements of intensional transitive verbs ('need', 'look for'). It argues that such quantifiers range over 'variable satisfiers' of the attitudinal object described by the verb (e.g. the need or the search).
    Download  
     
    Export citation  
     
    Bookmark   34 citations  
  6. “Ought” and Intensionality.Junhyo Lee - 2021 - Synthese 199:4621-4643.
    The syntactic structure of the deontic “ought” has been much debated in philosophy and linguistics. Schroeder argues that the deontic “ought” is syntactically ambiguous in the sense that it can be associated with either a control or raising construction. He distinguishes between deliberative and evaluative “ought”s and argues that the deliberative “ought” is control while the evaluative “ought” is raising. However, if there is a control sense of “ought,” it implies that there is a sense of “ought” in which the (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  7. Extensional Scientific Realism vs. Intensional Scientific Realism.Seungbae Park - 2016 - Studies in History and Philosophy of Science Part A 59:46-52.
    Extensional scientific realism is the view that each believable scientific theory is supported by the unique first-order evidence for it and that if we want to believe that it is true, we should rely on its unique first-order evidence. In contrast, intensional scientific realism is the view that all believable scientific theories have a common feature and that we should rely on it to determine whether a theory is believable or not. Fitzpatrick argues that extensional realism is immune, while intensional (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  8. Extensionalizing Intensional Second-Order Logic.Jonathan Payne - 2015 - Notre Dame Journal of Formal Logic 56 (1):243-261.
    Neo-Fregean approaches to set theory, following Frege, have it that sets are the extensions of concepts, where concepts are the values of second-order variables. The idea is that, given a second-order entity $X$, there may be an object $\varepsilon X$, which is the extension of X. Other writers have also claimed a similar relationship between second-order logic and set theory, where sets arise from pluralities. This paper considers two interpretations of second-order logic—as being either extensional or intensional—and whether either is (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. Intensional models for the theory of types.Reinhard Muskens - 2007 - Journal of Symbolic Logic 72 (1):98-118.
    In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general models and have a natural definition. As a class they do not validate the axiom of Extensionality. We give a cut-free sequent calculus for type theory and show completeness of this calculus with respect to the class of intensional models via a model existence theorem. After this we turn our attention to applications. Firstly, it (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  10. Implications of Intensional Perceptual Ascriptions for Relationalism, Disjunctivism, and Representationalism About Perceptual Experience.David Bourget - 2017 - Erkenntnis 84 (2):381-408.
    This paper aims to shed new light on certain philosophical theories of perceptual experience by examining the semantics of perceptual ascriptions such as “Jones sees an apple.” I start with the assumption, recently defended elsewhere, that perceptual ascriptions lend themselves to intensional readings. In the first part of the paper, I defend three theses regarding such readings: I) intensional readings of perceptual ascriptions ascribe phenomenal properties, II) perceptual verbs are not ambiguous between intensional and extensional readings, and III) intensional perceptual (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  11. Intensionality and the gödel theorems.David D. Auerbach - 1985 - Philosophical Studies 48 (3):337--51.
    Philosophers of language have drawn on metamathematical results in varied ways. Extensionalist philosophers have been particularly impressed with two, not unrelated, facts: the existence, due to Frege/Tarski, of a certain sort of semantics, and the seeming absence of intensional contexts from mathematical discourse. The philosophical import of these facts is at best murky. Extensionalists will emphasize the success and clarity of the model theoretic semantics; others will emphasize the relative poverty of the mathematical idiom; still others will question the aptness (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  12. Intensional Entities.George Bealer - 1996 - In Edward Craig (ed.), Routledge Encyclopedia of Philosophy: Genealogy to Iqbal. New York: Routledge. pp. 803-7.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  13. Perceptual consciousness and intensional transitive verbs.Justin D’Ambrosio & Daniel Stoljar - 2023 - Philosophical Studies 180 (12):3301-3322.
    There is good reason to think that, in every case of perceptual consciousness, there is something of which we are conscious; but there is also good reason to think that, in some cases of perceptual consciousness—for instance, hallucinations—there is nothing of which we are conscious. This paper resolves this inconsistency—which we call the presentation problem—by (a) arguing that ‘conscious of’ and related expressions function as intensional transitive verbs and (b) defending a particular semantic approach to such verbs, on which they (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  14. Fictional Modality and the Intensionality of Fictional Contexts.Sara L. Uckelman - 2022 - Australasian Journal of Logic 19 (4):124-132.
    In, Kosterec attempts to provide ``model-theoretic proofs'' of certain theses involving the normal modal operators $\Diamond$ and $\square$ and the truth-in-fiction operator $F$ which he then goes on to show have counterexamples in Kripke models. He concludes from this that the embedding of modal logic under the truth-in-fiction operator is unsound. We show instead that it is the ``model-theoretic proofs'' that are themselves unsound, involving illicit substitution, a subtle error that nevertheless allows us to draw an important conclusion about intensional (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15. Scientific Change and Intensional Logic.Antti Hautamäki - 1983 - Philosophica 32:25-42.
    In this paper an analysis of scientific theories and theory change including meaning change is presented by using intensional logic. Several cases of scientific progress are distinguished and special attention is given to incommensurability. It is argued that ,in all cases the comparison of rival theories is possible via translation. Finally two different forms of theory-Iadenness of observation are analysed.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  16. Causation and intensionality in Aristotelian Logic.Srećko Kovač - 2013 - Studia Philosophiae Christianae 49 (2):117-136.
    We want to show that Aristotle’s general conception of syllogism includes as its essential part the logical concept of necessity, which can be understood in a causal way. This logical conception of causality is more general then the conception of the causality in the Aristotelian theory of proof (“demonstrative syllogism”), which contains the causal account of knowledge and science outside formal logic. Aristotle’s syllogistic is described in a purely intensional way, without recourse to a set-theoretical formal semantics. It is shown (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  17. Semantic Verbs Are Intensional Transitives.Justin D’Ambrosio - 2019 - Mind 128 (509):213-248.
    In this paper I show that we have strong empirical and theoretical reasons to treat the verbs we use in our semantic theorizing—particularly ‘refers to ’, ‘applies to ’, and ‘is true of ’—as intensional transitive verbs. Stating our semantic theories with intensional vocabulary allows us to partially reconcile two competing approaches to the nature and subject-matter of semantics: the Chomskian approach, on which semantics is non-relational, internalistic, and concerns the psychology of language users, and the Lewisian approach, on which (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  18. An intensional definition of the intrinsic/extrinsic distinction.Axel Barceló - manuscript
    After the publication of Marshall’s theorem (2009), it has been widely accepted that the intrinsic/extrinsic distinction cannot be analyzed in broadly logical terms, but instead requires appealing to more robust metaphysical notions like grounding, naturalness or duplication. However, in this article I will defend that this is not so. Instead of showing the limitations of Marshall’s undoubtedly impressive result, I will present here a broadly logical definition of the intrinsic/extrinsic distinction, and show that it is extensional adequate regardless of our (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. Belief ascription, metaphor, and intensional identification.Afzal Ballim, Yorick Wilks & John Barnden - 1991 - Cognitive Science 15 (1):133-171.
    This article discusses the extension of ViewGen, an algorithm derived for belief ascription, to the areas of intensional object identification and metaphor. ViewGen represents the beliefs of agents as explicit, partitioned proposition sets known as environments. Environments are convenient, even essential, for addressing important pragmatic issues of reasoning. The article concentrates on showing that the transformation of information in metaphors, intensional object identification, and ordinary, nonmetaphorical belief ascription can all be seen as different manifestations of a single environment-amalgamation process. The (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  20. Mental files and belief: A cognitive theory of how children represent belief and its intensionality.Josef Perner, Michael Huemer & Brian Leahy - 2015 - Cognition 145 (C):77-88.
    We provide a cognitive analysis of how children represent belief using mental files. We explain why children who pass the false belief test are not aware of the intensionality of belief. Fifty-one 3½- to 7-year old children were familiarized with a dual object, e.g., a ball that rattles and is described as a rattle. They observed how a puppet agent witnessed the ball being put into box 1. In the agent’s absence the ball was taken from box 1, the (...)
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  21. Truthmaker Semantics for Natural Language: Attitude Verbs, Modals, and Intensional Transitive Verbs.Friederike Moltmann - 2020 - Theoretical Linguistics 3:159-200.
    This paper gives an outline of truthmaker semantics for natural language against the background of standard possible-worlds semantics. It develops a truthmaker semantics for attitude reports and deontic modals based on an ontology of attitudinal and modal objects and on a semantic function of clauses as predicates of such objects. It also présents new motivations for 'object-based truthmaker semantics' from intensional transitive verbs such as ‘need’, ‘look for’, ‘own’, and ‘buy’ and gives an outline of their semantics. This paper is (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  22. Fine-Grained Type-Free Intensionality.George Bealer - 1989 - In Gennero Chierchia, Barbara H. Partee & Raymond Turner (eds.), Properties, Types, and Meaning, Volume 1. Kluwer Academic Publishers. pp. 177-230.
    Commonplace syntactic constructions in natural language seem to generate ontological commitments to a dazzling array of metaphysical categories - aggregations, sets, ordered n-tuples, possible worlds, intensional entities, ideal objects, species, intensive and extensive quantities, stuffs, situations, states, courses of events, nonexistent objects, intentional and discourse objects, general objects, plural objects, variable objects, arbitrary objects, vague kinds and concepts, fuzzy sets, and so forth. But just because a syntactic construction in some natural language appears to invoke a new category of entity, (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  23. Quantifier Variance, Intensionality, and Metaphysical Merit.David Liebesman - 2015 - In Alessandro Torza (ed.), Quantifiers, Quantifiers, and Quantifiers. Themes in Logic, Metaphysics, and Language. (Synthese Library vol. 373). Springer.
    Attempting to deflate ontological debates, the proponent of Quantifier Variance (QV) claims that there are multiple quantifier meanings of equal metaphysical merit. According to Hirsch—the main proponent of QV—metaphysical merit should be understood intensionally: two languages have equal merit if they allow us to express the same possibilities. I examine the notion of metaphysical merit and its purported link to intensionality. That link, I argue, should not be supported by adopting an intensional theory of semantic content. Rather, I give (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24. Puzzles about Intensionality.Nathan Salmon - 2002 - In Dale Jacquette (ed.), A Companion to Philosophical Logic. Malden, MA, USA: Wiley-Blackwell. pp. 73–85.
    Download  
     
    Export citation  
     
    Bookmark  
  25. Representing unicorns: how to think about intensionality.Mark Sainsbury - 2012 - In Gregory Currie, Petr Kot̓átko & Martin Pokorny (eds.), Mimesis: Metaphysics, Cognition, Pragmatics. College Publications.
    The paper focuses on two apparent paradoxes arising from our use of intensional verbs: first, their object can be something which does not exist, i.e. something which is nothing; second, the fact that entailment from a qualified to a non-qualified object is not guaranteed. In this paper, I suggest that the problems share a solution, insofar as they arise in connection with intensional verbs that ascribe mental states. The solution turns on (I) a properly intensional or nonrelational notion of representation (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. Intensionality, Modality, Rationality: Some Presemantic Considerations.John-Michael Kuczynski - 2010 - Journal of Pragmatics 42 (8):2314-2346.
    On the basis of arguments put forth by (Kripke, 1977a) and (Kripke, 1980), it is widely held that one can sometimes rationally accept propositions of the form "P and not-P" and also that there are necessary a posteriori truths. We will find that Kripke's arguments for these views appear probative only so long as one fails to distinguish between semantics and presemantics—between the literal meanings of sentences, on the one hand, and the information on the basis of which one identifies (...)
    Download  
     
    Export citation  
     
    Bookmark  
  27. An introduction to Pavel Tichy and transparent intensional logic.Andrew Holster - manuscript
    Pavel Tichy (1936-1994) was a Czech philosopher who originally studied and worked at Charles University in Prague, and spent the second half of his life in New Zealand as a political refugee. Early in his career he invented intensional logic, simultaneously with Richard Montague, but published his version in 1971, slightly after Montague's 1970 papers, and has never been recognised for this achievement. But this was only the beginning of his work. He developed a highly original theory of semantics called (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. (1 other version)Foundations of Intensional Logic.David Kaplan - 1964 - Dissertation, Ucla
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  29. A Theory of Names and True Intensionality.Reinhard Muskens - 2012 - In Maria Aloni, V. Kimmelman, Floris Roelofsen, G. Weidman Sassoon, Katrin Schulz & M. Westera (eds.), Logic, Language and Meaning: 18th Amsterdam Colloquium. Springer. pp. 441-449.
    Standard approaches to proper names, based on Kripke's views, hold that the semantic values of expressions are (set-theoretic) functions from possible worlds to extensions and that names are rigid designators, i.e.\ that their values are \emph{constant} functions from worlds to entities. The difficulties with these approaches are well-known and in this paper we develop an alternative. Based on earlier work on a higher order logic that is \emph{truly intensional} in the sense that it does not validate the axiom scheme of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30. Quantification with Intentional and with Intensional Verbs.Friederike Moltmann - 2015 - In Alessandro Torza (ed.), Quantifiers, Quantifiers, and Quantifiers. Themes in Logic, Metaphysics, and Language. (Synthese Library vol. 373). Springer.
    The question whether natural language permits quantification over intentional objects as the ‘nonexistent’ objects of thought is the topic of a major philosophical controversy, as is the status of intentional objects as such. This paper will argue that natural language does reflect a particular notion of intentional object and in particular that certain types of natural language constructions (generally disregarded in the philosophical literature) cannot be analysed without positing intentional objects. At the same time, those intentional objects do not come (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  31. Semantic Paradoxes and Transparent Intensional Logic.Jiri Raclavsky - 2012 - The Logica Yearbook 2011 (College Publications):239-252.
    The paper describes the solution to semantic paradoxes pioneered by Pavel Tichý and further developed by the present author. Its main feature is an examination (and then refutation) of the hidden premise of paradoxes that the paradox-producing expression really means what it seems to mean. Semantic concepts are explicated as relative to language, thus also language is explicated. The so-called ‘explicit approach’ easily treats paradoxes in which language is explicitly referred to. The residual paradoxes are solved by the ‘implicit approach’ (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  32. Struktur Logis kesadaran (perilaku, kepribadian, rasionalitas, urutan yang lebih tinggi berpikir, intensionality).Michael Richard Starks - 2020 - Selamat Datang di Neraka di Bumi: Bayi, Perubahan Iklim, Bitcoin, Kartel, Tiongkok, Demokrasi, Keragaman, Disgenik, Kesetaraan, Peretas, Hak Asasi Manusia, Islam, Liberalisme, Kemakmuran, Web, Kekacauan, Kelaparan, Penyakit, Kekerasan, Kecerdasan Buatan,.
    Setelah setengah abad dalam pelupaan, sifat kesadaran sekarang topik terpanas dalam ilmu perilaku dan filsafat. Dimulai dengan karya perintis Ludwig Wittgenstein di tahun 1930-an (Blue dan Brown Books) dan dari 50-an sampai sekarang oleh penerus Logis John Searle, saya telah membuat tabel berikut sebagai heuristic untuk memajukan studi ini. Baris menunjukkan berbagai aspek atau cara belajar dan kolom menunjukkan proses yang tidak disengaja dan perilaku sukarela yang terdiri dari dua sistem (dual proses) dari struktur Logis kesadaran (LSC), yang juga dapat (...)
    Download  
     
    Export citation  
     
    Bookmark  
  33. La distinción aristotélica entre enérgeia y kı́nesis comprendida de modo intensional.Matı́as Von Dem Bussche - 2019 - Mutatis Mutandis: Revista Internacional de Filosofía 14.
    El siguiente artı́culo intenta defender la tesis de que la distinción aristotélica entre enérgeia y kı́nesis debe ser comprendida de modo intensional (en contraposición a una lectura extensional), tomando como punto de partida su célebre aparición en Met IX 6. Sobre la base de la identificación del problema acerca del cual trata dicho pasaje, se toma en consideración otras apariciones de la distinción en Met IX 8, en la EE, en la EN y en otros textos, en orden a documentar, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34.  61
    Carnap’s Robot Redux: LLMs, Intensional Semantics, and the Implementation Problem in Conceptual Engineering (extended abstract).Bradley Allen - manuscript
    In his 1955 essay "Meaning and synonymy in natural languages", Rudolf Carnap presents a thought experiment wherein an investigator provides a hypothetical robot with a definition of a concept together with a description of an individual, and then asks the robot if the individual is in the extension of the concept. In this work, we show how to realize Carnap's Robot through knowledge probing of an large language model (LLM), and argue that this provides a useful cognitive tool for conceptual (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35. Going Nowhere and Back: Is Trivialization the Same as Zero Execution?Ivo Pezlar - 2022 - In Pavel Materna & Bjørn Jespersen (eds.), Logically Speaking. A Festschrift for Marie Duží. College Publications. pp. 187-202.
    In this paper I will explore the question whether the Trivialization construction of transparent intensional logic (TIL) can be understood in terms of the Execution construction, specifically, in terms of its degenerate case known as the 0-Execution. My answer will be positive and the apparent contrast between the intuitive understanding of Trivialization and 0-Execution will be explained as a matter of distinct yet related informal perspectives, not as a matter of technical or conceptual differences.
    Download  
     
    Export citation  
     
    Bookmark  
  36. Why Extensional Evidence Matters.Matheus Silva - manuscript
    Intensional evidence is any reason to accept a proposition that is not the truth values of the proposition accepted or, if it is a complex proposition, is not the truth values of its propositional contents. Extensional evidence is non-intensional evidence. Someone can accept a complex proposition, but deny its logical consequences when her acceptance is based on intensional evidence, while the logical consequences of the proposition presuppose the acceptance of extensional evidence, e.g., she can refuse the logical consequence of a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  37. Intentionality without exotica.R. M. Sainsbury - 2010 - In Robin Jeshion (ed.), New Essays on Singular Thought. Oxford, GB: Oxford University Press.
    The paper argues that intensional phenomena can be explained without appealing to "exotic" entities: one that don't exist, are merely possible, or are essentially abstract.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  38. (1 other version)Property Theories.George Bealer & Uwe Mönnich - 1983 - In Dov M. Gabbay & Franz Guenthner (eds.), Handbook of Philosophical Logic. Dordrecht, Netherland: Kluwer Academic Publishers. pp. 133-251.
    Revised and reprinted in Handbook of Philosophical Logic, volume 10, Dov Gabbay and Frans Guenthner (eds.), Dordrecht: Kluwer, (2003). -- Two sorts of property theory are distinguished, those dealing with intensional contexts property abstracts (infinitive and gerundive phrases) and proposition abstracts (‘that’-clauses) and those dealing with predication (or instantiation) relations. The first is deemed to be epistemologically more primary, for “the argument from intensional logic” is perhaps the best argument for the existence of properties. This argument is presented in the (...)
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  39. Genericity.Ariel Cohen - 2022 - In Mark Aronoff (ed.), Oxford Research Encyclopedia of Linguistics. Oxford University Press. pp. 1-35.
    Generics are sentences such as Birds fly, which express generalizations. They are prevalent in speech, and as far as is known, no human language lacks generics. Yet, it is very far from clear what they mean. After all, not all birds fly—penguins don’t! -/- There are two general views about the meaning of generics in the literature, and each view encompasses many specific theories. According to the inductivist view, a generic states that a sufficient number of individuals satisfy a certain (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  40. Non-Constructive Procedural Theory of Propositional Problems and the Equivalence of Solutions.Ivo Pezlar - 2019 - In Igor Sedlár & Martin Blicha (eds.), The Logica Yearbook 2018. College Publications. pp. 197-210.
    We approach the topic of solution equivalence of propositional problems from the perspective of non-constructive procedural theory of problems based on Transparent Intensional Logic (TIL). The answer we put forward is that two solutions are equivalent if and only if they have equivalent solution concepts. Solution concepts can be understood as a generalization of the notion of proof objects from the Curry-Howard isomorphism.
    Download  
     
    Export citation  
     
    Bookmark  
  41. An Empirical Solution to the Puzzle of Macbeth’s Dagger.Justin D'Ambrosio - 2022 - Erkenntnis 87 (3):1377-1414.
    In this paper I present an empirical solution to the puzzle of Macbeth's dagger. The puzzle of Macbeth's dagger is the question of whether, in having his fatal vision of a dagger, Macbeth sees a dagger. I answer this question by addressing a more general one: the question of whether perceptual verbs are intensional transitive verbs (ITVs). I present seven experiments, each of which tests a collection of perceptual verbs for one of the three features characteristic of ITVs. One of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  42. Daoist Freedom, Psychological Hygiene, and Social Criticism.Yun Tang - 2023 - Comparative Philosophy 14 (2):134-150.
    The article explores the inner logic and defining features of Daoist freedom. It argues that Daoist freedom can be meaningfully understood as psychological hygiene, and it suggests that Daoist xuan-jie (懸解) can be rendered possible only if one can rid oneself of intensional suffering—an idea ultimately inspired by Friedrich Nietzsche. This comparative approach enables the article to contribute to the received way of understanding Daoist freedom by stressing its dialectics: by being at ease with one’s social and political environment, Daoist (...)
    Download  
     
    Export citation  
     
    Bookmark  
  43. Semantics for opaque contexts.Kirk Ludwig & Greg Ray - 1998 - Philosophical Perspectives 12:141-66.
    In this paper, we outline an approach to giving extensional truth-theoretic semantics for what have traditionally been seen as opaque sentential contexts. We outline an approach to providing a compositional truth-theoretic semantics for opaque contexts which does not require quantifying over intensional entities of any kind, and meets standard objections to such accounts. The account we present aims to meet the following desiderata on a semantic theory T for opaque contexts: (D1) T can be formulated in a first-order extensional language; (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  44. A Semantic Analysis of Russellian Simple Type Theory.Sten Lindström - 1986 - In Paul Needham & Jan Odelstad (eds.), Changing Positions: Essays Dedicated to Lars Lindahl on the Occasion of His Fiftieth Birthday. Philosophical Society and the Department of Philosophy.
    As emphasized by Alonzo Church and David Kaplan (Church 1974, Kaplan 1975), the philosophies of language of Frege and Russell incorporate quite different methods of semantic analysis with different basic concepts and different ontologies. Accordingly we distinguish between a Fregean and a Russellian tradition in intensional semantics. The purpose of this paper is to pursue the Russellian alternative and to provide a language of intensional logic with a model-theoretic semantics. We also discuss the so-called Russell-Myhill paradox that threatens simple Russellian (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. Teleosemantics and the Hard Problem of Content.Stephen Francis Mann & Ross Pain - 2022 - Philosophical Psychology 35 (1):22-46.
    Hutto and Myin claim that teleosemantics cannot account for mental content. In their view, teleosemantics accounts for a poorer kind of relation between cognitive states and the world but lacks the theoretical tools to account for a richer kind. We show that their objection imposes two criteria on theories of content: a truth-evaluable criterion and an intensionality criterion. For the objection to go through, teleosemantics must be subject to both these criteria and must fail to satisfy them. We argue (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  46. Logic and Sense.Urszula Wybraniec-Skardowska - 2016 - Philosophy Study 6 (9).
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  47. Frege and the Logic of Sense and Reference.Kevin C. Klement - 2001 - New York: Routledge.
    This book aims to develop certain aspects of Gottlob Frege’s theory of meaning, especially those relevant to intensional logic. It offers a new interpretation of the nature of senses, and attempts to devise a logical calculus for the theory of sense and reference that captures as closely as possible the views of the historical Frege. (The approach is contrasted with the less historically-minded Logic of Sense and Denotation of Alonzo Church.) Comparisons of Frege’s theory with those of Russell and others (...)
    Download  
     
    Export citation  
     
    Bookmark   45 citations  
  48. Two Notions of Resemblance and the Semantics of 'What it's Like'.Justin D'Ambrosio & Daniel Stoljar - 2022 - Inquiry: An Interdisciplinary Journal of Philosophy.
    According to the resemblance account of 'what it's like' and similar constructions, a sentence such as 'there is something it’s like to have a toothache' means 'there is something having a toothache resembles'. This account has proved controversial in the literature; some writers endorse it, many reject it. We show that this conflict is illusory. Drawing on the semantics of intensional transitive verbs, we show that there are two versions of the resemblance account, depending on whether 'resembles' is construed notionally (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  49. On Language Adequacy.Urszula Wybraniec-Skardowska - 2015 - Studies in Logic, Grammar and Rhetoric 40 (1):257-292.
    The paper concentrates on the problem of adequate reflection of fragments of reality via expressions of language and inter-subjective knowledge about these fragments, called here, in brief, language adequacy. This problem is formulated in several aspects, the most being: the compatibility of language syntax with its bi-level semantics: intensional and extensional. In this paper, various aspects of language adequacy find their logical explication on the ground of the formal-logical theory T of any categorial language L generated by the so-called classical (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  50. Reichenbach, Russell and the Metaphysics of Induction.Michael J. Shaffer - 2019 - Argumenta 8:161-181.
    Hans Reichenbach’s pragmatic treatment of the problem of induction in his later works on inductive inference was, and still is, of great interest. However, it has been dismissed as a pseudo-solution and it has been regarded as problematically obscure. This is, in large part, due to the difficulty in understanding exactly what Reichenbach’s solution is supposed to amount to, especially as it appears to offer no response to the inductive skeptic. For entirely different reasons, the significance of Bertrand Russell’s classic (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 198