Выражение логических связок (логических постоянных) в естественном языке
Выражение логических связок (логических постоянных) в естественном языке - Конспект, раздел Философия, Конспект книги ПРЕДМЕТ И ЗНАЧЕНИЕ ЛОГИКИ С иных позиций изучает мышление логика В Мышлении Мы Оперируем Не Только Простыми, Но И Сложными Суждениями, Образу...
В мышлении мы оперируем не только простыми, но и сложными суждениями, образуемыми из простых посредством логических связок (или операций) - конъюнкции, дизъюнкции, импликации, эквиваленции, отрицания, которые также называются логическими константами, или логическими постоянными. Проанализируем, каким образом перечисленные логические связки выражаются в естественном (русском) языке.
Конъюнкция (знак “^”) выражается союзами: “и”, “а”, “но”, “да”, “хотя”, “который”, “зато”, “однако”, “не только..., но и” и др. В логике высказываний знак “Ù”соединяет простые высказывания, образуя из них сложные. В естественном языке союз “и” и другие слова, соответствующие конъюнкции, могут соединять существительные, глаголы, наречия, прилагательные и иные части речи. Например: “Дети пели и смеялись” (а ^ b) ; “Интересная и красиво оформленная книга лежит на столе”. Последнее высказывание нельзя разбить на два простых, соединенных конъюнкцией:
“Интересная книга лежит на столе” и “Красиво оформленная книга лежит на столе”, так как создается впечатление, что на столе лежат две книги, а не одна.
В логике высказываний действует закон коммутативности конъюнкции (а ^ b) = ( b^а). В естественном русском языке такого закона нет, так как действует фактор времени. Там, где учитывается последовательность во времени, употребление союза “и” некоммутативно. Поэтому не будут эквивалентными, например, такие два высказывания: 1) “Джейн вышла замуж, и у нее родился ребенок” и 2) “У Джейн родился ребенок, и она вышла замуж”.
В естественном языке конъюнкция может быть выражена не только словами, но и знаками препинания: запятой, точкой с запятой, тире. Например: “Сверкнула молния, загремел гром, пошел дождь”.
О выражении конъюнкции средствами естественного языка пишет С. Клини в книге “Математическая логика”. В разделе “Анализ рассуждений” он приводит (не исчерпывающий) список выражений естественного языка, которые могут быть заменены
символами “^” (или “&”). Формула А ^ В в естественном языке может выражаться так:
“Не только А, но и В Как А, так и В.
В, хотя и А.А вместе с В.
В, несмотря на А А, в то время как В”'.
Придумать примеры на все эти структуры предоставляем читателю.
В естественном (русском) языке дизъюнкция (обозначенная аb и а ύ b) выражается союзами: “или”, “либо”, “то ли..., то ли” и др. Например: “Вечером я пойду в кино или в библиотеку”; “Это животное принадлежит либо к позвоночным, либо к беспозвоночным”; “Сочинение будет то ли по произведениям Л. Н. Толстого, то ли по произведениям Ф. М. Достоевского”.
В логике высказываний различается нестрогая дизъюнкция, например: “Я подарю ей цветы или книги” (аb) и строгая дизъюнкция, например: “Данный студент находится в институте или дома” (а ύ b). В нестрогой дизъюнкции члены дизъюнкции не исключают друг друга, а в строгой - исключают. Для обоих видов дизъюнкции действует закон коммутативности:
в естественном языке эта эквивалентность сохраняется. Например, суждение “Я куплю масло или хлеб” эквивалентно суждению “Я куплю хлеб или масло”.
С. Клини показывает, какими разнообразными способами могут быть выражены в естественном языке импликация (АВ) и эквиваленция (А~В)2. (Буквами А и В обозначены переменные высказывания).
Приведем структуры и соответствующиеим примеры, иллюстрирующие разнообразные способы выражения импликации АВ (где А - антецедент, а В - консеквент):
1. Если А. то В. Если пойдет дождь, то экскурсия в лес не состоится.
2. Коль скоро А, то В. Коль скоро приближается буря, то медузы приплывают к берегу моря.
_______________________________
'Клини С. Математическая логика. М., 1973. С. 81.
2Клини С. Математическая логика. М., 1973. С. 81.
3. В случае А имеет место В.
В случае, когда наступает инфляция, имеет место снижение жизненного уровня трудящихся.
4. Для В достаточно А.
Для того чтобы металл расплавить, достаточно его нагреть до температуры плавления.
5. Для А необходимо В.
Для сохранения мира на Земле необходимо увеличить усилия всех государств в борьбе за мир.
Ваши коммуникации будут успешнее, только если вы займете позицию: “У меня все в порядке - у тебя все в порядке”'.
8. В, если А.
Мы поедем отдыхать в санаторий, если у нас будет путевка.
Приведем структуры и соответствующие им примеры разнообразных способов выражения эквиваленции:
1. А, если и только если В.
Посевная пройдет успешно, если и только если вовремя будут отремонтированы сельскохозяйственные машины.
2. Если А, то В, и обратно.
“Если вы твердо уверены, что ваши аргументы убедительнее, но ваш коллега, стоящий на той же ступеньке служебной лестницы, не хочет этого замечать, то избегайте призывать на помощь вашего начальника”2, и обратно.
3. А, если В, и В, если А.
Всякое число является четным, если оно делится на 2, и число делится на 2, если оно является четным.
4. Для А необходимо и достаточно В. Для того, чтобы число без остатка делилось на 5, необходимо и достаточно, чтобы его последняя цифра была 0 или 5.
5. А тогда и только тогда, когда В.
_____________________________
'Шмидт Р. Искусство общения // Пер. с нем. М., 1992. С. 59.
Tам же. С. 48.
B коллективе возникает хороший психологический климат тогда и только тогда, когда будут однозначно определены задачи, ответственность и компетенция каждого сотрудника'.
Из приведенных выше схем и соответствующих им высказываний с конкретным разнообразным содержанием становится ясно, насколько многогранны в естественном языке (в частности, русском) средства выражения импликации и эквиваленции и других логических связок (логических терминов). Это можно сказать и о других естественных языках2.
Импликация (а ® 6) не совсем соответствует по смыслу союзу “если..., то” естественного языка, так как в ней может отсутствовать содержательная связь между суждениями а и b. В логике высказываний законом является формула: (а ® b) = (ā b) Но в естественном языке дело обстоит иначе. Иногда союз “если..., то” выражает не импликацию, а конъюнкцию. Например: “Если вчера было пасмурно, то сегодня ярко светит солнце”. Это сложное суждение выражается формулой а^b.
В логике, кроме логических связок, для выражения общих и частных суждений используется квантор общности и квантор существования. Запись с квантором общности хР(x) обычно читается так: “Все х (из некоторой области объектов) обладают свойством Р”, а запись с квантором существования хР(х} читается так: “Существуют такие х (в данной области), которые обладают свойством Р”, Например, х (х > 100) читается так: “Существуют такие х, которые больше 100”, где под х подразумевают числа. В русском языке квантор общности выражается словами: “все”, “всякий”, “каждый”, “ни один” и др. Квантор существования выражается словами: “некоторые”, “существуют”, “большинство”, “меньшинство”, “только некоторые”, “иногда”, “тот, который”, “не все”, “многие”, “немало”, “немногие”, “много”, “почти все” и др.
С. Клини пишет о том, что, переводя выражения обычного языка с помощью табличных пропозициональных связок, мы лишаемся некоторых оттенков смысла, но зато выигрываем в точности.
Контрфактическими называют условные высказывания, выраженные в сослагательном наклонении. Например: “Если бы
____________________________
'Шмидт Р. Искусство общения // Пер. с нем. М., 1992. С. 48.
2B качестве самостоятельного задания рекомендуем рассмотреть выражение логических связок в каком-либо другом языке или показать это на произведениях какого-либо писателя.
на Земле не было кислорода, то жизнь на ней была бы невозможна”; “Если бы водитель не нарушил правила, то авария бы не произошла”. В импликации а®b переменная а является основанием (она называется антецедентом). Переменная b - следствием (заключением), она называется консеквентам.
Сослагательное наклонение показывает, что антецедент и консеквент в таких высказываниях ложны, т. е. не соответствуют реальному положению дел. Однако, подобно всем другим высказываниям, контрфактическое высказывание в целом может быть истинным. Оно истинно, если между его антецедентом и консеквентом имеется связь такого рода, что истинность антецедента влечет истинность консеквента. И ложно, если такой связи нет. Например, высказывание “Если бы сейчас была ночь, то на улице было бы темно” истинно, а высказывание “Если бы сейчас была ночь, то на улице было бы светло” ложно (для несеверных широт, так как на Севере летом бывают белые ночи). Поскольку антецедент и консеквент контрфактического высказывания оба ложны, установление их истинности связано с серьезными трудностями.
Контрфактическое высказывание имеет структуру: “Если бы а, то было бы b”. Контрфактические высказывания широко используются в научной практике. Так, например, историки для оценки событий, намерений, мотивов, политических планов и т. п. часто употребляют контрфактические предложения, говорящие, то могло бы быть, если бы дело обстояло не так, как это произошло в действительности. Контрфактичесиое предложение, изъявительные формы антецедента и консеквента которого обозначены соответственно через а и b, принято записывать как а a b.
Примером сложного контрфактического высказывания является следующее истинное высказывание: “Последствия стихии могли быть тяжелее, если бы не мужество и сплоченность людей, четкая организация спасательных работ, неукоснительное выполнение всеми порученного дела”. Чтобы записать формулу этого сложного контрфактического высказывания, надо его сначала привести к четкой логической форме. Она такая: “Если бы
не было мужества и сплоченности людей, четкой организации спасательных работ, неукоснительного выполнения всеми порученного дела, то последствия стихии могли бы быть тяжелее”. формула этого контрфактического высказывания такая:
(а^b^с^d) aе.
Здесь а обозначает высказывание “Мужество людей отсутствовало”, b - высказывание “Сплоченность людей отсутствовала”, с - “Четкая организация работ отсутствовал”, d- “Неукоснительное выполнение всеми порученного дела отсутствовало”. Все четыре высказывания соединены знаками конъюнкции. Знак “a ” обозначает импликацию в контрфактическом высказывании, соответствующую союзу “если бы..., то было бы”. Буква е обозначает высказывание “Последствия стихии оказались тяжелее”. Следует заметить, что знак “a” отсутствует в классической логике высказываний.
Контрфактические высказывания довольно часто встречаются не только в научной, но и в художественной литературе -как в прозе, так и в поэзии.
В практике математических и иных рассуждений имеются понятия “необходимое условие” и “достаточное условие”. Условие называется необходимым, если оно вытекает из заключения (следствия). Условие называется достаточным, если; .из него вытекает заключение (следствие). Ниже предлагаются задачи, требующие в каждом из следующих предложений вместо многоточия поставить слова: “необходимо”, “достаточно” или “необходимо и достаточно”.
1. Для того чтобы сумма двух целых чисел была четным числом ... чтобы каждое слагаемое было четным.
2. Для того чтобы число делилось на 15 ... чтобы оно делилось на 5.
3. Для того чтобы произведение (х-3)*(х+2)*(х-5) было равно 0,... чтобы х = 3.
4. Для того чтобы четырехугольник был прямоугольником ... чтобы все его углы были равны.
На сайте allrefs.net читайте: Конспект книги ПРЕДМЕТ И ЗНАЧЕНИЕ ЛОГИКИ С иных позиций изучает мышление логика. Она исследует мышление как средство познания объективного мира, те его формы и. Конспект книги...
Формы чувственного познания
Всякое познание начинается с живого созерцания, с ощущений, чувственных восприятии. Предметы воздействуют на наши органы чувств и вызывают в них ощущения, которые воспринимаются мозгом. Других ср
Формы абстрактного мышления
Основными формами абстрактного мышления являются понятия, суждения и умозаключения.
Понятие - форма мышления, в которой отражаются существенные признаки одноэлементного класса или
Особенности абстрактного мышления
С помощью рационального (от лат. ratio - разум) мышления люди открывают законы мира, обнаруживают тенденции развития событий, анализируют общее и особенное в любом предмете, строят
Понятие логической формы
Логической формой конкретной мысли является строение этой мысли, т.е. способ связи ее составных частей. Логическая форма отражает объективный мир, но это отражение не всей полноты содержания мира
Логические законы
Соблюдение законов логики - необходимое условие достижения истины в процессе рассуждения. Основными формально-логическими законами обычно считаются: 1) закон тождества; 2) закон непротиворечия,
Истинность мысли и формальная правильность рассуждений
Понятие истинности (ложности) относится лишь к конкретному содержанию того или иного суждения. Если в суждении верно отражено то, что имеет место в действительности, то оно истинно, в противном сл
Теоретическое и практическое значение логики
Можно логично рассуждать, правильно строить свои умозаключения, опровергать доводы противника и не зная правил логики, подобно тому, как нередко люди правильно говорят, не зная правил грамматики я
Семантические категории
Выражения (слова и словосочетания) естественного языка, имеющие какой-либо самостоятельный смысл, можно разбить на так называемые семантические категории, к которым относятся: 1) предложени
Противоположность, противоречие
Соподчинение (координация) - это отношение между объемами двух или нескольких понятий, исключающих, друг друга, но принадлежащих некоторому более общему (родовому) понятию (например, “
Ошибки, возможные в определении
1. Определение должно быть соразмерным, т. е. объём определяющего понятия должен быть равен объему определяемого понятия. Dfd. = Dfп,.
Это правило часто нару
Неявные определения
В отличие от явных определений, имеющих структуру Dfd= Dfn, в неявных определениях на место Dfп просто подставляется контекст, или набор аксиом, или описание способа построени
Определение через аксиомы
В современной математике и в математической логике широко применяется так называемый аксиоматический метод. Приведем пример2. Пусть дана система каких-то элементов (обозначаемых х, у,
Использование определений понятий в процессе обучения
Определение через род и видовое отличие и номинальное определение широко используются в процессе обучения. Приведем ряд примеров, взятых из школьных учебников. К определениям через ближайший род
Приемы, сходные с определением понятий
Всем понятиям определение дать невозможно (к тому же этом нет необходимости), поэтому в науке и в процессе обучения используются другие способы введения понятий – приёмы, сходные с определен
Правила деления понятий
Правильное деление понятия предполагает соблюдение определенных правил:
1. Деление должно быть соразмерным, т. е. сумма объемов видовых понятий должна быть равна объему
И дихотомическое деление
Приведенные примеры деления понятия иллюстрировали деление по видообразующему признаку, когда основанием деления служит признак, по которому образуются видовые понятия. Примеры деления по в
Треска зазналась
В камзоле Баклажан
Был полон блеска.
На кухне утром он сказал Селедке:
- Треска зазналась!
Ишь как много треска
Изволила поднять на сковор
Общая характеристика суждения
Суждение - форма мышления, в которой что-либо утверждается или отрицается о существовании предметов, связях между предметом и его свойствами или об отношениях между предметами.
Пр
Суждение и предложение
Понятия в языке выражаются одним словом или группой слов. Суждения выражаются в виде повествовательных предложений, которые содержат сообщение, какую-то информацию. Например: “Светит яркое солнце”
Суждения с отношениями.
В них говорится об отношениях между предметами. Например: “Всякий протон тяжелее электрона”, “Французский писатель Виктор Гюго родился позднее французского писателя Стендаля”, “Отцы старше своих д
Распределенность терминов в категорических суждениях
Так как простое категорическое суждение состоит из терминов S и Р, которые, являясь понятиями, могут рассматриваться со стороны объема, то любое отношение между S и Р в простых сужде
Исчисление высказываний
Сложные суждения образуются из простых суждений с помощью логических связок: конъюнкции, дизъюнкции, импликации, эквиваленции и отрицания. Таблицы истинности этих логических связок следующие:
Способы отрицания суждений
Два суждения называются отрицающими или противоречащими друг другу, если одно из них истинно, а другое ложно (т. е. не могут быть одновременно истинными и одновременно ложными).
Отрицание сложных суждении
Чтобы получить отрицание сложных суждений, имеющих в своем составе лишь операции конъюнкции и дизъюнкции, необходимо поменять знаки операций друг на друга (т. е. конъюнкцию на дизъюнкцию и наобор
Исчисление высказываний
I. Символы исчисления высказываний состоят из знаков трех категорий:
1. а, b, с,d, е,f... и те же буквы с индексами а1 ,а2 ,...
Отношения между суждениями по значениям истинности
Суждения, как и понятия, делятся на сравнимые (имеют общи субъект или предикат) и несравнимые. Сравнимые суждения делятся на совместимые и несовместимые.
В математической логике два выска
Б. Деление суждений по модальности
В логике мы до сих пор рассматривали простые суждения, которые называются ассерторическими, а также составленные из
простых сложные суждения. В них утверждается и
Закон тождества
Этот закон формулируется так: “В процессе определенного рассуждения всякое понятие и суждение должны быть тождественны самим себе”.
В математической логике закон тождества выражаетс
Закон непротиворечия
Если предмет А обладает определенным свойством, то в суждениях об А люди должны утверждать это свойство, а не отрицать его. Если же человек, утверждая что-либо, отрицает то же самое
Закон исключенного третьего
Онтологическим аналогом этого закона является то, что в предмете указанный признак присутствует или его нет, поэтому и в мышлении мы отражаем это обстоятельство в виде закона исключенного третьего.
Закон достаточного основания
Этот закон формулируется так: “Всякая истинная мысль должна быть достаточно обоснованной”. Речь идет об обосновании только истинных мыслей: ложные мысли обосновать нельзя, и нечего пытатьс
Общее понятие об умозаключении
Умозаключения, как и понятия и суждения, являются формой абстрактного мышления. С помощью многообразных видов умозаключений опосредованно (т. е. не обращаясь к органам чувств) мы можем получать н
Понятие логического следования
Выведение следствий из данных посылок - широко распространенная логическая операция. Как известно, условиями истинности заключения является истинность посылок и логическая правильность вывода. И
Дедуктивные умозаключения
В определении дедукции в логике выявляются два подхода:
1. В традиционной (не в математической) логике дедукцией называют умозаключение от знания большей степени общности i к новому
Понятие правила вывода
Умозаключение дает истинное заключение, если исходные посылки истинны и соблюдены правила вывода. Правила вывода, или правила преобразования суждений, позволяют переходить от посылок (суждений) о
Фигуры и модусы категорического силлогизма
Фигурами категорического силлогизма называются формы силлогизма, различаемые по положению среднего термина (М) в посылках. Различают четыре фигуры:
Правила категорического силлогизма
Категорические силлогизмы в мышлении встречаются весьма часто. Для того чтобы получить истинное заключение, необходимо брать истинные посылки и соблюдать нижеперечисленные правила категорического
Формализация эпихейрем с общими посылками
Эпихейремой в традиционной логике называется такой сложносокращенный силлогизм, обе посылки которого представляют собой сокращенные простые категорические силлогизмы (энтимемы).
С
Условные умозаключения
Чисто условным умозаключением называется такое опосредствованное умозаключение, в котором обе посылки являются условными суждениями. Условным называется суждение, имеющее структуру: “Если
Первый вероятностный модус
Рассмотрим первый модус, не дающий достоверного заключения.
Структура его: Cхема:
Если а, то b. a→b
b b
___________
Второй вероятностный модус
Это второй модус, не дающий достоверного заключения.
Структура его: Схема:
Если а, то b. а →b
Не-а ā
Вероят
Трилемма
Трилеммы так же, как и дилеммы, могут быть конструктивными и деструктивными; каждая из этих форм в свою очередь может быть простой или сложной. Простоя конструктивная трилемма состоит из дв
В умозаключении пропущена одна из посылок
В умозаключениях может быть пропущена первая посылка, она может подразумеваться, если выражает какое-то истинное суждение, формулирующее известное положение, теорему, закон и т. д.
В усло
Логическая природа индукции
Дедуктивные умозаключения позволяют выводить из истинных посылок при соблюдении соответствующих правил истинные заключения. Индуктивные умозаключения обычно дают нам не достоверные, а лишь правдо
Виды неполной индукции
Неполная индукция применяется в тех случаях, когда мы, во-первых, не можем рассмотреть все элементы интересующего нас класса явлений; во-вторых, если число объектов либо бесконечно, либо конечно,
Понятие вероятности
Различают два вида понятия “вероятность” - объективную вероятность и субъективную вероятность. Объективная вероятность - понятие, характеризующее количественную меру возможности появления
Методы установления причинной связи
Причинная связь между явлениями определяется посредством ряда методов, (описание и классификация которых восходит еще к ф. Бэкону и которые были развиты Дж. Ст. Миллем.
_________________
Дедукция и индукция в учебном процессе
Как в любых процессах познания (научногоили обыденного), так и в процессе обучения дедукция и индукция взаимосвязаны. Ф. Энгельс писал: “Индукция и дедукция связаны между собой столь же необходимым
Виды аргументов
Различают несколько видов аргументов:
1. Удостоверенные единичные факты. К такого рода аргументам относится так называемый фактический материал, т. е. статистические данны
Опровержение тезиса (прямое и косвенное)
Опровержение тезиса осуществляется с помощью следующих трех способов (первый - прямой способ, второй и третий -косвенные способы).
1. Опровержение фактами - самый верный
III. Выявление несостоятельности демонстрации
Этот способ опровержения состоит в том, что показываются ошибки в форме доказательства. Наиболее распространенной ошибкой является та, что истинность опровергаемого тезиса не вытекает, не следует и
Ошибки относительно доказываемого тезиса
1. “Подмена тезиса”. Тезис должен быть ясно сформулирован и оставаться одним и тем же на протяжении всего доказательства или опровержения - так гласят правила по отношению к тезису
Ошибки в основаниях (аргументах) доказательства
1. Ложность оснований (“основное заблуждение”).В качестве аргументов берутся не истинные, а ложные суждение которые выдают или пытаются выдать за истинные. Ошибка может быть непред
Ошибки в форме доказательства
1. Мнимое следование. Если тезис не следует из приводимых в его подтверждение аргументов, то возникает ошибка, называемая “не вытекает”, “не следует”. Люди иногда вместо правиль
Понятие о софизмах и логических парадоксах
Непреднамеренная ошибка, допущенная человеком в мышлении, называется паралогизмом. Паралогизмы допускают многие люди. Преднамеренная ошибка с целью запутать своего противника и выдать ложн
Понятие о логических парадоксах
Парадокс - это рассуждение, доказывающее как истинность, так и ложность некоторого суждения или (иными словами) доказывающее как это суждение, так и его отрицание. Парадоксы
___
Парадоксы теории множеств
В письме Готтлобу Фреге от 16 июня 1902 г. Бертран Рассел сообщил о том, что он обнаружил парадокс множества всех нормальных множеств (нормальным множеством называется множество, не содержащее се
Строгая аналогия
Характерным отличительным признаком строгой аналогии является наличие необходимой связи между сходными признаками и переносимым признаком. Схема строгой аналогии такая:
Предмет A
Нестрогая аналогия
В отличие от строгой аналогии нестрогая аналогия дает не достоверное, а лишь вероятное заключение. Если ложное суждение обозначить через 0, а истину через 1, то степень вероятности выводов по нест
Ложная аналогия
При нарушении указанных выше правил аналогия может дать ложное заключение, т. е. стать ложной. Вероятность заключения по ложной аналогии равна 0. Ложные аналогии иногда делаются умышленно, с целью
Виды гипотез
В зависимости от степени общности научные гипотезы можно разделить на общие, частные и единичные.
Общая гипотеза - это научно обоснованное предположение о законах и закономерностя
Построение гипотез
Путь построения и подтверждения гипотез проходит через несколько этапов. Разные авторы выделяют от 2 до 5 этапов, мы выделим 5. Эти этапы преподаватель может проиллюстрировать, например, ходом пос
Логическая структура и виды ответов
1. Ответы на простые вопросы. Ответ на простой вопрос первого вида (уточняющий, определенный, прямой, “ли”-вопрос) предполагает одно из двух: “да” или “нет”. Например: “Является ли
Развитие логического мышления младших школьников
Творческое использование опыта К. Д. Ушинского и В. А. Сухомлинского по формированию логического мышления у младших школьников с учетом их индивидуальных особенностей - залог воспитания правильн
Развитие логического мышления на уроках математики
Математика способствует развитию творческого мышления, заставляя искать решения нестандартных задач, размышлять над парадоксами, анализировать содержание условий теорем и суть их доказательств, изу
Развитие логического мышления на уроках истории
При изучении материала по истории применяются различные приемы, способствующие развитию мышления, в первую очередь наглядные пособия: картины, диапозитивы, иллюстрации учебника.
Большое м
Контрольные работы
Контрольная работа по курсу логики по темам “Понятие” и “Суждение”
Вариант 1
1. Определить вид следующих понятий: капиталист, остров, кодекс, созвездие Большая медве
Ответы на кроссворд
По горизонтали: 1. Общеутвердительное. 2. Умозаключение. 3. Изоморфизм. 4. Понятие. 5.Имя. 6. Абстрагирование. 7. Моделирование. 8. Тождественные.
По вертикали: 1. Индукция.
Логика в Древней Индии
История логики Индии связана с развитием индийской философии. Древнейший литературный памятник Индии - Веды (II-начало I тысячелетия до н.э.), а наиболее древняя ее часть - Ригведа. С целью разъяс
Логика Древнего Китая
Под логикой Древнего Китая, по утверждению Пань Шимо, принято понимать прежде всего логику периода Чуньцю и Чжаньго (722-221 до н. э.), когда появляется понятие “философская дискуссия” и создается
Логика в Древней Греции
В Древней Греции логическую форму доказательства в виде цепи дедуктивных умозаключений мы встречаем в элейской школе (у Парменида и Зенона). Гераклит Эфесский выступает с учением о всеобщем движе
Логика в средние века
Средневековая логика (VI-XV вв.) изучена еще недостаточно. В средние века теоретический поиск в логике развернулся главным образом по проблеме истолкования природы общих понятий. Так называемые ре
Логика в России
Русские логики, такие, как П. С. Порецкий, Е. Л. Буницкий и многие другие, внесли существенный вклад в развитие логики на уровне мировых логических концепций.
Первый трактат по логике появ
Математическая логика
В XIX в. появляется математическая логика. Немецкий философ Г. В. Лейбниц (1646-1716) - величайший математик и крупнейший философ XVII в. - по праву считается ее основоположником, Лейбниц пыталс
Конструктивная логика А. А. Маркова
Проблема конструктивного понимания логических связок, в частности отрицания и импликации, требует применения в логике специальных точных формальных языков. В основе конструктивной математической
Трехзначная система Лукасевнча
Трехзначная пропозициональная логика (логика высказываний) была построена в 1920 г. польским математиком и логиком Я. Лукасевичем (1878-1956)'. В ней “истина” обозначается 1, “ложь” - 0, “нейтра
ЗАКЛЮЧЕНИЕ
Цель познания в науке и повседневной жизни - получение истинных знаний и полноценное использование их на практике. Знание формальной логики и диалектики помогает предвидеть события и лучшим спос
Понятие.
2.1.0. Как, по-Вашему; называется форма мышления, которая | является результатом обобщения предметов по ряду существенных признаков?
2.1.1. Суждение.
2.1.2. Понятие.
2.1
Логические основы теории аргументации.
5.1.0. Какую, по-вашему, структуру имеет доказательство как логическая операция? - Оно имеет следующую структуру:
5.1.1. Тезис, аргументы, демонстрация.
5.1.2. Посылка, заключение
СПИСОК СИМВОЛОВ
а ^b; а * b; а &b; “а и b” - конъюнкция.
a b; “а или b” - нестрогая дизъюнкция.
a
В польской символике
Nx - отрицание х.
Сху - импликация (х имплицирует y).
Кху - конъюнкция х и у.
Аху - нестрогая дизъюнкция
Хотите получать на электронную почту самые свежие новости?
Подпишитесь на Нашу рассылку
Наша политика приватности обеспечивает 100% безопасность и анонимность Ваших E-Mail
Новости и инфо для студентов