scientific article; zbMATH DE number 3051936
From MaRDI portal
Publication:5791196
Cited in
(only showing first 100 items - show all)- Editorial introduction. Truth values. I
- The slingshot argument and sentential identity
- Wissenschaftslogik: the role of logic in the philosophy of science
- A computational approach to fuzzy quantifiers in natural languages
- Interpreting network formalisms
- Mathematical developments arising from 'semantical implication' and the evaluation of membership characteristic functions
- Boolean fuzzy sets
- A model of hierarchies based on graph homomorphisms
- Structured meanings and reflexive domains
- The elimination of descriptions from A. Bressan's modal language \(ML^\nu\) on which the logical calculus \(MC^\nu\) is based
- Latticial structures in data analysis.
- Relevant identity
- Is default logic a reinvention of inductive-statistical reasoning?
- Carnap's work in the foundations of logic and mathematics in a historical perspective
- Fuzzy semantic analysis and formal specification of conceptual knowledge
- The elimination of \textit{de re} formulas
- Rethinking Quine's argument on the collapse of modal distinctions
- 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
- Communication and strong compositionality
- A constructive approach to state description semantics
- Mathematical modal logic: A view of its evolution
- Foundations of programmology
- The genesis of possible worlds 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?
- A general possible worlds framework for reasoning about knowledge and belief
- The interpreted type-free modal calculus MC^. II: Foundations of MC^
- A contextual-hierarchical approach to truth and the liar paradox
- Russell and his sources for non-classical logics
- Quine on intensional entities: modality and quantification, truth and satisfaction
- Opacity and the double life of singular propositions
- Explication, H-D confirmation, and simplicity
- On the justification of deduction and induction
- Linguistic knowledge of reality: a metaphysical impossibility?
- If structured propositions are logical procedures then how are procedures individuated?
- Unity through truth
- The neo-Carnapians
- Armchair philosophy naturalized
- Introduction: Individual concepts in language and thought
- The fundamental problem of logical omniscience
- Logics of synonymy
- Logical geometries and information in the square of oppositions
- A new interpretation of Carnap's logical pluralism
- Analysis as translation
- Truthmakers and normative conflicts
- Reasoning about arbitrary natural numbers from a Carnapian perspective
- Carnap and the compulsions of interpretation: reining in the liberalization of empiricism
- Tensed mereology
- Mining pure linguistic associations from numerical data
- The well-designed young mathematician
- Una teoria di relativita generale includente, oltre all'elettro- magnetismo e alla termodinamica, le equazioni costitutive dei materiali ereditari. Sistemazione assiomatica
- Does semantic relationism solve Frege's puzzle?
- The reversibility objection against the second law of thermodynamics viewed, and avoided, from a logical point of view
- HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
- Constructing worlds
- Structures and circumstances: two ways to fine-grain propositions
- Sameness of Fregean sense
- Modal property comprehension
- Impossible worlds and logical omniscience: an impossibility result
- Infinity and verifiability in Carnap's inductive logic
- A dilemma about necessity
- The scandal of deduction. Hintikka on the information yield of deductive inferences
- Incomplete symbols -- definite descriptions revisited
- Modèles à variables de différentes sortes pour les logiques modales \(M\) ou \(S5\)
- Quantitative fuzzy semantics
- Validity and necessity
- Semantic analysis of some variants of Anderson-like ontological proofs
- Metodo di assiomatizzazione in senso stretto della meccanica classica. Applicazione di esso ad alcuni problemi di assiomatizzazione non ancora completamente risolti
- Meaning and interpretation. II
- Distributional formal semantics
- Hyperintensional semantics: a Fregean approach
- 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
- SEMANTICS OF COMPLEX STRUCTURAL SYSTEMS—PRESENTATION AND REPRESENTATION: A SYNCHRONIC VISION OF LANGUAGEL(MT)
- Carnap's metaontology
- The application of constraint semantics to the language of subjective uncertainty
- Carnap's \textit{Untersuchungen}: logicism, formal axiomatics, and metatheory
- Modalities without worlds
- A Computable Solution to Partee’s Temperature Puzzle
- Variables and attitudes
- Toward a Restriction-Centered Theory of Truth and Meaning (RCT)
- Toward a restriction-centered theory of truth and meaning (RCT)
- Quantified temporal alethic-deontic logic
- Isomorphic formulae in classical propositional logic
- On the semantics of perception-based fuzzy logic deduction
- Extensional Logic of Hyperintensions
- Qualifying quantifying-in
- Carnap, Quine, quantification and ontology
- On height and happiness
- Looting liars masking models
- Recursive complexity of the Carnap first order modal logic C
- Humble connexivity
- Carnap on concept determination: methodology for philosophy of science
- On Meta-Knowledge and Truth
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5791196)