Téléchargez l'application
educalingo
Rechercher

Signification de "modal logic" dans le dictionnaire anglais

Dictionnaire
DICTIONNAIRE
section

PRONONCIATION DE MODAL LOGIC EN ANGLAIS

modal logic play
facebooktwitterpinterestwhatsapp

CATÉGORIE GRAMMATICALE DE MODAL LOGIC

substantif
adjectif
verbe
adverbe
pronom
préposition
conjonction
déterminant
exclamation
Modal logic est un substantif.
Le nom ou substantif est un type de mot déterminant la réalité. Les substantifs désignent toutes les choses : personnes, objets, sensations, sentiments, etc.

QUE SIGNIFIE MODAL LOGIC EN ANGLAIS

Cliquez pour voir la définition originale de «modal logic» dans le dictionnaire anglais.
Cliquez pour voir la traduction automatique de la définition en français.

Logique modale

Modal logic

La logique modale est un type de logique formelle développée principalement dans les années 1960 qui étend la logique classique propositionnelle et prédictive pour inclure les opérateurs exprimant la modalité. Les modes - mots qui expriment les modalités - qualifient une déclaration. Par exemple, la déclaration «John est heureux» pourrait être qualifiée en disant que John est généralement heureux, auquel cas le terme «habituellement» fonctionne comme modal. Les modalités traditionnelles, ou les modalités de la vérité, incluent la possibilité, la nécessité et l'impossibilité. D'autres modalités qui ont été formalisées dans la logique modale comprennent les modalités temporelles, les modalités du temps, les modalités déontiques, les modalités épistémiques, ou les modalités de la connaissance et les modalités doxastiques, ou les modalités de croyance. Une logique modale formelle représente les modalités en utilisant les opérateurs modaux. Par exemple, «Il pourrait pleuvoir aujourd'hui» et «Il est possible que la pluie tombe aujourd'hui» contiennent la notion de possibilité. Dans une logique modale, cela est représenté comme un opérateur, peut-être, attaché à la phrase "Il va pleuvoir aujourd'hui". Les opérateurs modaux unaires de base sont généralement écrits □ pour nécessairement et ◇ pour éventuellement. Modal logic is a type of formal logic primarily developed in the 1960s that extends classical propositional and predicate logic to include operators expressing modality. Modals—words that express modalities—qualify a statement. For example, the statement "John is happy" might be qualified by saying that John is usually happy, in which case the term "usually" is functioning as a modal. The traditional alethic modalities, or modalities of truth, include possibility, necessity, and impossibility. Other modalities that have been formalized in modal logic include temporal modalities, or modalities of time, deontic modalities, epistemic modalities, or modalities of knowledge and doxastic modalities, or modalities of belief. A formal modal logic represents modalities using modal operators. For example, "It might rain today" and "It is possible that rain will fall today" both contain the notion of possibility. In a modal logic this is represented as an operator, Possibly, attached to the sentence "It will rain today". The basic unary modal operators are usually written □ for Necessarily and ◇ for Possibly.

définition de modal logic dans le dictionnaire anglais

La définition de la logique modale dans le dictionnaire est l'étude logique de concepts philosophiques tels que nécessité, possibilité, contingence, etc. Une autre définition de la logique modale est tout système formel pouvant être interprété comme un modèle pour le comportement de tels concepts.

The definition of modal logic in the dictionary is the logical study of such philosophical concepts as necessity, possibility, contingency, etc. Other definition of modal logic is any formal system capable of being interpreted as a model for the behaviour of such concepts.

Cliquez pour voir la définition originale de «modal logic» dans le dictionnaire anglais.
Cliquez pour voir la traduction automatique de la définition en français.

MOTS EN ANGLAIS COMMENÇANT COMME MODAL LOGIC

mod
mod cons
mod.
modal
modalism
modalist
modalistic
modalities
modality
modally
modding
mode
mode of transport
model
model plane
model railway
model theory
model-theoretic
modeling
modelist

MOTS EN ANGLAIS FINISSANT COMME MODAL LOGIC

biologic
cryptologic
dermatologic
ecologic
epidemiologic
fuzzy logic
geologic
gynecologic
histologic
histopathologic
hydrologic
immunologic
logic
morphologic
pathologic
pharmacologic
physiologic
psychologic
symbolic logic
urologic
virologic

Synonymes et antonymes de modal logic dans le dictionnaire anglais de synonymes

SYNONYMES

MOTS EN ANGLAIS EN RAPPORT AVEC «MODAL LOGIC»

