Results for 'Transparent Intensional Logic'

958 found
Order:
  1. 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  
  2. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. 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  
  4. 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  
  5. Transparent quantification into hyperpropositional contexts de re.Duží Marie & Bjørn Jespersen - 2012 - Logique & Analyse 55 (220):513-554.
    This paper is the twin of (Duží and Jespersen, in submission), which provides a logical rule for transparent quantification into hyperprop- ositional contexts de dicto, as in: Mary believes that the Evening Star is a planet; therefore, there is a concept c such that Mary be- lieves that what c conceptualizes is a planet. Here we provide two logical rules for transparent quantification into hyperpropositional contexts de re. (As a by-product, we also offer rules for possible- world propositional (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  6. Tichý and Fictional Names.Daniela Glavaničová - 2017 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 24 (3):384-404.
    The paper examines two possible analyses of fictional names within Pavel Tichý’s Transparent Intensional Logic. The first of them is the analysis actually proposed by Tichý in his (1988) book The Foundations of Frege’s Logic. He analysed fictional names in terms of free variables. I will introduce, explain, and assess this analysis. Subsequently, I will explain Tichý’s notion of individual role (office, thing-to-be). On the basis of this notion, I will outline and defend the second analysis (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  7. 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  
  8. (1 other version)Foundations of Intensional Logic.David Kaplan - 1964 - Dissertation, Ucla
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  9. The logic of phenomenal transparency.Kenneth Williford - 2007 - Soochow Journal of Philosophical Studies 2007 (16):181-195.
    This paper explores the logical consequences of the the thesis that all of the essential properties of consciousness can be known introspectively (Completeness, called "Strong Transparency" in the paper, following D.M. Armstrong's older terminology). It is argued that it can be known introspectively that consciousness does not have complete access to its essential properties; and it is show how this undermines conceivability arguments for dualism.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  10. Topic Transparency and Variable Sharing in Weak Relevant Logics.Thomas Macaulay Ferguson & Shay Allen Logan - forthcoming - Erkenntnis:1-28.
    In this paper, we examine a number of relevant logics’ variable sharing properties from the perspective of theories of topic or subject-matter. We take cues from Franz Berto’s recent work on topic to show an alignment between families of variable sharing properties and responses to the topic transparency of relevant implication and negation. We then introduce and defend novel variable sharing properties stronger than strong depth relevance—which we call cn-relevance and lossless cn-relevance—showing that the properties are satisfied by the weak (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  11. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12. (1 other version)Recapture, Transparency, Negation and a Logic for the Catuskoti.Adrian Kreutz - 2019 - Comparative Philosophy 10 (1):67-92.
    The recent literature on Nāgārjuna’s catuṣkoṭi centres around Jay Garfield’s (2009) and Graham Priest’s (2010) interpretation. It is an open discussion to what extent their interpretation is an adequate model of the logic for the catuskoti, and the Mūla-madhyamaka-kārikā. Priest and Garfield try to make sense of the contradictions within the catuskoti by appeal to a series of lattices – orderings of truth-values, supposed to model the path to enlightenment. They use Anderson & Belnaps's (1975) framework of First Degree (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  13. Conservatively extending classical logic with transparent truth.David Ripley - 2012 - Review of Symbolic Logic 5 (2):354-378.
    This paper shows how to conservatively extend classical logic with a transparent truth predicate, in the face of the paradoxes that arise as a consequence. All classical inferences are preserved, and indeed extended to the full (truth—involving) vocabulary. However, not all classical metainferences are preserved; in particular, the resulting logical system is nontransitive. Some limits on this nontransitivity are adumbrated, and two proof systems are presented and shown to be sound and complete. (One proof system allows for Cut—elimination, (...)
    Download  
     
    Export citation  
     
    Bookmark   121 citations  
  14. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  15. 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  
  16. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   45 citations  
  17. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  18. Democracy Beyond Disclosure: Secrecy, Transparency, and the Logic of Self-Government.Jonathan Richard Bruno - 2017 - Dissertation, Harvard University
    "Transparency" is the constant refrain of democratic politics, a promised aid to accountability and integrity in public life. Secrecy is stigmatized as a work of corruption, tolerable by a compromise of democratic principles. My dissertation challenges both ideas. It argues that secrecy and transparency are best understood as complementary, not contradictory, practices. And it develops a normative account of liberal democratic politics in which duties of transparency coexist with permissions to act behind closed doors. The project begins with some history. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  21. 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  
  22. Transparency and the Context-Sensitivity of Attitude Reports.Cian Dorr - 2014 - In Manuel García-Carpintero & Genoveva Martí (eds.), Empty Representations: Reference and Non-Existence. New York, NY: Oxford University Press. pp. 25-66.
    This paper defends the claim that although ‘Superman is Clark Kent and some people who believe that Superman flies do not believe that Clark Kent flies’ is a logically inconsistent sentence, we can still utter this sentence, while speaking literally, without asserting anything false. The key idea is that the context-sensitivity of attitude reports can be - and often is - resolved in different ways within a single sentence.
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  23. The logical status of mind.George Bealer - 1986 - Midwest Studies in Philosophy 10 (1):231-74.
    It is argued that the distinction between the mental and the nonmental is at bottom logical. The paper begins by sketching and defending a theory of intensional logic in which the notion of logically and metaphysically basic relations (called connections) can be defined. This notion is then employed in an analysis of intentionality: a connection is intentional iff it can contingently connect some individual to some proposition or concept independently of whether it connects the individual to some necessarily (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  24. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  25. 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  
  26. 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  
  27. Seeing through Transparency.Davide Bordini - 2023 - In Uriah Kriegel (ed.), Oxford Studies in Philosophy of Mind Vol. 3. Oxford: Oxford University Press.
    Since the 1990s the so-called transparency of experience has played a crucial role in core debates in philosophy of mind. However, recent developments in the literature have made transparency itself quite opaque. The very idea of transparent experience has become quite fuzzy, due to the articulation of many different notions of transparency and transparency theses. Absent a unified logical space where these notions and theses can be mapped and confronted, we are left with an overall impression of conceptual chaos. (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  28. The Logic of Action and Control.Leona Mollica - 2023 - Journal of Philosophical Logic 52 (5):1237-1268.
    In this paper I propose and motivate a logic of the interdefined concepts of making true and control, understood as intensional propositional operators to be indexed to an agent. While bearing a resemblance to earlier logics in the tradition, the motivations, semantics, and object language theory differ on crucial points. Applying this logic to widespread formal theories of agency, I use it as a framework to argue against the ubiquitous assumption that the strongest actions or options available (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. Logic-Language-Ontology.Urszula B. Wybraniec-Skardowska - 2022 - Cham, Switzerland: Springer Nature, Birkhäuser, Studies in Universal Logic series.
    The book is a collection of papers and aims to unify the questions of syntax and semantics of language, which are included in logic, philosophy and ontology of language. The leading motif of the presented selection of works is the differentiation between linguistic tokens (material, concrete objects) and linguistic types (ideal, abstract objects) following two philosophical trends: nominalism (concretism) and Platonizing version of realism. The opening article under the title “The Dual Ontological Nature of Language Signs and the Problem (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  30. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31. (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 (...)
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  32. On logical omniscience.Jacques Dubucs - 1991 - Logique Et Analyse 133 (133-140):41-55.
    Standard epistemic logic actually formalizes folk-psychology. The problem of logical omniscience shows that this logic is not adequate in a cognitivist setting. In order to describe realistic information-processing believers, we need both an ontology of particulars and a hyper-intensional taxonomy of representations. From this point of view, sub-structural logics, which do not overlook the syntaxic details of the processing of information, are an interesting alternative to possible worlds semantics.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  33. LF: a Foundational Higher-Order Logic.Zachary Goodsell & Juhani Yli-Vakkuri - manuscript
    This paper presents a new system of logic, LF, that is intended to be used as the foundation of the formalization of science. That is, deductive validity according to LF is to be used as the criterion for assessing what follows from the verdicts, hypotheses, or conjectures of any science. In work currently in progress, we argue for the unique suitability of LF for the formalization of logic, mathematics, syntax, and semantics. The present document specifies the language and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34. Boxes and Diamonds: An Open Introduction to Modal Logic.Richard Zach - 2019 - Open Logic Project.
    A textbook for modal and other intensional logics based on the Open Logic Project. It covers normal modal logics, relational semantics, axiomatic and tableaux proof systems, intuitionistic logic, and counterfactual conditionals.
    Download  
     
    Export citation  
     
    Bookmark  
  35. Meta-Classical Non-Classical Logics.Eduardo Alejandro Barrio, Camillo Fiore & Federico Pailos - forthcoming - Review of Symbolic Logic.
    Recently, it has been proposed to understand a logic as containing not only a validity canon for inferences but also a validity canon for metainferences of any finite level. Then, it has been shown that it is possible to construct infinite hierarchies of "increasingly classical" logics—that is, logics that are classical at the level of inferences and of increasingly higher metainferences—all of which admit a transparent truth predicate. In this paper, we extend this line of investigation by taking (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36. Logic of Probability and Conjecture.Harry Crane - unknown
    I introduce a formalization of probability which takes the concept of 'evidence' as primitive. In parallel to the intuitionistic conception of truth, in which 'proof' is primitive and an assertion A is judged to be true just in case there is a proof witnessing it, here 'evidence' is primitive and A is judged to be probable just in case there is evidence supporting it. I formalize this outlook by representing propositions as types in Martin-Lof type theory (MLTT) and defining a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  37. What Is the Sense in Logic and Philosophy of Language.Urszula Wybraniec-Skardowska - 2020 - Bulletin of the Section of Logic 49 (2):185-211.
    In the paper, various notions of the logical semiotic sense of linguistic expressions – namely, syntactic and semantic, intensional and extensional – are considered and formalised on the basis of a formal-logical conception of any language L characterised categorially in the spirit of certain Husserl's ideas of pure grammar, Leśniewski-Ajdukiewicz's theory of syntactic/semantic categories and, in accordance with Frege's ontological canons, Bocheński's and some of Suszko's ideas of language adequacy of expressions of L. The adequacy ensures their unambiguous syntactic (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38. Higher-order free logic and the Prior-Kaplan paradox.Andrew Bacon, John Hawthorne & Gabriel Uzquiano - 2016 - Canadian Journal of Philosophy 46 (4-5):493-541.
    The principle of universal instantiation plays a pivotal role both in the derivation of intensional paradoxes such as Prior’s paradox and Kaplan’s paradox and the debate between necessitism and contingentism. We outline a distinctively free logical approach to the intensional paradoxes and note how the free logical outlook allows one to distinguish two different, though allied themes in higher-order necessitism. We examine the costs of this solution and compare it with the more familiar ramificationist approaches to higher-order (...). Our assessment of both approaches is largely pessimistic, and we remain reluctantly inclined to take Prior’s and Kaplan’s derivations at face value. (shrink)
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  39. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  40. On the Logical Positivists' Philosophy of Psychology: Laying a Legend to Rest.Sean Crawford - 2014 - In Thomas Uebel (ed.), New Directions in the Philosophy of Science. Cham: Springer. pp. 711-726.
    The received view in the history of the philosophy of psychology is that the logical positivists—Carnap and Hempel in particular—endorsed the position commonly known as “logical” or “analytical” behaviourism, according to which the relations between psychological statements and the physical-behavioural statements intended to give their meaning are analytic and knowable a priori. This chapter argues that this is sheer legend: most, if not all, such relations were viewed by the logical positivists as synthetic and knowable only a posteriori. It then (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  41. The Myth of Logical Behaviourism and the Origins of the Identity Theory.Sean Crawford - 2013 - In Michael Beaney (ed.), The Oxford Handbook of The History of Analytic Philosophy. Oxford, England: Oxford University Press.
    The identity theory’s rise to prominence in analytic philosophy of mind during the late 1950s and early 1960s is widely seen as a watershed in the development of physicalism, in the sense that whereas logical behaviourism proposed analytic and a priori ascertainable identities between the meanings of mental and physical-behavioural concepts, the identity theory proposed synthetic and a posteriori knowable identities between mental and physical properties. While this watershed does exist, the standard account of it is misleading, as it is (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  42. Kant’s Conception of Logical Extension and Its Implications.Huaping Lu-Adler - 2012 - Dissertation, University of California, Davis
    It is a received view that Kant’s formal logic (or what he calls “pure general logic”) is thoroughly intensional. On this view, even the notion of logical extension must be understood solely in terms of the concepts that are subordinate to a given concept. I grant that the subordination relation among concepts is an important theme in Kant’s logical doctrine of concepts. But I argue that it is both possible and important to ascribe to Kant an objectual (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  43. Theories of truth based on four-valued infectious logics.Damian Szmuc, Bruno Da Re & Federico Pailos - 2020 - Logic Journal of the IGPL 28 (5):712-746.
    Infectious logics are systems that have a truth-value that is assigned to a compound formula whenever it is assigned to one of its components. This paper studies four-valued infectious logics as the basis of transparent theories of truth. This take is motivated as a way to treat different pathological sentences differently, namely, by allowing some of them to be truth-value gluts and some others to be truth-value gaps and as a way to treat the semantic pathology suffered by at (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  44. 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  
  45. The senses of functions in the logic of sense and denotation.Kevin C. Klement - 2010 - Bulletin of Symbolic Logic 16 (2):153-188.
    This paper discusses certain problems arising within the treatment of the senses of functions in Alonzo Church's Logic of Sense and Denotation. Church understands such senses themselves to be "sense-functions," functions from sense to sense. However, the conditions he lays out under which a sense-function is to be regarded as a sense presenting another function as denotation allow for certain undesirable results given certain unusual or "deviant" sense-functions. Certain absurdities result, e.g., an argument can be found for equating any (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  46. (1 other version)Logical foundations for belief representation.William J. Rapaport - 1986 - Cognitive Science 10 (4):371-422.
    This essay presents a philosophical and computational theory of the representation of de re, de dicto, nested, and quasi-indexical belief reports expressed in natural language. The propositional Semantic Network Processing System (SNePS) is used for representing and reasoning about these reports. In particular, quasi-indicators (indexical expressions occurring in intentional contexts and representing uses of indicators by another speaker) pose problems for natural-language representation and reasoning systems, because--unlike pure indicators--they cannot be replaced by coreferential NPs without changing the meaning of the (...)
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  47. Discourse and logical form: pronouns, attention and coherence.Una Stojnić, Matthew Stone & Ernie Lepore - 2017 - Linguistics and Philosophy 40 (5):519-547.
    Traditionally, pronouns are treated as ambiguous between bound and demonstrative uses. Bound uses are non-referential and function as bound variables, and demonstrative uses are referential and take as a semantic value their referent, an object picked out jointly by linguistic meaning and a further cue—an accompanying demonstration, an appropriate and adequately transparent speaker’s intention, or both. In this paper, we challenge tradition and argue that both demonstrative and bound pronouns are dependent on, and co-vary with, antecedent expressions. Moreover, the (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  48. Questions of Race in Leibniz's Logic.Joshua M. Hall - forthcoming - Journal of Comparative Literature and Aesthetics.
    This essay is part of larger project in which I attempt to show that Western formal logic, from its inception in Aristotle onward, has both been partially constituted by, and partially constitutive of, what has become known as racism. More specifically, (a) racist/quasi-racist/proto-racist political forces were part of the impetus for logic’s attempt to classify the world into mutually exclusive, hierarchically-valued categories in the first place; and (b) these classifications, in turn, have been deployed throughout history to justify (...)
    Download  
     
    Export citation  
     
    Bookmark  
  49. Logic and Voice.Espen Hammer - 2021 - Journal for the History of Analytical Philosophy 9 (9).
    In this paper, I aim to reconstruct and discuss Stanley Cavell’s interpretation and critique of analytic philosophy. Cavell objects to the tradition of analytic philosophy that, in its eagerness to provide abstract, theoretical reconstructions, it has failed to understand the importance of “the human voice” for philosophy. First, I outline Cavell’s retelling of the history of analytic philosophy from Frege and Russell to ordinary language philosophy. Second, I turn to Cavell’s reading of Kierkegaard and Wittgenstein in order to show what (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50. Cut elimination for systems of transparent truth with restricted initial sequents.Carlo Nicolai - manuscript
    The paper studies a cluster of systems for fully disquotational truth based on the restriction of initial sequents. Unlike well-known alternative approaches, such systems display both a simple and intuitive model theory and remarkable proof-theoretic properties. We start by showing that, due to a strong form of invertibility of the truth rules, cut is eliminable in the systems via a standard strategy supplemented by a suitable measure of the number of applications of truth rules to formulas in derivations. Next, we (...)
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 958