Чем отличается логическая форма от формы предметов?

Предмет формальной логики

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

Задача формальной логики - установить правила обеспечения стройности и последовательности истинного мышления. Не охватываявсех сторон познавательного процесса, формальная логика не представляет собой всеобщего метода познания. Законы этой науки остаются специфическими законамимышления, они не распространяются на всю окружающую действительность.

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

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

 

Чем отличается логическая форма от формы предметов?

Логическая форма - это способ связи частей конкретного содержания мысли. Логические связи выражаются в определённых словах (связках): " если..., то..", " есть", " или", " следовательно" и т.д. С такого рода словами мы встречаемся как в обыденном, так и научном мышлении.

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

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

 

Какие значения принимают логические высказывания?

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

Высказывания могут быть выражены с помощью не только естественных языков, но и формальных. Например, высказывание на естественном языке имеет вид “Два умножить на два равно четырем”, а на формальном, математическом языке оно записывается в виде: “2•2 = 4”.

Об объектах можно судить верно или неверно, то есть высказывание может быть истинным или ложным. Истинным будет высказывание, в котором связь понятий правильно отражает свойства и отношения реальных вещей. Примером истинного высказывания может служить следующее: “Процессор является устройством обработки информации”.

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

Высказывание не может быть выражено повелительным или вопросительным предложением, так как оценка их истинности или ложности невозможна

 

Назовите виды семантических категорий.

Семантические категории:

1. Базовая категория по языкам

2. Семантические категории по языкам

3. Абстрактные отношения

4. Время

5.Общество

6. Природа

7. Пространство

8. Сознание

9. Человек

Для того, чтобы можно было найти слово, опираясь на его значение, была разработана система семантических категорий. Они, с одной стороны делятся по языкам, с другой — по смыслу.

Так, например, [[Категория: Глаголы агрессии]] делится по языкам.

 

Объясните основные принципы (законы) логики, представьте их в символической записи.

Закон тождества. Наиболее кратко этот закон можно выразить так: мысли о предметах, свойствах или отношениях должны оставаться неизменными по содержанию в процессе всего рассуждения о них. Иногда это записывают в символической форме: А = А. Поскольку всякая вещь должна быть равной самой себе, то и мысль о ней должна быть равной самой себе.

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

Закон исключенного третьего. Применяя закон исключенного третьего, надо помнить, что он ничего не говорит о том, какое из двух противоречащих суждений является истинным. Закон указывает лишь на то, что истинно одно и только одно из них, а другое обязательно ложно. Это значит, когда нам удалось установить значение истинности одного из двух противоречащих суждений, то тем самым определилось и значение ис-тинности другого тоже. Отдельно устанавливать его уже не надо, потому что оно однозначно задает-ся значением истинности сопряженного с ним понятия. Но какое из них именно должно быть оцене-но так, а какое иначе - для этого требуется отдельное исследование. Причем одной только логики для него уже, как правило, недостаточно и зачастую приходится вообще выйти за ее пределы и обратить-ся к специальным наукам.

Закон достаточного основания. Четвертый основной закон формальной логики выражает то фундаментальное свойство логической мысли, которое называют обоснованностью или доказанностью. Формулируется он обычно так: вся-кая мысль истинна или ложна не сама по себе, а в силу достаточного основания. Это значит: любое положение, прежде чем стать научной истиной, должно быть подтверждено аргументами, достаточ-ными для признания его твердо и неопровержимо доказанным. Тем самым дается объяснение: по ка-ким причинам имеет место данное положение, а не другое.

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

 

Что необходимо знать для правильного применения закона непротиворечия?

Закон непротиворечия читается так: «Два противоположных суждения не могут быть истинными в одно и то же время и в одном и том же отношении».

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

Противоречия не будет, если мы говорим о разных предметах или об одном и том же предмете, взятом в разное время или в разном отношении. Противоречия не будет, если мы скажем: «Осенью дождь полезен для грибов» и «Осенью дождь не полезен для уборки урожая». Суждения «Этот букет роз свежий» и «Этот букет роз не является свежим» также не противоречат друг другу, ибо предметы мысли в этих суждениях берутся в разных отношениях или в разное время.

 

Что требует правило соразмерности в определении понятия? Назовите две ошибки, свя-

Сти, от количества посылок.

Количество посылок:

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

Соответственно умозаключения состоящие из нескольких посылок - опосредованные

Направленность:

Дедуктивные умозаключения - переход от общего к частному

Индуктивные - переход от частного к общему

Трансдуктивные - переход м\у одинаковыми степенями общности

Строгость вывода:

Достоверные

Правдоподобные

 

Объясните их суть.

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

Превращать можно общеутвердительные, общеотрицательные, частноутвердительные и частноотрицательные суждения.

Схемы превращения суждений:

Общеутвердительное суждение (А) превращается в общеотрицательное (Е)

Все S есть Р -> Ни одно S не есть не-Р

Общеотрицательное суждение (Е) превращается в общеутвердительное (А).

Ни одно S не есть Р -> Все S есть не-Р

Частноотрицательное суждение (О) превращается в частноутвердительное (I)

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

Частноутвердительное суждение (1) превращается в частно-отрицательное (О).

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

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

Обращение подчиняется правилу: термин, не распределенный в посылке, не может быть распределен в заключении'.

Различают простое (чистое) обращение и обращение с ограничением.

Простым, или чистым, называется обращение без изменения количества суждения. Так обращаются суждения, оба термина которых распределены или оба не распределены. Если же предикат исходного суждения не распределен, то он не будет распределен и в заключении, где он становится субъектом. Поэтому его объем ограничивается. Такое обращение называется обращением с ограничением

Общеутвердительное суждение (А) обращается в частноутвер-дительное (I), т.е. с ограничением.

Все S есть Р -> Некоторые Р есть S

Общеутвердительные выделяющие суждения (в них предикат распределен) обращаются без ограничения

Все S, и только S, есть Р -> Все Р есть S

Общеотрицательное суждение (Е) обращается в общеотрицательное (Е), т.е. без ограничения. Простое обращение этого суждения возможно

потому, что его предикат распределен

Ни одно S не есть Р -> Ни одно Р не есть S

Частноутвердительное суждение (I) обращается в частноу-твердительное (I). Это простое (чистое) обращение.

Некоторые S суть Р -> Некоторые Р суть S

Частноутвердительное выделяющее суждение (предикат распределен) обращается в общеутвердительное.

Некоторые S, и только S, суть Р -> Все Р суть S

Частноотрицательное суждение (О) не обращается.

Таким образом, обращение суждения не ведет к изменению егo качества. Что касается количества, то оно может изменяться (обращение с ограничением), но может оставаться тем же самым (простое, или чистое, обращение).

 

72. Приведите пример категорического силлогизма и сделайте его полный разбор.

Простой категорический силлоги́ зм — рассуждение, состоящее из трёх простых атрибутивных высказываний: двух посылок и одного заключения. Посылки силлогизма разделяются на бо́ льшую (которая содержит предикат заключения) и меньшую (которая содержит субъект заключения). По положению среднего термина силлогизмы делятся на фигуры, а последние по логической форме посылок и заключения — на модусы.

Пример силлогизма:

Всякий человек смертен (бо́ льшая посылка)

Сократ — человек (меньшая посылка)

------------

Сократ смертен (заключение)

 

73. Назовите правила фигур категорического силлогизма. Приведите примеры нарушения этих правил.

Правила простого категорического силлогизма

Средний термин должен быть распределён хотя бы в одной из посылок.

Термин, не распределённый в посылке, не должен быть распределён в заключении.

Число отрицательных посылок должно быть равно числу отрицательных заключений.

В каждом силлогизме должно быть только три термина.

Фигурами силлогизма называются формы силлогизма, отличающиеся расположением среднего термина в посылках:

Бо́ льшая посылка

Меньшая посылка

Заключение

Фигура 1 Фигура 2 Фигура 3 Фигура 4

M—P P—M M—P P—M

S—M S—M M—S M-S

S—P S—P S—P S-P

Каждой фигуре отвечают модусы — формы силлогизма, различающиеся количеством и качеством посылок и заключения. Модусы изучались ещё средневековыми школами, и для правильных модусов каждой фигуры были придуманы мнемонические имена:

Фигура 1 Фигура 2 Фигура 3 Фигура 4

Barbara Cesare Darapti Bramantip

Celarent Camestres Disamis Camenes

Darii Festino Datisi Dimaris

Ferio Baroco Felapton Fesapo

Bocardo Fresison

Ferison

Основные правила фигур

1. Средний термин должен быть распределен по крайней мере в одной из

посылок.

Если термин М не будет распределен по крайней мере в одной из

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

окажется невозможным.

2. Термин может быть распределен в заключении лишь тогда, когда он

распределен в посылке (правило крайних терминов).

3. Число отрицательных посылок должно быть равно числу отрицательных

заключений.

Это правило означает что:

1) Если одна из посылок отрицательная, то и заключение

должно быть отрицательным.

2) Из двух отрицательных посылок правильного заключния

сделать нельзя.

3) Из двух утвердительных посылок нельзя получить

отрицательное заключение

 

74. Назовите правила терминов категорического силлогизма. Приведите примеры нарушения этих правил.

В силлогизм входит ровно три термина:

S — меньший термин: субъект заключения (входит также в меньшую посылку);

P — больший термин: предикат заключения (входит также в большую посылку);

M — средний термин: входит в обе посылки, но не входит в заключение.

Подлежащие S (субъект) — то, относительно чего мы высказываем (делится на два вида):

Определенное: Единичное, Частное, Множественное

Единичные [суждения] — в которых подлежащее является индивидуальным понятием. Прим: «Ньютон открыл закон тяготения»

Частное суждение — в котором подлежащим суждения является понятие, взятое в части своего объема. Прим: «Некоторые S суть P»

Множественное суждение — это те, в которых несколько подлежащих классовых понятий. Прим: «насекомые, пауки, раки есть членистоногие»

Неопределенное. Прим: «светает», «больно» и т. п.

Сказуемое P (предикат) — то, что мы высказываем (2 вида суждений):

Повествовательные — это суждение относительно событий, состояний, процессов или деятельности скоропроходящих. Прим: «Роза в саду цветет».

Описательные — когда одному или многим предметам приписывается какое-нибудь свойство. Субъектом всегда является определенная вещь. Прим: «Огонь горяч», «снег бел».

Отношение между подлежащим и сказуемым:

Суждения тождества — понятия субъекта и предиката имеют один и тот же объем. Прим: «всякий равносторонний треугольник есть равноугольный треугольник»

Суждения подчинения — понятия с менее широким объемом подчиняется понятию с более широким объемом. Прим: «Собака есть домашнее животное»

Суждения отношения — именно пространства, времени, отношения. Прим: «Дом находится на улице»

При определении отношения между подлежащим и сказуемым важна четкая формализация терминов, поскольку бездомная собака хоть и не является домашней с точки зрения проживания в доме, все равно относится к классу домашних животных с точки зрения принадлежности по социально-биологическому признаку. То есть следует понимать, что «домашнее животное» по социально-биологической классификации в отдельных случаях может быть «недомашним животным» с точки зрения места обитания, то есть с социально-бытовой точки зрения.

Правила простого категорического силлогизма:

1. Средний термин должен быть распределён хотя бы в одной из посылок.

2. Термин, не распределённый в посылке, не должен быть распределён в заключении.

3. Число отрицательных посылок должно быть равно числу отрицательных заключений.

4. В каждом силлогизме должно быть только три термина.

 

75. Назовите правила посылок категорического силлогизма. Приведите примеры нарушения этих правил.

Правила посылок

1. Две частные посылки не дают следствия.

2. Две отрицательные посылки не дают следствия.

3. Если одна из посылок отрицательна, то и следствие отрицательно.

