scientific article
From MaRDI portal
Publication:3992728
zbMath0671.03001MaRDI QIDQ3992728
Publication date: 17 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modalityself-referenceconstructiondefinite descriptionFrege's logictheory of deductionenlargement of Russell's theory of typesfictional and historic referenceoblique reference
Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02)
Related Items
Classical harmony: Rules of inference and the meaning of the logical constants ⋮ Predicativity, the Russell-Myhill paradox, and Church's intensional logic ⋮ A new logic of technical malfunction ⋮ From Classical to Fuzzy Type Theory ⋮ Meaning and computing: two approaches to computable propositions ⋮ The Rule of Existential Generalisation and Explicit Substitution ⋮ Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach ⋮ The paradox of inference and the non-triviality of analytic information ⋮ Extensional Logic of Hyperintensions ⋮ The placeholder view of assumptions and the Curry-Howard correspondence ⋮ In defense of logical universalism: taking issue with Jean van Heijenoort ⋮ Type polymorphism, natural language semantics, and TIL ⋮ The original sin of proof-theoretic semantics ⋮ Hyperintensional logics for everyone ⋮ Extensionality and logicality ⋮ On the number of types ⋮ Decomposition and analysis in frege’sgrundgesetze ⋮ Formal theories and linguistic descriptions. ⋮ CIFOL: case-intensional first order logic. I: Toward a theory of sorts ⋮ Qualifying Quantifying-in ⋮ Type-theoretic logic with an operational account of intensionality ⋮ Transparent quantification into hyperintensional objectual attitudes ⋮ The Structure of Frege's Thoughts ⋮ Towards a more general concept of inference ⋮ On fuzzy type theory ⋮ Unnamed Item ⋮ Inversion Principles and Introduction Rules ⋮ Substitution contradiction, its resolution and the Church-Rosser theorem in TIL ⋮ If structured propositions are logical procedures then how are procedures individuated? ⋮ Anatomy of a proposition ⋮ Predication and extensionalization ⋮ Existential Import and Relations of Categorical and Modal Categorical Statements ⋮ Frege, the identity ofSinnand Carnap's intension ⋮ How to Unify Russellian and Strawsonian Definite Descriptions ⋮ Explicating the Notion of Truth Within Transparent Intensional Logic ⋮ Substitution inconsistencies in Transparent Intensional Logic ⋮ The Concept of Linguistic Variable Revisited