Логика
<<  Логика Логики  >>
Логика
Логика
Логика
Логика
Вопросы
Вопросы
Картинки из презентации «Логика» к уроку алгебры на тему «Логика»

Автор: Николай Бирюков / Nikolai Biryukov. Чтобы познакомиться с картинкой полного размера, нажмите на её эскиз. Чтобы можно было использовать все картинки для урока алгебры, скачайте бесплатно презентацию «Логика.ppt» со всеми картинками в zip-архиве размером 385 КБ.

Логика

содержание презентации «Логика.ppt»
Сл Текст Сл Текст
1Логика. Темы 3-4 Суждение 16одного – истинность другого. 5-й модус.
Непосредственные умозаключения. МОСКОВСКИЙ 6-й модус. 7-й модус. 8-й модус. Неверно,
ГОСУДАРСТВЕННЫЙ ИНСТИТУТ МЕЖДУНАРОДНЫХ что. Неверно, что. Суть. Не суть.
ОТНОШЕНИЙ Кафедра философии. Следовательно, Следовательно, Не суть.
2Суждение Непосредственные Суть. Неверно, что. Неверно, что. Суть. Не
умозаключения. Суждение Определение суть. Следовательно, Следовательно, Не
суждения Структура суждения Виды суждений суть. Суть.
(классификация суждений) Логический 17Непосредственные умозаключения
квадрат Отношения между суждениями Сложные Умозаключения контрарности и
суждения Непосредственные умозаключения субконтрарности. Все S. P. Некоторые S. P.
Виды непосредственных умозаключений Ни одно S. P. Некоторые S. P. Ни одно S.
Распределённость терминов в суждении. P. Некоторые S. P. Все S. P. Все S. P. Из
3Определение суждения. Суждение – это истинности одного контрарного суждения
такая форма мысли, в которой утверждается следует ложность другого, из ложности же
или отрицается что-либо относительно не следует ничего. Из ложности одного
предметов и явлений, их свойств, связей и субконтрарного суждения следует истинность
отношений. Суждение выражает либо истину, другого, из истинности же не следует
либо ложь. Из всех форм мышления лишь ничего. 1-й модус. 1-й модус. 2-й модус.
суждения могут в строгом смысле считаться 2-й модус. Неверно, что. Суть. Суть.
истинными или ложными. Следовательно, неверно, что.
4Структура суждения. S. P. Элементарное Следовательно, Не есть. Не суть. Неверно,
суждение можно представить в виде формулы: что. Не есть. Не суть. Следовательно,
(Не) есть (суть). Субъект суждения – то, о неверно, что. Следовательно, Суть. Суть.
чём высказывается суждение (та часть 18Непосредственные умозаключения
суждения которая обозначает предмет Умозаключение контрарности. Все S. P. Все
мысли). Логическая связка – элемент S. P. Некоторые S. P. Некоторые S. P. Все
суждения, который соединяет субъект и S. P. Все S. P. Умозаключения контрарности
предикат. Предикат суждения – то, что и субконтрарности можно представить в виде
высказывается (утверждается или двух последовательных умозаключений:
отрицается) о предмете (субъекте умозаключения подчинения и умозаключения
суждения). Субъект суждения (логическое контрадикторности. Подчинение. Подчинение.
подлежащее). Предикат суждения (логическое Контрадикторность. Контрадикторность. 1-й
сказуемое). Логическая связка. модус. 3-й модус. 2-й модус. 4-й модус.
5Классификация суждений. С точки зрения Суть. Не суть. Следовательно,
соответствия содержания суждений Следовательно, Суть. Не суть.
действительности, суждения делятся на Следовательно, неверно, что.
истинные и ложные. С точки зрения формы, Следовательно, неверно, что. Не суть.
суждения делятся на: утвердительные и Суть.
отрицательные – классификация по качеству; 19Непосредственные умозаключения
общие, частные и единичные – классификация Умозаключение субконтрарности. Некоторые
по объёму (по количеству); категорические, S. P. Некоторые S. P. Все S. P. Все S. P.
условные и разделительные – классификация Некоторые S. P. Некоторые S. P.
по характеру связи (по отношению); Умозаключения контрарности и
аподиктические (необходимости), субконтрарности можно представить в виде
ассерторические (действительности) и двух последовательных умозаключений:
проблематические (возможности) – умозаключения подчинения и умозаключения
классификация по модальности. контрадикторности. Подчинение. Подчинение.
6Классификация категорических суждений Контрадикторность. Контрадикторность. 3-й
по качеству. S есть (суть) P. S не есть модус. 5-й модус. 4-й модус. 6-й модус.
(суть) P. Утвердительное суждение – Неверно, что. Неверно, что. Суть. Не суть.
суждение , в котором отображается наличие Следовательно, неверно, что.
какого-либо признака у предмета. Следовательно, неверно, что. Суть. Не
Отрицательное суждение – суждение , в суть. Следовательно, Следовательно, Не
котором отображается отсутствие суть. Суть.
какого-либо признака у предмета. 20Непосредственные умозаключения
Утвердительные и отрицательные суждения не Преобразование суждений. Превращение
следует смешивать с утверждаемыми и суждения – логическая операция,
утверждающими, либо с отрицаемыми и посредством которой из данного суждения
отрицающими суждениями, т. е. суждениями, получается равнозначное ему, но
подтверждающими истинность или противоположное по качеству суждение, что
указывающими на ложность других суждений. достигается путём изменения связки на
Верно, что S (не) есть P. Неверно, что S противоположную с одновременной заменой
(не) есть P. предиката контрадикторным понятием.
7Классификация категорических суждений Обращение суждения – логическая операция,
по количеству. Общее суждение – суждение, посредством которой из данного суждения
в котором что-либо утверждается или образуется новое суждение, субъектом
отрицается о каждом предмете какого-либо которого является предикат, а предикатом –
класса. Частное суждение – суждение, в субъект исходного суждения, что
котором что-либо утверждается или достигается путём перестановки терминов
отрицается о некоторых предметах исходного суждения без изменения качества
какого-либо класса. Единичное суждение – связки, но с изменением – в отдельных
суждение, в котором что- либо утверждается случаях – количества суждения.
или отрицается об отдельном предмете или Противопоставление предикату – логическая
группе предметов как целом. Все S (не) операция, посредством которой из данного
суть P. Некоторые S (не) суть P. S (не) суждения образуется противоположное по
есть P. Частные суждения. По крайней мере качеству суждение, субъектом которого
некоторые (а может быть, и все) S (не) является понятие, контрадикторное
суть P. Только некоторые S (не) суть P. предикату исходного суждения, а предикатом
Неопределённые частные суждения. – субъект исходного суждения, что
Определённые частные суждения. достигается путём превращения исходного
8Объединённая классификация суждения с последующим обращением
категорических суждений по качеству и превращённого суждения.
количеству. Утвердительные. Отрицательные. 21Непосредственные умозаключения
Общие. Общеутвердительные. Умозаключение превращения. S. P. S. P. S.
Общеотрицательные. Частные. Не-p. S. Не-p. S. Не-p. S. Не-p. S. P. S.
Частноутвердительные. Частнотрицательные. P. Превращение суждения – получение
В объединённой классификации равнозначного, но противоположного по
категорических суждений по качеству и качеству суждения путём изменения связки
количеству единичные суждения в на противоположную с одновременной заменой
самостоятельную группу не выделяются, так предиката контрадикторным понятием. 1-й
как с точки зрения количества относятся к модус. 2-й модус. 3-й модус. 4-й модус.
общим суждениям: поскольку объём субъекта Есть. Не есть. Следовательно,
единичного суждения состоит только из Следовательно, Есть. Не есть. Есть. Не
одного элемента, любое суждение об этом есть. Следовательно, Следовательно, Не
элементе оказывается суждением обо всех есть. Есть.
элементах данного класса. 22Распределённость терминов в суждении
9P. P. P. P. Соотношения между объёмами Понятие распределённости. Достоверным
понятий и основные типы суждений. S. S. S. может считаться лишь необходимый вывод,
S. Все S суть P (Всякое S есть P) необходимое же связано с существенным и
(общеутвердительное суждение). Все S не общим. Общее знание выражается: в общих
суть P (Ни одно S не есть P) суждениях, т. е. в суждениях в которых
(общеотрицательное суждение). Некоторые S утверждается присущность признака всем
суть P (Существуют S, которые суть P) предметам данного класса (вида, рода) или
(частноутвердительное суждение). Некоторые их неприсущность ни одному; в
S не суть P (Существуют S, которые не суть отрицательных суждениях: отрицая
P) (частноотрицательное суждение). присущность признака предмету (субъекту
10Логический квадрат. A. E. I. O. суждения), мы тем самым утверждаем обо
Общеутвердительное суждение. всех предметах, обладающих этим признаком,
Общеотрицательное суждение. Контрарность. что субъект данного суждения к ним не
AFFIRMO. Контрадикторность. NEGO. относится (в их число не входит). В общем
Подчинение. Подчинение. Контрадикторность. суждении во всём объёме берётся (на языке
Субконтрарность. Частноутвердительное логики это называется распределённостью)
суждение. Частноотрицательное суждение. субъект суждения; в отрицательных
11Отношения между суждениями. Отношение суждениях – предикат. Таким образом: в
контрадикторности – отношение между двумя общеотрицательном суждении распределены и
суждениями, которые не могут быть субъект, и предикат; в общеутвердительном
одновременно ни истинными, ни ложными. – только субъект; в частноотрицательном –
Отношение контрарности – отношение между только предикат; в частноутвердительном –
двумя суждениями, которые не могут быть ни субъект, ни предикат.
одновременно истинными, но могут быть 23Распределённость терминов в суждении
одновременно ложными. Отношение Правило распределённости. Если термин не
субконтрарности – отношение между двумя распределён в посылке, он не может быть
суждениями, которые не могут быть распределён в выводе.
одновременно ложными, но могут быть 24Непосредственные умозаключения
одновременно истинными. Отношение Умозаключение обращения. Все S. P. Ни одно
подчинения – отношение между двумя S. P. Некоторые P. S. Ни одно P. S.
суждениями, при котором из истинности Некоторые S. P. Некоторые P. S. Обращение
починяющего суждения следует истинность суждения – получение нового суждения путём
подчинённого суждения, а из ложности перестановки терминов исходного суждения
подчинённого – ложность подчиняющего. без изменения качества связки, но с
12Умозаключение. Умозаключение – форма изменением – в отдельных случаях –
мышления, или логическое действие, в количества суждения. Частноотрицательное
результате которого из одного или суждение обращению не подлежит. Суть. Не
нескольких – определённым образом есть. Обращение с ограничением. Простое
связанных между собой – суждений (чистое) обращение. Следовательно,
(именуемых посылками) получается Следовательно, Не есть. Суть. Суть.
(выводится) новое суждение (заключение, Простое (чистое) обращение. Следовательно,
вывод), содержащее новое знание. Выведение Суть.
– мыслительное действие, в результате 25Непосредственные умозаключения
которого новое знание получается логически Умозаключение обращения. Простому
– без обращения непосредственно к опыту (чистому) обращению подлежат лишь те
(из предшествующих знаний). Посылка – суждения, в которых оба термина
суждение, которое служит основанием для распределены или оба не распределены, т.е.
заключения (вывода). Заключение (вывод) – общеотрицательное и частноутвердительное
суждение, логически выведенное из суждения. Общеутвердительное суждение
предшествующих посылок. Правильное обращается с ограничением: поскольку в
умозаключение есть построение такого умозаключении обращения субъект вывода
суждения из материи других суждений, есть предикат посылки, а предикат
замена которого противоречащим ему утвердительной посылки не распределён, то
суждением приводит к противоречию с не может быть распределён и субъект
посылками. вывода, т.е. сам вывод должен быть частным
13Непосредственные умозаключения. суждением. Частноотрицательное суждение
Непосредственное умозаключение – обращению не подлежит: так как при
умозаключение, в котором новое знание обращении качество суждения не меняется,
выводится из одной посылки. В классической то вывод из отрицательной посылки должен
логике рассматриваются 7 видов быть отрицательным суждением и его
непосредственных умозаключений, а именно: предикат должен быть распределён; но
4 вида умозаключений, основанных на предикат вывода в умозаключении обращения
отношениях логического квадрата (и есть субъект посылки, субъект же частной
аналогичных): умозаключение подчинения (4 посылки не распределён, а потому не может
модуса); умозаключение контрадикторности (хотя и должен был бы) быть распределён и
(8 модусов); умозаключение контрарности (2 предикат вывода; следовательно, вывод в
модуса); умозаключение субконтрарности (2 данном случае не возможен.
модуса); 3 вида умозаключений, основанных 26Непосредственные умозаключения
на преобразовании формы суждения: Умозаключение противопоставления
умозаключение превращения (4 модуса); предикату. Все S. P. Ни одно S. P. Ни одно
умозаключение обращения (3 модуса); S. Не-p. Все S. Не-p. Ни одно не-P. S.
умозаключение противопоставления предикату Некоторые не-P. S. Противопоставление
(3 модуса). предикату – получение нового суждения
14Непосредственные умозаключения путём превращения исходного суждения с
Умозаключение подчинения. Все S. P. Все S. последующим обращением превращённого
P. Некоторые S. P. Некоторые S. P. суждения. Превращение. Превращение.
Некоторые S. P. Некоторые S. P. Все S. P. Обращение. Обращение. 1-й модус. 2-й
Все S. P. Из истинности подчиняющего модус. Суть. Не есть. Следовательно,
суждения следует истинность подчинённого; Следовательно, Не есть. Суть.
из ложности подчинённого – ложность Следовательно, Следовательно, Не есть.
подчиняющего; из ложности подчиняющего или Суть.
истинности подчинённого не следует ничего. 27Непосредственные умозаключения
1-й модус. 2-й модус. 3-й модус. 4-й Умозаключение противопоставления
модус. Суть. Не суть. Следовательно, предикату. Некоторые S. P. Некоторые S.
Следовательно, Не суть. Суть. Неверно, Не-p. Некоторые не-P. S.
что. Неверно, что. Суть. Не суть. Противопоставление предикату – получение
Следовательно, неверно, что. нового суждения путём превращения
Следовательно, неверно, что. Суть. Не исходного суждения с последующим
суть. обращением превращённого суждения.
15Непосредственные умозаключения Частноутвердительное суждение путём
Умозаключение контрадикторности. Все S. P. противопоставления предикату преобразовано
Все S. P. Некоторые S. P. Некоторые S. P. быть не может, так как превращается в
Некоторые S. P. Некоторые S. P. Все S. P. частноотрицательное суждение, которое
Все S. P. Поскольку контрадикторные обращению не подлежит. Превращение.
суждения не могут быть оба ни истинными, Обращение. 3-й модус. Не суть.
ни ложными, из истинности одного следует Следовательно, Суть. Следовательно, Суть.
ложность другого, и наоборот: из ложности 28Непосредственные умозаключения
одного – истинность другого. 1-й модус. Умозаключение противопоставления
2-й модус. 3-й модус. 4-й модус. Суть. Не предикату. Все S. P. Ни одно S. P. Ни одно
суть. Следовательно, неверно, что. не-P. S. Некоторые не-P. S. Некоторые S.
Следовательно, неверно, что. Суть. Не P. Некоторые не-P. S. Противопоставление
суть. Суть. Не суть. Следовательно, предикату – получение нового суждения
неверно, что. Следовательно, неверно, что. путём превращения исходного суждения с
Не суть. Суть. последующим обращением превращённого
16Непосредственные умозаключения суждения. 1-й модус. 2-й модус.
Умозаключение контрадикторности. Все S. P. Частноутвердительное суждение путём
Все S. P. Некоторые S. P. Некоторые S. P. противопоставления предикату преобразовано
Некоторые S. P. Некоторые S. P. Все S. P. быть не может. 3-й модус. Суть. Не есть.
Все S. P. Поскольку контрадикторные Следовательно, Следовательно, Суть. Не
суждения не могут быть оба ни истинными, есть. Не суть. Следовательно, Суть.
ни ложными, из истинности одного следует 29Вопросы?
ложность другого, и наоборот: из ложности
Логика.ppt
http://900igr.net/kartinka/algebra/logika-213728.html
cсылка на страницу

