4

4(1) Предмет логики.

Логика исследует мышление, как ср-во познания объективного мира, те его формы и з-ны, в кот-х происх-т отражение мира в процессе мышл-я. Логич-я форма мысли – это строение этой мысли, способ связи её составных частей. Стр-ра мысли: S, P, кванторное слово и связка. Логические законы выр-ют опред-ть, непротеворечивость и доказательность высказывания. З-н тождества (в процессе опред-го рассужд-я всякое понятие и сужд-е должны быть тождественны самим себе); з-н непротиворечия (если предмет А обладает определённым св-вом, то в сужд-ях об А люди должны утверждать это св-во, а не отрицать его); з-н исключённого третьего (из 2-х противоречащих сужд-й одно истинно, другое ложно, а третьего не дано); з-н достаточного основания (всякая истинная мысль должна быть достаточно обоснованной).

Если в сужд-и верно отражено то, что имеет место в действит-ти, то оно истинно, в противном случае оно ложно

3(1) История логики.

Формальная логика в своём развитии прошла 2 этапа: 1) традиционная формальная логика (Аристотель). Основное содержание- теория дедукции. Аристотель видел в логике орудие исследования; 2) математическая логика (Г.В. Лейбниц). Здесь в качестве метода исследования исп-ся формализация. Матем-я логика изучает логические связи и отн-я, лежащие в основе дедуктивного (логического) вывода.

5(1) Логические законы.

Логические законы выр-ют опред-ть, непротеворечивость и доказательность высказывания. З-н тождества (в процессе опред-го рассужд-я всякое понятие и сужд-е должны быть тождественны самим себе). Нарушение этого з-на приводит к двусмысленности («Стремись уплатить свой долг, и ты достигнешь двоякой цели, ибо тем самым его исполнишь»- Козьма Прутков); з-н непротиворечия (если предмет А обладает определённым св-вом, то в сужд-ях об А люди должны утверждать это св-во, а не отрицать его). Мысль противоречива, если об одном и том же предмете, в одно и то же время, и в одном и том же отн-и мы нечто утверждаем и отрицаем; з-н исключённого третьего (из 2-х противоречащих сужд-й одно истинно, другое ложно, а третьего не дано) ; з-н достаточного основания (всякая истинная мысль должна быть достаточно обоснованной). Обоснованными должны быть только истинные мысли, ложные же мысли доказать нельзя.

6(1) Логика и язык.

Язык- ср-во повседневного общения людей, ср-во общения в научной и практич-й деят-ти. Язык бывает естественным и искусственным (язык матем-ки, символической логики, программирования). Имя- это языковое выражение, обозначающее предмет. Смысл- способ, каким имя обозначает предмет (инф-я о предмете). Значение- обозначаемый именем предмет или класс предметов.

8(1) Понятие. Виды, способы образов-я.

Понятие- вид абстрактного мышления, в кот-м отраж-ся существ-е признаки одноэлементного класса либо класса однородных предметов. Виды: по объёму- единичные (Москва),общие (автомобиль) и пустые (баба Яга). По содержанию: 1) конкретные (дом) и абстрактные (честность); 2)относительные (дети-родители) и безотносительные (человек); 3)положительные (хар-ют наличие того или иного качества- алчность ненависть, безупречность) и отрицательные (хар-ют отсутствие того или иного качества у предмета- безграмотный, некрасивый); 4)собирательные (стадо, полк) и несобирательные (ручка). Логические приёмы образов-я понятий: анализ (мысленное расчленение предметов на составные части); синтез (мысленное соед-е их в единое целое); сравнение (мысленное устан-е сходства и различия предметов по сущ-м и несущ-м признакам); абстрагирование (мысленное выделение сущ-х признаков от несуществ-х); обобщение (мысленное объед-е отд-х предметов в некотором понятии).