Si l'on veut bien définir le rationalisme comme une pensée d'organisation, on devra lui accorder une matière à organiser, des éléments à assembler, des expériences à ajuster. On devra le juger au terme même de cette organisation, après son effort synthétique, après son travail de mise en ordre. Il y a peu de justice à le taxer d'incapacité à propos d'une analyse de ce qu'il prend comme éléments de sa construction. Autant dire que le rationalisme est une philosophie fonctionnelle, une (...) philosophie d'opérations - ou plutôt, comme nous le montrerons plus explicitement dans notre livre sur la Mécanique ondulatoire, une philosophie d'opérateurs. Ce n'est pas une philosophie existentielle. Le rationalisme ne prétend pas pénétrer dans l'individualité d'une existence. Il ne commence à penser qu'en établissant des relations. (shrink)

The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory of finite-valued first order (...) logics in a general way, and to present some of the more important results in this area. In Systems covered are the resolution calculus, sequent calculus, tableaux, and natural deduction. This report is actually a template, from which all results can be specialized to particular logics. (shrink)

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have been (...) expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

This study reconstructs the relationship between philosophy and politics in the way in which Heidegger's failure as a politician influenced the redevelopment of philosophy in the 1930s. The author also explains how Heidegger's failure influenced the content and direction of his later work.

En 32 romans, publiés entre 1934 et 1982, cet auteur d'origine australienne a élaboré autour de son protagoniste principal, l'inspecteur Roderick Allen de Scotland Yard, un ensemble de romans policiers d'enquête dans la meilleure tradition britannique.