Results for 'Hyperintensionality'

107 found
Order:
  1. Hyperintensional Semantics: A Fregean Approach.Mattias Skipper & Jens Christian Bjerring - 2020 - Synthese 197 (8):3535-3558.
    In this paper, we present a new semantic framework designed to capture a distinctly cognitive or epistemic notion of meaning akin to Fregean senses. Traditional Carnapian intensions are too coarse-grained for this purpose: they fail to draw semantic distinctions between sentences that, from a Fregean perspective, differ in meaning. This has led some philosophers to introduce more fine-grained hyperintensions that allow us to draw semantic distinctions among co-intensional sentences. But the hyperintensional strategy has a flip-side: it risks drawing semantic distinctions (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2. Hyperintensional Metaphysics.Daniel Nolan - 2014 - Philosophical Studies 171 (1):149-160.
    In the last few decades of the twentieth century there was a revolution in metaphysics: the intensional revolution. Many metaphysicians rejected the doctrine, associated with Quine and Davidson, that extensional analyses and theoretical resources were the only acceptable ones. Metaphysicians embraced tools like modal and counterfactual analyses, claims of modal and counterfactual dependence, and entities such as possible worlds and intensionally individuated properties and relations. The twenty-first century is seeing a hypterintensional revolution. Theoretical tools in common use carve more finely (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   57 citations  
  3. Dynamic Hyperintensional Belief Revision.Aybüke Özgün & Francesco Berto - 2021 - Review of Symbolic Logic:1-46.
    We propose a dynamic hyperintensional logic of belief revision for non-omniscient agents, reducing the logical omniscience phenomena affecting standard doxastic/epistemic logic as well as AGM belief revision theory. Our agents don’t know all a priori truths; their belief states are not closed under classical logical consequence; and their belief update policies are such that logically or necessarily equivalent contents can lead to different revisions. We model both plain and conditional belief, then focus on dynamic belief revision. The key idea we (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4. Simple Hyperintensional Belief Revision.F. Berto - 2018 - Erkenntnis 84 (3):559-575.
    I present a possible worlds semantics for a hyperintensional belief revision operator, which reduces the logical idealization of cognitive agents affecting similar operators in doxastic and epistemic logics, as well as in standard AGM belief revision theory. belief states are not closed under classical logical consequence; revising by inconsistent information does not perforce lead to trivialization; and revision can be subject to ‘framing effects’: logically or necessarily equivalent contents can lead to different revisions. Such results are obtained without resorting to (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  5. Hyperintensional Propositions.Mark Jago - 2015 - Synthese 192 (3):585-601.
    Propositions play a central role in contemporary semantics. On the Russellian account, propositions are structured entities containing particulars, properties and relations. This contrasts sharply with the sets-of-possible-worlds view of propositions. I’ll discuss how to extend the sets-of-worlds view to accommodate fine-grained hyperintensional contents. When this is done in a satisfactory way, I’ll argue, it makes heavy use of entities very much like Russellian tuples. The two notions of proposition become inter-definable and inter-substitutable: they are not genuinely distinct accounts of how (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  6.  24
    Hyperintensional Logics for Everyone.Igor Sedlár - 2019 - Synthese 198 (2):933-956.
    We introduce a general representation of unary hyperintensional modalities and study various hyperintensional modal logics based on the representation. It is shown that the major approaches to hyperintensionality known from the literature, that is state-based, syntactic and structuralist approaches, all correspond to special cases of the general framework. Completeness results pertaining to our hyperintensional modal logics are established.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  7. Hyperintensional Logic.M. J. Cresswell - 1975 - Studia Logica 34 (1):25 - 38.
  8. A Hyperintensional Account of Metaphysical Equivalence.Kristie Miller - 2017 - Philosophical Quarterly 67 (269):772-793.
    This paper argues for a particular view about in what metaphysical equivalence consists: namely, that any two metaphysical theories are metaphysically equivalent if and only if those theories are strongly hyperintensionally equivalent. It is consistent with this characterisation that said theories are weakly hyperintensionally distinct, thus affording us the resources to model the content of propositional attitudes directed towards metaphysically equivalent theories in such a way that non-ideal agents can bear different propositional attitudes towards metaphysically equivalent theories.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  9.  88
    A Hyperintensional Criterion of Irrelevance.Stephan Krämer - 2017 - Synthese 194 (8):2917-2930.
    On one important notion of irrelevance, evidence that is irrelevant in an inquiry may rationally be discarded, and attempts to obtain evidence amount to a waste of resources if they are directed at irrelevant evidence. The familiar Bayesian criterion of irrelevance, whatever its merits, is not adequate with respect to this notion. I show that a modification of the criterion due to Ken Gemes, though a significant improvement, still has highly implausible consequences. To make progress, I argue, we need to (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  10.  78
    Agnostic Hyperintensional Semantics.Carl Pollard - 2015 - Synthese 192 (3):535-562.
    A hyperintensional semantics for natural language is proposed which is agnostic about the question of whether propositions are sets of worlds or worlds are sets of propositions. Montague’s theory of intensional senses is replaced by a weaker theory, written in standard classical higher-order logic, of fine-grained senses which are in a many-to-one correspondence with intensions; Montague’s theory can then be recovered from the proposed theory by identifying the type of propositions with the type of sets of worlds and adding an (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  11.  11
    Hyperintensionality and Normativity.Federico L. G. Faroldi - 2019 - Springer Verlag.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  12.  73
    Co‐Hyperintensionality.Federico L. G. Faroldi - 2017 - Ratio 30 (3):270-287.
    Co-hyperintensionality, or hyperintensional equivalence, is a relation holding between two or more contents that can be substituted in a hyperintensional context salva veritate. I argue that two strategies used to provide criteria for co-hyperintensionality fail. I argue that there is no generalized notion of co-hyperintensionality that meets plausible desiderata, by showing that the opposite thesis leads to falsity. As a conclusion, I suggest to take co-hyperintensionality as a primitive and I provide a general criterion of co- (...) whose content depends on each hyperintensional notion we aim to formalize. (shrink)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  13. Intrinsicality and Hyperintensionality.Maya Eddon - 2011 - Philosophy and Phenomenological Research 82 (2):314-336.
    The standard counterexamples to David Lewis’s account of intrinsicality involve two sorts of properties: identity properties and necessary properties. Proponents of the account have attempted to deflect these counterexamples in a number of ways. This paper argues that none of these moves are legitimate. Furthermore, this paper argues that no account along the lines of Lewis’s can succeed, for an adequate account of intrinsicality must be sensitive to hyperintensional distinctions among properties.
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   35 citations  
  14. 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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  15.  29
    Routley Star and Hyperintensionality.Sergei Odintsov & Heinrich Wansing - 2021 - Journal of Philosophical Logic 50 (1):33-56.
    We compare the logic HYPE recently suggested by H. Leitgeb as a basic propositional logic to deal with hyperintensional contexts and Heyting-Ockham logic introduced in the course of studying logical aspects of the well-founded semantics for logic programs with negation. The semantics of Heyting-Ockham logic makes use of the so-called Routley star negation. It is shown how the Routley star negation can be obtained from Dimiter Vakarelov’s theory of negation and that propositional HYPE coincides with the logic characterized by the (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  16. Is Grounding a Hyperintensional Phenomenon?Michael Duncan, Kristie Miller & James Norton - 2017 - Analytic Philosophy 58 (4):297-329.
    It is widely thought that grounding is a hyperintensional phenomenon. Unfortunately, the term ‘hyperintensionality’ has been doing double-duty, picking out two distinct phenomena. This paper clears up this conceptual confusion. We call the two resulting notions hyperintensionalityGRND and hyperintensionalityTRAD. While it is clear that grounding is hyperintensionalGRND, the interesting question is whether it is hyperintensionalTRAD. We argue that given well-accepted constraints on the logical form of grounding, to wit, that grounding is irreflexive and asymmetric, grounding is hyperintensionalTRAD only if (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  17.  50
    Transparent Quantification Into Hyperintensional Objectual Attitudes.Bjørn Jespersen & Marie Duží - 2015 - Synthese 192 (3):635-677.
    We demonstrate how to validly quantify into hyperintensional contexts involving non-propositional attitudes like seeking, solving, calculating, worshipping, and wanting to become. We describe and apply a typed extensional logic of hyperintensions that preserves compositionality of meaning, referential transparency and substitutivity of identicals also in hyperintensional attitude contexts. We specify and prove rules for quantifying into hyperintensional contexts. These rules presuppose a rigorous method for substituting variables into hyperintensional contexts, and the method will be described. We prove the following. First, it (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  18. Towards a Hyperintensional Theory of Intrinsicality.Ralf M. Bader - 2013 - Journal of Philosophy 110 (10):525-563.
  19. The Impossible: An Essay on Hyperintensionality.Mark Jago - 2014 - Oxford University Press.
    Mark Jago presents an original philosophical account of meaningful thought: in particular, how it is meaningful to think about things that are impossible. We think about impossible things all the time. We can think about alchemists trying to turn base metal to gold, and about unfortunate mathematicians trying to square the circle. We may ponder whether God exists; and philosophers frequently debate whether properties, numbers, sets, moral and aesthetic qualities, and qualia exist. In many philosophical or mathematical debates, when one (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   43 citations  
  20.  24
    Deontic Modals and Hyperintensionality.Federico L. G. Faroldi - 2019 - Logic Journal of the IGPL 27 (4):387-410.
    In this paper I argue that deontic modals are hyperintensional, i.e. logically equivalent contents cannot be substituted in their scope. I give two arguments, one deductive and the other abductive. First, I show that the contrary thesis leads to falsity; second, I argue that a hyperintensional theory of deontic modals fares better than its rivals in terms of elegance, theoretical simplicity and explanatory power. I then propose a philosophical analysis of this thesis and outline some consequences. In Section 1 I (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21. On a Sufficient Condition for Hyperintensionality.Vera Hoffmann-Kolss - 2015 - Philosophical Quarterly 65 (260):336-354.
    Let an X/Y distinction be a distinction between kinds of properties, such as the distinctions between qualitative and non-qualitative, intrinsic and extrinsic, perfectly natural and less-than-perfectly natural or dispositional and categorical properties. An X/Y distinction is hyperintensional iff there are cointensional properties P and Q, such that P is an X-property, whereas Q is a Y-property. Many accounts of metaphysical distinctions among properties presuppose that such distinctions are non-hyperintensional. In this paper, I call this presupposition into question. I develop a (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  22. Hyperintensionality.Francesco Berto & Daniel Nolan - 2021 - Stanford Encyclopedia of Philosophy.
    An overview of hyperintensionality is provided. Hyperintensional languages have expressions with meanings that are more fine-grained than necessary equivalence. That is, the expressions may necessarily co-apply and yet be distinct in meaning. Adequately accounting for theories cast in hyperintensional languages is important in the philosophy of language; the philosophy of mind; metaphysics; and elsewhere. This entry presents a number of areas in which hyperintensionality is important; a range of approaches to theorising about hyperintensional matters; and a range of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23. Indicative Versus Subjunctive Conditionals, Congruential Versus Non-Hyperintensional Contexts.Timothy Williamson - 2006 - Philosophical Issues 16 (1):310–333.
    §0. A familiar if obscure idea: an indicative conditional presents its consequent as holding in the actual world on the supposition that its antecedent so holds, whereas a subjunctive conditional merely presents its consequent as holding in a world, typically counterfactual, in which its antecedent holds. Consider this pair.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  24.  17
    A Hyperintensional Logical Framework for Deontic Reasons.Federico L. G. Faroldi & Tudor Protopopescu - 2019 - Logic Journal of the IGPL 27 (4):411-433.
    In this paper we argue that normative reasons are hyperintensional and put forward a formal account of this thesis. That reasons are hyperintensional means that a reason for a proposition does not imply that it is also a reason for a logically equivalent proposition. In the first part we consider three arguments for the hyperintensionality of reasons: an argument from the nature of reasons, an argument from substitutivity and an argument from explanatory power. In the second part we describe (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  87
    II—Hyperintensional Truth Conditions.Gary Kemp - 2014 - Aristotelian Society Supplementary Volume 88 (1):57-68.
    A response to certain parts of Rumfitt : I defend Davidson's project in semantics, suggest that Rumfitt's use of sentential quantification renders his definition of truth needlessly elaborate, and pose a question for Rumfitt's handling of the strengthened Liar.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  26.  50
    Is the Intrinsic/Extrinsic Distinction Hyperintensional?Vera Hoffmann-Kolss - 2014 - In Robert M. Francescotti (ed.), Companion to Intrinsic Properties. de Gruyter. pp. 157-173.
    Several authors have recently claimed that the distinction between intrinsic and extrinsic properties is hyperintensional, i.e., that there are cointensional properties P and Q, such that P is intrinsic, while Q is extrinsic. In this paper, I aim to defend the classical view that whenever P and Q are cointensional properties, then P and Q are either both intrinsic or both extrinsic. I first argue that the standard characterization of the intrinsic/extrinsic distinction involves dependence claims: intrinsic properties are those properties (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  27.  33
    Montagovian Paradoxes and Hyperintensional Content.Dustin Tucker - 2017 - Studia Logica 105 (1):153-171.
    A number of authors have taken a family of paradoxes, whose members trace back to theorems due either in whole or in part to Richard Montague, to pose a serious, possibly fatal challenge to theories of fine-grained, hyperintensional content. These paradoxes all assume that we can represent attitudes such as knowledge and belief with sentential predicates, and this assumption is at the heart of the purported challenge: the thought is that we must reject such predicates to avoid the paradoxes, and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  5
    A Hyperintensional Theory of (Empty) Names.Miloš Kosterec - forthcoming - Erkenntnis:1-19.
    This paper presents an original semantic theory of proper names that aims to cover both non-empty and empty proper names. According to the theory, proper names have simple assignable hyperintensions as their content. This content provides the referent for which the proper name stands. The paper further describes the role of the proposed content of proper names within the compositional semantics of problematic sentences. I stress the difference between the content of a sentence and the proposition denoted by that sentence.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  29. Intensionality and Hyperintensionality.Daniel Nolan - 2019 - Routledge Encyclopedia of Philosophy.
    Routledge Encyclopedia entry on Intensionality and Hyperintensionality.
    Direct download  
     
    Export citation  
     
    Bookmark  
  30.  70
    Cocchiarella’s Formal Ontology and the Paradoxes of Hyperintensionality.Gregory Landini - 2009 - Axiomathes 19 (2):115-142.
    This is a critical discussion of Nino B. Cocchiarella’s book “Formal Ontology and Conceptual Realism.” It focuses on paradoxes of hyperintensionality that may arise in formal systems of intensional logic.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  31.  13
    First Among Equals: Co-Hyperintensionality for Structured Propositions.Bjørn Jespersen - forthcoming - Synthese:1-15.
    Theories of structured meanings are designed to generate fine-grained meanings, but they are also liable to overgenerate structures, thus drawing structural distinctions without a semantic difference. I recommend the proliferation of very fine-grained structures, so that we are able to draw any semantic distinctions we think we might need. But, in order to contain overgeneration, I argue we should insert some degree of individuation between logical equivalence and structural identity based on structural isomorphism. The idea amounts to forming an equivalence (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  32.  27
    Concepts as Hyperintensional Objects.Pavel Materna - 2014 - Logic and Logical Philosophy (2):133-170.
    The author defends the view that the notion of concept, if used in the logical tradition, should be explicated procedurally . He argues that Tichý’s Transparent Intensional Logic is an apt tool for such an explication and derives the respective definition. Some consequences of this definition concern the notions of emptiness, simple concepts, empirical concepts and algorithmic concepts.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  78
    Mark Jago: The Impossible: An Essay on Hyperintensionality[REVIEW]Ralf M. Bader - 2015 - Journal of Philosophy 112 (11):627-630.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34.  32
    A Non-Compactness Phenomenon in Logics with Hyperintensional Predication.Cinzia Bonotto & Alberto Zanardo - 1989 - Journal of Philosophical Logic 18 (4):383 - 398.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  35. The Prospects of the Concept Match in Hyperintensional Deduction.Lukas Bielik & Frantisek Gaher - 2013 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 20:98-111.
    No categories
     
    Export citation  
     
    Bookmark  
  36. The Impossible: An Essay on Hyperintensionality, by Mark Jago. [REVIEW]Daniel Nolan - 2015 - Mind 124 (496):1299-1302.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  37.  24
    Correction To: HYPE: A System of Hyperintensional Logic.Hannes Leitgeb - 2019 - Journal of Philosophical Logic 48 (2):407-407.
    The original version of the article unfortunately contained a mistake. The author missed to mention the support by a EU-funded research network that he is involved in. See below. This work was supported by the Marie-Sklodowska-Curie Innovative Training Network DIAPHORA.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38. Variabilism.Samuel Cumming - 2008 - Philosophical Review 117 (4):525-554.
    Variabilism is the view that proper names (like pronouns) are semantically represented as variables. Referential names, like referential pronouns, are assigned their referents by a contextual variable assignment (Kaplan 1989). The reference parameter (like the world of evaluation) may also be shifted by operators in the representation language. Indeed verbs that create hyperintensional contexts, like ‘think’, are treated as operators that simultaneously shift the world and assignment parameters. By contrast, metaphysical modal operators shift the world of assessment only. Names, being (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   55 citations  
  39. It's Not What It Seems. A Semantic Account of ‘Seems’ and Seemings.Berit Brogaard - 2013 - Inquiry: An Interdisciplinary Journal of Philosophy 56 (2-3):210-239.
    I start out by reviewing the semantics of ‘seem’. As ‘seem’ is a subject-raising verb, ‘it seems’ can be treated as a sentential operator. I look at the semantic and logical properties of ‘it seems’. I argue that ‘it seems’ is a hyperintensional and contextually flexible operator. The operator distributes over conjunction but not over disjunction, conditionals or semantic entailments. I further argue that ‘it seems’ does not commute with negation and does not agglomerate with conjunction. I then show that (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  40. A Paradox of Evidential Equivalence.David Builes - 2020 - Mind 129 (513):113-127.
    Our evidence can be about different subject matters. In fact, necessarily equivalent pieces of evidence can be about different subject matters. Does the hyperintensionality of ‘aboutness’ engender any hyperintensionality at the level of rational credence? In this paper, I present a case which seems to suggest that the answer is ‘yes’. In particular, I argue that our intuitive notions of independent evidence and inadmissible evidence are sensitive to aboutness in a hyperintensional way. We are thus left with a (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  41. Counteridenticals.Alexander W. Kocurek - 2018 - The Philosophical Review 127 (3):323-369.
    A counteridentical is a counterfactual with an identity statement in the antecedent. While counteridenticals generally seem non-trivial, most semantic theories for counterfactuals, when combined with the necessity of identity and distinctness, attribute vacuous truth conditions to such counterfactuals. In light of this, one could try to save the orthodox theories either by appealing to pragmatics or by denying that the antecedents of alleged counteridenticals really contain identity claims. Or one could reject the orthodox theory of counterfactuals in favor of a (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  42. Substitution Structures.Andrew Bacon - 2019 - Journal of Philosophical Logic 48 (6):1017-1075.
    An increasing amount of twenty-first century metaphysics is couched in explicitly hyperintensional terms. A prerequisite of hyperintensional metaphysics is that reality itself be hyperintensional: at the metaphysical level, propositions, properties, operators, and other elements of the type hierarchy, must be more fine-grained than functions from possible worlds to extensions. In this paper I develop, in the setting of type theory, a general framework for reasoning about the granularity of propositions and properties. The theory takes as primitive the notion of a (...)
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   6 citations  
  43.  69
    Defining Qualitative Properties.Vera Hoffmann-Kolss - 2019 - Erkenntnis 84 (5):995-1010.
    The aim of this paper is to provide a systematic account of the metaphysically important distinction between haecceitistic properties, such as being David Lewis or being acquainted with David Lewis, and qualitative properties, such as being red or being acquainted with a famous philosopher. I first argue that this distinction is hyperintensional, that is, that cointensional properties can differ in whether they are qualitative. Then I develop an analysis of the qualitative/haecceitistic distinction according to which haecceitistic properties are relational in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  44.  24
    Denotational Semantics for Modal Systems S3–S5 Extended by Axioms for Propositional Quantifiers and Identity.Steffen Lewitzka - 2015 - Studia Logica 103 (3):507-544.
    There are logics where necessity is defined by means of a given identity connective: \ is a tautology). On the other hand, in many standard modal logics the concept of propositional identity \ can be defined by strict equivalence \}\). All these approaches to modality involve a principle that we call the Collapse Axiom : “There is only one necessary proposition.” In this paper, we consider a notion of PI which relies on the identity axioms of Suszko’s non-Fregean logic SCI. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  45.  48
    Constructive Belief Reports.Bartosz Więckowski - 2015 - Synthese 192 (3):603-633.
    The paper develops a proof-theoretic semantics for belief reports by extending the constructive type-theoretical formalism presented in Więckowski with a specific kind of set-forming operator suited for the representation of belief attitudes. The extended formalism allows us to interpret constructions which involve, e.g., iteration of belief, quantifying into belief contexts, and anaphora in belief reports. Moreover, constructive solutions to canonical instances of the problem of hyperintensionality are suggested. The paper includes a discussion of Ranta’s constructive account of belief reports.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  46. Propositions as Truthmaker Conditions.Mark Jago - 2017 - Argumenta 2 (2):293-308.
    Propositions are often aligned with truth-conditions. The view is mistaken, since propositions discriminate where truth conditions do not. Propositions are hyperintensional: they are sensitive to necessarily equivalent differences. I investigate an alternative view on which propositions are truthmaker conditions, understood as sets of possible truthmakers. This requires making metaphysical sense of merely possible states of affairs. The theory that emerges illuminates the semantic phenomena of samesaying, subject matter, and aboutness.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  47. Are Impossible Worlds Trivial?Mark Jago - 2013 - In Vit Puncochar & Petr Svarny (eds.), The Logica Yearbook 2012. College Publications.
    Theories of content are at the centre of philosophical semantics. The most successful general theory of content takes contents to be sets of possible worlds. But such contents are very coarse-grained, for they cannot distinguish between logically equivalent contents. They draw intensional but not hyperintensional distinctions. This is often remedied by including impossible as well as possible worlds in the theory of content. Yet it is often claimed that impossible worlds are metaphysically obscure; and it is sometimes claimed that their (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  17
    Is Transparent Intensional Logic a Non-Classical Logic?Pavel Materna - 2014 - Logic and Logical Philosophy 23 (1):47-55.
    It is shown that: classicality is connected with various criteria some of which are fulfilled by TIL while some other are not; some more general characteristic of classicality connects it with philosophical realism whereas anti-realism is connected with non-classical logics; TIL is highly expressive due to its hyperintensionality, which makes it possible to handle procedures as objects sui generis. Thus TIL is classical in obeying principles of realism and non-classical in transcending some principles taught by textbooks of classical logic.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  49. 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 (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  50.  97
    Hyperlogic: A System for Talking About Logics.Alexander W. Kocurek - 2019 - Proceedings for the 22nd Amsterdam Colloquium.
    Sentences about logic are often used to show that certain embedding expressions, including attitude verbs, conditionals, and epistemic modals, are hyperintensional. Yet it not clear how to regiment “logic talk” in the object language so that it can be compositionally embedded under such expressions. This paper does two things. First, it argues against a standard account of logic talk, viz., the impossible worlds semantics. It is shown that this semantics does not easily extend to a language with propositional quantifiers, which (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 107