Скачать приложение
educalingo
Поиск

Значение слова "formal logic" в словаре английский языка

Словарь
СЛОВАРЬ
section

ПРОИЗНОШЕНИЕ СЛОВА FORMAL LOGIC

formal logic play
facebooktwitterpinterestwhatsapp

ГРАММАТИЧЕСКАЯ КАТЕГОРИЯ СЛОВА FORMAL LOGIC

существительное
прилагательное
глагол
наречие
местоимение
предлог
союз
определяющее слово
восклицание

ЧТО ОЗНАЧАЕТ СЛОВО FORMAL LOGIC

Нажмите, чтобы посмотреть исходное определение слова «formal logic» в словаре английский языка.
Нажмите, чтобы посмотреть автоматический перевод определения на русский языке.

Математическая логика

Mathematical logic

Математическая логика - это подполе математики, изучающее применение формальной логики к математике. Актуально, математическая логика тесно связана с метаматематикой, основами математики и теоретической информатикой. Объединяющие темы в математической логике включают изучение выразительной силы формальных систем и дедуктивной силы систем формальных доказательств. Математическая логика часто делится на поля теории множеств, теории моделей, теории рекурсии и теории доказательств. Эти области разделяют основные результаты по логике, особенно логику первого порядка и определенность. В информатике математическая логика охватывает дополнительные темы, не описанные в этой статье; см. «Логика в информатике» для них. С момента своего создания математическая логика способствовала и была мотивирована изучением основ математики. Это исследование началось в конце 19-го века с разработки аксиоматических рамок для геометрии, арифметики и анализа. В начале 20-го века он был сформирован программой Дэвида Гильберта, чтобы доказать последовательность основополагающих теорий. Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics. Topically, mathematical logic bears close connections to metamathematics, the foundations of mathematics, and theoretical computer science. The unifying themes in mathematical logic include the study of the expressive power of formal systems and the deductive power of formal proof systems. Mathematical logic is often divided into the fields of set theory, model theory, recursion theory, and proof theory. These areas share basic results on logic, particularly first-order logic, and definability. In computer science mathematical logic encompasses additional topics not detailed in this article; see Logic in computer science for those. Since its inception, mathematical logic has both contributed to, and has been motivated by, the study of foundations of mathematics. This study began in the late 19th century with the development of axiomatic frameworks for geometry, arithmetic, and analysis. In the early 20th century it was shaped by David Hilbert's program to prove the consistency of foundational theories.

Значение слова formal logic в словаре английский языка

Определение формальной логики в словаре является конкретной формальной системой, которая может быть интерпретирована как представляющая собой фрагмент естественного аргумента.

The definition of formal logic in the dictionary is a specific formal system that can be interpreted as representing a fragment of natural argument.

Нажмите, чтобы посмотреть исходное определение слова «formal logic» в словаре английский языка.
Нажмите, чтобы посмотреть автоматический перевод определения на русский языке.

СЛОВА, НАЧИНАЮЩИЕСЯ КАК СЛОВО FORMAL LOGIC

formal
formal calculus
formal dress
formal equivalence
formal grammar
formal language
formal mode
formal system
formal theory
formaldehyde
formalin
formaline
formalisable
formalisation
formaliser
formalism
formalist
formalistic
formalistically
formaliter

СЛОВА, ЗАКАНЧИВАЮЩИЕСЯ КАК СЛОВО FORMAL LOGIC

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

Синонимы и антонимы слова formal logic в словаре английский языка

СИНОНИМЫ

Перевод слова «formal logic» на 25 языков

ПЕРЕВОДЧИК
online translator

ПЕРЕВОД СЛОВА FORMAL LOGIC

Посмотрите перевод слова formal logic на 25 языков с помощью нашего многоязыкового переводчика c английский языка.
Переводы слова formal logic с английский языка на другие языки, представленные в этом разделе, были выполнены с помощью автоматического перевода, в котором главным элементом перевода является слово «formal logic» на английский языке.

Переводчик с английский языка на китайский язык

形式逻辑
1,325 миллионов дикторов

Переводчик с английский языка на испанский язык

lógica formal
570 миллионов дикторов

английский

formal logic
510 миллионов дикторов

Переводчик с английский языка на хинди язык

औपचारिक तर्क
380 миллионов дикторов
ar

Переводчик с английский языка на арабский язык