Логика

другие презентации на тему «Логика»

«Логика» - Синтаксисом называется совокупность правил построения объектов языка (обычно называемых формулами). Такие точные языки имеют две стороны: синтаксис и семантику. Математическая логика. Отношение исчислений к семантике выражается понятиями семантической пригодности и семантической полноты исчисления. Такие правила вывода принято называть аксиомами.

«Законы логики» - Получим: (AvB)&Bv(AvB)&C = A&BvB&BvA&CvB&C. Задание 1. Упростить выражение: _ X ? Y V X ? Y. Воспользуемся распределительным законом: Х ? ( Y V Z ) = X ? Y V X ? Z (или вынесем общий множитель за скобку). Получится: ¬((AvB)? ¬(BvC))= (AvB)& ¬ (¬(BvC)). МОРГАН Огастес де (Morgan Augustus de).

«Задачи на логику» - Выполнила: Н.Н.Севрюкова, учитель информатики с.Богучаны, Красноярского края. Задача 5 (Демо 2010). Решение логических задач (Законы математической логики). Задача 2 (2009, В-135). Задача 4 (2009, В-133). Задача 1 (2008). Требуется определить, кто есть кто. Условие задачи: В одном доме живут Воронов, Павлов, Журавлёв и Синицын.

«Логические основы компьютера» - Логика. Логическое умножение (конъюнкция). Логические законы и правила преобразования. Логические основы устройства компьютера. Компьютер. Логическое сложение (дизъюнкция). Высказывание может быть либо истинным, либо ложным. 2 х 2 =4 - математический язык. Оперативная память. Для чего необходим и где используется триггер?

«Логика в школе» - Немного логики. Медведева Ольга. Условие Какая из дробей больше: 29/73 или 291/731? Можно ли так жить? Условие Представьте следующие рациональные числа в виде десятичных дробей: а)1/7 ; б)2/7. Укажите наибольшее возможное значение такой дроби.

«Логика высказываний» - Определите значение высказывания (истина или ложь): 1)Без труда не выловишь и рыбку из пруда. 2)Как хорошо быть генералом! 3)Революция может быть мирной и немирной. Данная фраза является парадоксаль-ным утверждением. Если высказывание А истинное, то запишем «А=1», если ложное, то «А=0». Идею о возможности математизации логики высказал ещё в ХVII в. немецкий логик Готфрид Вильгельм Лейбниц.

Логика

15 презентаций о логике
Урок

Алгебра

35 тем
Картинки