Скачать реферат по логике выражение логических постоянных в

Скачать реферат по логике выражение логических постоянных в

Читать реферат по логике: «Логика, предмет, понятия» | скачать бесплатно, рефераты, отзывы
О проекте   Статистика   Упоминания   В избранное
Войти   |
Регистрация
Главное менюГлавная
Добавить работу
Новинки
Рубрикатор
Всего работ: 753153Объем базы: 821.2 гигабайтЗа неделю + 2 работы
Читать реферат по логике: «Логика, предмет, понятия»
(Назад) (Cкачать работу)Функция «чтения» служит для ознакомления с работой. Разметка, таблицы и картинки документа могут отображаться неверно или не в полном объёме! Тема работы: 1. Предмет логики. Что такое логическая форма мысли? 2. Термины простого категорического суждения и их распределенность. 3. Модусы простого категорического силлогизма. СОДЕРЖАНИЕ Введение……………………………………………………… 3 I. Предмет логики. Что такое логическая форма мысли?.………………………………………………………. 3 II. Термины простого категорического суждения и их распределенность …………………………………………..2.1. Суждение как форма мышления2.2. Состав простого суждения2.3. Классификация простых суждений2.4. Распределенность терминов в суждении 4 III. Модусы простого категорического силлогизма..…………3.1. Структура простого категорического силлогизма3.2. Общие правила простого категорического силлогизма3.3. Фигуры и модусы простого категорического силлогизма 9 IV. Используемая литература…………………………………. 15 V. Задачи ………….…………………………………………… 16 ВВЕДЕНИЕ Формальная логика – это наука о законах и формах правильного мышления. Термин «логика» имеет свое происхождение от греческого «logos», что означает «мысль», «слово», «разум», «закон». Логика исследует логические формы, отвлекаясь от их конкретного содержания, анализирует мышление со стороны его формальной правильности. Формальная правильность означает соответствие мышления (рассуждения, доказательства) известным фиксированным правилам, соблюдение которых обеспечивает правильность перехода от одних высказываний к другим. I. Предмет логики. Что такое логическая форма мысли? Предметом логики является выводное знание, т. е. знание, полученное из ранее проверенных истин в соответствии с определенными законами. Логику не интересует в каждом отдельном случае истинная характеристика исходного знания. Ее задача заключается в том, чтобы определить, следует ли вывод из определенных посылок с необходимостью либо лишь вероятно. Другой задачей является формализация и систематизация правильных способов рассуждений. Формальная логика сегодня представлена двумя ветвями – традиционной и математической (символической) логикой. Традиционная логика – это первая ступень логики выводного знания. Она изучает общечеловеческие формы мысли (понятия, суждения), формы связи мыслей в рассуждении (умозаключения), зафиксированные в системе формально-логических законов: тождества, противоречия, исключенного третьего и достаточного основания. Математическая логика – вторая после традиционной логики ступень в развитии формальной логики, применяющая математические методы и специальный аппарат символов и исследующая мышление с помощью исчислений (формализованных языков). Большая, чем в традиционной логике, степень абстрагирования и обобщения позволяет современной символической логике познавать новые закономерности мышления, возникающие при решении сложных логических конструкций в математике, кибернетике, при проектировании и в работе электронно-вычислительных машин и управляющих устройств. Понятие логической формы. Логическая форма – это структура мысли или способ связи элементов ее содержания. Логическая форма выражается посредством логических переменных и логических констант. В качестве логической переменной может выступать любая буква латинского алфавита: A, B, C, p, q. Константы, или логические постоянные, выступают способом связи логических переменных и выражаются словами: «все», «некоторые», «суть», «и», «или», «либо, либо», «если…, то» и т. д. Для обозначения логических констант употребляются символы, что позволяет достичь большей компактности и строгости изложения: – квантор общности «для всякого x верно, что…».  – квантор существования – «существуют x». – логический союз конъюнкция, выражается посредством грамматических союзов «и», «да», «но». – логический союз дизъюнкция в значении грамматического союза «или…или». – логический союз импликация, выражается словами «если…, то…».II. Термины простого категорического суждения и их распределенность 2.1. Суждение как форма мышления Суждение можно определить как форму мысли, содержащую описание некоторой ситуации и утверждение или отрицание наличия этой ситуации в действительности, в связи с чем, суждение определяют обычно как утверждение или отрицание чего-либо о чем-либо. Впрочем, отрицание наличия некоторой ситуации в действительности есть утверждение ее отсутствия. Поэтому можно сказать, что суждение всегда есть некоторое утверждение, а именно утверждение о наличии или отсутствии некоторой ситуации в действительности. Таким образом, именно наличие утверждения или отрицания описываемой ситуации отличает суждение от понятия. Характерной особенностью суждения с логической точки зрения является то, что оно – при логически правильном его построении – всегда истинно или ложно. И связано это как раз с наличием в суждении утверждения или отрицания чего-либо. Понятие, которое в отличие от суждения содержит только описание предметов и ситуаций с целью их мысленного выделения, не имеет истинностных характеристик. Суждение следует отличать и от предложения. Звуковая оболочка суждения – предложение. Суждение всегда является предложением, но не наоборот. Суждение выражается в повествовательном предложении, в котором утверждается, отрицается или сообщается что-либо. Таким образом, вопросительное, побудительное и повелительное предложения суждениями не являются. Структуры предложения и суждения не совпадают. Грамматический строй одного и того же предложения различается в разных языках, тогда как логический строй суждения всегда одинаков у всех народов. Следует отметить также отношения между суждением и высказыванием. Высказывание – это термин математической логики, которым обозначается предложение естественного или искусственного языка, рассматриваемое с точки зрения его истинности, ложности, действительности, необходимости и возможности. Суждение является содержанием любого высказывания. Такие предложения, как «число n является простым», невозможно считать высказыванием, так как о нем нельзя сказать, является ли оно истинным или ложным. В зависимости от того, какое содержание будет иметь переменная «n», можно установить его логическое значение. Подобные выражения называются пропозициональными переменными. Высказывание обозначается одной какой-либо буквой латинского алфавита. Оно рассматривается как неразложимая единица. Это значит, что в нем не разглядывается никакая структурная единица в качестве его части. Такое высказывание называется атомарным (элементарным) и соответствует простому суждению. Из двух и более атомарных высказываний посредством логических операторов (связок) образуется сложное или молекулярное высказывание. В отличие от высказывания суждение представляет собой конкретное единство субъекта и объекта, связанных по смыслу. Примеры суждений и высказываний: Простое высказывание – А; простое суждение – «S есть (не есть) P». Сложное высказывание – AB; сложное суждение – «если S1 есть P1, то S2 есть P2». 2.2. Состав простого суждения Простое суждение есть утверждение о наличии или отсутствии каких-либо признаков у какого-нибудь отдельного предмета, у части или у всех предметов некоторого класса. Структура простого суждения содержит: Во-первых, один или несколько субъектов суждения или логических подлежащих – это части, представляющие предметы, о которых нечто в суждении утверждается или отрицается. Во-вторых, предикат суждения или логическое сказуемое – это часть суждения, выражает то, что утверждается или отрицается о предметах, которые представляют субъекты. Вместе субъект и предикат называются терминами суждения и обозначаются соответственно латинскими символами S и P. Кроме субъектов и предиката суждение содержит связку, которая, как правило,123 . . . последняя »Похожие работы Тема: Логика как предметПредмет/Тип: Логика (Реферат) Тема: Математическая логика: предмет, структура и основные принципы операцийПредмет/Тип: Философия (Реферат) Тема: Логика высказываний. Логика предикатов. Реляционная логикаПредмет/Тип: Математика (Курсовая работа (т)) Тема: Основные понятия, предмет культурологииПредмет/Тип: Культурология (Реферат) Тема: Основные понятия, предмет культурологииПредмет/Тип: Культурология (Реферат)

