-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathsyllogism reductions.py
61 lines (56 loc) · 2.91 KB
/
syllogism reductions.py
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
from syllogisms import *
from itertools import product
import copy
end_points = ['barbara', 'darapti', 'darii', 'barbari']
def reduce_syllogism(syllogism, chain: list):
for transformation in (Syllogism.obverse, Syllogism.converse, Syllogism.major_contraposition, Syllogism.minor_contraposition):
if not (syllogism.mood, transformation) in chain:
chain.append((syllogism.mood, transformation))
new_syllogism = transformation(syllogism)
if new_syllogism.mood in end_points:
chain.append((new_syllogism.mood, True))
return chain
else:
chain = reduce_syllogism(new_syllogism, chain)
if chain[-1][1] == True:
return chain
return chain
valid_chains = []
invalid_chains = []
for figure in ['1','2','3','4']:
for quantifiers in product(['a','e','i','o'], repeat=3):
syllogism = Syllogism.from_terms_figure_and_quantifiers('S','M','P', figure, quantifiers)
if syllogism.mood in end_points:
result = [(syllogism.mood, True)]
else:
result = reduce_syllogism(syllogism, [])
if result[-1][1] == True:
valid_chains.append([i[0] for i in result])
else:
result[-1] = (result[-1][0], False)
invalid_chains.append([i[0] for i in result])
print(syllogism.mood, result[-1][1])
# ['barbara']
# ['barbari']
# ['darii']
# ['darapti']
# ['celarent', 'barbara']
# ['celaront', 'barbari']
# ['ferio', 'darii']
# ['felapton', 'darapti']
# ['bamalip', 'bamalip', 'barbari']
# ['disamis', 'bocardo', 'disamis', 'darii']
# ['fesapo', 'fesapo', 'felapton', 'darapti']
# ['fresison', 'fresison', 'ferio', 'darii']
# ['camestres', 'cesare', 'camestres', 'celarent', 'barbara']
# ['cesaro', 'camestros', 'cesaro', 'celaront', 'barbari']
# ['bocardo', 'disamis', 'bocardo', 'bocardo', 'barbara']
# ['camestros', 'cesaro', 'camestros', 'calemos', 'calemos', 'camestros', 'felapton', 'darapti']
# ['datisi', 'ferison', 'datisi', 'dimatis', 'dimatis', 'datisi', 'ferio', 'darii']
# ['ferison', 'datisi', 'ferison', 'festino', 'baroco', 'festino', 'ferison', 'darii']
# ['baroco', 'festino', 'baroco', 'baroco', 'bocardo', 'disamis', 'bocardo', 'bocardo', 'barbara']
# ['calemes', 'calemes', 'cesare', 'camestres', 'cesare', 'calemes', 'fresison', 'fresison', 'ferio', 'darii']
# ['calemos', 'calemos', 'camestros', 'cesaro', 'camestros', 'calemos', 'fesapo', 'fesapo', 'felapton', 'darapti']
# ['festino', 'baroco', 'festino', 'ferison', 'datisi', 'ferison', 'festino', 'disamis', 'bocardo', 'disamis', 'darii']
# ['cesare', 'camestres', 'cesare', 'calemes', 'calemes', 'cesare', 'datisi', 'ferison', 'datisi', 'dimatis', 'dimatis', 'datisi', 'ferio', 'darii']
# ['dimatis', 'dimatis', 'datisi', 'ferison', 'datisi', 'dimatis', 'calemes', 'calemes', 'cesare', 'camestres', 'cesare', 'calemes', 'fresison', 'fresison', 'ferio', 'darii']