Вопросы.

1.основные формы рационального познания как предмет логики

2.логическая форма. Критерий правильности умозаключений.

3.логические законы и логические теории.

4.логика и язык.

5.сложные высказывания, их виды.

6.условия истинности сложных высказываний.

7.таблицы истинности классической логики высказываний.

8.условные и условно-категор. умозаключения.

9.разделительно-категорические умозаключения.

10.условно-разделительные умозаключения.

11.объединенная классификация простых категорических высказываний.

12.условия истинности простых категорических высказываний.

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

14.логический квадрат. Умозаключения по логическому квадрату.

15.непосредственные умозаключения: превращение и обращение.

16.непосредственные умозаключения: противопоставление предикату.

17.состав простого категорического силлогизма, его фигуры и модусы.

18.общие правила простого категорического силлогизма.

19.энтимемы и полисиллогизмы.

20.общая характеристика понятий, его объем и содержание. Виды понятий.

21.Операции с объемами понятий: объединение и пересечение.

22.Операции с объемами понятий: вычитание и дополнение.

23.Отношения между понятиями.

24.операции обобщения и ограничения понятий.

25.операция деления понятия. Правила деления.

26.классификация. виды классификаций.

27.определение. виды определений.

28.правила определения, ошибки возможные в определении.

29.индуктивные умозаключения, их виды.

30.метод сходства и метод сопутствующих изменений.

31.умозаключения по аналогии

1 Основные формы рационального познания как предмета логики

.Логика-нормативная наука о формах и приемах рационального познания. Отличительный признак рационального познания является то,что оно всегда воплощается в языке,речи.

Рац-е познание обладает такими хар-ми как:обобщенность,отвлеченность,активность,целенаправленность.

К основным формам рац-го познания относятся: понятие,высказывание,умозаключение.

1.Понятие-форма мышления,отражающая предметы в их существенных признаках.

2.Высказывание-форма мышления в которой:

1.Утверждается либо отрицается что-либо о каком-нибудь предмете.

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

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

Субъект-это выражение обозначающий предмет,то о чем идет речь при анализе. S

Предикат-свойство приписываемые или непреписываемые предмету. Р.

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

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

Истина и ложь-это значение высказывания.

3.Умозаключение –переход от одного до нескольких переходов к высказыванию В.

А₁,А₂…Аn ↗

Пример умозаключения 1.

Если идет дождь,то асфальт мокрый -посылки

Неверно: что асфальт мокрый

Неверно что идет дождь. –заключение.

Ум2

Все футболисты, спортсмены

Все баскетболисты, спортсмены

Некоторые баскетболисты играют в футбол.

2.Логическая форма. Критерий правильности умозаключений.

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

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

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

Под формой (логической) будут понимать способ связи высказываний или также способ связи субьектов и предикатов внутри простых высказываний.

Ум1.

Если идет дождь,то асфальт мокрый

Неверно, что асфальт мокрый

Неверно,что идет дождь

Если q , то n

Неверно, что n

Неверно, что q

Умозаключение 2.

Все Р есть М

Все S есть М

Нек S есть P

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

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

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

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

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