Всего 256 модусов, из 24 правильных

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

1. Силлогизм по логическому квадрату

2. Полисиллогизм

3. Энтимемы (сопряженные силлогизмы, в которых опущена или неявно подразумевается одна из посылок или заключений)

4. Эпихирема – силлогизм, каждая из посылок которого является энтимемой.

5. сориты (сорит – полиэнтимема) – сокращенный полисиллогизм, в котором опущены (подразумеываются) некоторые посылки или промежуточные заключения

12. Условно-категорический силлогизм. Модус поненс и модус толленс

Если А	то Б
основание (антисеквент)	следствие (консеквент)

// половину этой темы я слегка пропустил (далее идет 5 абзацев из гугла, но имеющих полное право на существование здесь)

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

1 модус - Утверждающий. Структура - Если А, то Б. Можно стороить достоверные умозаключения от утверждения основания к утверждению следствия. "Если этот металл натрий, то он легче воды. Данный металл - натрий. Данный металл легче воды".

2 модус - Отрицающий. Можно строить достоверные УМЗ от отрицания следствия к отрицанию основания. "Если река разливается, то вода все затопляет. Вода нихера не затопила. Река не разлилась".

3 модус - недостоверный. Нельзя получить достоверное заключение идя от утверждения следствия к утверждению основания. "Если данное тело - графит, то оно электропроводно. Данное тело - электропроводно. Вероятно данное тело - графит".

4 модус - недостоверный. Нельзя получить достоверное заключение, идя от отрицания основания к отрицанию следствия. "Если у человека температура, то он болен. У этого человека нет температуры. Вероятно, он не болен".

Модус поненс	Модус толленс
Если А, то Б	Если А, то Б
А	не Б
Б	не А

13. Основополагающие логические принципы: принцип тождества, непротиворечивости, исключенного третьего, достаточного основания.

Принцип тожества – контрадикторные высказывания не могут быть истинными

Принцип непротиворечивости – 2 контрадикторных высказывания не могут быть одновременно истинны

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

Принцип достаточного основания – любое истинное высказывание имеет достаточное основание, в силу которого оно истинно, а не ложно.

14. Понятие научного термина. Предметность, однозначность, относительность терминов.

Термин – это:

1) в общем - слово или словосочетание естественного языка, обозначающее предмет (реальный или абстрактный).

2) термин в науке — слово или словосочетание, используемое для обозначения предметов в пределах той или иной науки, научной теории. В этом случае термины отличаются однозначностью, к их введению в науку предъявляются особые требования.

3) В логике термин - слово, имя для предметов универсума для обозначения субъекта и предиката суждения, а также для обозначения элементов посылок силлогизма.

Символ – какой-либо материальный объект, используемый с целью обозначения какого-либо другого объекта.

Денотат – то, что обозначает термин.

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

Однозначность - Каждое выражение, употребленное в качестве термина, является термином только одного объекта.

Относительность - Денотат сложного термина не изменится, если входящий в его состав термин заменить термином с денотатом, тождественным денотату заменяемого термина.

15. Отношение семантического тождества терминов. Логические кавычки. Понятие метасимвола.

Мета оператор (логические кавычки) – оператор, преобразующий символы в метасимволы.

Метасимволы (надсимволы) – термины, обозначающие тот или иной термин.

понятие стола ß слово стол ß <<стол>> ß << <<стол>> >>

Оператор тождества – логический оператор, преобразующий два термина в высказывание о том, что данные термины обозначают один и тот же объект (что они семантически тождественны)

- термины «а» и «б» обозначают один и тот же объект (тождественны по смыслу) (если значок перечеркнут – не обозначают)

Термины семантически тождественны, когда обозначают один и тот же объект.

16. Логическая структура определений. Дефиниендум и дефиниенс. Семантические и синтаксические определения. Основные правила синтаксических определений.

Определение – раскрытие сущности чего-либо.

Определения:

1. Сравнение (человек – существо похожее не мартышкуобезбяну)

2. описание – (человек – двуногое существо с головой, руками и т.д.)

3. широкое определение (человек – разумное существо)

4. узкое определение – (человек – разумное существо, живущее в России)

5. соразмерное определение – (человек, раз. существо, живущее на Земле)

6. неявное (контекстуальное) определение – (тот объект, о котором идет речь в 1-5)

1-5 = явные определения

1-6 = реальные определения

7. номинальное неявное – (слово «человек» есть – слово, значение которого явно из высказываний 1-5)

8. номинальное явное – (слово «человек» есть слово, которым обозначают понятия реального существа, живущего на Земле)

7-8 = номинальные определения

Dfd	≡	Dfn
дефиниендум (определяемое)	;]	дефиниенц (определяющее)

Два типа определений: