scientific article; zbMATH DE number 3099235
From MaRDI portal
Publication:5839915
zbMath0061.00708MaRDI QIDQ5839915
Publication date: 1942
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (57)
Universe of discourse and existence ⋮ Carnap’s Untersuchungen: Logicism, Formal Axiomatics, and Metatheory ⋮ Deductive systems with unified multiple-conclusion rules ⋮ Tarski's definition and truth-makers ⋮ Foundations for the formalization of metamathematics and axiomatizations of consequence theories ⋮ Shifting situations and shaken attitudes ⋮ On the mutual definability of the notions of entailment, rejection, and inconsistency ⋮ On consequence and rejection as operators ⋮ Rejection: a historico-epistemological view ⋮ Unified deductive systems: an outline ⋮ Logic and science: science and logic ⋮ Can Church's thesis be viewed as a Carnapian explication? ⋮ Toward a Restriction-Centered Theory of Truth and Meaning (RCT) ⋮ Carnap on logic and rationality ⋮ Carnap and the invariance of logical truth ⋮ The logical and the analytic ⋮ Carnapian and Tarskian semantics ⋮ A forgotten strand of reception history: understanding pure semantics ⋮ Carnapian explication, formalisms as cognitive tools, and the paradox of adequate formalization ⋮ Toward a Restriction-Centered Theory of Truth and Meaning (RCT) ⋮ Some Philosophical Aspects of Semantic Theory of Truth ⋮ Rejection in Łukasiewicz’s and Słupecki’s Sense ⋮ On the eliminability of ideal linguistic entities ⋮ Semantic holism ⋮ A meta-logic of inference rules: Syntax ⋮ Too much reference: Semantics for multiply signifying terms ⋮ Carnap, Quine, Quantification and Ontology ⋮ Carnap's early semantics ⋮ Pragmatics in Carnap and Morris and the bipartite metatheory conception ⋮ Carnap's dream: Gödel, Wittgenstein, and \textit{Logical Syntax} ⋮ Comparing Contents with Information ⋮ How a Computer Should Think ⋮ A Useful Four-Valued Logic ⋮ SEMANTICS OF COMPLEX STRUCTURAL SYSTEMS—PRESENTATION AND REPRESENTATION: A SYNCHRONIC VISION OF LANGUAGEL(MT) ⋮ Adverbs and events ⋮ An essay in the formal theory of extension and of intension ⋮ Linguistic knowledge of reality: a metaphysical impossibility? ⋮ Textual theory and complex belief systems: topological theory ⋮ State-of-affairs semantics for positive free logic ⋮ Univalence as a principle of logic ⋮ Methodological Practice and Complementary Concepts of Logical Consequence: Tarski's Model-Theoretic Consequence and Corcoran's Information-Theoretic Consequence ⋮ The Early Formation of Modal Logic and its Significance: A Historical Note on Quine, Carnap, and a Bit of Church ⋮ Alternative semantics for quantified first degree relevant logic ⋮ The slingshot argument and sentential identity ⋮ The constituents of an explication ⋮ Another solution to the problem of theoretical terms ⋮ Deductive systems with multiple-conclusion rules and the disjunction property ⋮ A survey of formal semantics ⋮ Key notions of Tarski's methodology of deductive systems ⋮ Logical space and metaphysical systems ⋮ Notes on synonymy ⋮ Perspectives on the logical study of language ⋮ Frege, the identity ofSinnand Carnap's intension ⋮ States of Affairs as Structured Extensions in Free Logic ⋮ Carnap's work in the foundations of logic and mathematics in a historical perspective ⋮ Carnap and the compulsions of interpretation: reining in the liberalization of empiricism ⋮ Popper's theory of deductive inference and the concept of a logical constant
This page was built for publication:
