亚里士多德的三段论/汉译世界学术名著丛书 pdf epub mobi txt 电子书下载 2025

简体网页||繁体网页

☆☆☆☆☆

[波兰] 卢卡西维茨著

下载链接在页面底部

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 复制链接

承接住宅自建房室内改造装修设计免费咨询 QQ：624617358 一级注册建筑师亲自为您回答、经验丰富，价格亲民。无论项目大小，都全力服务。期待合作，欢迎咨询！QQ：624617358

想要找书就要到图书大百科

book.qciss.net

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

出版社：商务印书馆

ISBN：9787100011051

版次：1

商品编码：11992125

包装：平装

丛书名：汉译世界学术名著丛书

开本：32开

出版时间：1981-05-01

用纸：胶版纸

页数：307

正文语种：中文

具体描述

内容简介

　　《亚里士多德的三段论/汉译世界学术名著丛书》是用现代数理逻辑的观点解释亚里士多德逻辑*重要的部分——三段论理论。《亚里士多德的三段论/汉译世界学术名著丛书》全面、系统地考察了亚氏三段论理论，绘出了亚氏三段论理论的严格的形式系统。《亚里士多德的三段论/汉译世界学术名著丛书》曾对逻辑史的研究产生重大影响，对于把数理逻辑方法运用到其他领域也具有重要意义。

本书述评
第一版原序
第二版原序
本书所引用的亚里士多德的原著与注释的版本

第一章亚里士多德三段论系统的要素
§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．亚里士多德对扩展的M-定律的证明
§41．命题之间的必然联系
§42．“实质”蕴涵还是“严格”蕴涵？
§43．分析命题
§44．一个亚里士多德的悖论
§45．亚里士多德的偶然性

第七章模态逻辑系统
§46．真值表方法
§47．C-N-δ-p系统
§48．δ-定义
§49．模态逻辑的四值系统
§50．必然性和模态逻辑的四值系统
§51．成对的可能性
§52．偶然性和模态逻辑的四值系统
§53．其他某些问题

第八章亚里士多德的模态三段论
§54．有两个必然前提的各式
§55．有一个必然前提和一个实然前提的各式
§56．有一个必然前提和一个实然前提的被排斥的各式
§57．争论的解决
§58．有可能前提的各式
§59．偶然命题的换位律
§60．纠正亚里士多德的错误
§61．有偶然前提的各式
§62．模态逻辑的哲学涵义
索引

精彩书摘

　　《亚里士多德的三段论/汉译世界学术名著丛书》：
　　21.一些未解决的问题
　　亚里士多德的非模态三段论系统是一个四常项的理论，这四个常项可以由“所有——是”、“没有——是”、“有些——是”与“有些——不是”来表示：这些常项是二元的函子。这两个元由变项表示，并且仅仅以具体的普遍词项为值。排除了用单一的、空的以及否定词项等作为它的值，各常项与其元在一起形成四类叫做前提的命题，即“所有A是B”，“没有A是B”，“有些A是B”和“有些A不是B”。这系统可以称为“形式逻辑”，因为具体词项，如“人”或“动物”，并不属于它而仅系它的应用。这系统不是思维形式的理论，它也不依赖于心理学；正如斯多亚派所正确地观察到的，它与“大于”关系的数学理论是相似的。
　　这四类前提借助于两个函子“如果——则”与“并且”形成这系统的断定命题。这些函子属于命题逻辑，命题逻辑是这系统的辅助理论。在某些证明中，我们会遇见第三个命题函子，即命题的否定“这不是真的……”，简化地用“非”表示。这四个亚里士多德式的常项：“所有——是”“没有——是”、“有些——是”和“有些——不是”，与三个命题常项：“如果——则”、“并且”与“非”加在一起，就是三段论系统仅有的元素。
　　这个系统的所有断定命题，对于在其中出现的变项的所有的值而言，都是真的。没有一个亚里士多德式三段论是作为带“所以”一词的推论规则而构成的，如像传统逻辑那样。传统逻辑是一个不同于亚里士多德三段论系统的系统，而不应当与真正的亚里士多德逻辑搅混在一起。亚里士多德划分三段论为三个格，但是他知道并承认第四格的所有三段论的式。三段论划分为格没有什么逻辑上的重要性，而仅有一个实践的目的：我们要确信没有漏掉一个正确的三段论的式。
　　这系统是公理化的。亚里士多德取第一格的头两个式，Bar-bara与Celarent，作为公理。在这两条公理之外，我们还应当加上两条换位定律，因为它们都不能用三段论加以证明。如果我们希望这个系统中有同一律：“所有A是A”，我们就应假定它们是公理。我们能够得到的最简单的基础，是取常项“所有——是”和“有些——是”为原始词项，凭着它们用命题否定来定义其它两个常项，并设定四条断定命题为公理，即两条同一律和Barbara式与Datisi式，或者Barbara式与Dimaris式。把这个系统建立在仅仅一条公理之上是不可能的，如果“原则”指的是与“公理”相同的东西的话，那么，寻求亚里士多德的三段论的原则就是一种徒劳的企图。“所谓全和零原则”，在这个意义上，也不能是三段论的原则，并且亚里士多德本人也没有那样陈述它。
　　……

