帰納論理学
Rudolf Carnap（カルナップ）による帰納論理についての研究・学問
いまは下火らしい
『確率の哲学』に詳しい
cf. 『確率の哲学』（書籍）
特徴
形式論理であること
つまり形式帰納論理
確率論理の形式言語を使い、事態に対する確率を計算できる。
Q. この確率は帰納の強度（inductive strength）に対応するか？wint.icon
e.g. 同時確率を p(A∧B) とかけるはず？wint.icon #TODO
その論理式（文）は確率論理式のはず？wint.icon
関連
Hempel も形式化を追求した らしい。
#TODO
ヤーッコ・ヒンティッカの帰納論理
ref. Hintikka’s Inductive Logic | SpringerLink
https://doi.org/10.1007/978-94-009-3763-5_6
区別
Rudolf Carnap distinguished between probability and conditional probability because he believed that probability statements should be understood as statements about the degree of confirmation of a hypothesis¹. He argued that conditional probability is a more fundamental concept than probability itself². Carnap believed that conditional probability is a measure of the degree of confirmation of a hypothesis given some evidence². He also believed that conditional probability is more objective than probability because it can be defined in terms of frequencies².
I hope this helps! Let me know if you have any other questions.
Source: Conversation with Bing, 4/14/2023
(1) Carnap's Theory of Probability. https://www.jstor.org/stable/2181874 Accessed 4/14/2023.
(2) 12 - Carnap on probability and induction - Cambridge Core. https://www.cambridge.org/core/books/cambridge-companion-to-carnap/carnap-on-probability-and-induction/8AEBCBACE4A89B567B7508A1E065EB51 Accessed 4/14/2023.
(3) Professor Carnap and Probability - JSTOR Home. https://www.jstor.org/stable/185824 Accessed 4/14/2023.
ref.
帰納論理学とは - コトバンク
Rudolf Carnap > C. Inductive Logic (Stanford Encyclopedia of Philosophy)
https://en.wikipedia.org/wiki/Rudolf_Carnap#Inductive_logic
#論理学