I ж.

1. Наука о законах и формах мышления.

2. Научная дисциплина, изучающая способы доказательств и опровержений.

II ж.

1. Внутренняя закономерность, присущая явлениям природы, общества.

2. Правильный, разумный ход рассуждений, умозаключений.

ЛО́ГИКА - сущ., ж., употр. сравн. часто

Морфология: (нет) чего? ло́гики, чему? ло́гике, (вижу) что? ло́гику, чем? ло́гикой, о чём? о ло́гике; нар. логи́чески

1. Логикой называется наука о законах и формах мышления.

Математическая логика. | Диалектическая логика. | Изучать логику. | Как самостоятельная наука логика слова была создана Аристотелем.

2. Логикой называют ход чьих-либо рассуждений, умозаключений.

Логика мышления. | Эмоциями человека повелевает правое из полушарий мозга, а логикой и речью - левое.

3. Логикой называют последовательность, разумность мыслей, слов.

Говорить с неотразимой логикой. | Поражаться безупречной логике доказательств. | Судить наперекор логике. | Логики в её словах было маловато.

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

5. Логикой называют внутреннюю закономерность, присущую природе, её явлениям, обществу, её представителям.

Логика событий. | Внутренняя логика развития общества. | По мнению писателя, живой жизненный процесс, то есть логика жизни, всегда опровергает, делает несостоятельной любую теорию.

6. Когда говорят, что что-то происходит по логике вещей, то имеют в виду, что это происходит закономерно, в соответствии с внутренними законами развития чего-либо.

В системе новых отношений, казалось бы, по логике вещей хозяином книг должно стать издательство, и только оно.

7. Когда шутливо говорят о женской логике, то имеют в виду суждения, лишённые строгой последовательности, логичности, основанные на чувстве, а не на доводах рассудка.

Он решил, что, как мужчина, не станет спорить с женской логикой.

логи́чный прил.

логи́чность сущ., ж.

логи́чно нар.

ЛО́ГИКА, логики, жен. (греч. logike от logos - слово, разум).

1. Наука об общих законах развития объективного мира и познания (филос.). «Логика есть учение не о внешних формах мышления, а о законах развития "всех материальных, природных и духовных вещей", т.е. развития всего конкретного содержания мира и познания его, т.е. итог, сумма, вывод истории познания мира.» Ленин. Формальная, логика идеалистической философии считает общие понятия и формы познания неизменными, раз навсегда данными. Логика диалектического материализма утверждает, что формы познания меняются вместе с изменением объективного мира, и потому является наукой об историческом развитии человеческого мышления, как отражения в сознании развития объективного мира.

2. Разумность, правильность умозаключений. Говорить с неотразимой логикой.

3. Внутренняя закономерность. Логика вещей. Логика событий. Неумолимая логика истории. В его поступках нет никакой логики.

ЛО́ГИКА, -и, жен.

1. Наука о законах и формах мышления. Формальная л. Диалектическая л.

2. Ход рассуждений, умозаключений. У этого человека своя л. Женская л. (непоследовательная, непонятная; шутл.).

3. Разумность, внутренняя закономерность чего-н. Л. вещей. Л. событий.

| прил. логический, -ая, -ое. Л. вывод. Логическая ошибка.

ЛОГИКА - жен., греч. наука здравомыслия, наука правильно рассуждать; умословие. Логик муж. умослов, правильный и здравый мыслитель, знающий науку правильного рассуждения. Логический, логичный, согласный с логикою; здравое, правильное рассуждение. Логистика мат. алгебра.

| Логарифмика.

| Часть тактики, о передвижении войск. Логомахия жен. словопрение, спор из пустого в порожнее. Логогриф муж. род загадки, в которой слово разлагается по слогам.

Логика

-и, только ед., ж.

1) Наука о законах мышления и его формах.

Изучать логику.

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

2) (чего или какая) Ход рассуждений, умозаключений.

Четкая логика мысли.

В его словах есть своя логика.

[Саша:] Какая у тебя странная, дикая логика! Ну, могу ли я от тебя отказаться? (Чехов).

3) (чего или какая) Разумность, внутренняя закономерность чего-л.

Логика жизни.

Логика событий.

Общество заставляют двигаться вперед не те, кто колеблется между истиной и ложью, эти плясуны на канате, а люди принципиальные. Логика золотой середины может поэтому, в лучшем случае, поддерживать некоторое время существование общества, но она никогда ни на шаг не двинет его вперед (Чаадаев).

Родственные слова:

ло́гик, логи́ст, логици́зм, логи́чный (логичный поступок), логи́ческий (логические категории), логи́чность, алоги́чность

Этимология:

От немецкого Logik (← греч. logikē ← logos ‘довод’, ‘доказательство’; ‘разумное основание’).

Энциклопедический комментарий:

Слово "логика" в современном научном употреблении многозначно. В духе традиции с понятием "логика" связывают три основных аспекта: логику вещей, т. е. необходимую связь явлений объективного мира (Демокрит), логику знания, т. е. необходимую связь понятий, посредством которой познается "сущность и истина" (Платон) и логику доказательств и опровержений, т. е. необходимую связь суждений в рассуждениях, безотносительно к тому, выражают эти суждения сущность и истину или нет (Аристотель). Последний аспект составляет собственно логику, которую вслед за И. Кантом называют формальной логикой. Она изучает формы мысли со стороны их логической структуры, т. е. отвлекаясь от конкретного содержания мыслей и вычленяя лишь общий способ связи частей этого содержания. Для современной логики характерно построение различного рода формализованных теорий логического рассуждения, позволяющих сделать их предметом строгого анализа и тем самым полнее описать их свойства.

Же́нская ло́гика - о суждениях, лишенных строгой последовательности, логичности, основанных на чувствах, а не на доводах рассудка.

ЛО́ГИКА, -и, ж

Раздел философии - наука о законах и формах мышления, о способах доказательств и опровержений.

Наиболее общий ответ на вопрос о том, чем занимается логика, привычно формулируется так: законами мышления (Журн.).

ЛО́ГИКА -и; ж. [от греч. logkē - наука о мышлении]

1. Наука о законах и формах мышления. Формальная л. Диалектическая л.

2. Ход рассуждений, умозаключений. Л. мышления. Понять л. суждений преподавателя. Нарушить л. объяснения поступков. // Правильность, разумность умозаключений. Поражаться безупречной логике доказательств. Судить наперекор логике. Железная л. (безупречно правильная, последовательная).

3. чего или какая. Внутренняя закономерность, присущая природе, её явлениям, обществу, её представителям. Л. событий. Внутренняя л. развития общества. Л. жизни. По логике вещей (в соответствии с внутренними законами).

◊ Женская ло́гика (см. Же́нский).

◁ Логи́ческий (см.).

* * *

ло́гика (греч. logikē), наука о способах доказательств и опровержений; совокупность научных теорий, рассматривающих определенные способы доказательств и опровержений. Основателем логики считается Аристотель. Различают индуктивную и дедуктивную логику, а в последней - классическую, интуиционистскую, конструктивную, модальную и др. Все эти теории объединяет стремление к каталогизации таких способов рассуждений, которые от истинных суждений-посылок приводят к истинным суждениям-следствиям; каталогизация осуществляется, как правило, в рамках логических исчислений. Особую роль в ускорении научно-технического прогресса играют приложения логики в вычислительной математике, теории автоматов, лингвистике, информатике и др. Смотри также Математическая логика.

* * *

ЛОГИКА - ЛО́ГИКА (греч. logike), наука о способах доказательств и опровержений; совокупность научных теорий, в каждой из которых рассматриваются определенные способы доказательств и опровержений. Основателем логики считается Аристотель. Различают индуктивную и дедуктивную логику, а в последней - классическую, интуиционистскую, конструктивную, модальную и др. Все эти теории объединяет стремление к каталогизации таких способов рассуждений, которые от истинных суждений-посылок приводят к истинным суждениям-следствиям; каталогизация осуществляется, как правило, в рамках логических. исчислений. Особую роль в ускорении научно-технического прогресса играют приложения логики в вычислительной математике, теории автоматов, лингвистике, информатике и др. См. также Математическая логика (см. МАТЕМАТИЧЕСКАЯ ЛОГИКА).

ЛОГИКА (греч. logike) - наука о способах доказательств и опровержений; совокупность научных теорий, в каждой из которых рассматриваются определенные способы доказательств и опровержений. Основателем логики считается Аристотель. Различают индуктивную и дедуктивную логику, а в последней - классическую, интуиционистскую, конструктивную, модальную и др. Все эти теории объединяет стремление к каталогизации таких способов рассуждений, которые от истинных суждений-посылок приводят к истинным суждениям-следствиям; каталогизация осуществляется, как правило, в рамках логических. исчислений. Особую роль в ускорении научно-технического прогресса играют приложения логики в вычислительной математике, теории автоматов, лингвистике, информатике и др. См. также Математическая логика.

-и, ж.

1. Наука о законах и формах мышления.

Формальная логика. Диалектическая логика.

2. Ход рассуждений, умозаключений.

Это был человек безукоризненной логики, всегда лучше других умевший обосновать то, в чем он был убежден. Сергеев-Ценский, Пушки выдвигают.

После долгих споров, после обидных и резких разговоров Коля сдался; железная логика и опыт прожитых лет победили. Вирта, Закономерность.

||

Правильность, разумность умозаключений.

[Пахотин] судит обо всем часто наперекор логике, но владеет софизмом с необыкновенною ловкостью. И. Гончаров, Обрыв.

Логика его выводов была безупречной, и он имел мало конкурентов у доски, на которой выстукивал мелом схемы опытов или решал дифференциальные уравнения. Чижевский, Вся жизнь.

3. чего или какая.

Внутренняя закономерность.

Логика событий. По логике вещей.

◊

Законы социальной жизни обладают гораздо большей точностью, гораздо большим удобством, большей логикой, чем законы природы. Макаренко, Книга для родителей.

Переводчик должен стремиться к тому, чтобы каждая фраза, переведенная им, звучала по-русски, подчиняясь логике и эстетике русского языка. К. Чуковский, Высокое искусство.

◊

- женская логика

[От греч. λογική - наука о мышлении]

ЛО́ГИКА (греч. λογική - логика) - 1) Способность правильно мыслить. 2) Учение о последовательности и методах познания. Учения о логич. аксиомах, понятии, суждении и умозаключении, взятые вместе, образуют чистую Л. Прикладная Л. охватывает учение об определении, доказательстве, методе и системе. Л. как наука - учение о мышлении в понятиях, но не о познании посредством понятий. Л. служит повышению форм. точности сознания и объективности содержания мышления и познания. Как самостоят. наука Л. слова была создана Аристотелем. Слово "Л." появилось у стоиков, к-рые, наряду с неоплатониками, уточнили отд. ее моменты. В ср. века в Зап. Европе Л. была церк.-школьной дисциплиной, одним из семи обязат. эл-тов христ. образованности. Значительно ее место в итоговой философии средневековья - схоластике, тяготеющей к формально-схематичной систематизации. С 17 в. стало заметным влияние на Л. сфер мысли, связ. с математикой. В России интерес к Л. поддерживался преим. в дух. уч. заведениях, где ориентировались на традиц. аристотелевскую Л. Однако рус. логики всегда были в курсе эволюции мировой логич. мысли, включая начавшееся в 19 в. бурное развитие символич. (математич.) Л. Новые идеи активно перерабатывались и фрагментарно включались в традиц. курсы (Ф. Козловский, М. Троицкий и др.). Собственно логич. иссл. были начаты П. Порецким, М. Каринским в кон. 19 в. В нач. 20 в. стали складываться логич. школы: Одесская математич. (И. Слещинский, Е. Буницкий, С. Шатуновский), школы в Казанском (Н. Васильев) и Львовском ун-тах (С. Лесневский и др. - впоследствии авторитетнейшая Львовско-варшавская логич. школа), в Петербурге (Л. Рутковский, А. Введенский, С. Поварнин), Москве (П. Флоренский). Однако после 1917 процесс формирования логич. культуры в России был прерван. Для сов. периода характерно очевидное снижение логич. культуры об-ва, заметное прежде всего в политич. жизни, полемике, обыденном сознании. В ср. и высших школах отсутствовало преподавание Л. Ее кафедры имеются лишь в неск. ун-тах. В России в наст. время сложились 3 осн. предметные обл. Л.: т. н. "диалектич. Л.", вырастающая из комментирования и анализа марксовой интерпретации гегелевского учения о методе (Э. Ильенков, А. Шептулин и др.); традиц. формальная Л. - своеобразный синтез аристотелевской Л. и фрагментов совр. символич. Л. (работы В. Асмуса, Д. Горского и др.); собственно логич. исследования (символич. Л.) (П. Новиков, А. Марков).

ЛОГИКА (греческое logike), наука о способах доказательств и опровержений; совокупность научных теорий, в которых рассматриваются определенные способы доказательств и опровержений. Основателем логики считается Аристотель. Различают индуктивную и дедуктивную логику, а в последней - классическую, интуиционистскую, конструктивную, модальную и др. Все эти теории объединяет стремление к систематизации таких способов суждений, которые от истинных суждений-посылок приводят к истинным суждениям - следствиям. Особую роль играют приложения логики в вычислительной математике, теории автоматов, лингвистике, информатике и др. Смотри также Математическая логика.

