scientific article; zbMATH DE number 3191263
From MaRDI portal
Publication:5727646
Cited in
(25)- Fregean grammar: A formal outline
- Autonomic life as the proof of incompleteness and Lawvere's theorem of fixed point
- Dynamically changing interface as a model of measurement in complex systems
- Frames and concepts in the philosophy of science
- On cautious probabilistic inference and default detachment
- Consequence and confirmation
- Linguistic knowledge of reality: a metaphysical impossibility?
- Natural deduction systems for intuitionistic logic with identity
- Eigenlogic in the spirit of George Boole
- Formalising mathematics -- in praxis; a mathematician's first experiences with Isabelle/HOL and the why and how of getting started
- scientific article; zbMATH DE number 1585388 (Why is no real title available?)
- Dialogue structure and logical expressivism
- Origins of the logical theory of probability: Von Kries, Wittgenstein, Waismann
- scientific article; zbMATH DE number 7314656 (Why is no real title available?)
- Freeing Structural Realism from Model Theory
- A comment on Lemanski's ``Concept diagrams and the context principle
- Indicating a Translation for ‘Bedeutung’
- A two-dimensional logic for diagonalization and the a priori
- Where is ‘There is’ in ‘∃’?
- A puzzle about epistemic value and steps towards a solution
- Why classical logic is privileged: justification of logics based on translatability
- Justification logics and hybrid logics
- Catch me if you can -- Wittgenstein on the ineffability of logical form
- Waismann's time in Vienna. A historical-philosophical report
- Contradictions without negation and a proof-theoretic, bilateralist account of connexive logics
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 Q5727646)