Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Constructieve wiskunde --- Constructive mathematics --- Logic [Symbolic and mathematical ] --- Logica [Symbolische en wiskundige ] --- Logique symbolique et mathémathique --- Mathematique constructive

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Mathematics --- Philosophy. --- Logic [Symbolic and mathematical ] --- Logica [Symbolische en wiskundige ] --- Logique symbolique et mathémathique --- Mathematical logic --- Frege, Gottlob --- Mathematics - Philosophy.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Argumentatieleer --- Argumentation [Théorie de l' ] --- Logic [Symbolic and mathematical ] --- Logica [Symbolische en wiskundige ] --- Logique symbolique et mathémathique --- Raisonnement --- Reasoning --- Redenering --- Descartes, René --- Science --- Methodology

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Science de la pensée rationnelle, la logique s'est donné pour tâche de dégager les grands principes théoriques permettant de distinguer les raisonnements corrects des raisonnements fallacieux. Au cours de son histoire, elle a forgé des outils d'analyse de plus en plus précis et rigoureux. Ces développements ont abouti aux divers systèmes formels de la logique symbolique dont nous disposons aujourd'hui. Il est désormais possible de traiter de nombreux raisonnements comme des calculs dont la validité est assurée par le seul respect de règles d'inférence préalablement établies. La question du caractère correct ou non de nos raisonnements suppose cependant que l'on envisage aussi d'autres critères de pertinence et de légitimité, que l'étude des sophismes permet de dégager a contrario. En outre, il importe de prendre en compte les dimensions dialectique et rhétorique de l'argumentation, c'est-à-dire la manière dont les raisonnements interviennent dans les débats quotidiens. Parce qu'il envisage l'étude des raisonnements sous ces différents aspects, ce livre constitue une véritable introduction générale à la logique. L'approche choisie est délibérément pédagogique. L'ouvrage analyse plus de 250 raisonnements et propose au lecteur 330 exercices dont les corrigés sont disponibles en ligne.

Logic --- Logic, symbolic and mathematical --- Reasoning --- Logic [Symbolic and mathematical ] --- Logica [Symbolische en wiskundige ] --- Logique symbolique et mathémathique --- Logique --- Philosophy --- Logique mathématique --- Logique mathématique --- Argumentation (logique) --- logique formelle --- argumentation --- analyse des raisonnements --- la logique symbolique --- les sophismes

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This is an advanced study of systems of propositional logic which offers a comprehensive account of a wide variety of logical systems and which encourages students to take a critical stance towards the subject. A great variety of systems and subsystems are defined and compared as regards their deductive power and relation to their model theory. Interesting features include a more refined treatment of modal logic and the special attention given to the weakenings of classical logic. Useful appendices provide a topical bibliography and review of basic set theory.

Mathematical logic --- Logic [Symbolic and mathematical ] --- Logica [Symbolische en wiskundige ] --- Logique symbolique et mathémathique --- Logic, Symbolic and mathematical --- Logique symbolique et mathématique --- Logic, Symbolic and mathematical. --- Logique mathématique --- Logique symbolique et mathématique --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Logique mathématique. --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Logique --- Arts and Humanities --- Philosophy --- Logique mathématique