1) ход рассуждений: железная логика!

2) внутренняя обусловленность, закономерность развития событий, напр. логика революции

3) наука о формах и методах мышления

ЛОГИКА

(от греч.-логос): в самом широком смысле - наука о мышлении, учение о законах, формах и средствах рассуждений. Чаще всего данный термин отождествляется с термином «формальная логиками, основателем которой был Аристотель. Основная цель логических исследований - анализ правильности рассуждения, формулировка законов и принципов, соблюдение которых является необходимым условием получения истинных заключений в процессе вывода. Логические процессы изучаются путем их отображения в формализованных языках. Каждый из них включает в себя совокупность соответствующим образом истолкованных выражений (формул), а также способы преобразования одних выражений в другие по правилам дедукции. Современная логика слагается из большого числа логических систем, описывающих отдельные фрагменты (типы) рассуждений. В зависимости от оснований (критериев) классификации в настоящее время  выделяют логику классическую и неклассическую. В современном смысле логика - наука о формах дискурса.

логика (иноск.) - соображения, рассуждения, (собств.) логика - наука правильно мыслить, рассуждать

Ср. "Где же тут логика?" - "где же тут здравый смысл, последовательность?"

Ср. Судья... должен говорить, подобно Лютеру: "ich kann nicht anders!" - я не могу иначе, - не могу потому, что и логика вещей, и внутреннее чувство, и житейская правда, и смысл закона - твердо и неуклонно подсказывают мне мое решение...

А.Ф. Кони. Нравственные начала в уголовном процессе.

Ср. Hier steh'ich, ich kann nicht anders, Gott helfe mir Armen.

Luther. 18 April 1521 (Worms. Reichsversammlung).

Ср. Logica (ή λογική) - логика, наука о мышлении.

ЛОГИКА

Логика есть анатомия мышления.

Джон Локк

Логика - это нравственность мысли и речи.

Ян Лукасевич

Логика - это искусство ошибаться с полной достоверностью.

Джозеф Вуд Кратч

Логика - смирительная рубашка фантазии.

Хельмар Нар

Логика - это комод, в котором хранится полезная утварь и очень много ненужной.

Чарлз Калеб Колтон

Лучшая защита от логики - невежество.

Келог Олбран

Глупость обычно бывает логична.

Хуго Штейнхаус

Всякое обобщение ложно, включая и это.

Если окажется, что наша логика неверна, все науки станут поэзией.

Станислав Ежи Лец

Было бы крайне нелогично руководствоваться в жизни только логикой.

Лешек Кумор

Если логика говорит вам, что жизнь - пустая случайность, пошлите к черту не жизнь, а логику.

Шайра Милгром

Женский перевод:

абстрактный термин из мужского лексикона.

Мужской перевод:

набор правил для поиска оптимального решения на основе имеющихся знаний.

ло́гика, -и

ло́гика (наука о законах и формах мышления; ход рассуждений; внутренняя закономерность чего-л.)

ло́гика, ло́гики, ло́гик, ло́гике, ло́гикам, ло́гику, ло́гикой, ло́гикою, ло́гиками, ло́гиках

сущ., кол-во синонимов: 9

см. закономерность

железная логика..

Ход рассуждений, умозаключений; убеждение, точка зрения.

Бабская (разг.), безукоризненная, беспощадная, беспристрастная, блестящая, внутренняя, гибкая, дикая (разг.), доказательная, железная, женская, жизненная, здравая, нелепая, неотразимая, несокрушимая, неумолимая, объективная, обывательская, односторонняя, оригинальная, очевидная, предвзятая, примитивная, простая, смелая, смутная, строгая, стройная, сумбурная, твердая, трезвая, убедительная, убогая, устарелая, четкая, ясная. Звериная, куриная, самодурная.

безупречная логика

железная логика

непогрешимая логика

непоколебимая логика

▲ правило

↑ рассуждение

логика - порядок взаимодействий;

механизм мышления; смысловой механизм; теория рассуждений; ход рассуждений;

наука о законах и формах познающего мышления

