10. Назовите основные этапы развития формальной логики
Формальная логика в своем развитии прошла два основных этапа. Основанием деления на эти этапы служит различие применяемых в логике средств и методов исследования.
Начало первого этапа связано с работами древнегреческого философа и ученого Аристотеля, в которых впервые дано систематическое изложение логики. Логику Аристотеля и всю доматематическую логику обычно называют «традиционной» формальной логикой. Традиционная формальная логика включала и включает такие разделы, как понятие, суждение, умозаключение (в том числе и индуктивное), законы логики, доказательство и опровержение, гипотеза. Аристотель видел в логике орудие (или метод) исследования. Основным содержанием аристотелевой логики является теория дедукции. Второй этап - это появление математической (или символической) логики. Немецкий философ Г. В. Лейбниц (1646—1716) считается основоположником математической логики.
Начиная с Лейбница в логике используется в качестве метода исследования метод формализации, который традиционной логикой относился только к методам математического исследования, а Лейбниц показал, что он имеет общенаучный характер. Лейбниц пытался построить универсальный язык, с помощью которого споры между людьми можно было бы разрешать посредством вычисления. Математическая логика изучает логические связи и отношения, лежащие в основе дедуктивного (логического) вывода. При этом в математической логике для выявления структуры вывода строятся различные логические исчисления, прежде всего исчисление высказываний и исчисление предикатов в их различных модификациях.
11. Дайте определение категории «знак».
Знак - это материальный предмет (явление, событие), выступающий в качестве представителя некоторого другого предмета, свойства или отношения и используемый для приобретения, хранения, переработки и передачи сообщений (информации, знаний).
Значение знака (экстенсионал) - предмет, представляемый (репрезентируемый) данным знаком. Смысл знака (интенсионал) — информация о репрезентируемом предмете, которую содержит сам знак или которая связывается с этим знаком в процессе общения или познания.
Знаки подразделяются на языковые и неязыковые. К неязыковым знакам относятся знаки-копии (например, фотографии, отпечатки пальцев, репродукции и др.), знаки-признаки, или знаки-показатели (например, дым - признак огня, повышенная температура тела - признак болезни), знаки-сигналы (например, звонок - знак начала или окончания занятия), знаки-символы (например, дорожные знаки) и другие виды знаков. Существует особая наука — семиотика, которая является общей теорией знаков. Одна из важнейших функции языковых знаков состоит в обозначении ими предметов.
12. Имена, их смысл.
Имя - это слово или словосочетание, обозначающее какой-либо определенный предмет. (Слова «обозначение», «именование», «название» рассматриваются как синонимы.). Предмет: это вещи, свойства, отношения, процессы, явления и т. п. как природы, так и общественной жизни, психической деятельности людей, продуктов их воображения и результатов абстрактного мышления. Итак, имя всегда есть имя некоторого предмета. Хотя предметы изменчивы, текучи, в них сохраняется качественная определенность, которую и обозначает имя данного предмета. Каждое имя имеет значение и смысл. Значением имени является обозначаемый им предмет.
Смысл (или концепт) имени - это способ, каким имя обозначает предмет, т. е. информация о предмете, которая содержится в имени. Поясним это на примерах. Один и тот же предмет может иметь множество разных имен (синонимов). Так, например, знаковые выражения «4», «2+2», «9—5» являются именами одного и того же предмета: числа 4. Имена делятся на: 1) простые («книга», «снегирь», «опера») и сложные, или описательные («самый большой водопад в Канаде и США», «планета Солнечной системы»). В простом имени нет частей, имеющих самостоятельный смысл, в сложном они имеются. 2) собственные, т. е. имена отдельных людей, предметов, событий («П. И. Чайковский», «Обь»), и общие (названия класса однородных предметов), например «дом», «действующий вулкан».