Switch to: References

Add citations

You must login to add citations.
  1. Substitution contradiction, its resolution and the Church-Rosser Theorem in TIL.Miloš Kosterec - 2020 - Journal of Philosophical Logic 49 (1):121-133.
    I present an analysis according to which the current state of the definition of substitution leads to a contradiction in the system of Transparent Intensional Logic. I entail the contradiction using only the basic definitions of TIL and standard results. I then analyse the roots of the contradiction and motivate the path I take in resolving the contradiction. I provide a new amended definition of collision-less substitution which blocks the contradiction in a non-ad hoc way. I elaborate on the consequences (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  • 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   10 citations  
  • Why Aboutness Matters: Meta-Fictionalism as a Case Study.Matteo Plebani - 2021 - Philosophia 49 (3):1177-1186.
    Recent work in the philosophy of language attempts to elucidate the elusive notion of aboutness. A natural question concerning such a project has to do with its motivation: why is the notion of aboutness important? Stephen Yablo offers an interesting answer: taking into consideration not only the conditions under which a sentence is true, but also what a sentence is about opens the door to a new style of criticism of certain philosophical analyses. We might criticize the analysis of a (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Anatomy of a Proposition.Bjørn Jespersen - 2019 - Synthese 196 (4):1285-1324.
    This paper addresses the mereological problem of the unity of structured propositions. The problem is how to make multiple parts interact such that they form a whole that is ultimately related to truth and falsity. The solution I propose is based on a Platonist variant of procedural semantics. I think of procedures as abstract entities that detail a logical path from input to output. Procedures are modeled on a function/argument logic, but are not functions. Instead they are higher-order, fine-grained structures. (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • On the Number of Types.Miloš Kosterec - 2017 - Synthese 194 (12):5005-5021.
    In this paper, I investigate type theories from several perspectives. First, I present and elaborate the philosophical and technical motivations for these theories. I then offer a formal analysis of various TTs, focusing on the cardinality of the set of types contained in each. I argue that these TTs can be divided into four formal categories, which are derived from the cardinality of the set of their basic elementary types and the finiteness of the lengths of their molecular types. The (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • 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 debates that (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • 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. London: 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  
  • Should Propositions Proliferate?Bjørn Jespersen - 2015 - Thought: A Journal of Philosophy 4 (4):243-251.
    Soames's cognitive propositions are strings of acts to be performed by an agent, such as predicating a property of an individual. King takes these structured propositions to task for proliferating too easily. King's objection is based on an example that purports to show that three of Soames's propositions are really just one proposition. I translate the informally stated propositions King attributes to Soames into the intensional λ-calculus. It turns out that they are all β-equivalent to the proposition King claims Soames's (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • 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 a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • 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-hyperintensionality whose content depends on (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations