Студопедия  
Главная страница | Контакты | Случайная страница

АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатика
ИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханика
ОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторика
СоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансы
ХимияЧерчениеЭкологияЭкономикаЭлектроника

ЯЗЫК И ЛОГИКА.ИМЯ.

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

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

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

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

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

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

1) простые

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

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

4) общие

 

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

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

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

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

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

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

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

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

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

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

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

3. СЕМАНТИЧЕСКИЕ КАТЕГОРИИ ЛОГИКИ.

Логическая структура –способ связи составных частей мысли.

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

 

Семантические категории:

 

1.имя – слово, словосочетание или какая-либо другая конструкция, указывающая на предмет. Предметное значение.

 

2.высказывание – мысль, выраженная в утвердительной или отрицательной форме, некая конструкция, в которой что-либо утверждается. Значение истинности – главная характеристика. Три высказывания: истина, ложь, неопределенность.

 

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

Союзы:

1.логические соединения – «конъюнкция ^», «и, а, но, да»,

2.разделение – «дизъюнкция»

3.условие – импликация –

4.равенство – эквиваленция –

5.отрицание –

 

квантор – выражение, выделяющее характер суждения.

Квантор общности (все, каждый, любой, ни один).

Квантор существования (некоторые, многие, существует)

 

Определение правильно построенной формулы:

а) пропозициональный символ является ППФ;

б) если А и В — ППФ, то А, (В Ù С), (В Ú С), (А É В), (А º B) — ППФ;

в) ничто иное не является ППФ.


Дата добавления: 2014-12-18; просмотров: 19 | Нарушение авторских прав




lektsii.net - Лекции.Нет - 2014-2017 год. (0.008 сек.)