| Attributes | Values |
|---|
| rdfs:label
| |
| rdfs:comment
| - Формальная логика — наука, изучающая мышление человека. Здесь слово формальная означает строгую формализацию процесса мышления. Основателем формальной логики считается Аристотель. Инструменты формальной логики используются во всех научных методах. Категория:Формальная логика
- Форма́льная ло́гика — конструирование и исследование правил преобразования высказываний, сохраняющих их истинностное значение безотносительно к содержанию входящих в эти высказывания понятий. Формальная логика, в отличие от неформальной, организована как формальная система, обладающая высоким уровнем абстракции и чётко определёнными методами, правилами и законами. Формальная логика как наука занимается выводом нового знания на основе ранее известного без обращения в каждом конкретном случае к опыту, а применением законов и правил мышления. Начальной ступенью формальной логики можно считать традиционную логику, а математическую логику — её следующей ступенью, использующей математические методы, символический аппарат и логические исчисления.
|
| dcterms:subject
| |
| dbkwik:resource/35rzF-BhL_otm9wCtVTaeg==
| - 440(xsd:integer)
- 447(xsd:integer)
|
| dbkwik:resource/4AivDxIwDSIeegYP-z9FLQ==
| |
| dbkwik:resource/6nPC3nXfqo_ivSJZNFV51A==
| - 323(xsd:integer)
- 360(xsd:integer)
- 656(xsd:integer)
- 742(xsd:integer)
|
| dbkwik:resource/8WZQ1ZzI1NKp0sap4bN5GA==
| - Наука
- Routledge
- Thomson Gale
|
| dbkwik:resource/9AXiqEjPKQ6Z9TSFEgu5Dg==
| - Кондаков Н. И.
- Arnold vander Nat
- Щедровицкий Г. П.
|
| том
| |
| dbkwik:resource/QjxfzC_GfdpB3emLTkwFmA==
| |
| dbkwik:resource/fco9BXc0-68mng7EiSFwrA==
| - 1971(xsd:integer)
- 2001(xsd:integer)
- 2006(xsd:integer)
- 2010(xsd:integer)
|
| dbkwik:resource/hEinrC5DRtFi1sSnEzNC-w==
| |
| dbkwik:ru.intellec...iPageUsesTemplate
| |
| dbkwik:ru.science/...iPageUsesTemplate
| |
| dbkwik:resource/Ws_SYt2NFkQUqaEEV9ZEBA==
| - Logic, history of: Modern logic
- Logic, history of: Precursors of modern logic
|
| ISBN
| - 0(xsd:integer)
- 5(xsd:integer)
- 978(xsd:integer)
|
| ref
| |
| dbkwik:resource/bnwTantNbDbJkbxiEEKEhA==
| |
| abstract
| - Форма́льная ло́гика — конструирование и исследование правил преобразования высказываний, сохраняющих их истинностное значение безотносительно к содержанию входящих в эти высказывания понятий. Формальная логика, в отличие от неформальной, организована как формальная система, обладающая высоким уровнем абстракции и чётко определёнными методами, правилами и законами. Формальная логика как наука занимается выводом нового знания на основе ранее известного без обращения в каждом конкретном случае к опыту, а применением законов и правил мышления. Начальной ступенью формальной логики можно считать традиционную логику, а математическую логику — её следующей ступенью, использующей математические методы, символический аппарат и логические исчисления.
* Логический словарь/ Горский Д. П.. — М.: Наука, 1971. — 656 с.
* Simple formal logic: with common-sense symbolic techniques. — Routledge, 2010. — 360 с. — ISBN 978-0415997454.
- Формальная логика — наука, изучающая мышление человека. Здесь слово формальная означает строгую формализацию процесса мышления. Основателем формальной логики считается Аристотель. Инструменты формальной логики используются во всех научных методах. Категория:Формальная логика
|
![[RDF Data]](/fct/images/sw-rdf-blue.png)