Основні поняття

BASIC NOTIONS

(англійською, українською та російською мовами)

Formal logic формальна (традиційна) логіка традиционная логика

Symbolic logic символічна (математична) логіка символическая логика

Propositional logic логіка висловлювань логика высказываний

Predicative logic логіка предикатів логика предикатов

Dialectical logic діалектична логіка диалектическая логика

Forms of ratio форми мислення формы мышления

*******************

Law of contradiction закон несуперечності закон непротиворечия

Law of excluded middle закон виключеного третього закон исключенного третьего

Law of identity закон тотожності закон тождества

Law of sufficient reason закон достатньої підстави закон достаточного основания

Idempotence law закон ідемпотентності закон идемпотентности

Commutative law комутативний закон коммутативный закон

Distributive law дистрибутивний закон дистрибутивный закон

Law of De Morgan закон Де Моргана закон Де Моргана

Paralogism паралогізм паралогизм

Sophism софізм софизм

Paradox парадокс парадокс

*******************

CONCEPT поняття понятие

Scope обсяг (поняття) объем (понятия)

Content зміст (поняття) содержание (понятия)

Law of inverse relation between scope and content of a concept закон зворотнього зв’язку між обсягом і змістом поняття закон обратного отношения между объемом и содержанием понятия

Generalization узагальнення обобщение

Determination обмеження ограничение

Set множинність множество

Subset під множинність подмножество

Empty set пуста множинність пустое множество

Universal set універсальна множинність универсальное множество

Limited/unlimited set обмежена/необмежена множинність ограниченное/неограниченное

Monic/single concept одиничне поняття единичное понятие

Common concept загальне поняття общее понятие

Abstract concept абстрактне поняття абстрактное понятие

Concrete concept конкретне поняття конкретное понятие

Positive concept позитивне поняття позитивное понятие

Negative concept негативне поняття негативное понятие

Connected concepts співвідносні поняття соотносимые понятия

Comparable concepts порівнянні поняття сравнимые понятия

Identity тотожність тождество

Subordination підпорядкованість (субординація) подчинение

Intersection перехрещення пересечение

Collateral subordination супідрядність соподчинение

Contrary суперечність контрарность

Contradiction протилежність контрадикторность

Denoting/defining визначення определение

Wide definition широке визначення широкое определение

Narrow definition вузьке визначення узкое определение

Tautology тавтологія тавтология

Classification поділ (понять) деление (понятий)

Genus рід род

Species вид вид

Single principle of classification єдина основа поділу единое основание деления

Addition складання сложение

Multiplication множення умножение

Negation заперечення отрицание

Difference/diminution різність вычитание

*******************

PROPOSITION судження суждение

Subject суб’єкт субъект

Predicate предикат предикат

Modality модальність модальность

Alethic modality атлетична (об’єктивна) модальність алетическая модальность

Epistemic modality епістемічна (логічна) модальність логическая модальность

Assertoric proposition судження дійсності действительности

Problematic proposition судження можливості возможности

Apodeictic proposition судження необхідності необходимости

Reliable proposition достовірне судження достоверное суждение

Simple proposition просте судження простое суждение

Existential proposition судження існування суждение существования

Attributive proposition атрибутивне судження атрибутивное суждение

Categorical proposition категоричне судження категорическое суждение

Quality of a proposition якість судження качество

Affirmative proposition ствердне судження утвердительное суждение

Negative proposition заперечне судження отрицательное суждение

Quantity of a proposition кількість судження количество

Singular proposition одиничне судження единичное суждение

Particular proposition часткове судження частное суждение

Universal proposition загальне судження общее суждение

Quantity operator квантор / оператор

Universal quantifier квантор все загальності квантор всеобщности

Existential quantifier квантор існування квантор существования

Logical square логічний квадрат логический квадрат

Subordination субординація/підпорядкування подчинение

Subordinating proposition підпорядковуюче судження подчиняющее

Subordinated proposition підпорядковане судження подчиняемое

Contrary контрарність контрарность

Contradiction контрадикторність контрадикторность

Distribution розподіленість (суб’єкта та предиката) распределенность

Complex proposition складне судження сложное суждение

Logic connector логічний сполучник логический союз

Conjunction кон’юнкція конъюнкция

Inclusive disjunction слабка диз’юнкція слабая дизъюнкция

Exclusive/symmetric disjunction сильна диз’юнкція сильная/строгая дизъюнкция

Implication імплікація импликация

Antecedent антецедент (основа) антецедент (основа)

Consequent консеквент (наслідок) консеквент (следствие)

Double implication/equivalence подвійна імплікація (еквіваленція) двойная импликация

Lukasiewicz symbol символ Лукасевіча (подвійна негація) символ Лукасевича

Truth table таблиця істинності таблица истинности

Validity правильність правильность

Truth істинність истинность

False хиба ложь/ложность

*******************

SYLLOGISM умовивід умозаключение

Premise засновок посылка

Link зв’язка связка

Conclusion висновок вывод

Enthymeme ентімема энтимема

Immediate inference безпосередній умовивід непосредственное умозаключение

Obversion обернення обращение

Reducted obversion обернення з обмеженням обращение с ограничением

Conversion перетворення превращение

Contrapositive inference протиставлення предикату противопоставление предикату

Mediate inference опосередкований умовивід опосредованное умозаключение

Inductive inference індиктивний умовивід индуктивное умозаключение

Deductive inference дедуктивний умовивід дедуктивное умозаключение

Categorical syllogism категоричний силогізм категорический силлогизм

Minor term менший термін менший термин

Major term більший термін больший термин

Middle term середній термін средний термин

Figure фігура (силогізму) фигура

Mode/mood модус (силогізму) модус

Polysyllogism полі силогізм полисиллогизм

Sorites соріт сорит

Hypothetical syllogism умовно-категоричний умовивід условно-категорическое У.

Modus ponens ствердний модус модус поненс

Modus tollens заперечний модус модус толленс

Horned syllogism умовно-розподільний умовивід условно-распределительное У.

Dilemma дилемма

Complete induction повна індукція полная индукция

Incomplete induction неповна індукція неполная индукция

***********************

ARGUMENTATION доведення доказательство

Thesis теза (доведення) тезис

Argument аргумент (доведення) аргумент

Hypothesis/preliminary proposition гіпотеза гипотеза

ТЕРМІНОЛОГІЧНИЙ СЛОВНИК З ДИСЦИПЛІНИ

(інтерактивний)