scientific article; zbMATH DE number 3051936
From MaRDI portal
Publication:5791196
zbMath0034.00106MaRDI QIDQ5791196
Publication date: 1947
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
A contextual-hierarchical approach to truth and the liar paradox, Predicate change. A study on the conservativity of conceptual change, The application of constraint semantics to the language of subjective uncertainty, Logical information and epistemic space, A comprehensive theory of trichotomous evaluative linguistic expressions, Tensed mereology, Mining pure linguistic associations from numerical data, Fuzzy semantic analysis and formal specification of conceptual knowledge, The well-designed young mathematician, First-order classical modal logic, Una teoria di relativita generale includente, oltre all'elettro- magnetismo e alla termodinamica, le equazioni costitutive dei materiali ereditari. Sistemazione assiomatica, Carnap on concept determination: methodology for philosophy of science, The elimination of \textit{de re} formulas, On a synonymy relation for extensional first order theories. I: A notion of synonymy, The paradox of inference and the non-triviality of analytic information, Shallow analysis and the slingshot argument, Meaning and interpretation. I, Rethinking Quine's argument on the collapse of modal distinctions, Multitude, tolerance and language-transcendence, Does semantic relationism solve Frege's puzzle?, Explication of inductive probability, Russell and his sources for non-classical logics, The interpreted type-free modal calculus MC\(^\infty\). I: The type free extensional calculus EC\(^\infty\) involving individuals, and the interpreted language ML\(^\infty\) on which MC\(\infty\) is based, The reversibility objection against the second law of thermodynamics viewed, and avoided, from a logical point of view, A history based approximate epistemic action theory for efficient postdictive reasoning, HYPE: a system of hyperintensional logic (with an application to semantic paradoxes), Mathematical developments arising from 'semantical implication' and the evaluation of membership characteristic functions, The fundamental problem of logical omniscience, Logics of synonymy, Communication and strong compositionality, The role of symmetry in the interpretation of physical theories, A linguistic approach to time series modeling with the help of F-transform, Quine on intensional entities: modality and quantification, truth and satisfaction, Opacity and the double life of singular propositions, Criteria of theoreticity: bridging statement and non-statement view, A constructive approach to state description semantics, Carnap on logic and rationality, Carnap and the invariance of logical truth, Carnapian and Tarskian semantics, Carnapian explication, formalisms as cognitive tools, and the paradox of adequate formalization, Why follow the royal rule?, Constructing worlds, Mathematical modal logic: A view of its evolution, Foundations of fuzzy sets: A nonstandard approach, Too much reference: Semantics for multiply signifying terms, On what we can ensure, CIFOL: case-intensional first order logic. I: Toward a theory of sorts, A closer look at manifest consequence, Carnap's early semantics, Pragmatics in Carnap and Morris and the bipartite metatheory conception, The truth about the future, Boolean fuzzy sets, Formalization and the objects of logic, Agnostic hyperintensional semantics, Type-theoretic logic with an operational account of intensionality, Hyperintensional propositions, Transparent quantification into hyperintensional objectual attitudes, Inconsistent boundaries, Platitudes in mathematics, Explication, H-D confirmation, and simplicity, On the ignorance, knowledge, and nature of propositions, Prior on the semantics of modal and tense logic, On the justification of deduction and induction, Montagovian paradoxes and hyperintensional content, A model of hierarchies based on graph homomorphisms, Some modifications of Carnap's modal logic, Dicing with Saul Kripke, Analyticity and justification in Frege, Structured meanings and reflexive domains, Logical geometries and information in the square of oppositions, Linguistic knowledge of reality: a metaphysical impossibility?, The elimination of descriptions from A. Bressan's modal language \(ML^\nu\) on which the logical calculus \(MC^\nu\) is based, A new interpretation of Carnap's logical pluralism, Analysis as translation, Possible worlds for modal primitivists, If structured propositions are logical procedures then how are procedures individuated?, Unity through truth, Editorial introduction. Truth values. I, The slingshot argument and sentential identity, The neo-Carnapians, Armchair philosophy naturalized, Truthmakers and normative conflicts, A general possible worlds framework for reasoning about knowledge and belief, Wissenschaftslogik: the role of logic in the philosophy of science, Latticial structures in data analysis., Relevant identity, Reasoning about arbitrary natural numbers from a Carnapian perspective, Is default logic a reinvention of inductive-statistical reasoning?, Confused terms in ordinary language, The interpreted type-free modal calculus MC\(^\infty\). II: Foundations of MC\(^\infty\), A computational approach to fuzzy quantifiers in natural languages, Interpreting network formalisms, Foundations of programmology, Introduction: Individual concepts in language and thought, 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, Incomplete symbols -- definite descriptions revisited, Under Carnap's lamp: flat pre-semantics, Individual concepts in modal predicate logic, The genesis of possible worlds semantics, On the semantics of perception-based fuzzy logic deduction, On the completeness of the Leibnizian modal system with a restriction, On V.A. Yankov’s Contribution to the History of Foundations of Mathematics, Metodo di assiomatizzazione in senso stretto della meccanica classica. Applicazione di esso ad alcuni problemi di assiomatizzazione non ancora completamente risolti, Unnamed Item, The complexity class θp2: Recent results and applications in AI and modal logic, Carnap’s Untersuchungen: Logicism, Formal Axiomatics, and Metatheory, Modalities Without Worlds, Meaning and interpretation. II, INVARIANCE CRITERIA AS META-CONSTRAINTS, On Some Modal Type Intuitionistic Fuzzy Operators, Distributional formal semantics, Extensional Logic of Hyperintensions, Indicating a Translation for ‘Bedeutung’, On the fundamental role of `means that' in semantic theorizing, Two, Many, and Differently Many, An (almost) fuzzy logic of action and preferences, its quasi-model interpretations, and the problem of its decidability, Philosophical Logic = Philosophy + Logic?, A Carnapian Logic of Conceivability, About All and Nothing: Meinongian Views of All and Nothing as Maximal and Minimal Objects of Thought, Is weak supplementation analytic?, Model-theoretic semantics as model-based science, Logic and science: science and logic, An empirically supported approach to the treatment of imprecision in vague reasoning, A Computable Solution to Partee’s Temperature Puzzle, How (not) to construct worlds with responsibility, Hyperintensional semantics: a Fregean approach, Simple Axioms for Local Properties, Variables and Attitudes, Unnamed Item, The epistemic significance of numerals, Can Church's thesis be viewed as a Carnapian explication?, Extensionality and logicality, Identity and intensionality in univalent foundations and philosophy, Theoretical equivalence and duality, Making Sense of Sense Containment, Popper's Notion of Duality and His Theory of Negations, Toward a Restriction-Centered Theory of Truth and Meaning (RCT), Toward a Restriction-Centered Theory of Truth and Meaning (RCT), What Is the Sense in Logic and Philosophy of Language, Structures and circumstances: two ways to fine-grain propositions, Sameness of Fregean sense, Modal property comprehension, Impossible worlds and logical omniscience: an impossibility result, CARNAP’S DEFENSE OF IMPREDICATIVE DEFINITIONS, Infinity and verifiability in Carnap's inductive logic, Quantified temporal alethic-deontic logic, Qualifying Quantifying-in, Carnap, Quine, Quantification and Ontology, On Height and Happiness, Looting Liars Masking Models, SEMANTICS OF COMPLEX STRUCTURAL SYSTEMS—PRESENTATION AND REPRESENTATION: A SYNCHRONIC VISION OF LANGUAGEL(MT), A dilemma about necessity, The scandal of deduction. Hintikka on the information yield of deductive inferences, On Meta-Knowledge and Truth, Unnamed Item, Introduction, Methodological Practice and Complementary Concepts of Logical Consequence: Tarski's Model-Theoretic Consequence and Corcoran's Information-Theoretic Consequence, Recursive complexity of the Carnap first order modal logic C, Fregean Description Theory in Proof-Theoretical Setting, Modèles à variables de différentes sortes pour les logiques modales \(M\) ou \(S5\), Humble Connexivity, Quantitative fuzzy semantics, A Lewisian Semantics for S2, Frege, Carnap, and Explication: ‘Our Concern Here Is to Arrive at a Concept of Number Usable for the Purpose of Science’, Logic—The Big Picture, Isomorphic formulae in classical propositional logic, Validity and necessity, Logic and Sets, Semantic analysis of some variants of Anderson-like ontological proofs, How to Unify Russellian and Strawsonian Definite Descriptions, The Concept of Linguistic Variable Revisited, Carnap's Metaontology
