メレオロジーの代数的構造の研究 齋藤 暢人 0. 近年、複数の論者によって形式的存在論 Formal Ontology の理論的整備がすすめられて いる1。その実態は、メレオロジーおよびメレオトポロジーの整備であり、したがって「全 体部分関係および接触関係、依存関係を利用した存在論の構築」と概括することが許され よう。 本稿では、とくにそのメレオロジーに関する部分に焦点を当てて、これまでの議論の整 理に努める。とくに、巷間言われるメレオロジーのブール代数的性質の分析を具体的目標 とし、そのために束論を利用する。筆者としては、公理的に提示された束論とメレオロジ ーの定理の比較は、メレオロジーの特徴を明確かつ具体的に把握する最上の方法であろう という感触を得ている。そして、そのような純論理的考察を行ったうえで、メレオロジー に依拠する形式的存在論の哲学的立場についても若干の考察を試みることに
複数論理と日本語意味論 飯田 隆 2012 年 4 月 1 言語哲学・現代論理学・自然言語 「言語哲学」という言葉をタイトルの一部とする本を四冊も書いた末で言 うのもどうかと思われるかもしれないが、私が最近次第に強く思うようになっ てきたことは、「言語哲学」と呼ばれる分野は、単一の分野であるよりは、お 互いに比較的ゆるい形で関連しあっている二種類の考察から成ると考えた方 が、実情にかなっているということである。 言語哲学を形作る第一の種類の考察は、「哲学的論理学」とでも呼ばれる のが適切だろう。「哲学的論理学」にあたる英語の名称「philosophical logic」 は、それほど頻繁に耳にするわけではないが、主に英国の哲学者に使われて いるのをときどき目にする。興味深いことには、『論理哲学論考』という名前 で知られるようになった著作のタイトルとして、この「Philosophical
CAPE論理学上級Ⅱ「構成的型理論」 開催予定日(中継urlは本ポスト下部を参照してください) ① 3月26日(土)1030-1230「ラッセルのパラドックスと3つの対策」 ② 3月26日(土)1430-1630「カリー・ハワード対応と『証明のデータ型としての命題』観」 ③ 3月27日(日)1030-1230「証明論的意味論としてのマーティン・レーフの構成的型理論」 ④ 3月27日(日)1430-1630「認識論の機械化:証明の正規化と証明支援系」 ①3月26日(土)1030-1230「ラッセルのパラドックスと3つの対策」 [2021CAPE公開セミナー] 論理学上級 Ⅱ-1「ラッセルのパラドックスと3つの対策」 from Shunsuke Yatabe ②3月26日(土)1430-1630「カリー・ハワード対応と『証明のデータ型としての命題』観」 [2021CAPE公開セミナー] 論理学
First published Mon Oct 4, 2004; substantive revision Mon Mar 13, 2023 A number of important philosophical problems are at the intersection of logic and ontology. Both logic and ontology are diverse fields within philosophy and, partly because of this, there is not one single philosophical problem about the relation between them. In this survey article we will first discuss what different philosop
First published Mon Aug 23, 2010; substantive revision Tue Jul 12, 2016 Dynamic semantics is a perspective on natural language semantics that emphasizes the growth of information in time. It is an approach to meaning representation where pieces of text or discourse are viewed as instructions to update an existing context with new information, the result of which is an updated context. In a slogan:
First published Tue Mar 30, 2010; substantive revision Tue Nov 3, 2020 Truth values have been put to quite different uses in philosophy and logic, being characterized, for example, as: primitive abstract objects denoted by sentences in natural and formal languages, abstract entities hypostatized as the equivalence classes of sentences, what is aimed at in judgements, values indicating the degree o
You are looking at an archived page. The website has moved to richardzach.org. Exciting developments! The Association of Symbolic Logic has made the now-out of print volumes in the Lecture Notes in Logic (vols. 1-12) and Perspectives in Mathematical Logic (vols. 1-12) open-access through Project Euclid. This includes classics like Shoenfield's Recursion Theory, Lindström's Aspects of Incompletenes
First published Sat Nov 10, 2001; substantive revision Fri Oct 16, 2020 Model theory began with the study of formal languages and their interpretations, and of the kinds of classification that a particular formal language can make. Mainstream model theory is now a sophisticated branch of mathematics (see the entry on first-order model theory). But in a broader sense, model theory is the study of t
You are looking at an archived page. The website has moved to richardzach.org. For your amusement: a list of all countries with at least 5 members of the Association for Symbolic Logic, rank-ordered by number of logicians per 10,000,000 inhabitants. Bonus info: percentage of women logicians in these countries.
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く