Завантажити застосунок
educalingo
Пошук

Значення "modal logic" у англійська словнику

Словник
СЛОВНИК
section

ВИМОВА MODAL LOGIC У АНГЛІЙСЬКА

modal logic play
facebooktwitterpinterestwhatsapp

ГРАМАТИЧНА КАТЕГОРІЯ MODAL LOGIC

noun
прикметник
дієслово
прислівник
займенник
прийменник
сполучник
означальне слово
вигук

ЩО MODAL LOGIC ОЗНАЧАЄ У АНГЛІЙСЬКА?

Натисніть, щоб побачити визначення of «modal logic» в англійська словнику.
Натисніть, щоб побачити автоматичний переклад визначення в українська.

Модальна логіка

Modal logic

Модальна логіка - це форма формальної логіки, розроблена переважно в 1960-х роках, яка поширює класичну пропозиціональну та предикатну логіку, що включає операторів, що виражають модальність. Модаль-слова, які виражають модальності, кваліфікують твердження. Наприклад, заява "Іоанн щаслива" може бути кваліфікована, сказавши, що Джон зазвичай щасливий, і в цьому випадку термін "зазвичай" функціонує як модальний. Традиційні алетичні модальності чи способи правди включають можливість, необхідність та неможливість. Інші модальності, які були формалізовані в модальній логіці, включають тимчасові модальності або модальності часу, деонтичні модальності, гносеологічні модальності або способи знання та духові способи або способи віри. Формальна модальна логіка являє собою модальності, що використовує модальні оператори. Наприклад, "Це може дощитися сьогодні" та "Можливо, що дощ сьогодні падає" - обидва містять поняття можливості. У модальній логіці це представлено як оператор, можливо, прикріплений до виразу "Дощ буде сьогодні". Основні універсальні модальні оператори зазвичай записуються □ для Обов'язково та ◇ для можливого. 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.

Визначення modal logic у англійська словнику

Визначення модальної логіки в словнику є логічним вивченням таких філософських понять як необхідність, можливість, непередбачені випадки тощо. Інше визначення модальної логіки - це будь-яка формальна система, яка може бути інтерпретована як модель поведінки таких понять.

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.

Натисніть, щоб побачити визначення of «modal logic» в англійська словнику.
Натисніть, щоб побачити автоматичний переклад визначення в українська.

АНГЛІЙСЬКА СЛОВА, ЩО ПОЧИНАЮТЬСЯ ТАК САМО ЯК 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

АНГЛІЙСЬКА СЛОВА, ЩО ЗАКІНЧУЮТЬСЯ ТАК САМО ЯК 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

Синоніми та антоніми modal logic в англійська словнику синонімів

СИНОНІМИ

Переклад «modal logic» на 25 мов

ПЕРЕКЛАДАЧ
online translator

ПЕРЕКЛАД MODAL LOGIC

Дізнайтесь, як перекласти modal logic на 25 мов за допомогою нашого англійська багатомовного перекладача.
Переклад слова modal logic з англійська на інші мови, представлений в цьому розділі, було зроблено шляхом автоматичного статистичного перекладу; де основною одиницею перекладу є слово «modal logic» в англійська.

Перекладач з англійська на китайська

模态逻辑
1,325 мільйонів носіїв мови

Перекладач з англійська на іспанська

lógica modal
570 мільйонів носіїв мови

англійська

modal logic
510 мільйонів носіїв мови

Перекладач з англійська на гінді

मोडल तर्क
380 мільйонів носіїв мови
ar

Перекладач з англійська на арабська

مشروط المنطق
280 мільйонів носіїв мови

Перекладач з англійська на російська

модальная логика
278 мільйонів носіїв мови

Перекладач з англійська на португальська

lógica modal
270 мільйонів носіїв мови

Перекладач з англійська на бенгальська

মোডাল যুক্তিবিদ্যা
260 мільйонів носіїв мови

Перекладач з англійська на французька

logique modale
220 мільйонів носіїв мови

Перекладач з англійська на малайська

Logik modal
190 мільйонів носіїв мови

Перекладач з англійська на німецька

Modallogik
180 мільйонів носіїв мови

Перекладач з англійська на японська

様相論理
130 мільйонів носіїв мови

Перекладач з англійська на корейська

모달 논리
85 мільйонів носіїв мови

Перекладач з англійська на яванська

Logika modal
85 мільйонів носіїв мови
vi

Перекладач з англійська на в’єтнамська

phương thức luận lý
80 мільйонів носіїв мови

Перекладач з англійська на тамільська

மாதிரி தர்க்கம்
75 мільйонів носіїв мови

Перекладач з англійська на маратхі

मॉडेल तर्क
75 мільйонів носіїв мови

Перекладач з англійська на турецька

Modal mantık
70 мільйонів носіїв мови

Перекладач з англійська на італійська

logica modale
65 мільйонів носіїв мови

Перекладач з англійська на польська

logika modalna
50 мільйонів носіїв мови

Перекладач з англійська на українська

модальна логіка
40 мільйонів носіїв мови

Перекладач з англійська на румунська

logica modală
30 мільйонів носіїв мови
el

Перекладач з англійська на грецька

τροπική λογική
15 мільйонів носіїв мови
af

Перекладач з англійська на африкаанс

modale logika
14 мільйонів носіїв мови
sv

Перекладач з англійська на шведська

modallogik
10 мільйонів носіїв мови
no

Перекладач з англійська на норвезька

modal logikk
5 мільйонів носіїв мови

Тенденції використання modal logic

ТЕНДЕНЦІЇ

ТЕНДЕНЦІЇ ВЖИВАННЯ ТЕРМІНУ «MODAL LOGIC»

0
100%
ЧАСТОТА
Вживається постійно
59
/100
На наведеній вище мапі представлено частоту використання терміну «modal logic» у різних країнах.
Основні тенденції пошуку та приклади звичайного вживання modal logic
Перелік основних пошуків, здійснених користувачами для доступу до нашого англійська онлайн-словника, та найбільш широко вживаних виразів із словом «modal logic».

ЗМІНИ У ЧАСТОТІ ВЖИВАННЯ ТЕРМІНУ «MODAL LOGIC» ПРОТЯГОМ ПЕВНОГО ЧАСУ

На графіку представлено щорічні зміни у частоті вживання слова «modal logic» протягом останніх 500 років. Його побудовано на аналізі того, як часто термін «modal logic» траплявся у оцифрованих друкованих джерелах англійська у період між 1500 роком та сьогоденням.

Приклади вживання в англійська літературі, цитати та новини про modal logic

ПРИКЛАДИ

10 АНГЛІЙСЬКА КНИЖКИ ПОВ'ЯЗАНІ ІЗ «MODAL LOGIC»

Дізнайтеся про вживання modal logic з наступної бібліографічної підбірки. Книжки пов'язані зі словом modal logic та короткі уривки з них для забезпечення контексту його використання в англійська літературі.
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

НОВИНИ ІЗ ТЕРМІНОМ «MODAL LOGIC»

Дізнайтеся, що обговорювала національна та міжнародна преса, і як термін modal logic вживається в контексті наступних новин.
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, Липень 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, Травень 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, Квітень 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, Квітень 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, Квітень 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, Березень 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, Лютий 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, Січень 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, Грудень 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, Вересень 14»

ПОСИЛАННЯ
« EDUCALINGO. Modal logic [онлайн]. Доступно <https://educalingo.com/uk/dic-en/modal-logic>. Травень 2024 ».
Завантажити застосунок educalingo
en
англійська словник
Відкрийте все, що приховане в словах, скориставшись