Infinity and verifiability in Carnap's inductive logic

DOI10.1016/j.jal.2013.07.006zbMath1284.03160OpenAlexW2040993577MaRDI QIDQ2446679

Ruurik Holm

Publication date: 17 April 2014

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2013.07.006

zbMATH Keywords

probabilityinductive logictruthCarnapinfinityconstructiveextended probabilityempiricalfactualextended truth

Mathematics Subject Classification ID

Probability and inductive logic (03B48)

Cites Work

• Constructivism in mathematics. An introduction. Volume II
• Principles of intuitionism. Lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, NY
• Concerning measures in first order calculi
• On the conditional degree of satisfiability of logical formulas
• Almost sure theories
• Probabilities on finite models
• Asymptotic conditional probabilities: The non-unary case
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item