Pobierz aplikację
educalingo
Szukaj

Znaczenie słowa "modal logic" w słowniku

Słownik
SŁOWNIK
section

WYMOWA SŁOWA MODAL LOGIC

modal logic play
facebooktwitterpinterestwhatsapp

KATEGORIA GRAMATYCZNA SŁOWA MODAL LOGIC

rzeczownik
przymiotnik
czasownik
przysłówek
zaimek
przyimek
spójnik
określnik
wykrzyknik

CO OZNACZA SŁOWO MODAL LOGIC

Kliknij, aby zobaczyć pierwotną definicję słowa «modal logic» w słowniku.
Kliknij aby zobaczyć automatyczne tłumaczenie definicji

Logika modalna

Modal logic

Logika modalna jest formą logiki formalnej opracowaną głównie w latach sześćdziesiątych, która rozszerza klasyczną logikę zdaniową i predykatową tak, aby uwzględniać operatorzy wyrażający modalność. Moduły - słowa, które wyrażają sposoby - kwalifikują oświadczenie. Na przykład stwierdzenie "John jest szczęśliwe" może być wykwalifikowane mówiąc, że John jest zwykle szczęśliwy, w takim przypadku pojęcie "zwykle" funkcjonuje jako moda. Tradycyjne sposoby aletykie lub sposoby prawdy obejmują możliwość, konieczność i niemożność. Inne formalności sformalizowane w logice modalnej obejmują sposoby czasowe, sposoby czasu, sposoby deontologiczne, sposoby epistemiczne lub sposoby poznania i formuły doksymalne lub sposoby wierzeń. Formalna logika modalna reprezentuje sposoby korzystania z operatorów modalnych. Na przykład "może padać dzisiaj" i "Możliwe, że deszcz padnie dzisiaj" oba zawierają pojęcie możliwości. W logice modalnej jest to przedstawiciel operatora, być może związany z wyrokiem "Dziś padnie deszcz". Podstawowe uniwersalne operatory uniwersalne są zazwyczaj pisane □ na potrzeby i ◇ dla Possibly. 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.

Definicja słowa modal logic w słowniku

Definicja logiki modalnej w słowniku jest logicznym studium takich pojęć filozoficznych, jak konieczność, możliwość, przypadkowość itp. Inną definicją logiki modalnej jest każdy system formalny, który można zinterpretować jako model zachowania takich pojęć.

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.

Kliknij, aby zobaczyć pierwotną definicję słowa «modal logic» w słowniku.
Kliknij aby zobaczyć automatyczne tłumaczenie definicji

SŁOWA, KTÓRE ZACZYNAJĄ SIĘ TAK JAK SŁOWO 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

SŁOWA, KTÓRE KOŃCZĄ SIĘ TAK JAK SŁOWO 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

Synonimy i antonimy słowa modal logic w słowniku synonimów

SYNONIMY

Tłumaczenie słowa «modal logic» na 25 języków

TŁUMACZ
online translator

TŁUMACZENIE SŁOWA MODAL LOGIC

Poznaj tłumaczenie słowa modal logic na 25 języków dzięki naszemu tłumaczowi wielojęzycznemu.
Tłumaczenie słowa modal logic na inne języki w tej sekcji zostało uzyskane za pomocą automatycznego tłumaczenia statystycznego, gdzie podstawową jednostką tłumaczeniową jest słowo «modal logic».

Tłumacz angielski - chiński

模态逻辑
1,325 mln osób

Tłumacz angielski - hiszpański

lógica modal
570 mln osób

angielski

modal logic
510 mln osób

Tłumacz angielski - hindi

मोडल तर्क
380 mln osób
ar

Tłumacz angielski - arabski

مشروط المنطق
280 mln osób

Tłumacz angielski - rosyjski

модальная логика
278 mln osób

Tłumacz angielski - portugalski

lógica modal
270 mln osób

Tłumacz angielski - bengalski

মোডাল যুক্তিবিদ্যা
260 mln osób

Tłumacz angielski - francuski

logique modale
220 mln osób

Tłumacz angielski - malajski

Logik modal
190 mln osób

Tłumacz angielski - niemiecki

Modallogik
180 mln osób

Tłumacz angielski - japoński

様相論理
130 mln osób

Tłumacz angielski - koreański

모달 논리
85 mln osób

Tłumacz angielski - jawajski

Logika modal
85 mln osób
vi

Tłumacz angielski - wietnamski

phương thức luận lý
80 mln osób

Tłumacz angielski - tamilski

மாதிரி தர்க்கம்
75 mln osób

Tłumacz angielski - marathi

मॉडेल तर्क
75 mln osób

Tłumacz angielski - turecki

Modal mantık
70 mln osób

Tłumacz angielski - włoski

logica modale
65 mln osób

Tłumacz angielski - polski

logika modalna
50 mln osób

Tłumacz angielski - ukraiński

модальна логіка
40 mln osób

Tłumacz angielski - rumuński

logica modală
30 mln osób
el

Tłumacz angielski - grecki

τροπική λογική
15 mln osób
af

Tłumacz angielski - afrikaans

modale logika
14 mln osób
sv

Tłumacz angielski - szwedzki

modallogik
10 mln osób
no

Tłumacz angielski - norweski

modal logikk
5 mln osób

Trendy użycia słowa modal logic

TRENDY

TRENDY UŻYCIA SŁOWA «MODAL LOGIC»

0
100%
CZĘSTOTLIWOŚĆ
Często używane
59
/100
Na powyższej mapie ukazano częstotliwość używania słowa «modal logic» w różnych krajach.
Główne trendy wyszukiwania i najpowszechniejsze użycia słowa modal logic
Lista najczęstszych wyszukiwań przez użytkowników, aby uzyskać dostęp do naszego słownika online oraz najczęstsze użycia wyrażeń ze słowem «modal logic».

CZĘSTOTLIWOŚĆ UŻYCIA SŁOWA «MODAL LOGIC» NA PRZESTRZENI CZASU

Wykres przedstawia ewolucję częstotliwości użycia słowa «modal logic» na przestrzeni ostatnich 500 lat. Jego wdrożenie opiera się na analizie częstotliwości występowania słowa «modal logic» w zamienionych na postać cyfrową źródłach drukowanych powstałych od 1500 roku aż do dzisiaj.

Przykłady użycia słowa modal logic w literaturze, cytatach i wiadomościach

PRZYKŁADY

KSIĄŻKI POWIĄZANE ZE SŁOWEM «MODAL LOGIC»

Poznaj użycie słowa modal logic w następujących pozycjach bibliograficznych Książki powiązane ze słowem modal logic oraz krótkie ich fragmenty w celu przedstawienia kontekstu użycia w literaturze.
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

WIADOMOŚCI, KTÓRE ZAWIERAJĄ SŁOWO «MODAL LOGIC»

Sprawdź, o czym dyskutuje się w prasie krajowej i zagranicznej oraz jak jest stosowane słowo modal logic w wiadomościach.
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, Lip 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, Maj 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, Kwi 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, Kwi 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, Kwi 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, Mar 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, Lut 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, Sty 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, Gru 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, Wrz 14»

ŹRÓDŁO
« EDUCALINGO. Modal logic [online]. Dostępny <https://educalingo.com/pl/dic-en/modal-logic>. Maj 2024 ».
Pobierz aplikację educalingo
en
angielski Słownik
W odkryjesz wszystko, co skrywają słowa
indeks
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