intuition(s)

Il y a des trucs que je ne me risquerai pas à affirmer avec certitude.
Il y a des priorités partout, on ne sait plus laquelle prime .
Il y en a qui font ce qu’ils peuvent, d’autres pas.
Il y en a qui n’ont plus le choix.
Il y en a qui meurent.

La logique intuitionniste est une logique autre que la logique classique où la notion de vérité est remplacée par la notion de prouvabilité constructive. Une phrase comme « il pleut ou bien il ne pleut pas » (tiers exclu) est démontrable en logique classique alors qu’en logique intuitionniste, un énoncé de la forme « P ou non P » n’est pas forcément démontrable de manière constructive.

https://fr.wikipedia.org/wiki/Logique_intuitionniste

 

Un cas dit de force majeure est un événement exceptionnel auquel on ne peut faire face.

En droit, les conditions de la force majeure évoluent au gré de la jurisprudence et de la doctrine. Traditionnellement, l’événement doit être « imprévisible, irrésistible et extérieur » pour constituer un cas de force majeure. Cette conception classique est cependant remise en cause.

https://fr.wikipedia.org/wiki/Force_majeure

 

L’état de nécessité est une notion juridique qui consiste à autoriser une action illégale pour empêcher la réalisation d’un dommage plus grave. C’est une notion ancienne reconnue dans de nombreux pays1. Cette cause exonératoire de responsabilité est un fait justificatifNote 1.

L’état de nécessité, dans le champ du droit public, a trait à des situations où les pouvoirs publics doivent momentanément s’affranchir de la légalité ordinaire.

https://fr.wikipedia.org/wiki/État_de_nécessité

 

Une relation humaine implique au moins deux êtres humains et est souvent décrite via des typologies différentes, selon la personne s’intéressant à la nature de la relation ou plutôt aux personnes en relation. Ces relations peuvent se fonder sur l’amour, la fraternité, la solidarité, la compagnie, des interactions professionnelles ou d’autres types d’activités sociales. Les relations interpersonnelles (amoureuses ou familiales) appartiennent au contexte de la relation humaine et culturelle.

Une relation est habituellement perçue comme une communication entre deux personnes, comme des relations intimes/amoureuses ou encore des relations parent-enfant. Un individu peut également avoir une relation avec un groupe de plusieurs personnes.

Les relations familiales et professionnelles, et à une échelle plus grande les relations internationales et diplomatiques, sont fondées sur des relations humaines.

https://fr.wikipedia.org/wiki/Relation_humaine

 

En logique modale aléthique (ou aristotélicienne, ou classique), on dégage quatre modalités :

  • nécessaire (ce qui ne peut pas ne pas être vrai), noté  \Box ;
  • contingent (ce qui peut être vrai ou faux), noté ¬ ◻ ;
  • possible (tout ce qui peut être, sauf impossible), noté ;
  • impossible (ce qui ne peut pas ne pas être faux), noté ¬ ◊.

Ces 4 modalités sont liées, il suffit d’une pour définir les trois autres.

La logique intuitionniste peut être construite sur la logique aléthique comme une logique modale.

https://fr.wikipedia.org/wiki/Logique_modale

 

media_xl_4027913

Publicités

Laisser un commentaire

Choisissez une méthode de connexion pour poster votre commentaire:

Logo WordPress.com

Vous commentez à l'aide de votre compte WordPress.com. Déconnexion / Changer )

Image Twitter

Vous commentez à l'aide de votre compte Twitter. Déconnexion / Changer )

Photo Facebook

Vous commentez à l'aide de votre compte Facebook. Déconnexion / Changer )

Photo Google+

Vous commentez à l'aide de votre compte Google+. Déconnexion / Changer )

Connexion à %s