图书介绍
亚里士多德的三段论PDF|Epub|txt|kindle电子书版本网盘下载
- （波兰）卢卡西维茨（J.Lukasiewicz）著；李真，李先昆译 著
- 出版社： 北京：商务印书馆
- ISBN：7100011051
- 出版时间：1981
- 标注页数：279页
- 文件大小：10MB
- 文件页数：295页
- 主题词：亚里士多德（前384～前322）－三段论
PDF下载
下载说明
亚里士多德的三段论PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
本书述评1
第二版原序4
本书所引用的亚里士多德的原著与注释的版本6
第一章 亚里士多德三段论系统的要素8
1.亚里士多德式三段论的正确形式8
2.前提和词项11
3.为什么单一词项被亚里士多德略去了13
4.变项16
5.三段论的必然性19
6.什么是形式逻辑21
7.什么是形式化25
第二章 亚里士多德三段论系统的断定命题31
8.断定命题与推论规则31
9.三段论的格34
10.大项、中项和小项40
11.关于一个错误的历史43
12.前提的次序45
13.一些现代注释家的错误48
14.加仑的四个格51
第三章 亚里士多德三段论系统58
15.完全的和不完全的三段论58
16.词项逻辑与命题逻辑63
17.换位法证明67
18.归谬法证明71
19.显示法证明77
20.排斥的形式85
21.一些未解决的问题91
第四章 用符号形式表达的亚里士多德系统97
22.符号系统的说明97
23.演绎理论100
24.量词105
25.三段论系统的基本要素110
26.三段论的断定命题的推导113
27.排斥的表达式的公理和规则118
28.我们的公理和规则不充分122
29.不能判定的表达式的数目126
第五章 判定问题126
30.斯卢派斯基的排斥规则129
31.演绎的等值式134
32.化归为初等表达式139
33.三段论系统的初等表达式150
34.三段论系统的一个算术的解释157
35.结束语162
第六章 亚里士多德的模态命题逻辑165
36.导言165
37.模态函项和它们的相互关系166
38.基本模态逻辑168
39.扩展定律171
40.亚里士多德对扩展的M—定律的证明174
41.命题之间的必然联系177
42.“实质”蕴涵还是“严格”蕴涵181
43.分析命题184
44.一个亚里士多德的誖论186
45.亚里士多德的偶然性190
46.真值表方法194
第七章 模态逻辑系统194
47.C-N-δ-p系统197
48.δ-定义201
49.模态逻辑的四值系统204
50.必然性和模态逻辑的四值系统208
51.成对的可能性212
52.偶然性和模态逻辑的四值系统214
53.其他某些问题220
54.有两个必然前提的各式223
第八章 亚里士多德的模态三段论223
55.有一个必然前提和一个实然前提的各式225
56.有一个必然前提和一个实然前提的被排斥的各式229
57.争论的解决232
58.有可能前提的各式235
59.偶然命题的换位律239
60.纠正亚里士多德的错误243
61.有偶然前提的各式247
62.模态逻辑的哲学涵义251
索引256