Общая характеристика имени. Принципы теории именования

Единичные и общие имена . Предметными значениями единичных имен являются отдельные предметы («Волга», «Сократ», «естественный спутник земли», «самая высокая гора в мире»), т.е. единичное имя обозначает один предмет. Общее имя является знаком произвольного, любого предмета из некоторого класса предметов (является общим для предметов определенного класса) и в силу этого как знак представляет в нашем мышлении именно данный класс, который и считается предметным значением общего имени («река», «человек», «небесное тело»).

В классе общих имен выделяют универсальные , т.е. такие общие имена, объемом которых является весь универсум рассуждения.

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

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

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

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

Пример . Так, по отношению к объективной реальности имена «человек», «двигатель внутреннего сгорания» будут действительными, а имена «русалка», «вечный двигатель» - мнимыми.

2.5 Основные принципы употребления имен (знаков)

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

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

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

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

Пример . ««Материя» - философская категория». Здесь значением имени «материя» является слово, т.е. знак («категория»).

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

Ф(а ), а = b ,

где а =b означает, что а и b являются именами одного и того же предмета;

Ф(а а ;

Ф(b ) – высказывание, в составе которого встречается имя b .

Пример . Ф(а ) – «Луна – остывшее небесное тело»; а – «Луна»; b – «естественный спутник Земли»; Ф(b ) – «естественный спутник Земли – остывшее небесное тело».

Логическая теория имен

Основные характеристики имени. Значение и смысл имени. Содержание имени (основное и производное) и его объем. Закон обратного отношения между содержанием и объемом имени.

Виды имен: единичные, общие (в том числе универсальные) и нулевые (пустые). Имена простые, сложные и описательные. Имена собирательные и несобирательные. Конкретные и абстрактные. Безотносительные и соотносительные. Регистрирующие и нерегистрирующие. Четкие и нечеткие.

Отношение между объемами имен. Обобщение и ограничение. Роль операции обобщения в формировании знаний. Роль операции ограничений в конкретизации знаний.

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

Деление. Сущность, цель и структура деления. Классификация и ее виды; типология. Значение деления, классификации и периодизации в научном познании и практической деятельности.

РАЗДЕЛ III . Логическая теория высказываний

Логическая теория высказываний

Общая характеристика высказывания. Логическое значение высказывания. Простое и сложное высказывания. Понятие о модальном высказывание.

Язык логики высказываний. Формализованный язык. Язык-объект и метаязык.

Простое высказывание и его структура. Виды простых высказываний/ Категорические высказывания, их деление по качеству и количеству. Распределенность терминов в категорических высказываниях.

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

Понятие закона логики высказываний. Элементарные законы логики высказываний: тождества, противоречия, исключенного третьего, двойного отрицания. Сложные законы логики высказываний: modus ponens, modus tollens, контрапозиции, условного силлогизма и др. Проблема разрешимости и способы ее решения (табличный и сокращенный).

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

РАЗДЕЛ IV. Классическая дедуктивная логика

Классическая дедуктивная логика

Понятие дедуктивного вывода. Типы дедуктивных выводов: выводы, основанные на логических связях между высказываниями (выводы логики высказываний); выводы, зависящие от субъективно-предикатной структуры высказываний.

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

Выводы логики высказываний. Некоторые традиционные формы умозаключений и соответствующие им правила выводов логики высказываний. Чисто условное умозаключение: выводы по транзитивности импликации. Условно-категорические умозаключение: утверждающий модус (modus ponens), отрицающий модус (modus tollens). Эквивалентно-категорическое умозаключение. Разделительно-категорическое умозаключение: утверждающе-отрицающий и отрицающе-утверждающий модусы.

РАЗДЕЛ V. Логика правдоподобных рассуждений

Недедуктивные выводы

Недедуктивные выводы. Понятие редуктивного вывода. Индуктивные выводы и их виды. Полная и неполная индукция. Научная индукция. Выводы по аналогии. Аналогия свойств и аналогия отношений. Условия, повышающие степень вероятности выводов по аналогии. Аналогия - логическая основа метода моделирования в науке и технике. Аналогия и метафора.

Похожая информация:

1. A) Теория познания - наука, изучающая формы, способы и приемы возникновения и закономерности развития знания, отношение его к действительности, критерии его истинности.
2. B-аланиновые дипептиды: карнозин и анзерин, их биологическая роль. Обмен фенилаланина и тирозина. Фенилкетонурия, алкаптонурия, альбинизм. Обмен триптофана.

Имя (в логике) Имя в логике, выражение языка, обозначающее предмет (собственное, или единичное, имя) или множество (класс) предметов (общее имя); при этом предмет понимается в широком смысле - как всё, что мы можем назвать. Среди собственных имён различают имена отдельных предметов («Пушкин», «автор ⌠Тита Андроника■») и имена классов (например, «человечество» как собственное И. класса всех людей); последние следует отличать от общих имён (например, «человек»): имена классов применимы к классу в целом как к одному предмету, но не к каждому отдельному его элементу, тогда как общие имена приложимы к каждому элементу соответствующего класса, но не к классу в целом. Различают простые, или элементарные, имена, т. е. имена, не состоящие из других имён или иных осмысленных выражений языка, и сложные имена - имена, построенные из осмысленных частей (И. «человечество» - простое, а И. «современное человечество» - сложное). В формализованных языках аналогом собственного имени является константа; собственным именам предметов соответствуют так называемые индивидные константы, собственным именам классов - классовые константы; аналогами общего имени являются переменная и терм. Собственные имена в формализованных языках подразделяются на исходные собственные имена, которым приписываются определённые значения, и (сложные) имена, построенные из исходных (т. е. имена, строение которых отражает тот способ, которым они обозначают предмет).

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

Лит.: Чёрч А., Введение в математическую логику, пер. с англ., М., 1960; Робинсон А., Введение в теорию моделей и метаматематику алгебры, пер. с англ., М., 1967; Карри Х. Б., Основания математической логики, пер. с англ., М., 1969; Нагель Э., Ньюмен Д., Теорема Гёделя, пер. с англ., М., 1970; Tarski A., Logic, semantics, metamathematics, Oxf., 1956; Carnap R., The logical syntax of language, Paterson (N. J.), 1959; Martin R. M., Truth and denotation, a study in semantical theory, L., 1958.

Большая советская энциклопедия. - М.: Советская энциклопедия . 1969-1978 .

Смотреть что такое "Имя (в логике)" в других словарях:

ИМЯ, в логике языковой знак (выражение), называющий индивидуальный предмет (собственное имя) или любой предмет из некоторого класса (общее имя). Предметом имени (его денотатом (см. ДЕНОТАТ)) может быть вещь, свойство, отношение и т. п … Энциклопедический словарь

Выражение языка, которое может использоваться в качестве подлежащего или именной части сказуемого в простом предложении «S есть Р» (или: «... есть...»). Напр., выражения «Гарвей», «Менделеев» и «человек, открывший кровообращение» являются И.,… … Философская энциклопедия

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

Имя - Имя слово, реже сочетание слов, называющее, именующее вещь или человека. Отличительные черты имени как типа слов связаны также с особенностями процесса именования (см. Номинация), приводящего к имени, и с ролью имени в предложении.… … Лингвистический энциклопедический словарь

Имени; мн. имена, имён, именам; ср. 1. Личное название человека, даваемое ему при рождении. Собственное и. Его и. Иван. Назвать по имени. Звать по имени кого л. Дать ребёнку и. Пётр. Полное и. (официальная форма имени). Моё полное и. Надежда, а… … Энциклопедический словарь

I Имя в логике, выражение языка, обозначающее предмет (собственное, или единичное, имя) или множество (класс) предметов (общее имя); при этом предмет понимается в широком смысле как всё, что мы можем назвать. Среди собственных имён… … Большая советская энциклопедия

имя - 1. (грам.) Одна из основных частей речи, наряду с глаголом. Имена обозначают предметы и их постоянные признаки. В связи с этим они делятся на: 1) существительные 2) прилагательные. Особую, лексически замкнутую группу образуют имена числительные,… … Словарь лингвистических терминов Т.В. Жеребило

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

- (от лат. implicatio сплетение, от implico тесно связываю) логическая связка, соответствующая грамматической конструкции «если.., то...», с помощью которой из двух простых высказываний образуется сложное высказывание. В импликативном высказывании… … Философская энциклопедия

А; м. [от лат. denotatis обозначенный] Лингв. Предмет мысли, отражающий предмет или явление объективной действительности и образующий то понятийное содержание, с которым соотносится данная языковая единица. ◁ Денотатный, ая, ое. Денотативный, ая … Энциклопедический словарь

Книги

• F1, или Книга доказательств. Теорема Шекспира как лемма авторства , Пешков Игорь Валентинович , Книга посвящена проблеме авторства произведений Шекспира и проблеме зарождения литературного авторства в целом. И. В. Пешков ставит шекспировский вопрос в рамки строго научной методологии и… Серия: Парадоксы и доказательства Издатель: Рипол-Классик ,
• Колдовской Мир. Трое против Колдовского Мира (комплект из 2 книг) , Нортон А. , Андре Нортон (род. в 1912 г.), настоящее имя - Элис Мэри Нортон - старейшая современная американская писательница - фантаст, автор около 180 романов в этом жанре. «Колдовской Мир» - один из… Серия:

2.4 Виды имен

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

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

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

Пример . По отношению к объективной реальности имена «человек», «двигатель внутреннего сгорания» будут действительными, а имена «русалка», «вечный двигатель» - мнимыми, так как в объективной реальности ни русалок, ни вечного двигателя не существует.

Вопросы для повторения

1. 
   Что такое знак, смысл знака и предметное значение знака?
2. 
   Почему язык является знаковой системой?
3. 
   Какие существуют виды знаков?
4. 
   Что такое семантическая категория? Перечислите основные семантические категории языковых выражений.
5. 
   На какие виды подразделяются имена? Охарактеризуйте их.

Тема 3. Формализованные логические языки

3.1 Язык логики предикатов

Многие науки (математика, физика, химия и др.) используют в своих языках специальные символы (+; ?; 2 2 ; Н 2 О и т.д.). Преимущество любого символического языка заключается в том, что он более краток и, главное, точен, чем естественный язык, на котором мы говорим в повседневной жизни. Логика также имеет свой символический язык, который был создан специально для точного и ясного воспроизведения структур человеческого мышления, и получил название языка логики предикатов (от лат. proedicatum – сказанное).
Исходные символы:
p , q , r , s , p 1 ... – пропозициональные переменные (символы для обозначения целых повествовательных предложений);

a , b , c , d , a 1 ... – предметные константы (символы для обозначения единичных имен);

x , y , z , x 1 ... – предметные переменные (символы для обозначения общих имен);

P , Q , R , S , P 1 ... – предикатные символы (символы для обозначения свойств и отношений);

 () – логическое отрицание («не» или «неверно, что»);

 (&) – конъюнкция («и»);

 – дизъюнкция («или»);

 – строгая дизъюнкция («либо…, либо…»);

 (?) – импликация («если…, то…»);

 () – тождество (эквивалентность) («тогда и только тогда, когда…»);

 – квантор всеобщности («все», «каждый»);

 – квантор существования («некоторые», «существуют»);

Помимо этого в записи используются технические знаки: скобки и запятая.

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

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

Тот факт, что предмету а принадлежит свойство Р , на языке логики предикатов запишется Р (а ), а то, что предмету b принадлежит свойство Q – Q (b ). То, что некоторое свойство Р принадлежит произвольному предмету х из некоторой, выбранной нами области, запишется Р (х ).

Пример 1 . Высказывание «Это дерево высокое» на языке логики предикатов запишется так: Р (а ), где а – «это дерево»; Р – «высокое».

Пример 2 . «Некоторые деревья высокие» на языке логики предикатов запишется формулой хР (х ), где х – «деревья»; Р – «высокие»;  - квантор существования, указывающий на то, что в высказывании речь идет только о некоторых элементах множества «деревья».

То, что между двумя произвольными предметами х и у существует отношение R , запишется R (x ,y ).

Пример 3 . Высказывание «Каждое положительное число больше любого отрицательного» в виде формулы можно представить так: х у R (х ,у ), где х – «положительные числа»; у – «отрицательные числа»; R – отношение «быть больше».