(железная #. у него # хромает. # событий).

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

логистика.

↓ категорическое суждение.

ассерторическое суждение, суждение действительности.

аподиктическое суждение, суждение необходимости.

предикат - логическая функция, принимающая значения ложь и истина.

традукция.

квантор. | антиномия.

силлогизм.

сорит. | силлогистика.

алогичный, теория, разум

см. противоречие, достоверность, согласованный

программа компьютерная, теория

ло́г/ик/а.

ло́гика ж 3a

(не) видеть логики => знание, понимание

логика подсказывает => субъект, знание, обеспечение понимания

понять логику => знание, понимание

следовать логике => объект, зависимость, контроль

ЛО́ГИКА (от греч. logikē).

Смежная для методики обучения иностранным языкам наука о способах доказательств и опровержений. Применение законов Л. в процессе познания обеспечивает приближение к овладению истиной. Эти законы учитываются как в теоретических изысканиях, так и в процессе обучения иностранному языку. См. также кибернетика, математическая статистика, социолингвистика.

Восходит к латинскому logos, означающему "слово, разум" и в свою очередь восходящему к греческому logike.

Греческое - logos.

Слово ведет свое происхождение из греческого языка. Первоисточник - греческое слово, в переводе означающее «разум».

Путем добавления суффикса было образовано греческое слово logike. Из греческого языка слово перешло в латинский (logica), затем - в немецкий (Logik). В русском языке слово появилось в XVII в. путем заимствования из немецкого.

Производное: логический.

Из лат. яз. в XVII в. Лат. logica < греч. logike, производного от logos - "слово, разум".

Заимств. в XVII в. из лат. яз., где logica < греч. logikē, суф. производного от logos в значении «разум». См. филология.

ло́гика

Возм., через нем. Logik (ХVI в.; см. Шульц-Баслер 2, 39) от лат. lоgiса, греч. λογική.

ЛОГИКА (греч. logike, от logos - рассуждение). Наука о законах мышления, которое состоит в образовании понятий, суждений и умозаключений.

- Орудие, используемое для обоснования предубеждений.

- Математическую изучают год, а женскую - всю жизнь.

- Искусство дрессировки фактов.

- Наука «стройных мыслей».

- Наука здравомыслящих.

- Железный ход рассуждений.

- И женская, и железная.

- Внутренняя закономерность.

- Умение делать выводы.

- Чёткое мышление.

- Какую науку основал Аристотель?

- Наука о законах мышления.

Составить слова из слова логика

Ло́гика выска́зываний - раздел логики, в котором вопрос об истинности или ложности высказываний рассматривается и решается на основе изучения способа построения высказываний из так называемых элементарных (далее не разлагаемых и не анализируемых) высказываний с помощью логических операций конъюнкции («и»), дизъюнкции («или»), отрицания («не»), импликации («если..., то...») и др. Логику высказываний, задаваемую системой постулатов (аксиом и правил вывода), называют исчислением высказываний.

* * *

ЛОГИКА ВЫСКАЗЫВАНИЙ - ЛО́ГИКА ВЫСКА́ЗЫВАНИЙ, раздел логики, в котором вопрос об истинности или ложности высказываний рассматривается и решается на основе изучения способа построения высказываний из т. н. элементарных (далее не разлагаемых и не анализируемых) высказываний с помощью логических операций конъюнкции («и»), дизъюнкции («или»), отрицания («не»), импликации («если..., то...») и др. Логику высказываний, задаваемую системой постулатов (аксиом и правил вывода), называют исчислением высказываний.

ЛОГИКА ВЫСКАЗЫВАНИЙ - раздел логики, в котором вопрос об истинности или ложности высказываний рассматривается и решается на основе изучения способа построения высказываний из т. н. элементарных (далее не разлагаемых и не анализируемых) высказываний с помощью логических операций конъюнкции ("и"), дизъюнкции ("или"), отрицания ("не"), импликации ("если..., то...") и др. Логику высказываний, задаваемую системой постулатов (аксиом и правил вывода), называют исчислением высказываний.

Составить слова из слова логика высказываний

Ло́гика кла́ссов - логика объёмов понятий, раздел логических теорий, в котором изучаются операции над классами (множествами) и свойства этих операций (законы логики классов).

* * *

ЛОГИКА КЛАССОВ - ЛО́ГИКА КЛА́ССОВ, логика объемов понятий, раздел логических теорий, в котором изучаются операции над классами (см. КЛАСС (в логике и математике)) (множествами) и свойства этих операций (законы логики классов).

ЛОГИКА КЛАССОВ - логика объемов понятий, раздел логических теорий, в котором изучаются операции над классами (множествами) и свойства этих операций (законы логики классов).

Составить слова из слова логика классов

Ло́гика нау́ки - область науки, применяющая понятия и технический аппарат современной логики к анализу систем научного знания. Сформировалась в первой четверти XX в. Разрабатывалась представителями неопозитивизма. В 60-х гг. получила творческое развитие в СССР. Термин «логика науки» употребляется также для обозначения законов развития науки (логика научного развития), правил и процедур научных исследований (логика исследований), учения о психологических и методологических предпосылках научных открытий (логика научных открытий).

* * *

ЛОГИКА НАУКИ - ЛО́ГИКА НАУ́КИ, наука, применяющая понятия и технический аппарат современной логики к анализу систем научного знания. Сформировалась в 1-й четв. 20 в. Разрабатывалась представителями неопозитивизма. В 60-х гг. получила творческое развитие в рамках современной философии. Термин «логика науки» употребляется также для обозначения законов развития науки (логика научного развития), правил и процедур научного исследования (логика исследования), учения о психологических и методологических предпосылках научных открытий (логика научных открытий).

ЛОГИКА НАУКИ - наука, применяющая понятия и технический аппарат современной логики к анализу систем научного знания. Сформировалась в 1-й четв. 20 в. Разрабатывалась представителями неопозитивизма. В 60-х гг. получила творческое развитие в рамках современной философии. Термин "логика науки" употребляется также для обозначения законов развития науки (логика научного развития), правил и процедур научного исследования (логика исследования), учения о психологических и методологических предпосылках научных открытий (логика научных открытий).

Составить слова из слова логика науки

Ло́гика предика́тов - раздел логических теорий, в котором изучаются общезначимые связи между высказываниями о свойствах и отношениях предметов; в основе логики предикатов лежит формализованный язык, отображающий субъективно-предикатную структуру высказываний. Смотри также Исчисление предикатов.

* * *

ЛОГИКА ПРЕДИКАТОВ - ЛО́ГИКА ПРЕДИКА́ТОВ, раздел логических теорий, в котором изучаются общезначимые связи между высказываниями о свойствах и отношениях предметов; в основе логики предикатов лежит формализованный язык, отображающий субъективно-предикатную структуру высказываний. См. также Исчисление предикатов (см. ИСЧИСЛЕНИЕ ПРЕДИКАТОВ).

ЛОГИКА ПРЕДИКАТОВ - раздел логических теорий, в котором изучаются общезначимые связи между высказываниями о свойствах и отношениях предметов; в основе логики предикатов лежит формализованный язык, отображающий субъективно-предикатную структуру высказываний. См. также Исчисление предикатов.

Составить слова из слова логика предикатов

Логика формальная

(logic, formal), наука, изучающая формы мысли (понятия, суждения, умозаключения, доказательства). Предметом Л.ф. является не содержание умозаключения, а его логическая структура. Напр., умозаключения все люди смертны; Сократ - человек; след., Сократ смертен и всякая ложь предосудительна; это - ложь; след., это предосудительно при разл. содержании имеют одну и ту же структуру, к-рая может быть представлена в виде схемы: все А суть В; С есть А; след., С есть В. Л.ф. описывает и объясняет истинность умозаключений при помощи описания и объяснения правильности схемы умозаключения: отд. умозаключение логически корректно лишь при условии, что оно является частным случаем логически правильной схемы умозаключения. Не существует универсальной Л.ф., способной описать все типы верных умозаключений, поскольку число этих типов очень велико. Вместо этого разл. логические системы развивались и классифицировались на основе содержащихся в них логических констант, т.е. соединительных слов, от значения крых зависит правильность сложных высказываний. Напр., пропозициональная Л.ф. оперирует высказываниями, логическая корректность к-рых зависит от слов (логических констант) если, и, или, не и если - и - только - если, а константами предикативной Л.ф., предшественницей к-рой была силлогистика (силлогизм) Аристотеля, являются те же слова плюс слова (кванторы) все и некоторые. Существуют разл. виды Л.ф., описывающие высказывания разных видов, напр., включающие фактор времени (временная Л.ф.), морали (деонтическая Л.ф.), веры (эпистемическая Л.ф.) и возможности модальная логика). Вопрос о том, какие именно слова могут играть роль логических констант, весьма важен в философской логике. Изучение Л.ф. является необходимым условием работы с компьютером, в частности с искусственным интеллектом (дедукция, индукция).

Составить слова из слова логика формальная