4. Если одна из посылок частная, то и следствие частное.

 

76. Понятие о модусах категорического силлогизма. Приведите пример модуса Barbara.

Модусами силлогизма называются разновидности фигур, отличающихся характером посылок и заключения.

Всего с точки зрения всевозможных сочетаний посылок и заключения в каждой фигуре насчитывается 64 модуса, а во всех четырех - 256 модусов.

Из всех возможных разновидностей только 24 модуса являются правильными - по 6 в каждой фигуре:

Фигура 1

Barbara

Celarent

Darii

Ferio

Фигура 2

Cesare

Camestres

Festino

Baroco

Фигура 3

Darapti

Disamis

Datisi

Felapton

Bocardo

Ferison

Фигура 4

Bramantip

Camenes

Dimaris

Fesapo

Fresison

Barbara:

Все люди - животные.

Все животные смертны.

Все люди смертны.

 

80-83)

ЭТО ТОЛЬКО ОБОБЩЕННАЯ ЧАСТЬ, ДОДУМЫВАТЬ НАДО САМИМ!

Определение истинности суждений непосредственно связано со сравнимостью и несравнимостью. Сравнимые суждения делятся на совместимые и несовместимые.

Несовместимые суждения могут находиться в отношениях противоречия и противоположности. Понятия, входящие в отношение противоречия, характеризуются тем, что не могут быть одновременно истинными или ложными. Если одно из противоречащих суждений истинно, то другое ложно, и наоборот.

Если одно из противоположных суждений истинно, другое обязательно ложно, так как они исключают друг друга полностью. При этом ложность одного из противоположных суждений не означает ложности или истинности другого. И действительно, противоположность суждений еще не означает, что одно из них всегда истинно, а другое — ложно. Например: «На Марсе нет жизни» и «На Марсе есть жизнь». Эти понятия неопределенны, т. е. неизвестно, истинны они или ложны. Оба они могут быть ложными. Но истинным может быть только одно из них.

Совместимые суждения входят в отношения логического подчинения, равнозначности и частичного совпадения (пересечения).

Подчиненные совместимые суждения. Носят такое название в силу того, что одно из этих суждений входит в объем другого, подчинено ему. Такие суждения имеют общий предикат. Определение истинности суждений, находящихся в отношении подчинения, связано с определенной спецификой, так как одно из суждений входит в объем второго. В связи с этим истинность общего суждения влечет истинность частного, истинность же частного не определяет с достоверностью истинности общего. Ложность общего оставляет частное суждение неопределенным, а ложность частного не означает, что ложно и общее.

Приведем пример: «Феррари — хороший автомобиль» и «Все автомобили хорошие». Второе суждение ложно. Оно является подчиняющим. При этом подчиненное ему частное суждение является истинным.

 

Что такое доказательство?

(Д - по тектсу, доказательство)

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

 

Что такое опровержение?

Монстрации.

Демонстрация есть способ связи между тезисом и аргументами. Будучи способом связи, демонстрация должна быть логически безупречна. Это значит, что между тезисом и аргументами должна быть логическая связь по правилам дедукции, индукции и аналогии.Следовательно, правила демонстрации – это все правила формальной логики.

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

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

В отличие от паралогизмов софизмы - результат преднамеренного обмана, умышленные логические ошибки.

 

Предмет формальной логики

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

Задача формальной логики - установить правила обеспечения стройности и последовательности истинного мышления. Не охватываявсех сторон познавательного процесса, формальная логика не представляет собой всеобщего метода познания. Законы этой науки остаются специфическими законамимышления, они не распространяются на всю окружающую действительность.

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

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

 

Чем отличается логическая форма от формы предметов?

Логическая форма - это способ связи частей конкретного содержания мысли. Логические связи выражаются в определённых словах (связках): " если..., то..", " есть", " или", " следовательно" и т.д. С такого рода словами мы встречаемся как в обыденном, так и научном мышлении.

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

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

 

12345Следующая ⇒

Поделиться: