Logique formelle

Par : Marcel Peeters, Sébastien Richard
Formats :
34,90 €
  • Paiement en ligne :
    • Livraison à domicile ou en point Mondial Relay estimée à partir du 8 octobre
      Cet article sera commandé chez un fournisseur et vous sera envoyé 23 jours après la date de votre commande.
    • Retrait Click and Collect en magasin gratuit
  • Réservation en ligne avec paiement en magasin :
    • Indisponible pour réserver et payer en magasin
  • Nombre de pages236
  • PrésentationBroché
  • Poids0.47 kg
  • Dimensions17,0 cm × 24,0 cm × 1,3 cm
  • ISBN978-2-8047-0018-8
  • EAN9782804700188
  • Date de parution10/09/2009
  • CollectionCosmologiques
  • ÉditeurMardaga

Résumé

Logique formelle se veut tout autant un manuel d'introduction à la logique standard contemporaine qu'une réflexion théorique sur l'utilité et les limites de la logique pour la philosophie. Ainsi, le lecteur pourra trouver dans cet ouvrage un exposé du calcul des propositions, de la syllogistique traditionnelle, du calcul des prédicats, du calcul des classes et du calcul des relations. La logique formelle est envisagée comme une discipline pure a priori, contrairement à une certaine tradition.
De plus, l'ouvrage n'élude pas une réflexion métathéorique sur les limites internes des formalismes, en particulier dans le cadre du calcul des propositions. L'une des originalités de ce livre est d'envisager, à côté de la logique frégéo-russellienne, l'apport, souvent négligé, de l'Ecole polonaise de logique avec Lesniewski, Tarski et Lukasiewicz. Par conséquent, une attention particulière est accordée à la théorie de la définition ainsi qu'à la solution méréologique de l'antinomie de Russell.
Le lecteur débutant trouvera dans cet ouvrage une présentation claire et rigoureuse de la logique ; le lecteur plus aguerri, une approche originale du sujet.

A propos de Marcel Peeters

Docteur en philosophie, licencié en histoire du Christianisme (ULB), titulaire d'un diplôme d'études approfondies de l'Université de Genève, Marc Peeters enseigne la logique formelle, les questions de logique et un séminaire d'ontologie à l'Université Libre de Bruxelles (ULB). Il est le traducteur de la première Question Disputée sur la vérité de Thomas d'Aquin (en collaboration), d'une monographie sur le logicien polonais Lesniewski (Université de Neuchâtel), et de nombreux articles sur saint Thomas, Kant, Lesniewski, le Curé Meslier, Solvay, etc.
Sébastien Richard est ingénieur civil physicien, licencié en philosophie, titulaire d'un diplôme d'études approfondies de l'Université de Liège. Il est actuellement Aspirant du Fonds National de la Recherche Scientifique belge auprès de l'Université Libre de Bruxelles (ULB), pour lequel il effectue une thèse sur le projet d'ontologie formelle. Il a publié un ouvrage sur la conception sémantique de la vérité (La conception sémantique de la vérité.
D'Alfred Tarski à Jaakko Hintikka, Academia-Bruylant, Bruxelles, 2008). Ils dirigent le Centre d'ontologie formelle et de logique développementale de l'Université Libre de Bruxelles (U. L.B.).
Découvrir l'auteur