Choose an application

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

This article discusses some antinomies concerning the category of verbal aspect in Russian, which generate apparent contradictions on a theoretical level. Special attention is paid to Russian aspectual pairs (considered in a cross-Slavic perspective). I focus on antinomies applying to different ways of expressing the aspectual semantics of verbs (lexical, grammatical and derivational), as well as on rules regulating the use of perfective and imperfective verbs. Our study confirms the need to distinguish between lexical and grammatical limits of action in a theory of Slavic aspect.

Logic, Symbolic and mathematical. --- Antinomy.

Choose an application

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

Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using natural deduction and leading up to the completeness theorem for first-order logic.

Logic, Symbolic and mathematical. --- Mathematical logic

Choose an application

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

Logic programming --- Logic, Symbolic and mathematical

Choose an application

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

Mathématiques, logique, informatique. Où l’on découvre que ces trois mondes n’en forment qu’un... qui a mis trois mille ans à se constituer. Une histoire peuplée de chiffres, de raisonnements et d’ordinateurs... mais une histoire avant tout humaine, qui nous fera rencontrer une vingtaine de personnalités hors du commun, certaines injustement méconnues. De Leibniz à Boole, de Russell à Shannon, de Bayes à Wiener, tous les acteurs de cette histoire pour le moins mouvementée rêvaient de pouvoir vérifier la validité d’un raisonnement comme on résout un système d’équations. Gageure ou intuition de génie? Mais l’histoire n’est pas terminée. Elle reste même encore à écrire et l’importance des enjeux est telle qu’il vaut mieux prendre le clavier soi-même. Car aujourd’hui, il semble que les principaux protagonistes de cette épopée soient avant tout des techniciens et des entrepreneurs... C’est donc à nous, citoyens d’un monde où tout va de plus en plus vite, de nous percher sur les épaules des géants qui nous ont précédés pour penser Internet, le plus grand défi jamais posé à nos démocraties. Le futur n’est pas encore programmable...

Logic, Symbolic and mathematical --- Computer science --- Informatique -- Histoire --- Informatique -- Philosophie

Choose an application

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

Il est courant de se sentir perdu devant un argument, sans savoir s'il est valable ou non. Ce livre présente les outils pour résoudre cette question : la logique, qui décrit quels sont les raisonnements valides ; et la rhétorique, qui explique les mécanismes subtils par lesquels on peut se laisser tromper par un argument convaincant, mais erroné. 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 de calculs dont la validité est assurée par le seul respect de règles d’inférence préalablement établies. La question de la légitimité de nos argumentations quotidiennes suppose cependant que l’on prenne également en compte des critères qui relèvent d’autres dimensions – dialectique, topique, rhétorique ou linguistique – de l’argumentation. C’est en se fondant sur l’ensemble de ces analyses que l’on peut évaluer l’usage en contexte de tel ou tel schéma d’inférence et déterminer, par des questions critiques, s’il fait l’objet d’une utilisation globalement rationnelle ou d’un abus sophistique.

Logique --- Argumentation --- Logique juridique --- Logic --- Logic, symbolic and mathematical --- Reasoning