Logique de la prouvabilitéProvability logic is a modal logic, in which the box (or "necessity") operator is interpreted as 'it is provable that'. The point is to capture the notion of a proof predicate of a reasonably rich formal theory, such as Peano arithmetic. There are a number of provability logics, some of which are covered in the literature mentioned in . The basic system is generally referred to as GL (for Gödel–Löb) or L or K4W (W stands for well-foundedness). It can be obtained by adding the modal version of Löb's theorem to the logic K (or K4).
Accident (philosophie)L'accident (grec ancien : συμβεβηκός, symbebèkos ; latin : accidens) est un concept de philosophie qui désigne ce qui appartient à une substance de façon non nécessaire. Contrairement à la substance, l'accident n'existe pas par soi, mais dans un autre. Il est variable et peut cesser de se trouver dans une substance sans que la substance en soit détruite pour autant. Central dans la métaphysique et la logique d'Aristote, le concept d'accident est largement repris, commenté et approfondi par les philosophes médiévaux.
IndexicalitéEn philosophie du langage ordinaire, les indexicaux sont des termes dont la signification dépend entièrement de certaines caractéristiques du contexte dans lequel ils sont prononcés. « Maintenant », « ici », « je » sont des exemples typiques de termes indexicaux : leur sens dépend respectivement du moment, du lieu et du sujet de l'énonciation ; au contraire, un nom propre ou un nom commun (par exemple) continue normalement à désigner la même chose s'il est prononcé à deux moments différents ou par deux personnes différentes.
Possibilité et impossibilitéLa possibilité logique fait référence à une proposition qui peut être la conséquence logique d'une autre, basée sur les axiomes d'un système logique donné. Par conséquent, une proposition logiquement possible est celle qui est cohérente avec les axiomes du système logique dans lequel elle se trouve. formulé. Par conséquent, la possibilité d'une proposition dépendra du système logique utilisé.
Problem of future contingentsFuture contingent propositions (or simply, future contingents) are statements about states of affairs in the future that are contingent: neither necessarily true nor necessarily false. The problem of future contingents seems to have been first discussed by Aristotle in chapter 9 of his On Interpretation (De Interpretatione), using the famous sea-battle example. Roughly a generation later, Diodorus Cronus from the Megarian school of philosophy stated a version of the problem in his notorious master argument.
Logique temporelle linéaireEn logique, la logique temporelle linéaire (LTL) est une logique temporelle modale avec des modalités se référant au temps. En LTL, on peut coder des formules sur l'avenir d'un chemin infini dans un système de transitions, par exemple une condition finira par être vraie, une condition sera vraie jusqu'à ce qu'une autre devienne vraie, etc. Cette logique est plus faible que la logique CTL*, qui permet d'exprimer des conditions sur des ramifications de chemins et pas seulement sur un seul chemin.
Metaphysical necessityIn philosophy, metaphysical necessity, sometimes called broad logical necessity, is one of many different kinds of necessity, which sits between logical necessity and nomological (or physical) necessity, in the sense that logical necessity entails metaphysical necessity, but not vice versa, and metaphysical necessity entails physical necessity, but not vice versa. A proposition is said to be necessary if it could not have failed to be the case.
