Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
About this product
Product Identifiers
PublisherCollege Publications
ISBN-10184890231X
ISBN-139781848902312
eBay Product ID (ePID)11038392755
Product Key Features
Publication NameModèle Formel De La Syllogistique D'aristote
LanguageFrench
Publication Year2016
SubjectLogic
TypeTextbook
AuthorKurt Ebbinghaus
Subject AreaMathematics, Philosophy
SeriesCahiers Ser.
FormatTrade Paperback
Dimensions
Item Height0.3 in
Item Weight6.9 Oz
Item Length9.2 in
Item Width6.1 in
Additional Product Features
Intended AudienceTrade
TitleLeadingUn
Series Volume NumberVol. 24
IllustratedYes
SynopsisDans ce long article, paru en allemand en 1964, Kurt Ebbinghaus propose, dans la lign e des travaux de Paul Lorenzen, une reconstruction de la th orie du syllogisme partir d'un mod le calculatoire. Dans ce mod le, les syllogismes sont pens s comme des r gles et la question de la validit logique est formul e en termes de &la" proc dure et non en termes de &la" v rit . L'int r t de le traduire aujourd'hui pour la premi re fois n'est pas seulement qu'il offre de quoi mesurer combien Aristote est un grand logicien, parfaitement ma tre des outils formels qu'il labore dans les Premiers Analytiques. Il permet d'attribuer Kurt Ebbinghaus la v ritable paternit de l'approche inf rentialiste des crits logiques d'Aristote, approche plus connue depuis les travaux de J. Corcoran ou de R. Smith, pourtant plus tardifs. Il ouvre enfin, travers le concept de &la" preuve d'admissibilit , une perspective proprement constructiviste sur la question de la compl tude chez Aristote., Dans ce long article, paru en allemand en 1964, Kurt Ebbinghaus propose, dans la lignEe des travaux de Paul Lorenzen, une reconstruction de la thEorie du syllogisme A partir d'un modEle calculatoire. Dans ce modEle, les syllogismes sont pensEs comme des rEgles et la question de la validitE logique est formulEe en termes de procEdure et non en termes de vEritE . L'intErEt de le traduire aujourd'hui pour la premiEre fois n'est pas seulement qu'il offre de quoi mesurer combien Aristote est un grand logicien, parfaitement maItre des outils formels qu'il Elabore dans les Premiers Analytiques. Il permet d'attribuer A Kurt Ebbinghaus la vEritable paternitE de l'approche infErentialiste des Ecrits logiques d'Aristote, approche plus connue depuis les travaux de J. Corcoran ou de R. Smith, pourtant plus tardifs. Il ouvre enfin, A travers le concept de preuve d'admissibilitE, une perspective proprement constructiviste sur la question de la complEtude chez Aristote.