Экзамен зачет учебный год 2023 / логика лекции

Логические термины:

Кванторы (лат) – количественное слово:

1.  Все, ни один, каждый, любой – квантор общности (в логике «все» и «каждый» понимаются не как одно и то же - «все произведения Толстого нельзя прочитать за 10 мин», но «каждое произведение толстого нельзя прочитать за 10 минут» - но «Филиппок» можно прочитать за 10 мин – помнить на экз)

2. Некоторые, кто-то, что-то, меньшинство – квантор существования – «некоторые студенты сдают логику» - некоторые сдают, а некоторые не сдают (как только некоторые), мы будем под «некоторыми» понимать «хотя бы один»

3. Все, кроме

Нелогические термины:

(Предметные функции не изучаем)

1. единичные имена – слово или сочетание, которое обозначает ровно 1 объект. Будем обозначать маленькими буквами из начала латинского алфавита.

2. общие – имена, обозначающие больше 1 объекта (Москва, как город, река, торт). Большими буквами из середины лат алфавита с буквы Р. Они потом стали называться знаками свойств или отношений – предикатор.

3. предложения – обозначаем большими буквами начала предложения

Все (это квантор общности) студенты (S) (утвердительная связь) являются отличниками (O) (студентов и отличников больше 1, поэтому большие буквы).

Все S есть О.

К экзу надо будет это писать, как SoP.

Все люди (S) смертны (P).

Сократ (a) – человек. (S)

Значит, Сократ (a) смертен (P).

Все S есть Р

а есть S

------------------------------------------------------------------------------- (черта это “значит”)

а есть Р

ЭТО СЕЛОГИЗМ

Все люди (S) смертны (P) – истина

Сократ (a) смертен (P) – истина

Значит он (a) – человек (S) – ложь

Все S есть P

a есть Р

а есть S

это неправильно, тк если сделать с такой же формой, но другими словами, будет неправильно:

Все люди красивые

Эта ваза красивая

Значит она – человек

Некоторые студенты не являются спортсменами (истина)

Значит некоторые спортсмены не являются студентами (истина)

Некоторые S не есть P

Некоторые Р не есть S

Это неправильно

Отношение логического следования (его значок, штопор)

Логика – наука о формах мыслей и процессах мышления и об отношениях между мыслями и процессами мышления по логическим формулам.

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

Основные законы логики:

1. Тождества – хотя бы один S есть S

Если А, то А (если все студенты – юристы, то все студенты – юристы)

2. Непротиворечия –

А и не-А (больше А – предложения)

Неверно, что А и не-А

(А& опять Г наоборот А)

3. Усеченного третьего

А или не-А (А галочка Г наоборот А)

!!!Значение логики для юриста прочитать, как и историю логики + канал Беликова!!!

ЛОГИКА И ЯЗЫК ПРАВА

Российский студент

1. гражданин РФ

2. обучающийся в российском вузе

3. чтобы быть российским студентов, нужно иметь 1 и 2 (и гражданин рф и обучается в вузе)

4. 1 или 2 (либо то, либо то)

Язык как совокупность знаков и отношения между ними.

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

Виды знаков:

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

2. Знаки-образы – похожи или напоминают обозначаемый объект (знак неровной дороги)

3. Знаки-символы – не относятся ни к каким объектам, они никак не похожи на обозначаемое.

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

Характеристики знака:

1. Смысл – те св-ва, которыми обладает объект

2. Значение – объект, который обозначает знак

Задаем сначала смысл, от которого будет зависеть значение (москва как слово из 6 букв и москва как магазин).

Лисий – греческий чел. Или лисий как часть лисы.

Сначала задайте смысл знака

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

Имена:

1. общие и единичные (единичные – в значении только 1 конкретный предмет, например – ЛН Толстой, известный русский писатель; а общие имена – просто Толстой)

2. описательные и неописательные – в самом описательном содержится смысл, то есть он указывается самим знаком, ну или описательное имя – имя, которое содержит другое имя; в неописательных этого нет)

Как пример:

Луна

Естественный спутник земли – описательное (там есть и другое имя – «земля»). Описательные имена имеют собственный смысл.

Неописательные имена собственного смысла не имеют, им придется смысл придавать.

3. Действительные и мнимые (нет значения; тк у имени всегда есть смысл, но не всегда есть значение. Например, человек побывавший на марсе, у него нет значения, тк никто еще там не был)

4. Универсальные и неуниверсальные (существо, умеющее думать – универсальное; хоккеист – неуниверсальное, потому что не все люди хоккеисты)