2.Язык и логика.Имя.

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

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

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

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

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

Имена делятся на:

1. простые

2) сложные или описательные

3 ) собственные, т. е. имена отдельных людей, предметов или событий

4) общие

Каждое имя имеет значение или смысл. Значением или смыслом имени является способ, которым имя обозначает предмет, т. е. информация о предмете, содержащаяся в имени.

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

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

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

При логическом анализе язык рассматривается как знаковая система.

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

Можно выделить знаки следующего вида:

1) знаки-индексы;

2) знаки-образцы;

3) знаки-символы.

Логика исследует знаки последнего вида. Знаки-символыне связаны причинно и не сходны с представляемыми ими объектами.