Bonsoir,

Pour ce qui est du , Essais :

\models qui donne
\vdash qui donne

Merci Razes

pour le reste ça va aller ...c'est juste un peu flou pour moi mais je pense que ça va le faire...

Bonjour

ok je vois la différence entre les deux mais mon document dans lequel j'ai extrait l'image n'a rien à voir avec ça

les deux symboles sont utilisés en logique du premier ordre et ne signifient pas la même chose

ceci dit je débute et il y a des tas de choses à voir comme le domaine d'interprétation , la signature etc...

bref  … bref… je vais boire un café (lol)

Bonjour

le niveau d'abstraction est élevé ...c'est vue en quelle classe ça ?
la logique du premier ordre…
est-ce que tout le monde voit ça ou c'est réservé à une élite seulement?

J"ai une autre question  

vu le niveau de maths nécessaire et vu que la logique c'est une branche pas seulement des maths mais aussi de la philosophie

j'ai du mal à comprendre comment quelqu'un qui suit un parcours de lettres et qui ne fera pas autant de maths arrivera comme par magie faire de la logique du premier ordre ce qu'il est obligé de savoir faire s'il veut faire de la philosophie?

Par exemple Onfray,BHL,DSK,etc... tous les philosophes actuels et qui comptent ont-ils au moins appris la logique du premier ordre?

ça me semble louche cette histoire là … ,

c'est grave ça!!

je me rendais pas compte jusque là mais c'est pas Luc Ferry (philosophe à la mode qui a dit : les maths ne servent à rien?)

mais puisque il a appris la logique du premier ordre pour devenir philosophe , comment a t-il fait sans faire de maths?

quand c'est flou , y a un loup "Martine Aubry"

Bon je retourne à mon cours de logique classique…

ce qui m'étonne c'est que ça ne semble déranger personne cette histoire
c'est de plus en plus bizarre...ou alors c'est moi qui ait l'esprit tordu