La logique

[invite24327a4e]

Bonsoir,
La logique nous est souvent présenté comme unique et évidente. Est-elle seulement unique ? Rien n'interdit, à priori, de créer une logique totalement déconnecté de notre monde de tous les jours.
Peut-on définir une logique comme l'ensemble des règles d'inférences qui la régissent ?
Si oui, je vous propose un jeu qui peut être assez déconcertant : Créer une toute nouvelle logique, complétement déconnecté de la réalité et qui nous paraîtrait être un non sens pour finalement l'appliquer à une discipline et voir ce qu'elle prédis.

Si quelqu'un à une idée de par ou commencer, qu'il se manifèste, car je ne vois vraiment pas.

Je vous remercie d'avance.
-----

[invite24327a4e]

Après une petite réflexion, il me semble que le problème de l'unicité d'une assertion juste se pose. Une assertion peut-elle être juste et fausse à la fois (suivant le "contexte") dans une logique généraliste ? Il semblerait que rien ne l'interdise.

[Médiat]

La logique nous est souvent présenté comme unique et évidente.

Pas en maths.

Est-elle seulement unique ?

1. Logique classique du premier ordre
2. Logique classique d'ordre supérieur
3. Logique classique du premier ordre avec extensions (quantificateur " pour au moins une infinité ", par exemple)
4. Logique intuitionniste
5. Logiques floues (multivalentes)
6. Logiques avec des valuations exotiques
7. Les nombreuses logiques modales
8. Logique linéaire
9. Etc

Peut-on définir une logique comme l'ensemble des règles d'inférences qui la régissent ?

Oui, tu peux chercher "calcul des séquents" (et Gentzen à qui on le doit) sur le net.

Une assertion peut-elle être juste et fausse à la fois (suivant le "contexte") dans une logique généraliste ?

Assertion est généralement un synonyme de proposition, c'est à dire se conçoit dans un langage, et sa "valeur de vérité" est dépendante de la théorie dans laquelle on l'évalue, par exemple l'assertion (dans le langage des groupes) "tous les éléments commutent" est vraie dans la théorie des groupes abéliens et fausse dans la théorie des groupes non abéliens (et indécidable dans la théorie des groupes).

[ClaudeH]

Bonsoir,
je vous propose un jeu qui peut être assez déconcertant : Créer une toute nouvelle logique, complétement déconnecté de la réalité et qui nous paraîtrait être un non sens pour finalement l'appliquer à une discipline et voir ce qu'elle prédis.
Si quelqu'un à une idée de par ou commencer, qu'il se manifèste, car je ne vois vraiment pas.

Je vous remercie d'avance.

Bonjour..

Mediat a clairement défini ce qu'était la logique.


Nous pouvons nous rendre compte qu'un raisonnement ou une action est illogique.
Mais cela ne veut pas dire que nous comprenions ce qu'est l'illogisme.
Lorsque tu parles de créer une toute nouvelle logique, (oui, par un simple jeu) quels seraient les outils intellectuels utilisés.? Si ce n'est pas la logique elle même.?
Comment trouver une corrélation entre un non sens et une discipline.?

Actuellement un domaine que je vois, mais qui n'est pas issue de notre création proprement dite est le contenu d'un rêve.
- Il est logique, lorsque nous le vivons, logique lorsque nous-nous en rappelons, mais illogique lorsque nous en faisons son analyse.
Difficile de mettre en adéquation le rêve et la réalité.

- Puis, les émotions en elles-même relèvent-elles du domaine de la logique.??
- le libre arbitre ..??

Cordialement.

[A voir en vidéo sur Futura]

[invitef591ed4b]

Même si on veut créer des logiques qui nous paraissent absurdes, je crois que ça a déjà été fait... Par exemple, les logiques paraconsistantes qui rejettent le principe de non-contradiction, c'est assez surprenant...

[invite24327a4e]

Même si on veut créer des logiques qui nous paraissent absurdes, je crois que ça a déjà été fait... Par exemple, les logiques paraconsistantes qui rejettent le principe de non-contradiction, c'est assez surprenant...

C'est justement ce qui m'intéresse. Créer une toute nouvelle logique qui nous paraît "illogique".

[Deedee81]

C'est justement ce qui m'intéresse. Créer une toute nouvelle logique qui nous paraît "illogique".

Bonjour,

Une autre logique "bizarre" :
http://en.wikipedia.org/wiki/Quantum_logic
http://plato.stanford.edu/entries/qt-quantlog/

[invitefb3caa4c]

c'est ma premiere participation j'espere que je m'en souviendrai positivement
en tout cas

C'est justement ce qui m'intéresse. Créer une toute nouvelle logique qui nous paraît "illogique

est ce que cette nouvelle logique est-elle illogique ou est ce qu'elle nous parait juste illogique
parcequ' si elle est illogique elle ne peut pas etre une logique
et si elle nous parait seulement illogique c'est bien qu'elle est logique et alors qu'est ce qu'elle aura de nouveau
je crois que j'ai été logique