المنطق الصوري
280 миллионов дикторов

Переводчик с английский языка на русский язык

формальная логика
278 миллионов дикторов

Переводчик с английский языка на португальский язык

lógica formal
270 миллионов дикторов

Переводчик с английский языка на бенгальский язык

আনুষ্ঠানিক যুক্তি
260 миллионов дикторов

Переводчик с английский языка на французский язык

logique formelle
220 миллионов дикторов

Переводчик с английский языка на малайский язык

Logik rasmi
190 миллионов дикторов

Переводчик с английский языка на немецкий язык

formalen Logik
180 миллионов дикторов

Переводчик с английский языка на японский язык

形式論理学
130 миллионов дикторов

Переводчик с английский языка на корейский язык

형식 논리
85 миллионов дикторов

Переводчик с английский языка на яванский язык

Logika formal
85 миллионов дикторов
vi

Переводчик с английский языка на вьетнамский язык

logic hình thức
80 миллионов дикторов

Переводчик с английский языка на тамильский язык

சாதாரண தர்க்கம்
75 миллионов дикторов

Переводчик с английский языка на маратхи язык

औपचारिक तर्कशास्त्र
75 миллионов дикторов

Переводчик с английский языка на турецкий язык

Biçimsel mantık
70 миллионов дикторов

Переводчик с английский языка на итальянский язык

logica formale
65 миллионов дикторов

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

logika formalna
50 миллионов дикторов

Переводчик с английский языка на украинский язык

формальна логіка
40 миллионов дикторов

Переводчик с английский языка на румынский язык

logica formală
30 миллионов дикторов
el

Переводчик с английский языка на греческий язык

τυπικής λογικής
15 миллионов дикторов
af

Переводчик с английский языка на африкаанс язык

formele logika
14 миллионов дикторов
sv

Переводчик с английский языка на шведский язык

formell logik
10 миллионов дикторов
no

Переводчик с английский языка на норвежский язык

formell logikk
5 миллионов дикторов

Тенденции использования слова formal logic

ТЕНДЕНЦИИ

ТЕНДЕНЦИИ ИСПОЛЬЗОВАНИЯ ТЕРМИНА «FORMAL LOGIC»

0
100%
ЧАСТОТНОСТЬ
Слово используется регулярно
67
/100
На показанной выше карте показана частотность использования термина «formal logic» в разных странах.
Тенденции основных поисковых запросов и примеры использования слова formal logic
Список основных поисковых запросов, которые пользователи ввели для доступа к нашему онлайн-словарю английский языка и наиболее часто используемые выражения со словом «formal logic».

ЧАСТОТА ИСПОЛЬЗОВАНИЯ ТЕРМИНА «FORMAL LOGIC» С ТЕЧЕНИЕМ ВРЕМЕНИ

На графике показано годовое изменение частотности использования слова «formal logic» за последние 500 лет. Формирование графика основано на анализе того, насколько часто термин «formal logic» появляется в оцифрованных печатных источниках на английский языке, начиная с 1500 года до настоящего времени.

Примеры использования в литературе на английский языке, цитаты и новости о слове formal logic

ПРИМЕРЫ

ЦИТАТЫ СО СЛОВОМ «FORMAL LOGIC»

Известные цитаты и высказывания со словом formal logic.
1
Alfred North Whitehead
In formal logic, a contradiction is the signal of defeat, but in the evolution of real knowledge it marks the first step in progress toward a victory.

КНИГИ НА АНГЛИЙСКИЙ ЯЗЫКЕ, ИМЕЮЩЕЕ ОТНОШЕНИЕ К СЛОВУ «FORMAL LOGIC»

