|

The Logician
© Avi Sion
All rights reserved
General Sitemap
Search
Contact
| |
FUTURE LOGIC
©
Avi Sion, 1990 (Rev. ed. 1996) All rights reserved.
Table
56.2 Factor
Selection in the Open System.
Arguments
are Grouped according to their Conclusion (always an integer).
| Group
F1 |
Group
F2 |
|
| Premise(s) |
Premise(s) |
Number
of Factors |
| An |
En |
1 |
| AcIn |
EcOn |
2 |
| Ac |
Ec |
3 |
| AIn |
EOn |
4 |
| AIc |
EOc |
6 |
| A |
E |
7 |
| AtIn |
EtOn |
8 |
| AtIc |
EtOc |
12 |
| AtI |
EtO |
14 |
| At |
Et |
15 |
| ApIn |
EpOn |
16 |
| ApIc |
EpOc |
24 |
| ApI |
EpO |
28 |
| ApIt |
EpOt |
30 |
| Ap |
Ep |
31 |
| In |
On |
32 |
| Ic |
Oc |
48 |
| I |
O |
56 |
| It |
Ot |
60 |
| Ip *** |
Op
*** |
62 |
| Conclusion |
Conclusion |
Number of Factors |
| (An) |
(En) |
1 |
|
|
|
| Group F3 |
Group
F4 |
|
| Premises |
Premises |
Number of Factors |
| AcEp |
ApEc |
1 |
| AcOp |
ApEOc |
2 |
| AIcEp |
IpEc |
2 |
| AEp |
ApE |
3 |
| AtIcEp |
ApEtOc |
4 |
| AIcOp |
IpEOc |
5 |
| AOp |
ApEtO |
6 |
| AtIEp |
IpE |
6 |
| AtEp |
ApEt |
7 |
| ApIcEp |
ApEpOc |
8 |
| AtIcOp |
IpEtOc |
11 |
| ApIEp |
ApEpO |
12 |
| AtIOp |
IpEtO |
13 |
| AtOp |
ApEpOt |
14 |
| ApItEp |
IpEt |
14 |
| IcEp |
ApOc |
16 |
| ApIcOp |
IpEpOc |
23 |
| IEp |
ApO |
24 |
| ApIOp |
IpEpO |
27 |
| ItEp |
ApOt |
28 |
| ApItOp |
IpEpOt |
29 |
| (IcOp) |
(IpOc) |
32 |
| IcOp |
IpOc |
47 |
| IOp |
IpO |
55 |
| ItOp *** |
IpOt
*** |
59 |
| Conclusion |
Conclusion |
Number of Factors |
| (AcEp) |
(ApEc) |
1 |
|
|
|
| Group F3-4 |
|
|
| Premises |
Number of Factors |
|
| ApEp |
15 |
|
| ApOp |
30 |
|
| IpEp |
30 |
|
| IpOp *** |
61 |
|
| Conclusion |
Number of Factors |
|
| (AcEp)
or (ApEc) |
2 |
|
|
|
|
| Group F5 |
Group
F6 |
|
| Premises |
Premises |
Number of Factors |
| Aet |
AtE |
1 |
| AEpOt |
AtEtO |
2 |
| AtIEt |
ApItE |
2 |
| Aot |
AtEpO |
4 |
| ApIEt |
ItE |
4 |
| AtIEpOt |
ApItEtO |
5 |
| IEt |
AtO |
8 |
| AtIOt |
ApItEpO |
11 |
| ApIEpOt |
ItEtO |
11 |
| IEpOt |
ApItO |
23 |
| ApIOt |
ItEpO |
25 |
| (IOt) |
(ItO) |
32 |
| IOt *** |
ItO
*** |
53 |
| Conclusion |
Conclusion |
Number of Factors |
| (AEt) |
(AtE) |
1 |
|
|
|
| Group F5-6 |
|
|
| Premises |
Number
of Factors |
|
| AtEt |
3 |
|
| AtEpOt |
6 |
|
| ApItEt |
6 |
|
| AtOt |
12 |
|
| ItEt |
12 |
|
| ApItEpOt |
13 |
|
| ApItOt |
27 |
|
| ItEpOt |
27 |
|
| ItOt *** |
57 |
|
| Conclusion |
Number of Factors |
|
| (AEt)
or (AtE) |
2 |
|
|
|
|
| Groups F7 |
|
|
| Premises |
Number of Factors |
|
| InOn |
16 |
|
| InOc |
24 |
|
| IcOn |
24 |
|
| InO |
28 |
|
| IOn |
28 |
|
| InOt |
30 |
|
| ItOn |
30 |
|
| InOp *** |
31 |
|
| IpOn *** |
31 |
|
| IcOc |
36 |
|
| IcO |
42 |
|
| IOc |
42 |
|
| IcOt *** |
45 |
|
| ItOc *** |
45 |
|
| IO *** |
49 |
|
| Conclusion |
Number of Factors |
|
| (In)(On) |
1 |
|
|
|
|
| Group F8 |
Group
F9 |
|
| Premises |
Premises |
Number of Factors |
| AcInOp |
IpEcOn |
1 |
| AInOp |
IpEOn |
3 |
| AtInOp |
IpEtOn |
7 |
| ApInOp
*** |
IpEpOn
*** |
15 |
| Conclusion |
Conclusion |
Number of Factors |
| (In)(IcOp) |
(On)(IpOc) |
1 |
|
|
|
| Groups F10 |
Groups F11 |
|
| Premises |
Premises |
Number of Factors |
| ApInOc |
IcEpOn |
8 |
| ApInO |
IEpOn |
12 |
| ApIcOc |
IcEpOc |
12 |
| ApInOt |
ItEpOn |
14 |
| ApIOc |
IcEpO |
14 |
| ApItOc *** |
IcEpOt
*** |
15 |
| ApIcO |
IEpOc |
18 |
| ApIcOt *** |
ItEpOc
*** |
21 |
| ApIO *** |
IEpO
*** |
21 |
| Conclusion |
Conclusion |
Number of Factors |
| (In)(IpOc) |
(On)(IcOp) |
1 |
|
|
|
| Group F12 |
Group
F13 |
|
| Premises |
Premises |
Number of Factors |
| AInOt |
ItEOn |
2 |
| AIcOt |
ItEOc |
3 |
| AtInOt |
ItEtOn |
6 |
| AtIcOt *** |
ItEtOc
*** |
9 |
| Conclusion |
Conclusion |
Number of Factors |
| (In)(IOt) |
(On)(ItO) |
1 |
|
|
|
| Group F14 |
Group
F15 |
|
| Premises |
Premises |
Number of Factors |
| AtInO |
IEtOn |
4 |
| AtIcO |
IEtOc |
6 |
| AtIO *** |
IEtO
*** |
7 |
| Conclusion |
Conclusion |
Number of Factors |
| (In)(ItO) |
(On)(IOt) |
1 |
|
|
|
| Groups F16 |
|
|
| Premises |
Number of Factors |
|
| ApIcEpOc |
4 |
|
| ApIcEpO |
6 |
|
| ApIEpOc |
6 |
|
| ApIcEpOt *** |
7 |
|
| ApItEpOc *** |
7 |
|
| ApIEpO *** |
9 |
|
| Conclusion |
Number of Factors |
|
| (IcOp)(IpOc) |
1 |
|
|
|
|
| Group F17 |
Group
F18 |
|
| Premises |
Premises |
Number
of Factors |
| AicEpOt |
ApItEOc |
1 |
| AtIcEpOt *** |
ApItEtOc
*** |
3 |
| Conclusion |
Conclusion |
Number of Factors |
| (IcOp)(IOt) |
(IpOc)(ItO) |
1 |
|
|
|
| Group F19 |
Group
F20 |
|
| Premises |
Premises |
Number
of Factors |
| AtIcEpO |
ApIEtOc |
2 |
| AtIEpO *** |
ApIEtO
*** |
3 |
| Conclusion |
Conclusion |
Number of Factors |
| (IcOp)(ItO) |
(IpOc)(IOt) |
1 |
|
|
|
| Group F21 |
|
|
| Premises |
Number of Factors |
|
| AtIEtO *** |
1 |
|
| Conclusion |
Number of Factors |
|
| (IOt)(ItO) |
1 |
|
|