Каждое имя имеет значение или смысл. Значением или смыслом имени является способ, которым имя обозначает предмет, т. е. информация о предмете, содержащаяся в имени.
В логике различают выражения, которые являются именными функциями, и выражения, являющиеся пропозициональными функциями.
Именная функция – это выражение, которое при замене переменных постоянными превращается в обозначение предмета. Возьмем именную функцию «отец y». Подставим вместо «y» имя «писатель Жюль Верн», получим «отец писателя Жюля Верна» – имя предмета.
Пропозициональной функцией называется выражение, содержащее переменную и превращающееся в истинное или ложное высказывание при постановке вместо переменной имени предмета из определенной системной области.
Понятие пропозициональной функции широко используется в математике. Все уравнения с одним неизвестным представляют собой одноместные пропозициональные функции.
При логическом анализе язык рассматривается как знаковая система.
|
|
Знак – это материальный объект, используемый в процессе познания или общения в качестве представителя какого-либо объекта.
Можно выделить знаки следующего вида:
1) знаки-индексы;
2) знаки-образцы;
Знаки-символы.
Логика исследует знаки последнего вида. Знаки-символы не связаны причинно и не сходны с представляемыми ими объектами.
Понятие как форма мышления Общая характеристика понятия
Понятие — это форма мышления, отражающая предметы в их существенных признаках.
Понятие как форма мышления отражает предметы и их совокупности в абстрактной, обобщенной форме на основании их существенных признаков.
Понятие — одна из основных форм научного познания. Формируя понятия, наука отражает в них изучаемые ею предметы, явления, процессы.
Содержанием понятия называется совокупность существенных признаков предмета, которая мыслится в данном понятии.
Множество предметов, которое мыслится в понятии, называется объемом понятия. Объем понятия «преступление» охватывает все преступления, поскольку они имеют общие существенные признаки.