|
ログイン
メインメニュー
|
WEBリンク集
RSS/ATOM 記事 (72877)
ここに表示されている RSS/ATOM 記事を RSS と ATOM で配信しています。
|
Dependence Logic
from Stanford Encyclopedia of Philosophy
(2025-5-20 12:59)
|
[Revised entry by Pietro Galliani on May 19, 2025.
Changes to: Main text, Bibliography]
Dependence logic is an extension of first-order logic which adds to it dependence atoms, that is, expressions of the form (eqord(x_1 ldots x_n, y)) which assert that the value of (y) is functionally dependent on (in other words, determined by) the values of (x_1 ldots x_n). These atoms permit the specification of non-linearly ordered dependency patterns between variables, much in the same sense of IF-Logic slashed quantifiers; but, differently from IF-logic, dependence logic separates quantification...
|
|
Theological Voluntarism
from Stanford Encyclopedia of Philosophy
(2025-5-20 12:37)
|
[Revised entry by Mark Murphy on May 19, 2025.
Changes to: Main text, Bibliography]
There is a class of metaethical and normative views that commonly goes by the name 'divine command theory.' What all members of this class have in common is that they hold that what God wills is relevant to determining the moral status of some set of entities (acts, states of affairs, character traits, etc., or some combination of these). But the name 'divine command theory' is a bit misleading: what these views have in common is their appeal to the divine will; while many of these views hold that the relevant act of...
|
|
Clarence Irving Lewis
from Stanford Encyclopedia of Philosophy
(2025-5-20 12:00)
|
[Revised entry by Bruce Hunter on May 19, 2025.
Changes to: Main text, Bibliography]
Clarence Irving (C.I.) Lewis was perhaps the most important American academic philosopher active in the 1930s and 1940s. He made major contributions in epistemology and logic, and, to a lesser degree, ethics. Lewis was also a key figure in the rise of analytic philosophy in the United States, both through the development and influence of his own writings and through his influence, direct and indirect, on graduate students at Harvard, including some of the leading analytic philosophers of the last half of the 20th century....
|
|
「半導体基盤プラットフォーム」採択機関の決定について
from 文部科学省 新着情報
(2025-5-20 12:00)
|
|
|
リジェネロン国際学生科学技術フェア（Regeneron ISEF）2025に参加した生徒等が部門優秀賞等を獲得しました
from 文部科学省 新着情報
(2025-5-20 12:00)
|
|
|
国際卓越研究大学制度と第2期公募について
from 文部科学省 新着情報
(2025-5-20 11:00)
|
|
|
第121回社会保障審議会介護保険部会の開催について
from 厚生労働省新着情報
(2025-5-20 10:31)
|
|
|
第28回社会保障審議会統計分科会疾病、傷害及び死因分類専門委員会
from 厚生労働省新着情報
(2025-5-20 10:29)
|
|
|
The Traditional Square of Opposition
from Stanford Encyclopedia of Philosophy
(2025-5-20 10:26)
|
[Revised entry by Terence Parsons and Graziana Ciola on May 19, 2025.
Changes to: Main text, Bibliography, notes.html]
This entry traces the historical development of the Square of Opposition, a collection of logical relationships traditionally embodied in a square diagram. This body of doctrine provided a foundation for work in logic for over two millennia. For most of this history, logicians assumed that negative particular propositions ("Some S is not P") are vacuously true if their subjects are empty. This validates the logical laws embodied in the diagram, and preserves the doctrine against modern criticisms....
|
|
第95回厚生科学審議会感染症部会
from 厚生労働省新着情報
(2025-5-20 10:19)
|
|
|
大谷大学関連のホームページ
|
