Modal Logic Playground
Click in the open space to add a state Drag between states to add a transition Ctrl-drag a state to move graph layout Click a state or a transition to select it When a state is selected: R toggles reflexivity Delete removes the state When a transition is selected: L(eft), R(ight), B(oth) change direction Delete removes the transition When entering a formula: use ~A for $\lnot{}A$ use []A for $\Box
Lambda: the ultimate syntax-semantics interface
Spreadsheets and Matlab are popular because they let domain experts write down a problem in familiar terms and quickly play with potential solutions. Natural-language semanticists have a better tool. It displays truth conditions, infers types, simplifies terms, and computes yields. Its modularity facilities make it easy to try fragments out, scale them up, and abstract encoding details out of sema
書評（数理論理学）
教科書など 準備 数理論理学を習得するためには、その前に、数学の言葉を操り数学の考え方を駆使できるようになる必要があります。数理論理学は数学の一分野ですので、それについては数学の他の分野と変わることはありません。 幸い、数学の言葉と数学の考え方を学ぶことに特化して使える教科書が出版されています。目についたものを並べてみます。おそらく、他にもあるでしょう。 個人的に特に気にいっているもの 嘉田勝：論理と集合から始める数学の基礎，日本評論社, 2008. (版元による紹介) 鈴木登志雄：例題で学ぶ集合と論理, 森北出版, 2016. (版元による紹介) その他 渡辺治・北野晃朗・木村泰紀・谷口雅治：数学の言葉と論理, 朝倉書店, 2008. (版元による紹介) 中島匠一：集合・写像・論理—数学の基本を学ぶ—, 共立出版, 2012. (版元による紹介) 石川剛郎：論理・集合・数学語, 共立出版
Mind your language
IN THE film “Superman 3”, a lowly computer programmer (played by Richard Pryor, pictured) embezzles a fat wad of money from his employer. The boss laments that it will be hard to catch the thief, because “he won't do a thing to call attention to himself. Unless, of course, he is a complete and utter moron.” Just then the thief screeches into the car park in a brand new red sports car, radio blarin
Montague Semantics (Stanford Encyclopedia of Philosophy)
First published Mon Nov 7, 2011; substantive revision Wed Apr 14, 2021 Montague semantics is a theory of natural language semantics and of its relation with syntax. It was originally developed by the logician Richard Montague (1930–1971) and subsequently modified and extended by linguists, philosophers, and logicians. The most important features of the theory are its use of model theoretic semanti
嘘つきのパラドックス 傾向と対策
「ウソ」を計算機で解釈するために、嘘つきのパラドックスを処理する方法として、四つの方法を紹介する。 (1) 古典論理を保持 1. 階層的理論 2. ギャップ主義 (2) 古典論理を捨てる 1. グラット主義 2. 多値論理
現代数理論理学序説 問題解答例
日本語ホームページ 第１章 1.1 論理学と形式的体系 問題 1.1.3 , 問題 1.1.5 の前半 , 問題 1.1.5 の後半 , 問題 1.1.6 , 問題 1.1.9 a , 問題 1.1.9 b , 問題 1.1.9 c , 問題 1.1.9 d , 問題 1.1.9 e , 問題 1.1.10 , 1.2 命題論理の体系 問題 1.2.5-1 , 問題 1.2.5-2 , 問題 1.2.5-3 , 問題 1.2.5-4 , 問題 1.2.5-5 , 問題 1.2.5-6 , 問題 1.2.5-7 , 問題 1.2.5-8 , 問題 1.2.7 , 問題 1.2.9 , 問題 1.2.11 , 問題 1.2.15 , 問題 1.2.17 , 問題 1.2.21-1 , 問題 1.2.21-2 , 問題 1.2.21-3 , 問題 1.2.21-3 , 問題 1.2.21-4 ,
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Logical Dynamics of Information and Interaction
ICGI 2012
ESSLLI 2012 Student Session: Submit a paper!
MCMP – Mathematical Philosophy (Archive 2011/12) on Apple Podcasts
Language Log » Generic comparisons
BARBARA PARTEE, IS THIS A GOOD TIME FOR FORMAL SEMANTICS?
http://researchmap.jp/joeluyy5c-21098/
Site Maintenance
Inquisitive Semantics
Justification Logic (Stanford Encyclopedia of Philosophy)
Modal epistemic logic
Semantics for textual inference | Workshop at the LSA institute 2011 | Held on July 9/10, 2001 at the University of Colorado at Boulder
De Gruyter Online – Academic publishing