Поиск случаев использования слова formal logic в следующих библиографических источниках. Книги, относящиеся к слову formal logic, и краткие выдержки из этих книг для получения представления о контексте использования этого слова в литературе на английский языке.
1
An Introduction to Formal Logic
This book will make an ideal text for a first logic course, and will provide a firm basis for further work in formal and philosophical logic.
Peter Smith, 2003
2
Formal Logic
The term "Formal Logic", following Kant is generally used to distinguish formal logical reasonings, precisely as formal, from the remaining universal truths based on reason. (Cf. SCHOLZ, 1931).
P. Lorenzen, 1964
3
Formal Logic: Its Scope and Limits
The first beginning logic text to employ the tree method—a complete formal system of first-order logic that is remarkably easy to understand and use—this text allows students to take control of the nuts and bolts of formal logic quickly ...
Richard C. Jeffrey, John P. Burgess, 2006
4
A Modern Formal Logic Primer: Sentence Logic
Two-volume introduction to formal logic. Volume I presents sentence logic and Volume II covers predicate logic and metatheory. Features easy-to-understand explanations and graded exercises.
Paul Teller, 1989
5
Formal Logic
This book introduces the techniques of formal logic in a way suitable for all students of philosophy. Chapter 1: Logical Reasoning introduces the ideas behind formal logic.
Mark Jago, 2007
6
Formal Logic: A Philosophical Approach
Filled with examples, exercises, and a straightforward look at some of the most common problems in teaching the subject, this work is eminently suitable for the classroom.
Paul Hoyningen-Huene, 2004
7
Representing Reason: Feminist Theory and Formal Logic
Representing Reason: Feminist Theory and Formal Logic collects new and old essays that shed light on the underexplored intersection of logic and feminism. Visit our website for sample chapters!
Rachel Joffe Falmagne, Marjorie Hass, 2002
8
Buddhist Formal Logic
This work is primarily an interpretation of Indian Logic preserved in China.
R.S.Y. Chi, 1990
9
Simple Formal Logic: With Common-Sense Symbolic Techniques
Simple Formal Logic features: a companion website with abundant exercise worksheets, study supplements (including flashcards for symbolizations and for deduction rules), and instructor’s manual two levels of exercises for beginning and ...
Arnold vander Nat, 2010
10
Formal, Transcendental, and Dialectical Thinking: Logic and ...
This is a critical examination of the three types of logic advocated by current philosophical schools.
Errol E. Harris, 1987

НОВОСТИ, В КОТОРЫХ ВСТРЕЧАЕТСЯ ТЕРМИН «FORMAL LOGIC»

Здесь показано, как национальная и международная пресса использует термин formal logic в контексте приведенных ниже новостных статей.
1
Desperate times, desperate measures | Pakistan Today
... financial situation does not improve, his government might start seeking royalties on continental philosophy, mathematics and formal logic. «Pakistan Today, Июл 15»
2
Westside Christian Academy adding ninth, 10th grade classes this …
Seventh through ninth grades are focused on logic, with a formal logic class, Latin, debate, theater and drama. The high school curriculum ... «Chronicle-Telegram, Июл 15»
3
University production line is a road to nowhere
And for those who do graduate from the Arts, many lack proper training in primary research, expository writing or formal logic. The decline in ... «Sydney Morning Herald, Июн 15»
4
Not even the might and will of the Christian church
In formal logic, a contradiction is the signal of defeat, but in the evolution of real knowledge it marks the first step in progress toward a victory. «Patheos, Июн 15»
5
The reason it's so darn hard to solve those “viral” math problems for …
It's true that students tend to learn formal logic via mathematics (plane geometry in particular), so it is common to see problems of this type in ... «Quartz, Июн 15»
6
Don't freak if you can't solve a math problem that's gone viral
It's true that students tend to learn formal logic via mathematics (plane geometry in particular), so it is common to see problems of this type in ... «The Conversation US, Июн 15»
7
T C A Srinivasa-Raghavan: When in doubt, try logic
To cope with such situations, logicians have - self-servingly, naturally - laid down a golden rule: when bewildered, look to formal logic to find ... «Business Standard, Июн 15»
8
Does Anyone Want to Make the World a Better Place?
He has published a textbook in formal logic commercially, in academic journals and a small number of commercial magazines, and has written ... «Center for Research on Globalization, Июн 15»
9
Does Uber Have Employees?
But the reason won't be language or formal logic. It'll be public policy -- of the kind best performed by legislatures, not commissions or courts. «Bloomberg View, Июн 15»
10
Are Uber drivers really employees?
But the reason won't be language or formal logic. It'll be public policy — of the kind best performed by legislatures, not commissions or courts. «Chicago Tribune, Июн 15»

ССЫЛКИ
« EDUCALINGO. Formal logic [онлайн]. Доступно на <https://educalingo.com/ru/dic-en/formal-logic>. Май 2024 ».
Скачать приложение educalingo
en
Словарь английский языка
Узнайте, что скрывают слова, на