рефераты конспекты курсовые дипломные лекции шпоры

Реферат Курсовая Конспект

Язык логики

Язык логики - раздел Философия, ЛОГИКА Мышление - Функция Головного Мозга Непосредственно Связанная С Языком....

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

Язык –система знаков, фиксирующих и выражающих определенную информацию (мысли).

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

Существует несколько типов знаков.

1. Знаки – индексы. Данные знаки связаны с представляемыми ими объектами как следствия с причинами. Например, дым – огонь…

2. Знаки – образы. Эти знаки сходны с представляемыми ими объектами. Например, карты, фотографии, отпечатки пальцев…

3. Знаки – символы. Этот тип знаков не имеет никаких сходств с представляемыми им объектами. Например, азбука Морзе, ноты…

Общая наука о знаковых системах называется семиотикой,она рассматривает язык как систему знаков, связанных четко фиксируемыми отношениями.

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

Язык логики относится к искусственным языкам. Общепринятый в современной логике язык называется языком логики предикатов.

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

 

I.ИМЯ – это слово или словосочетание, обозначающее какой-либо предмет. Имя является знаком, следовательно, оно имеет обязательные для всех знаков характеристики: предметное и смысловое значение.

Предметное значение имени (ЗНАЧЕНИЕ) – это предмет, который обозначается именем.

Смысловое значение (СМЫСЛ) – информация о предмете.

Один и тот же предмет может иметь множество имен. Например, «4»; «2+2»; «5-1»…

По типу смыслов имена бывают двух видов:

а) имена, имеющие собственный смысл, как правило, это описательные имена. Например, Естественный спутник Земли.

б) имена, не имеющие собственного смысла. В данном случае именам можно придать смысл. Например, Луна.

Типы имен: Имена предметов; имена признаков; имена предложений.

1. Имена предметов бывают:

а) простые (государство) и сложные (спутник Земли);

б) собственные (П. И. Чайковский);

в) общие (название класса однородных предметов, например, карандаш).

2. Имена признаков (качеств, свойств) называются ПРЕДИКАТОРАМИ. В предложении они обычно выполняют роль сказуемого. Число имен предметов, к которым относится предикатор, называется МЕСТНОСТЬЮ:

а) Одноместные предикаторы выражают свойства, присущие отдельным предметам. Например, Небо синее.

б) Многоместные предикаторы выражают отношения между двумя и более предметами. Например, Иван выше Александра (двухместный предикатор). Иван дарит цветы Насте (трехместный предикатор).

 

II. ПРЕДЛОЖЕНИЕ – языковое выражение, являющееся ложным или истинным. Например, На севере зимы морозные.

 

III. ФУНКТОР– языковое выражение, которое не является ни именем, ни высказыванием и служит для образования новых имен или высказываний. Например, “есть” Ньютон - физик.

 

Алфавит языка логики предикатов

1. А, B, C, D… - предметные (индивидуальные) постоянные, или константы. Символы для единичных (собственных или описательных) имен предметов.

2. x, y, z… - предметные переменные. Символы общих имен предметов, принимающие различные значения в той или иной области.

3. Pn, Qn, Rn, Sn… - предикатные переменные. Символы для предикатов, индексы над которыми выражают их местность.

4. p, q, r, s… - пропозициональные переменные. Символы для повествовательных предложений.

5. Логические символы.

а) кванторы: " - общности

$ - существования

б) связки:

Ù - конъюнкция (и)

Ú - нестрогая дизъюнкция (или)

Ú - строгая дизъюнкция (или)

® (É) – импликация (если…, то…)

º(Û) – эквиваленция (если и только если…; тогда и только тогда)

Ø (ù) – отрицание (неверно, что…; не)

  1. Технические знаки языка.

( ) - скобки.

, - запятая.

 

Упражнение

– Конец работы –

Эта тема принадлежит разделу:

ЛОГИКА

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

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

Что будем делать с полученным материалом:

Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:

Все темы данного раздела:

ПРЕДМЕТ И ЗНАЧЕНИЕ ЛОГИКИ
1.1. Этимологическое знкачение термина «логика» «Логика» от древнегреческого «logos» – слово, разум, мысль. В настоящее время данный термин употребляется в нескольких знач

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

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

Логическая форма и логический закон
Говоря о законах мышления необходимо различать логикуформальную и диалектическую. Формальная логика –наука о формах и законах правильного мышления. Именно формальная логик

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

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

Единичные и общие понятия
Единичные понятия – это понятия, в которых мыслится лишь один предмет (явление, событие). Например, город Сыктывкар, Сыктывкарский государственный университет, Самая большая река в мире и т.

Положительные и отрицательные понятия
Положительное понятие – это понятие, в котором отражаются признаки, присущие предмету (например, «долгожитель», «говорящий по-английски»). Отрицательное понятие – это понятие, в котором ук

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

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

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

Определение понятий
Определение (или дефиниция) - это логическая операция, раскрывающая содержание понятия. Например, «Дерево – многолетнее растение с твердым стволом и отходящими от него ветвя

Деление понятий
Деление - логическая операция, раскрывающая объем понятия. Структура деления. · Делимое понятие - родовое понятие, объем которого нужно раскрыть.

Суждение и предложение
Суждение – это форма мысли (правильно оформленная мысль), в которой что-либо утверждается или отрицается о свойстве предметов, отношений между предметами, или существовании предмет

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

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

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

Условия истинности эквиваленции.
p q p º q И И И И Л Л

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

УМОЗАКЛЮЧЕНИЕ
Умозаключение –это форма мышления, в которой из исходных суждений (посылок) при соблюдении правил вывода с необходимостью или вероятностью получается новое истинное суждение (заклю

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

Из частноутвердительного суждения вывод путем противопоставления предикату не следует.
Общая схема противопоставления предикату: S есть Р не-Р не есть S Примечание. При противопоставлении предикату нужно помнить, что сначала суждение нуж

Простой категорический силлогизм
Простой категорический силлогизм (ПКС) – это дедуктивное умозаключе­ние, в котором из двух истинных суждений (посылок), соединенных средним термином, на основании правил вывода с д

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

ИНДУКТИВНЫЕ УМОЗАКЛЮЧЕНИЯ
  Индуктивными называются умозаключения, в которых ход мысли направлен от знаний меньшей степени общности к знанию большей степени общности, от частных положений к об

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

Неполная индукция делится на перечислительную, индукцию через анализ и отбор фактов и научную.
· Перечислительная (или популярная) индукция – это умозаключение, в котором заключение делается на основании повторяемости одного и того же признака у ряда предметов и при отсутств

МЕТОД СХОДСТВА
Если наблюдаемые явления сходны только в одном обстоятельстве, то это обстоятельство, вероятно, и есть причина данного явления Схема: При условиях ABC возникает явле

МЕТОД РАЗЛИЧИЯ
Если два случая, при которых явление наступает и нет, различаются только одним обстоятельством, то вероятно, это обстоятельство и есть причина данного явления. Схема:

МЕТОД СОПУТСТВУЮЩИХ ИЗМЕНЕНИЙ
Если при изменении предшествующего обстоятельства изменяется и явление, а остальные предшествующие обстоятельства не изменяются, то вероятно, это обстоятельство и есть причина данного явления.

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

Требования к элементам доказательства
  1. Требования к тезису. а) Тезис должен нуждаться в доказательстве. б) Тезис должен быть четки и ясным. в) Тезис должен оставаться одним и тем же н

Разновидности споров
Эристика выделяет несколько разновидностей споров по разным основаниям. 1. По цели, которую ставят перед собой участники спора: а) высшей разновидностью спора считается спо

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

Самостоятельно продолжить изучение логики)
  1. Брюшкин В.И. Практический курс логики для гуманитариев. – М., 1996. 2. Гетманова А.Д., Никифоров А.Л. и др. Логика. 10-11 классы. – М., 1995. 3. Ивин А.А. Искус

Хотите получать на электронную почту самые свежие новости?
Education Insider Sample
Подпишитесь на Нашу рассылку
Наша политика приватности обеспечивает 100% безопасность и анонимность Ваших E-Mail
Реклама
Соответствующий теме материал
  • Похожее
  • Популярное
  • Облако тегов
  • Здесь
  • Временно
  • Пусто
Теги