sur quoi est fondée la logique ?

^^

La logique formelle ne tient pas compte de la réalité, et pour cause, dans la réalité nous sommes condamnés à l'induction, c'est à dire à généraliser à partir des cas connus. L'exemple typique est celui des cygnes noirs. Au moyen-âge, les occidentaux ignoraient l'existence des cygnes noirs, qui n'existent qu'en Australie. Prenons donc le raisonnement suivant :

1°) Les cygnes sont blancs.

2°) Le corbeau est noir.

3°) Le corbeau n'est pas un cygne.

Ce raisonnement est donc formellement et réellement vrai, même si la prémisse 1°) est fausse. On remarquera que pour l'époque du moyen-âge, ce raisonnement aurait été applaudi de toutes parts (oui oui je suis trop modeste ). En fait les prémisses dans une déduction sont toujours le résultat d'une induction, ce qui contredit l'existence possible d'énoncés nécessaires et donc la causalité.

Edit : Bertrand Russell présente l'idée de façon élégante en disant que le poulet est persuadé que la main du fermier lui amènera toujours le bon grain, jusqu'au jour où cette même main lui tordra le cou.

2/

Tous les animaux sont quadrupèdes

l'homme est un animal

donc l'homme est quadrupède

le N° 2 est bon formellement mais est pourtant faux

alors la logique est-elle fondée sur des raisonnements formellement vrai ou est-elle fondée sur la réalité ?

La prémisse de la 2° est totalement fausse ! "tous les hommes sont quadrupèdes", mais d'où sors-tu cela ?

Pour les syllogismes (d'ailleurs à ce propos, la 2° est un paralogisme, non un syllogisme !), cf Les Analytiques d'Aristote.

La logique est peut être tout simplement une construction du cerveau au cours de l'évolution ceci basé sur nos perceptions de la nature

Ensuite on peut imaginer que le symbole logique + ou "et" en français est tout simplement tiré du fait d'ajouter un élément à un autre dans son champ de perception, ceci supposant que la logique est purement transcendantale, celà ne doit pas être le cas puisque nous pouvons apprendre d'autre de ses symbole et ensuite plus ou moins les utilisé par le contacte avec d'autre ceux ci ayant été répertorié par d'autre personne,

l'on peut supposer que d'autres de ces symboles ,non connu, sont encore à découvrir mais hors de portée de l'esprit humain

C'est une bonne question que la part d'inné dans la logique, c'est à dire logique qui serait transcendantale, par rapport à la part d'acquis.

Les acquis se faisant de deux manières c'est à dire au contact des autres et par ses propres observation de la nature, de toute maniére, pour répondre à la question , la logique est tirée de la nature