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é.
VérifacteurUn vérifacteur est ce qui dans le monde rend vraie une vérité ou un énoncé vrai. Cette notion relève du vocabulaire de la philosophie analytique et elle est associée à une conception à la fois réaliste et « correspondantiste » de la vérité : si un énoncé est vrai, alors il doit exister quelque chose qui le rend vrai ; de même, si un prédicat quelconque s'applique à quelque chose (ex. : « mammifère » dans « les hommes sont des mammifères »), alors il doit exister quelque chose qui rend vrai le fait qu'un prédicat s'y applique.
LogiqueLa logique — du grec , qui est un terme dérivé de signifiant à la fois « raison », « langage » et « raisonnement » — est, dans une première approche, l'étude de l'inférence, c'est-à-dire des règles formelles que doit respecter toute argumentation correcte. Le terme aurait été utilisé pour la première fois par Xénocrate. La logique antique se décompose d'abord en dialectique et rhétorique. Elle est depuis l'Antiquité l'une des grandes disciplines de la philosophie, avec l'éthique (philosophie morale) et la physique (science de la nature).
FaitUn fait est un événement advenu ou advenant dans l'histoire d'un individu ou d'un groupe. Il est caractérisé par son extériorité, par opposition à une idée qui, elle, relève de l'intériorité. Un fait peut être naturel (exemples : une rivière qui coule, la naissance d'un enfant...) ou artificiel ; et dans ce cas, il peut être matériel (exemple : la création d'une machine) ou immatériel et composé lui-même de plusieurs faits (exemple : l'organisation du travail dans une entreprise).
Déduction logiqueLa déduction logique est un type de relation que l'on rencontre en logique mathématique. Elle relie des propositions dites prémisses à une proposition dite conclusion et préserve la vérité. Prémisses et conclusion qui sont ainsi reliées par une règle de déduction, assurent que si la règle est valide et si les prémisses sont vraies, la conclusion est elle aussi vraie. On dit alors que la conclusion est une conséquence des prémisses, ou parfois que la conclusion vient des prémisses.
PhilosophieLa philosophie, du grec ancien (composé de , « aimer », et de , « sagesse, savoir »), signifiant littéralement « amour du savoir » et communément « amour de la sagesse », est une démarche qui vise à une compréhension du monde et de la vie par une réflexion rationnelle et critique. Cette réflexion n’est pas pour autant le propre d’un homme en particulier mais de tout homme dans sa dimension proprement humaine même si certains penseurs en ont fait le cœur de leur activité.
Réalisme modalEn logique philosophique, le réalisme modal est l'hypothèse métaphysique, proposée initialement par David Lewis, selon laquelle toute description de la façon dont le monde aurait pu être est la description de la façon dont un autre monde est, véritablement, et parallèlement au nôtre. Les mondes alternatifs à celui dans lequel nous vivons ont le même degré de réalité que notre monde, le monde dit « réel » ou « actuel », mais ils nous sont inaccessibles pour des raisons de principe.
Vérité logiqueLa vérité logique est l'un des concepts les plus fondamentaux de la logique. D'une manière générale, une vérité logique est une proposition qui est vraie indépendamment de la vérité ou la fausseté de ses propositions constitutives. En d'autres termes, une vérité logique est une affirmation qui n'est pas seulement vraie, mais qui est vraie sous toutes les interprétations de ses composants logiques (autres que ses constantes logiques). Ainsi, des vérités logiques telles que "si p, alors p" peuvent être considérées comme des tautologies.
Philosophie de l'espritLa philosophie de l'esprit (de l'anglais : philosophy of mind) est une branche de la philosophie qui se propose d'étudier la nature de l'esprit (mind), ainsi que sa relation avec le monde physique. Le problème corps-esprit entendu au sens large – problème de la relation des états mentaux au corps –, est communément considéré comme la question centrale de la philosophie de l'esprit, bien que d'autres interrogations sur la nature des états mentaux ne concernent pas le corps, ou fassent directement référence à l'environnement (physique ou social) des individus.
Conditionnels contrefactuelsLes conditionnels contrefactuels (counterfactual conditionals en anglais) sont des propositions utilisées pour exprimer une situation hypothétique dans le passé et de leur conséquences imaginaires. Cette construction grammaticale est utilisée pour spéculer sur des situations qui n'ont pas réellement eu lieu, mais qui auraient pu se produire si les circonstances avaient été différentes. Le conditionnel contrefactuel se présente généralement sous la forme « Si A était le cas, alors B serait le cas ».