前言/序言

　　1939年6月，我在克拉科夫波兰科学院宣读了一篇论亚里士多德的三段论的论文。这篇论文的摘要曾于同年排印，但因战争的缘故未能出版。它在战后才得以发行，但出版时间仍标明为“1939年”。1939年夏天，我已用波兰文写好一篇谈同一主题的更为详尽的专论，9月间已经收到该文第一部分的校样，就在这时，出版所完全毁于轰炸，一切荡然无存。同时我的全部图书连同手稿，都遭到轰炸，毁于一炬。要在战时继续这项工作是不可能的。
　　直到十年之后，我才获得一个新的机会来再度进行我对于亚里士多德三段论的研究工作。这一次是在都柏林，从1946年开始直到现在，我一直在那里的爱尔兰皇家科学院讲授数理逻辑。我应都柏林大学学院的邀请，于1949年作了十次关于亚里士多德三段论的讲演，现在这部著作就是这些讲演的成果。
　　本书仅限于非模态的或者“实然的”三段论，因为与此有关的理论是亚里士多德逻辑的最重要的部分。这个理论的系统阐述是在《前分析篇》第一卷的第一、第二章与第四至第七章。在外兹的版本（至今已出版一百多年之久了）中的这些章，是我的解说的主要根据。我遗憾未能利用大卫·罗斯爵士编纂并作有导言和评注的、1949年出版的《前分析篇>的新版本.因为当这个版本出版时，我的著作的历史部分已经完成了。我仅能利用大卫·罗斯爵士的版本来校正我所引用的亚里士多德的原文。在《分析篇》希腊文本的英文译文方面，我尽可能地遵照亚里士多德著作的牛津译本。除了《前分析篇》的本文之外，我还考虑了古代注释家们的意见，特别是亚历山大的意见。在这里我不妨指出：三段论第四格据说是加伦发明的，有关这一发明的诸历史问题，能够得到解决，我就应该感谢一位佚名的古代注释家。
　　现在这本著作包括一个历史的部分（第一至第三章）和一个体系的部分（第四、第五章）。在历史部分里我曾试图尽可能紧密地依据原文来解说亚里士多德的学说，但是无论在什么地方我都企图从现代形式逻辑的观点来解释它们。我认为，今天还不存在对亚里士多德三段论的可以信赖的阐述。直到现在为止，所有阐述都不是逻辑学家写的，而是由哲学家或语言学家写的。这些哲学家或语言学家，或者不可能懂得现代形式逻辑（如普兰特尔）。或者并不懂得现代形式逻辑（如迈尔）。依我看，所有这些阐述都是错误的。例如，我未能发现任何一个作者是意识到了亚里士多德式三段论与传统的三段论之间有着根本差异的。所以，在我看来，我自己的阐述完全是新的。在体系的部分，我曾试图解释为理解亚里士多德三段论所必需的某些现代形式逻辑的理论，并且试图在亚里士多德本人所勾画的轮廓的基础上使这个三段论系统达到完美。我还切望尽可能地使我的阐述清楚明白，以便那些未曾受过符号思维或数学思维训练的学者们能够理解它。因此，我希望我的著作的这一部分可以用作现代形式逻辑的一个导论。