The following pages link to (Q5727646):
Displaying 21 items.
- Dialogue structure and logical expressivism (Q408346) (← links)
- Justification logics and hybrid logics (Q631081) (← links)
- Fregean grammar: A formal outline (Q1260031) (← links)
- Autonomic life as the proof of incompleteness and Lawvere's theorem of fixed point (Q1322900) (← links)
- Dynamically changing interface as a model of measurement in complex systems (Q1349371) (← links)
- Frames and concepts in the philosophy of science (Q1616151) (← links)
- On cautious probabilistic inference and default detachment (Q1897405) (← links)
- Consequence and confirmation (Q1906665) (← links)
- Linguistic knowledge of reality: a metaphysical impossibility? (Q2013329) (← links)
- Natural deduction systems for intuitionistic logic with identity (Q2106875) (← links)
- Eigenlogic in the spirit of George Boole (Q2183712) (← links)
- Formalising mathematics -- in praxis; a mathematician's first experiences with Isabelle/HOL and the why and how of getting started (Q2657827) (← links)
- (Q2709283) (← links)
- Origins of the logical theory of probability: Von Kries, Wittgenstein, Waismann (Q4798483) (← links)
- (Q4963722) (← links)
- Freeing Structural Realism from Model Theory (Q5015979) (← links)
- A Comment on Lemanski’s “Concept Diagrams and the Context Principle” (Q5118385) (← links)
- A two-dimensional logic for diagonalization and the a priori (Q6088589) (← links)
- A puzzle about epistemic value and steps towards a solution (Q6180122) (← links)
- Why classical logic is privileged: justification of logics based on translatability (Q6180141) (← links)
- Catch me if you can -- Wittgenstein on the ineffability of logical form (Q6535309) (← links)
