Логические союзы и таблицы истинности.

Ступени познания

1. Чувственный уровень.

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

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

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

2. Рациональный уровень.

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

Суждение – форма мышления в ктр что либо утверждается или отрицается о предметах, их св-вах.

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

Особенности рац позн.

1. В отличии от чувственного познания ктр является конкретным и

непосредственным рациональное несет обобщенный и опоследовательный хар-р.

2. Рациональное познание или мышление безусловным образом связано с языком.

3. Рациональное познание обладает активным познанием

Приемы и методы познания.

1. Анализ (греч. — разложение) — разделение объекта на составные части с целью их самостоятельного изучения.

2. Синтез (греч. — соединение) — объединение — ре­альное или мысленное — различных сторон, частей пред­мета в единое целое. Это должно быть органическое целое (а не агрегат, механическое целое), т. е. единство много­образного. Результатом синтеза является со­вершенно новое образование, свойства которого не есть толь­ко внешнее соединение свойств компонентов, но также и результат их внутренней взаимосвязи и взаимозависимости.

3. Абстрагирование. Абстракция (лат. — отвлечение) — а) сторона, момент, часть целого, фрагмент действи­тельности, нечто неразвитое, одностороннее, фрагментар­ное (абстрактное); б) процесс мысленного отвлечения от ряда свойств и отношений изучаемого явления с одновре­менным выделением интересующих познающего субъекта в данный момент свойств (абстрагирование); в) результат абстрагирующей деятельности мышления (абстракция в уз­ком смысле). Существуют различные виды абстракций:

4. Идеализация чаще всего рассматривается как специ­фический вид абстрагирования. Идеализация — это мыс­ленное конструирование понятий об объектах, не существу­ющих и не осуществимых в действительности, но таких, для которых имеются прообразы в реальном мире.

5. Обобщение — процесс установления общих свойств и признаков предметов. Тесно связано с абстрагированием. Гносеологической основой обобщения являются категории общего и единичного.

6. Индукция (лат. — наведение) — логический прием исследования, связанный с обобщением результатов наблю­дений и экспериментов и движением мысли от единичного к общему. В индукции данные опыта «наводят» на общее, индуцируют его. Поскольку опыт всегда бесконечен и не­полон, то индуктивные выводы всегда имеют проблематич­ный (вероятностный) характер.

7. Индуктивные методы установления причинных связей — индукции каноны (правила индуктивного исследования Бэкона— Милля).

а. Метод единственного сходства: если наблюдаемые случаи какого-либо явления имеют общим лишь одно об­стоятельство, то, очевидно (вероятно), оно и есть причина данного явления

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

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

г. Метод сопутствующих изменений', если изменение од­ного обстоятельства всегда вызывает изменение другого, то первое обстоятельство есть причина второго. При этом ос­тальные предшествующие явления остаются неизменными.

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

8. Дедукция (лат. — выведение): а) переход в процессе познания от общего к единичному (частному); выведение единичного из общего; б) процесс логического вывода, т. е. перехода по тем или иным правилам логики от неко­торых данных предложений — посылок к их следствиям (зак­лючениям).

9. Аналогия (греч. — соответствие, сходство) — при выводе по аналогии знание, полученное из рассмотрения какого-либо объекта («модели») переносится на другой, ме­нее изученный и менее доступный для исследования объект. Заключения по аналогии являются правдоподобными: на­пример, когда на основе сходства двух объектов по каким-то одним параметрам делается вывод об их сходстве по дру­гим параметрам.

10. Моделирование. Умозаключения по аналогии, по­нимаемые предельно широко, как перенос информации об одних объектах на другие, составляют гносеологичес­кую основу моделирования — метода исследования объек­тов на их моделях.

11. Системный подход — совокупность общенаучных ме­тодологических принципов (требований), в основе которых лежит рассмотрение объектов как систем. Система (греч. — целое) — общенаучное понятие, выра­жающее совокупность элементов, находящихся в отношениях и связях друг с другом и со средой, образующих определен­ную целостность, единство.

12. Вероятностные (статистические) методы — осно­ваны на учете действия множества случайных факторов, ко­торые характеризуются устойчивой частотой. Это и позво­ляет вскрыть необходимость, которая «пробивается» через совокупное действие множества случайностей. Вероятность — понятие, характеризующее количествен­ную меру (степень) возможности появления некоторого случайного события при определенных условиях, которые могут многократно повторяться. Одна из основных задач теории вероятностей состоит в выяснении закономернос­тей, возникающих при взаимодействии большого числа слу­чайных факторов.

Понятие и виды языков

Язык – это знаковая система, выполняющая функцию формирования, хранения и передачи информации в процессе познания действительности и общения между людьми. Комплексное изучение языка осуществляется общей теорией знаковых систем – семиотикой.

По своему происхождению языки бывают естественные и искусственные.

- Естественные языки – это исторически сложившиеся в обществе звуковые (речь) и графические (письмо) знаковые системы. Они являются носителями многовековой культуры народов.

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

Язык логики высказываний.

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

Язык – средство повседневного общ-я людей, средство общения в научной и практической деятельности.

Структура языка.

I) Имя - слово как словосочетание, обозначающий какой либо предмет, а также св-ва и отношения действительности. Имена бывают единичные и общие. Имя имеет 2 хар-ки: Денотат – значение имени ктр этим именем называется. Концепт – смысл имени или способ, при помощи ктр мы назыв какой либо предмет.

II) Предикторы – выражения, отряжающие св –ва языка. В зависимости от того к какому числу имен относятся, бывают либо одноместные, либо многом.

III) Функциональные знаки. Алфавит формальной логики

1.Единые имена, логическая константа

2.Общие имена логические переменные

3.Предикторы.

IV) Предложения – высказывания, утверждающие или отрицающие существование предмета их св-в и отношений.

V) Кванторы.

VI) Лог союзы: конъюнкция (соед. «и»); дизъюнкция («или») строгая и слабая; импликация (следование) «если», «то».

VII) Отрицание «не» (инверсия)

Логические союзы и таблицы истинности.

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

Таблица истинности — это таблица, описывающая логическую функцию.

Под «логической функцией» в данном случае понимается функция, у которой значения переменных (параметров функции) и значение самой функции выражают логическую истинность. Например, в двузначной логике они могут принимать значения «истина» либо «ложь» ( Логические союзы и таблицы истинности. - student2.ru либо Логические союзы и таблицы истинности. - student2.ru , Логические союзы и таблицы истинности. - student2.ru либо Логические союзы и таблицы истинности. - student2.ru ).

Таблицы истинности для основных двоичных логических функций.

Конъюнкция
Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru
Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru
Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru
Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru
Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru
Дизъюнкция
Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru
Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru
Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru
Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru
Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru
Сложение по модулю 2
Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru
Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru
Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru
Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru
Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru
Импликация
Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru
Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru
Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru
Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru
Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru
  Эквиваленция
Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru
Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru
Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru
Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru
Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru
Штрих Шеффера
Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru
Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru
Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru
Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru
Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru
Стрелка Пирса
Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru
Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru
Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru
Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru
Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru
Отрицание
Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru
Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru
Логические союзы и таблицы истинности. - student2.ru Логические союзы и таблицы истинности. - student2.ru

Наши рекомендации