『論理哲学論考』の電気回路モデル : 真理表の哲
学（八）
著者
橋本 康二
雑誌名
哲学・思想論集
巻
43
ページ
23( 154) - 62( 115)
発行年
2018- 03- 28
哲
学
・
思
想
論
集
第
四
十
三
号
三
八
ラ
ム
ジ
ー
説
八
・
一
『
論
考
』
説 （（
（
の
形
式
と
そ
の
実
質
化
八
・
一
・
一
は
じ
め
に
第
思
想
論
3
論
論
論
哲
学
論
哲
学
四
論
哲
学
論
哲
学
・
論
論
論
論
論
論
八
・
一
・
二
『
論
考
』
説
の
形
式
論
哲
学
論
論
1
4
論
論
哲
学
論
論
十
論
哲
学
論
論
哲
学
論
哲
学
・
思
想
論
集
第
四
十
三
号
1
Ｗ1
Ｗ2
Ｗ3
三
2 1 Ｗ1 Ｗ2 Ｗ3 Ｗ4
論
5
論
論
論
ａ1 ａ2 ａ3 ａ4 ｂ1 ｂ2 ｂ3 ｂ4 ｂ5 ｂ6 ｂ7 ｂ8 ｂ9 ｂ10 ｂ11 ｂ12 ｂ13 ｂ14 ｂ15 ｂ16 ｂ1 ａ1 ｂ1 ａ2 ｂ1 ａ3 ｂ1 ａ4 ｂ2 ａ2 ｂ2 ａ3 ｂ2 ａ4 ｂ3 ａ1 ｂ3 ａ3 ｂ3 ａ4 ｑ Ｔ Ｔ Ｆ Ｆ ｐ Ｔ Ｆ Ｔ Ｆ Ｔ Ｔ Ｔ Ｆ
Ｔ−Ｆ図式1
ｑ Ｔ Ｔ Ｆ Ｆ ｐ Ｔ Ｆ Ｔ Ｆ Ｔ Ｔ Ｔ Ｆ
p q
W1
q
W2
p
W3 W4
論
哲
学
論
哲
学
ｂ4 ａ1 ｂ4 ａ2 ｂ4 ａ4 ｂ5 ａ1 ｂ5 ａ2 ｂ5 ａ3 ｂ6 ａ3 ｂ6 ａ4 ｂ7 ａ2 ｂ7 ａ4 ｂ8 ａ2 ｂ8 ａ3 ｂ9 ａ1 ｂ9 ａ4 ｂ10 ａ1 ｂ10 ａ3 ｂ11 ａ1 ｂ11 ａ2 ｂ12 ａ4 ｂ13 ａ3 ｂ14 ａ2 ｂ15 ａ1 ａ1 ａ2 ａ3 ａ4
論
ａ1 ・ ・ ・ ａ4 ｂ1 ・ ・ ・ ｂ16 ｂ1 ・ ・ ・ ｂ16
哲
学
・
思
想
論
集
第
四
十
三
号
ｂ10
ｂ11
ａ1
ａ2
ａ3
ａ1
ａ2
ａ3
論
論
八
・
一
・
三
『
論
考
』
説
の
形
式
の
電
気
回
路
に
よ
る
実
質
化
2
3 16
2 8
16 図3
論
哲
学
論
哲
学
8 8
4
4 5
2
2 4
16
6 6
2
1 1
8
図4
図4
図5
図5
① ② ③ ④ ⑤ ⑥ ⑦ ⑧ ⑨ ⑩ ⑪ ⑫ ⑬ ⑭ ⑮ ⑯ A
Ｂ
Ｃ
哲
学
・
思
想
論
集
第
四
十
三
号
8
・
2
論
論
論
ａ1
ａ4
論
ｂ1
ｂ16
論
号
論
論
学
6
想
想
論
ａ1
ａ4
4 ａ1
ａ4
論
2 2
2 4
三
論
哲
学
論
哲
学
Ｗ3
Ｗ4
4
論
ａ1
Ｗ1
ａ2
ａ3
Ｗ3
ａ4
Ｗ4
ａ1
ａ2
ａ3
ａ4
4
4
5 4
論
ｂ1
ｂ16
0 4
0
4
24
16 ｂ16
7 6
ｂ1
ｂ16
ｂ1
ｂ16
論
ｂ1
ｂ2
ｂ3
ｂ4
哲
学
・
思
想
論
集
第
四
十
三
号
三
ｂ6
ｂ7
ｂ8
ｂ9
ｂ10
ｂ11
ｂ12
ｂ13
ｂ14
ｂ15
ｂ16
論
四
7
8
Ｗ1
Ｗ2
Ｗ3
Ｗ4
4 7
論
ｂ1
Ｔ−Ｆ図式7
ｑ
Ｔ Ｔ Ｆ Ｆ ｐ
Ｔ Ｆ Ｔ Ｆ
三
論
哲
学
論
哲
学
ｂ1
ｂ16
論
・
三
9
論
論
10
論
号
想
想
哲
学
・
思
想
論
集
第
四
十
三
号
三
三
論
論
論 11
論
論
論
論
論
三
四
論
哲
学
論
哲
学
・
四
12
ｂ1
ｂ16
ｂ1
8
13 真理表8
ｑ ｐまたはｑ
Ｔ Ｔ Ｆ Ｆ ｐ
Ｔ Ｆ Ｔ Ｆ
哲
学
・
思
想
論
集
第
四
十
三
号
三
9
四
10
四
真理表9
ｐならばｐ、かつ、 ｑならばｑ
Ｔ Ｔ Ｆ Ｆ ｑ ｐ
Ｔ Ｆ Ｔ Ｆ
Ｔ Ｔ Ｔ Ｔ
ｐ、かつ、ｐということはなく、 また、
ｑ、かつ、ｑということもない
Ｔ Ｔ Ｆ Ｆ ｑ ｐ
Ｔ Ｆ Ｔ Ｆ
F F F F
三
論
哲
学
論
哲
学
・
論
思
論
論
14
論
・
・
Ｒ＊ ｂ2
ａ1
ｂ3
ａ2
ｂ4
ａ3
ｂ5
ａ4
ｂ6
ａ1
ｂ6
ａ2
ｂ7
ａ1
ｂ7
ａ3
ｂ8
ａ1
ｂ8
ａ4
ｂ9
ａ2
ｂ9
ａ3
ｂ10
ａ2
ｂ10
哲
学
・
思
想
論
集
第
四
十
三
号
三
ｂ11 ａ3 ｂ11 ａ4 ｂ12 ａ1 ｂ12 ａ2 ｂ12 ａ3 ｂ13 ａ1 ｂ13 ａ2 ｂ13 ａ4 ｂ14 ａ1 ｂ14 ａ3 ｂ14 ａ4 ｂ15 ａ2 ｂ15 ａ3 ｂ15 ａ4 ｂ16 ａ1 ｂ16 ａ2 ｂ16 ａ3 ｂ16 ａ4 ψ＊ ψ＊ Ｒ＊ ψ＊ ａ1 ａ4 Ｒ＊ ａ1 ａ4 Ｒ＊ 2 11 16 8
青
赤
図11
三
論
哲
学
論
哲
学
12
Ｒ＊
論
ψ＊ 図12
⑩ A
Ｂ
Ｃ
哲
学
・
思
想
論
集
第
四
十
三
号
三
13
学
思
⑯ A
Ｂ
Ｃ
Ｄ
四
論
哲
学
論
哲
学
学
十
学
学
学
学
学
論
哲
学
学
学
哲
学
論
15
第
四
16
4
哲
学
・
思
想
論
集
第
四
十
三
号
四
論
論
思
4
4
4
4
4
4
4
4
論
想
14
15 図14
図14
リレー
図15
四
論
哲
学
論
哲
学
16 17
学
論
哲
学
・
思
想
論
集
第
四
十
三
号
四
三
15
論
学
四
四
論
哲
学
論
哲
学
論
論
・
学
十
論
論
論
論
哲
学
・
思
想
論
集
第
四
十
三
号
四
論
思
四
論
哲
学
論
哲
学
18 2
・
16 16
17
18 19
21
17 19
10
哲
学
・
思
想
論
集
第
四
十
三
号
四
3
20 21
四
論
哲
学
論
哲
学
論
八
・
一
・
四
付
論
：
電
気
回
路
の
実
際
の
製
作
、
お
よ
び
、
そ
れ
を
め
ぐ
る
形
而
上
学
的
考
察
論
論
論
2 1
論
1
論
哲
学
・
思
想
論
集
第
四
十
三
号
四
ｂ4
ａ1
ｂ4
ａ2
ａ1
ａ2
ψ＊
Ｒ＊
ψ＊ ψ＊
ψ＊
論
論
2 8 22
論
23
26
論
論
ｂ1
ｂ2
ｂ3
ｂ4
論
図22 ①
②
③
④ A
論
哲
学
論
哲
学
写真23 写真25
哲
学
・
思
想
論
集
第
四
十
三
号
ｂ1
ｂ2
ｂ3
ｂ4
23 20
24 27
25
26
思
25
論
思
論
論
論
論
論
哲
学
論
哲
学
・
Ｗ1
Ｗ2
真理表27
ｐという ことはない
Ｆ Ｔ ｐ
Ｔ Ｆ
ｐ、かつ、ｐと いうことはない
Ｆ Ｆ ｐならばｐ
哲
学
・
思
想
論
集
第
四
十
三
号
三
論
論
論
思
2
思
論
論
四
論
哲
学
論
哲
学
26
29 30 25
26
思
表28
ｐ
N 現実世界
φ
ｐならばｐ いうことはないｐ、かつ、ｐと
N N
ｐという ことはない
N
ｐ
ＴＦ 現実世界
W1，W2
ｐならばｐ いうことはないｐ、かつ、ｐと
Ｔ Ｆ
ｐという ことはない
ＴＦ
表29
ｐ
ＴＦ Ｔ Ｆ Ｎ 現実世界
W1，W2
W1
W2
φ
ｐならばｐ いうことはないｐ、かつ、ｐと
Ｔ Ｔ Ｔ Ｎ Ｆ Ｆ Ｆ Ｎ ｐという
ことはない ＴＦ
Ｆ Ｔ Ｎ
哲
学
・
思
想
論
集
第
四
十
三
号
思
25
26 23
24
十
論
30
論
論
哲
学
論
哲
学
論
哲
学
Ｗ1
Ｗ2
哲
学
十
論
論
Ｗ1
哲
学
・
思
想
論
集
第
四
十
三
号
註
1
哲
哲
学
哲
学
哲
学
論
四
第
論
論
論
論
論
論
2
論
論
哲
学
論
ｑ ｐ＞ ｑ
Ｔ Ｔ Ｆ Ｆ ｐ
Ｔ Ｆ Ｔ Ｆ
論
哲
学
論
哲
学
3 4
1
1
号
論
論
哲
学
論
論
論
哲
学
論
W ittgenstein 1922, pr op. 4.442 1 5
論
三
論
論
論
論
論
論
6
学
論
7
論
論
ｘ’ ｙ’ ｘ’ ｙ’ 8
四
9
三
四
10
三
11
第
三
12
四
十
哲
学
・
思
想
論
集
第
四
十
三
号
15
・
16
第
四
17
学
論
論
18
・
・
四
19
論
20 21 30 4 2 4 16 16 4
文
献
W
ittgenstein, L. 1922.
T
ractatus Logico-Philosophicus
. Routledge and Kegan Paul.
哲
学
論
三
四
号
三
哲
学
論
三
号
三
哲
学
論
三
三
号
哲
学
論
四
三
三
号
三
哲
学
論
三
号
論
哲
学
論
哲
学
四
哲
学
論
哲
学
・
思
想
三
号
哲
学
論
哲
学
・
思
想
四
哲
学
・
思
想
論
集
第
四
十
三
号
In this electrical circuit, the switches are models of the possible worlds, and the pair of electric
light bulbs is the model of the truth-table-like sign for the sentence “if p, then q”. A switch
being on represents that the possible world modeled by the switch is the actual world. The
left electric light bulb glowing represents that the sentence modeled by the pair of electric
light bulbs is true, and the right electric light bulb glowing represents that the sentence is
false. Now if the switch 1, 2, or 4 is on (which represents that the possible world W1, W2, or
W4 is the actual world), then the left electric light bulb glows (which represents that the
truth-table-like sign for the sentence “if p, then q” is true). On the other hand, if the switch 3 is on
(which represents that the possible world W3 is the actual world), then the right electric light
bulb glows (which represents that the sign is false). I think that the simulation makes it clear
論
哲
学
論
哲
学
A Philosophical Examination of Truth-Tables (VIII)
Kouji HASHIMOTO
Wittgenstein’s Tractatus Logico-Philosophicus uses a sign like truth-table as a sentence. In
my previous paper “A Philosophical Examination of Truth-Tables (V)”, I argued that a
truth-table-like sign should be considered as a picture of some possible worlds, as shown in the
figure below.
Here the possible world W1 consists of both the fact p and the fact q, W2 consists of the fact
q, W3 consists of the fact p, and W4 contains no facts. This truth-table-like sign, which is
intended to be for the sentence “if p, then q”, is a picture of W1, W2, and W4. Then I pointed
out that the sign is true if and only if there exists the actual world among those possible
worlds of which the sign is a picture. In this case, the truth-table-like sign is not true if and
only if W3 is the actual world.
In this paper, I show that an electrical circuit can simulate the relation between a
truth-table-like sign and possible worlds. For example, the electrical circuit represented by the circuit
diagram below simulates the relation shown in the figure above.
switch 3 switch 2 switch 1
ｑ
Ｔ
Ｔ Ｆ Ｆ ｐ
Ｔ
Ｆ Ｔ Ｆ
Ｔ
Ｔ Ｆ Ｔ
p q W1
q W2