Пример 4 . «Пять больше трех» на языке логики предикатов запишется R (a ,b ), где а – «пять»; b – «три»; R – «быть больше».

Пример 5 . «Москва расположена между Петербургом и Екатеринбургом». В этом высказывании имеет место отношение между тремя предметами «Москва», «Петербург», «Екатеринбург». Формула высказывания будет следующей: R (a ,b ,c ), где a – «Москва»; b – «Петербург»; c – «Екатеринбург»; R – отношение «быть расположенным между».

Пример 6 . Высказывание «Если какое-то тело вторгается в атмосферу Земли, то оно вспыхивает» на языке логики предикатов запишется так:

x (P (x ,a )Q (x )),

Где Р – отношение «вторгается»; Q – «вспыхивает»; а – «атмосфера Земли»; х – «тело».

Формулы Р (а ), Р (х ), R (х ,у ), R (a ,b ,c ) и т.д. называются предикатами . Предикат следует отличать от предикатора. Предикаторы (см. тему 2) являются составными частями предикатов. Разница между ними заключается в том, что если речь идет о характеристиках (свойствах и отношениях, а также характеристиках предметно-функционального типа) без отнесения их к определенным предметам, то они называются предикаторами . Если же мы говорим о предикатах , то подразумеваем характеристики определенных, данных предметов. Таким образом, в отличие от предикаторов, предикаты – это не просто знаки свойств или отношений, а знаки признаков . Например, слово «белый» как знак отвлеченного от предметов свойства является предикатором, а как знак признака предмета «свитер» («белый свитер») или «снег» («белый снег») – предикатом.

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

Пример 7 . Высказывание «Москва расположена между Петербургом и Екатеринбургом» можно записать формулой R (а ), где а – «Москва»; R – реляционное свойство «быть расположенным между Петербургом и Екатеринбургом».

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

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

Пример . «Вы получите положительную оценку по логике тогда и только тогда, когда решите все предлагаемые вам задачи и не будете шуметь на лекциях». Обозначим простые высказывания при помощи пропозициональных переменных: p – «Вы получите положительную оценку по логике»; q – «Вы решите все предлагаемые вам задачи»; r – «Вы будете шуметь на лекциях» (отрицание внесем в формулу соответствующим знаком). Получим:

p q r .

Знаете ли Вы, что такое мысленный эксперимент, gedanken experiment?
Это несуществующая практика, потусторонний опыт, воображение того, чего нет на самом деле. Мысленные эксперименты подобны снам наяву. Они рождают чудовищ. В отличие от физического эксперимента, который является опытной проверкой гипотез, "мысленный эксперимент" фокуснически подменяет экспериментальную проверку желаемыми, не проверенными на практике выводами, манипулируя логикообразными построениями, реально нарушающими саму логику путем использования недоказанных посылок в качестве доказанных, то есть путем подмены. Таким образом, основной задачей заявителей "мысленных экспериментов" является обман слушателя или читателя путем замены настоящего физического эксперимента его "куклой" - фиктивными рассуждениями под честное слово без самой физической проверки.
Заполнение физики воображаемыми, "мысленными экспериментами" привело к возникновению абсурдной сюрреалистической, спутанно-запутанной картины мира. Настоящий исследователь должен отличать такие "фантики" от настоящих ценностей.

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

Это мы видим на примере СТО и ОТО, превратившихся в своеобразный вид религии, управляющей наукой и общественным мнением. Никакое количество фактов, противоречащих им, не может преодолеть формулу Эйнштейна: "Если факт не соответствует теории - измените факт" (В другом варианте " - Факт не соответствует теории? - Тем хуже для факта").

Максимально, на что может претендовать "мысленный эксперимент" - это только на внутреннюю непротиворечивость гипотезы в рамках собственной, часто отнюдь не истинной логики заявителя. Соответсвие практике это не проверяет. Настоящая проверка может состояться только в действительном физическом эксперименте.

Эксперимент на то и эксперимент, что он есть не изощрение мысли, а проверка мысли. Непротиворечивая внутри себя мысль не может сама себя проверить. Это доказано Куртом Гёделем.