modal logic modal logic examples introduction proof proofs philosophers symbols type formal primarily developed that extends classical propositional predicate include operators expressing modality modals words express modalities qualify statement example john stanford encyclopedia philosophy expression like necessarily used judgement strictly speaking linguistics opencourseware course covers sentential quantified with emphasis model theory worlds semantics topics soundness advances aiml originally conceived into powerful mathematical discipline deals restricted playground ross kirsling symbolic capturing inferences about logical systems lies intersection homepage umass amherst chap absolute system relative august update workshop reasoning minds cognitive amazon brian textbook intended readers already acquainted elements containing nearly exercises chellas provides carnap internet light criticisms quine from challenge produce validity hylocore initiative aimed presenting state various applications consists school computer

Traducteur en ligne avec la traduction de modal logic à 25 langues

TRADUCTEUR
online translator

TRADUCTION DE MODAL LOGIC

Découvrez la traduction de modal logic dans 25 langues grâce à notre traducteur anglais multilingue.
Dans cette section, les traductions de modal logic dans d'autres langues ont été obtenues par traduction automatique statistique, où l'unité essentielle de la traduction est le mot «modal logic» en anglais.

Traducteur Français - chinois

模态逻辑
1325 millions de locuteurs

Traducteur Français - espagnol

lógica modal
570 millions de locuteurs

anglais

modal logic
510 millions de locuteurs

Traducteur Français - hindi

मोडल तर्क
380 millions de locuteurs
ar

Traducteur Français - arabe

مشروط المنطق
280 millions de locuteurs

Traducteur Français - russe

модальная логика
278 millions de locuteurs

Traducteur Français - portugais

lógica modal
270 millions de locuteurs

Traducteur Français - bengali

মোডাল যুক্তিবিদ্যা
260 millions de locuteurs

Traducteur Français - français

logique modale
220 millions de locuteurs

Traducteur Français - malaisien

Logik modal
190 millions de locuteurs

Traducteur Français - allemand

Modallogik
180 millions de locuteurs

Traducteur Français - japonais

様相論理
130 millions de locuteurs

Traducteur Français - coréen

모달 논리
85 millions de locuteurs

Traducteur Français - javanais

Logika modal
85 millions de locuteurs
vi

Traducteur Français - vietnamien

phương thức luận lý
80 millions de locuteurs

Traducteur Français - tamoul

மாதிரி தர்க்கம்
75 millions de locuteurs

Traducteur Français - marathi

मॉडेल तर्क
75 millions de locuteurs

Traducteur Français - turc

Modal mantık
70 millions de locuteurs

Traducteur Français - italien

logica modale
65 millions de locuteurs

Traducteur Français - polonais

logika modalna
50 millions de locuteurs

Traducteur Français - ukrainien

модальна логіка
40 millions de locuteurs

Traducteur Français - roumain

logica modală
30 millions de locuteurs
el

Traducteur Français - grec

τροπική λογική
15 millions de locuteurs
af

Traducteur Français - afrikaans

modale logika
14 millions de locuteurs
sv

Traducteur Français - suédois

modallogik
10 millions de locuteurs
no

Traducteur Français - norvégien

modal logikk
5 millions de locuteurs

Tendances d'usage de modal logic

TENDANCES

TENDANCES D'USAGE DU TERME «MODAL LOGIC»

Le terme «modal logic» est communément utilisé et occupe la place 87.485 de notre liste de termes les plus utilisés du dictionnaire anglais.
0
100%
FRÉQUENCE
Communément utilisé
59
/100
Sur la carte précédente est reflétée la fréquence d'utilisation du terme «modal logic» dans les différents pays.
Tendances de recherche principales et usages générales de modal logic
Liste des principales recherches réalisées par les utilisateurs pour accéder à notre dictionnaire anglais en ligne et des expressions les plus utilisées avec le mot «modal logic».

FRÉQUENCE D'UTILISATION DU TERME «MODAL LOGIC» SUR LA PÉRIODE

Le graphique montre l'évolution annuelle de la fréquence d'utilisation du mot «modal logic» durant les 500 dernières années. Son implémentation est basée sur l'analyse de la fréquence d'apparition du terme «modal logic» sur les sources imprimées numériques anglaises publiées depuis l'année 1500 jusqu'aujourd'hui.

Exemples d'utilisation du mot modal logic en anglais

EXEMPLES

10 LIVRES EN ANGLAIS EN RAPPORT AVEC «MODAL LOGIC»

Découvrez l'usage de modal logic dans la sélection bibliographique suivante. Des livres en rapport avec modal logic et de courts extraits de ceux-ci pour replacer dans son contexte son utilisation littéraire.
1
Modal Logic: An Introduction
Chellas here offers an up-to-date and reliable guide of the kind that is very badly needed: his exposition is distinguished by its clarity, economy and elegance, and the book is expected to supplant existing textbooks in the field.
Brian F. Chellas, 1980
2
A New Introduction to Modal Logic
This entirely new work guides the reader through the most basic systems of modal propositional logic up to systems of modal predicate with identity, dealing with both technical developments and discussing philosophical applications.
M.J. Cresswell, G.E. Hughes, 2012
3
Handbook of Modal Logic
The Handbook of Modal Logic contains 20 articles, which collectively introduce contemporary modal logic, survey current research, and indicate the way in which the field is developing.
Patrick Blackburn, Johan F.A.K. van Benthem, Frank Wolter, 2006
4
First-Order Modal Logic
The book covers quantification itself, including the difference between actualist and possibilist quantifiers; equality, leading to a treatment of Frege's morning star/evening star puzzle; the notion of existence and the logical problems ...
M. Fitting, Richard L. Mendelsohn, 1998
5
Modal Logic
This modern, advanced textbook reviews modal logic, a field which caught the attention of computer scientists in the late 1970's.
Patrick Blackburn, Maarten de Rijke, Yde Venema, 2002
6
Proof Theory of Modal Logic
This volume deals with formal, mechanizable reasoning in modal logics, that is, logics of necessity, possibility, belief, time computations etc.
Heinrich Wansing, 1996
7
First Steps in Modal Logic
This is a graduate-level text for a first course in propositional modal logic.
Sally Popkorn, 1994
8
A Short Introduction to Modal Logic
A Short Introduction to Modal Logic presents both semantic and syntactic features of the subject and illustrates them by detailed analyses of the three best-known modal systems S5, S4 and T. The book concentrates on the logical aspects of ...
G. E. Mint︠s︡, 1992
9
Modal Logic for Open Minds
Many of the chapters are followed by exercises, making this volume ideal for undergraduate and graduate students in philosophy, computer science, symbolic systems, cognitive science, and linguistics.
Johan Van Benthem, 2010
10
Modal Logic for Philosophers
This 2006 book provides an accessible, yet technically sound treatment of modal logic and its philosophical applications.
James W. Garson, 2006

10 ACTUALITÉS CONTENANT LE TERME «MODAL LOGIC»

Découvrez de quoi on parle dans les médias nationaux et internationaux et comment le terme modal logic est employé dans le contexte des actualités suivantes.
1
Human Extinction Risks due to Artificial Intelligence Development …
One of my favorites is associated with modal logic. The bottom line is that from observing the facts, it is impossible to come to any conclusions ... «Institute for Ethics and Emerging Technologies, juil 15»
2
Art Review: New paintings, prints by Garry Mitchell and Henry …
Mitchell's abstractions are much jazzier insofar as they rely on dissonance, polyrhythms and even modal logic. To this end, Mitchell's work ... «Press Herald, mai 15»
3
At All-Night Philosophy Event, Physics, Logic and Snoring
... clearly nocturnal Justin Clarke-Doane, a philosophy professor at Columbia University, distributed handouts for a talk on modal logic. “I didn't ... «Wall Street Journal, avril 15»
4
6 GIS Top Tips -- How Not To Throw Your Computer Out The Window
That's even before you've decided whether north is “true” or not (and we're not talking epistemic modal logic). This applies not only to you as ... «Forbes, avril 15»
5
Reading David Chalmers on the Coming "Singularity"
The Australian-born Chalmers made the zombie argument precise, using an abstruse formal field known as modal logic. The implication is that ... «Discovery Institute, avril 15»
6
Philosopher Robert Stalnaker solves problems the MIT way
Robert Stalnaker · MIT Philosophy · School of Humanities, Arts, and Social Sciences · MIT OpenCourseWare: 24.244 (Modal Logic) · MIT ... «MIT News, mars 15»
7
Trains of thought: Bob
His books include Identity and Discrimination, Vagueness, Knowledge and its Limits, The Philosophy of Philosophy, and Modal Logic as ... «OUPblog, févr 15»
8
Descartes' Ontological Argument And What It Means For How We …
Plantinga's and other contemporary versions, like everything having to do with modal logic, seems to confirm Wittgenstein's indictment of ... «Patheos, janv 15»
9
Non-Thematic Program Comes on First Monday
While its atmosphere is often eerily disjunct, there is an underlying modal logic that unifies the disparate elements. It is at once rhapsodic and ... «The Boston Musical Intelligencer, déc 14»
10
On The Anniversary Of His Death: Why Lawyers Love David Foster …
Wallace's senior thesis in modal logic was published posthumously. His senior thesis in English became his first published novel, The Broom of ... «Above the Law, sept 14»

RÉFÉRENCE
« EDUCALINGO. Modal logic [en ligne]. Repéré à <https://educalingo.com/fr/dic-en/modal-logic>. Avril 2024 ».
Téléchargez l'application educalingo
en
dictionnaire anglais
Découvrez tout ce que les mots cachent sur
index
a b c d e f g h i j k l m n o p q r s t u v w x y z