Скачать реферат по логике выражение логических постоянных в


Рефераты
Дипломные работы
Курсовые работы
Контрольные работы
Практические задания
Сочинения
Доклады
Защитная речь
Ответы на вопросы
Отчеты по практике
Бизнес-планы
Диссертации
Поиск информации
Резюме / рецензии
Эссе
Книги / Учебники
Учебные пособия
Методички
Лекции
Статьи
Другое
2014-2017 © «РефератКо»электронная библиотека студента. Банк рефератов, все рефераты скачать бесплатно и без регистрации.
«РефератКо» — электронная библиотека учебных, творческих и аналитических работ, банк рефератов. Скачать реферат, диплом, курсовые работы бесплатно, лекции, методички, резюме, сочинения, учебники и множество других учебных и научных работ. Бесплатная работа, скачать без регистрации. Скачать реферат бесплатно, скачать реферат на тему

Скачать реферат по логике выражение логических постоянных в


Рефераты
Дипломные работы
Курсовые работы
Контрольные работы
Практические задания
Сочинения
Доклады
Защитная речь
Ответы на вопросы
Отчеты по практике
Бизнес-планы
Диссертации
Поиск информации
Резюме / рецензии
Эссе
Книги / Учебники
Учебные пособия
Методички
Лекции
Статьи
Другое
2014-2017 © «РефератКо»электронная библиотека студента. Банк рефератов, все рефераты скачать бесплатно и без регистрации.
«РефератКо» — электронная библиотека учебных, творческих и аналитических работ, банк рефератов. Скачать реферат, диплом, курсовые работы бесплатно, лекции, методички, резюме, сочинения, учебники и множество других учебных и научных работ. Бесплатная работа, скачать без регистрации. Скачать реферат бесплатно, скачать реферат на тему