Earliest Uses of Symbols of Set Theory and Logic
Earliest Uses of Symbols of Set Theory and Logic Last updated: Oct. 8, 2019 The study of logic goes back more than two thousand years and in that time many symbols and diagrams have been devised. Around 300 BC Aristotle introduced letters as term-variables, a "new and epoch-making device in logical technique." (W. & M. Kneale The Development of Logic (1962, p. 61). The modern era of mathematical n
ゴットロープ・フレーゲ - Wikipedia
Principle of compositionality、一階述語論理、quantification theory（量化理論）、predicate calculus、論理主義 (数学)、意義と意味、Concept and object（概念と対象）、Third Realm、Mediated reference theory、Descriptivist theory of names、Redundancy theory of truth、Set-theoretic definition of natural numbers（自然数の集合論的定義）、ヒュームの原理、フレーゲの定理、Frege–Geach problem（フレーゲ・ギーチ問題）、law of trichotomy、technique for binding arguments、記号論理学、述語論理 フリードリヒ・ルートヴィヒ・
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
