|
СОДЕРЖАНИЕ:
1. Введение………………………………………………………….….3
2. Основная часть………………………………………………….…...4
Простой категорическийсиллогизм…………………………..……….…4
Логические отношения……………………………………………..….….6
Проведение операцийделения и расчленения…………………………...6
Отношения междупонятиями…………………………………………….8
Атрибутивные, релятивные,экзистенциальные суждения……………...9
3. Заключение………………………………………………………....11
4. Списокиспользованной литературы……………………………..12
Логика – это в первуюочередь наука, изучающая логические формы, операции с ними и законы мышления.Также можно определить логику и как некую строгость, последовательность,закономерность процесса мышления, и как обозначение закономерностей ивзаимосвязей между событиями и поведением людей в мире.
Если дословно переводитьтермин «логика» с греческого языка, то он будет обозначать мысль, слово, разум,закономерность.
Как любая другая наука,логика имеет свой объект и предмет. Объект логики – это мышление человека.Мышление – это опосредованное и обобщенное отражение действительности в мозгечеловека, осуществляющееся в процессе его практической деятельности. Предметлогики – это логические формы, операции с ними и законы мышления.
Логика как наука возниклаеще в древности, в античности, развивалась и росла в последующие времена. Вразличное время логика определялась по-разному. Сначала это была лишь формафилософии, а сейчас это самостоятельная наука, имеющая отличительные черты иособенности. Современные ученые определяют логику как науку о формах и законахправильного мышления, ведущего к истине, к соответствию действительности.
Простойкатегорический силлогизм
Простой категорическийсиллогизм (простое дедуктивное умозаключение) – это такое умозаключение, вкотором заключение и посылки являются простыми категорическими суждениями.
І.Структура простого категорического силлогизма
Простой категорическийсиллогизм имеет свою определенную структуру, состоящую из двух связанных междусобой посылок и заключения. Данные посылки и заключение состоят из терминов,также связанных между собой. Терминов существует три:
1. Меньший
Это субъект заключения («S»)
2. Средний
Обеспечивает связь междупосылками, но не входит в заключение («М»)
3. Больший
Это предикат заключения(«Р»)
Таким образом, схемусиллогизма можно изобразить так:
Все М есть Р → большаяпосылка
Sесть М → меньшая посылка
S есть Р → заключение
Последовательностьпосылок и заключения в естественном языке может быть различной. Но в процесселогического анализа она определенная: большая посылка на первом месте, меньшаяна втором.
ІІ.Аксиома силлогизма
Отражением многовековойпрактики мышления людей является аксиома силлогизма: «Все, что утверждается илиотрицается о классе предметов в целом, утверждается или отрицается и о частиили отдельном элементе этого класса.
ІІІ.Правила простого категорического силлогизма
Эти правила построениясиллогизма делятся на правила терминов и правила посылок.
1. Правила терминов
а) В силлогизме должнобыть только три термина (S, Р и М).
б) Средний термин долженбыть распределен хотя бы в одной из посылок.
в) Если больший илименьший термины не распределены в посылках, то они не могут быть распределены ив заключении.
2. Правила посылок
а) Из двух отрицательныхпосылок определенного вывода сделать нельзя. Хотя бы одна из посылок должнабыть утвердительным суждением.
б) Если одна из посылокотрицательная, то и вывод будет отрицательным.
в) Из двух частныхпосылок определенного вывода сделать нельзя. Хотя бы одна из посылок должнабыть общим суждением.
г) Если одна из посылокчастная, то и вывод будет частным.
ІΥ.Фигуры и модусы простого категорического силлогизма
Фигуры силлогизма – этоего разновидности, определенные местом среднего термина в посылках.
Каждая из фигурсиллогизма имеет свои специальные правила.
1. Первая фигура
Средний термин занимаетместо субъекта в большей посылке и место предиката в меньшей.
Правила первой фигуры:
— большая посылка должнабыть общим суждением;
— меньшая посылка должнабыть утвердительным суждением;
2. Вторая фигура
Средний термин занимаетместо предиката в большей и меньшей посылках.
Правила второй фигуры:
— большая посылка должнабыть общим суждением;
— одна из посылок должнабыть отрицательной;
3. Третья фигура
Средний термин занимаетместо субъекта в большей и меньшей посылках.
Правила третьей фигуры:
— меньшая посылка должнабыть утвердительным суждением;
— заключение должно бытьчастным суждением;
4. Четвертая фигура
Средний термин занимаетместо предиката в большей посылке и место субъекта в меньшей.
Правила четвертой фигуры:
— если большая посылка –утвердительное суждение, то меньшая посылка должна быть общим;
— если одна из посылокотрицательное суждение, то большая должна быть общим;
Каждая фигура тоже имеетсвои разновидности, которые называются модусами (от латинского modus – способ, образ).
Модусы простогокатегорического силлогизма – это его разновидности, отличающиеся друг от другакачественной и количественной характеристикой входящих в них посылок изаключения.
Υ. Сокращенная формапростого категорического силлогизма. Энтимема
Простой категорическийсиллогизм может быть полным и сокращенным.
Полный силлогизм – этосиллогизм с большей и меньшей посылками и заключением.
Сокращенный силлогизм илиэнтимема – это такой силлогизм, в котором опускается либо одна из посылок, либозаключение.
Существует триразновидности энтимемы:
1) энтимема спропущенной большей посылкой;
2) энтимема спропущенной меньшей посылкой;
3) энтимема спропущенным заключением.
Значение энтимем состоитв том, что с их помощью достигается краткость, лаконичность речи.
Логическиеотношения
Логические отношенияскладываются между такими вещами, как понятия и суждения. Понятие – это такаялогическая операция, в ходе которой человек определяет значение чего-либо,сравнивает и отличает предметы один от другого. Логическая форма понятий – этоспособ связи признаков предметов с самими предметами. Суждение же представляетсобой некую мысль, в которой утверждается наличие или отсутствие каких-либоситуаций или связей между ситуациями. Суждение обычно выражаетсяповествовательным предложением. Таким образом, логическая форма суждений – этоспособ связи понятий о предмете, свойствах предметов или отношений междупредметами, выраженный в форме утверждения или отрицания. Существует такжеспособ связи этих суждений, или логическая форма умозаключения.
Видами отношений междусуждениями по логическим формам являются:
1. Совместимость поистине
По своей истине суждениямогут быть совместимыми и несовместимыми.
2. Совместимость положности
По данному признакусуждения также могут быть совместимыми и несовместимыми.
3. Логическоеследование
4. Логическаяэквивалентность
5. Подчинение
6. Противоречие(контрадикторность)
7. Контрарность
8. Субконтрарность
9. Логическаянезависимость.
Проведениеоперации деления и расчленения
Важнейшими логическимихарактеристиками понятия являются его содержание и объем, которые необходимораскрыть. Раскрываются они при помощи логических операций определения и деления.
В определениираскрывается содержание понятия, а в делении – его объем. Таким образом,деление – это логическая операция, посредством которой раскрывается объемпонятия. Это достигается путем выделения в родовом понятии составляющих еговидов (не меньше двух).
Деление понятия выступаетодновременно мысленным делением самого предмета на его формы. Благодаря делениюопределяется круг предметов, на которые распространяется слово, выражающеепонятие о них. Кроме деления существует еще и мысленное расчленение.
Отличие деления отрасчленения во-первых состоит в том, что первое – это деление рода на виды, авторое – это расчленение целого на части. Во-вторых, деление не распространяетсяна единичные предметы (они неделимы), а расчленение распространяется. Впринципе же грань между делением и расчленением относительна. Некоторыесовременные ученые даже рассматривают их как формы одной и той же логическойоперации.
Операция делениянеобходима в трех случаях:
1. Когда требуетсяраскрыть не только сущность предмета, но и формы ее проявления и развития.
2. Когда неизвестнасфера применения того или иного понятия.
3. Вследствиемногозначности того или иного слова.
Деление имеет свою структуру,обусловленную сущностью самой операции и ее ролью в познании. Эта структурасостоит в из следующих элементов:
1. Делимое
Это родовое понятие,объем которого раскрывается через составляющие его виды.
2. Члены деления
Это полученные видыродового понятия.
3. Основание деления
Это один или несколькопризнаков, по которым производится эта операция. Одно и то же родовое понятиеможет быть разделено на виды по разным основаниям. Например, «кошки» — попороде, по длине шерсти и т. д.
В зависимости от характерапризнака, положенного в основание деления, различаются следующие его виды:
1) Дихотомическое деление
Это деление объемапонятия на два класса, понятия о которых находятся в отношении противоречия.Например, студенты делятся на работающих и неработающих.
2) Деление повидоизменению признака, положенного в основание этой операции. Например,природа делится на флору и фауну.
3) Смешанное деление
Это такое деление, вкотором используются оба вида деления одновременно. Например, население делитсяна работающих и неработающих, а неработающие в свою очередь делятся набезработных временно и постоянно.
Операция деленияподчиняется специальным правилам, которых всего пять:
1) Деление должно бытьсоразмерным. Объем делимого должен полностью исчерпываться членами деления.
Возможные ошибки:
а) неполнота в делении
б)излишество в делении.
2) Деление должнопроизводиться по одному основанию, т.е. характеристика, выбираемая в качествеоснования деления, в ходе деления не должна меняться на другую.
Возможная ошибка:
Перекрестное илисбивчивое деление.
3) Члены деления должныисключать друг друга. Они могут быть лишь несовместимыми понятиями.
4) Не должно быть членовделения с пустым объемом.
5) Деление должно бытьпоследовательным. От рода следует сначала переходить к ближайшим видам, а затемот них – к ближайшим подвидам.
Возможная ошибка:
Скачок в делении.
Все эти правила нужны дляобеспечения научной строгости деления.
Операция деления имеетдостаточно большое значение и в познавательной, и в практической деятельности.Об этом свидетельствует следующее:
1. Операция делениялежит в основе любой классификации.
2. Деление такжележит и в основе типологии.
3. Деление имеетбольшое значение в юридической сфере. Оно широко применяется взаконодательстве.
Все вышесказанное позволяетсделать вывод, что деление и расчленение – это весьма нужные для логикиоперации.
Отношениямежду понятиями
Существует нескольковидов понятий:
1) Сравнимые
Это понятия, имеющиенекоторые общие признаки, позволяющие их сравнивать. Например, «кошка» и«собака», общий признак – животные.
2) Несравнимые
Это понятия, не имеющиеникаких общих признаков. Например, «кошка» и «стол».
В логических отношенияхмогут находиться только сравнимые понятия, которые также имеют своюклассификацию:
1) Совместимые понятия
Это такие понятия, объемыкоторых полностью или частично совпадают.
а) Равнозначность(равнообъемность)
Объемы понятий полностьюсовпадают, но содержание может различаться. Например, «Самара» и «Куйбышев».
б) Подчинение(субординация)
Одно из понятий входит вобъем другого, но не исчерпывает его, а лишь составляет часть. Более общее –подчиняющее понятие, а менее общее – подчиненное. Например, «бумага» и«тетрадь» (всякая тетрадь – это бумага, но не всякая бумага – это тетрадь).Подчиняющее еще называется родом, а подчиненное – видом.
в) Перекрещивание(пересечение)
Объемы понятийсовмещаются только частично. Например, «юристы» и «адвокаты».
2) Несовместимыепонятия
Это такие понятия, объемыкоторых полностью различны, т. е. не совпадают.
а) Соподчинение(координация)
Это два или большепонятий, которые не пересекаются, но подчиняются общему для них понятию.Например, «Бельгия»и «Хорватия» вместе подчиняются понятию «государство».
б) Противоречие(контрадикторность)
Одно из понятий содержитнекоторые признаки, а другое эти же признаки исключает, не заменяя их другими.Например, «добрые» и «недобрые» люди.
в) Противоположность(контрарность)
Одно из понятий содержитнекоторые признаки, а другое эти признаки отрицает, заменяя их исключающимипризнаками. Например, «добрые» и «злые» люди
г) Внеположенность
Абсолютно разные понятия.Например, «добро» и «школа».
Изучение и знаниеотношений между понятиями имеет многообразное познавательное и практическоезначение для логики в целом.
Атрибутивные,релятивные, экзистенциальные суждения
Суждение — это такаяформа мышления, в которой чего-либо утверждается или отрицается о существованиипредметов и явлений, о связях между предметами и их свойствах или об отношенияхмежду предметами. Суждения по своему составу бывают простые и сложные. Простоесуждение – это такое суждение, ни одна логическая часть которого не являетсясуждением. Сложное суждение – это такое суждение, какая-либо логическая частькоторого является суждением.
Простые суждения посодержанию предиката бывают атрибутивные, релятивные и экзистенциальные.Рассмотрим их подробнее:
1)Атрибутивные суждения (сужденияо свойствах)
Это суждения, в которыхвыражается наличие или отсутствие у предмета каких- либо свойств.
В каждом атрибутивномсуждении есть термины: субъекты (S) и предикат (Р). Атрибутивные сужденияделятся на виды по следующим основаниям:
а) по качеству:
— утвердительные;
— отрицательные;
б) по количеству:
— единичные;
— общие;
— частные.
Атрибутивные суждениянаиболее часто используются в практике мышления.
2) Релятивные суждения(суждения об отношениях)
Это суждения, в которыхговорится о том, что определенные отношения имеют место (или не имеют места)между элементами двух, трех и т. д. предметов.
Релятивные суждениябывают о двухместных, трехместных, четырехместных и т.д. отношениях.
Релятивные сужденияделятся на виды по количеству.
3) Экзистенциальныесуждения (суждения о существовании)
Это такие суждения,которые указывают на факт наличия или отсутствия того или иного предмета мысли.
Данный вид суждения всовременной логике подробно не рассматривается, т. к. его с определеннымиоговорками можно истолковать как атрибутивное суждение. Это же касается исуждения тождества (равенства), которое можно рассмотреть как релятивноесуждение.
Логика, развиваясь вместес обществом, имеет в нем большое значение. Это можно понять, обратив внимание наосновные ее функции:
1) Познавательная
Логика дает объяснениеинтересующим нам явлениям и процессам, делает определенные предсказания.
2) Мировоззренческая
Логика в своем процессечастично решает фундаментальную философскую проблему отношения мышления кбытию. Следовательно, логика активно участвует в формировании мировоззрениялюдей.
3) Методологическая
Логика является методомпознания своего объекта.
4) Идеологическая
Логика служит средствомобоснования одной идеологии и оружием для борьбы с другой.
Все вышеперечисленныеважнейшие функции логика выполняет благодаря двум основаниям:
1. Особенностисовременного этапа развития самого общества;
2. Потребности развитиянаучно-технической революции;
Логика также имеетогромное значение в формировании логической культуры человека. Логическаякультура – это культура мышления, проявляющаяся в культуре устной и письменнойречи. Она включает в себя знания, умения и навыки человека.
Логические знаниянеобходимы и работникам системы народного образования, и работникам печати идругих средств массовой информации, и работникам медицинской сферы, но особоона нужна работникам юридической сферы. Это можно доказать на примере решениясуда: оно не может быть правильным, если его юридические основания не верны,если ход мыслей и рассуждений не верен, не логичен. Все юридическиедоказательства должны быть логически правильны и верны, ведь только тогда можноприйти к правильному решению, вынести правильный, справедливый, юридически илогически верный приговор.
СПИСОКИСПОЛЬЗОВАННОЙ ЛИТЕРАТУРЫ:
1. Афанасьева О.В.; Логика; Москва, издательский центр«Академия», Мастерство, 2001
2. Иванов Е.А.; Логика, учебник, 2-е издание, переработанноеи дополненное; Москва, издательство БЕК; 2001
3. Логика для юристов; Ивлев Ю.В.; Москва, «Дело»; 2000
www.ronl.ru
Ответы на 172 экзаменационных вопроса
0)Какие проблемы диалектические логики, выдвинутые Аристотелем вы знаете? — Проблему отражения реальных противоречий в понятиях, проблемусоотношения отдельного и общего, вещи и понятия о ней и т.д.
1)Какие существенные отношения между двумя общими понятиями? — Сравнимые и несравнимые.
2)Какие немецкие философы внесли свой вклад в развитие логики? — И.Кант(1724-1804).Г.Гегель(1770-1831).
3)Дать определение возникновения и образования понятий 1.Воникновение понятий-это объективная закономерность становления и развития человеческого мышления.2.Образование понятия — не простой зеркальной акт отражения предметов действительности, а сложнейший процесс.он предполагает активность субъекта, включает в себя мно жество логических приемов.Важнейшими из них выступают анализ и синтез, сравнение, абстрагирование и обобщение.
4)Что такое анализ и синтез? — Анализ-это мысленное разложение предмета на его признаки.Синтез- мысленное соединение прзнаков предмета в одно целое.
5)Что такое сравнение?- Это мысленное сопоставление одного предмета с другим, выявление признаков сходства и различия в том или ином отношениии.
6)Что такое абстрагирование.?- Абстрагирование-это мысленное упрощение предмета путем выделения внем одних признаков и отвлечения от других.
7)Дать определение обобщения?- Мысленное объединение однородных предметов, их группировка на основе тех или иных общих признаков.
8)Укажите основные функции.которые выполняют понятия?- Понятия выполняют две основные функции:1-это позновательная функция.Вторая тесно связана с предыдущей-коммуникативная, тоесть функция средства общения.
9)Дайте определения содержания и объема понятия?- содержание-это мыслимые в понятии оющие и существенные признаки предметов.Объем понятия-это охватываемые им предметы мысли.
10)Что такое классы и элементы логики?- Классом в логике называются предметы входящие в объем понятия.Элементом называется отдельный предмет, принадлежащий к классу предметов.
11)Что собой представляют классы предметов?- 1-Универсальный класс включает всю совокупность предметов исследуемой области.2-Единичный класс-класс состоящий из одного предмета.3- Пустой(нулевой) класс-такой, который не содержит ни одного предмета.
12)Дайте определение слова?- Слово-материальный носитель понятия, языковое средство закрепления мысли, ее хранения, а также передачи другим людям.
13)Что такое конкретные и абстрактные понятия?- Конкретные- понятия, в которых находят свое отражение сами предметы и явления, обладающие относительной самостоятельностью существования. Абстрактные- этл понятия в которых мыслятся свойства предметов или отношение между предметами, не существующие самостоятельно, без этих предметов.
14)Дайте определение положительных и отрицательных понятий?- Положительными понятиями называются те понятия, в которых отражается наличие у предметов мысли и каких либо качеств.Отрицательные- понятия, которые характеризуются отсутствием у предметов мысли каких-либо качеств, свойств.
15)Дайте определения пустым и непустым понятиям?- Пустые и непустые понятия различаются в зависимости от того относятся ли они к существующим и несуществующим реально к предметам. Непустые понятия имеют объем, в который входят, по крайней мере, один реальный предмет.
16)Как подразделяются понятия по их содержанию?- По содержанию между понятиями могут быть два основных вида отношений- сравнимость и несравнимость.
17)Что такое сравнимые и несравнимые понятия?- Сравнимы- это понятия, так или иначе имеющие в своем содержании общие существенные признаки.Несравнимы е — понятия не имеющие сколько-нибудь существенных в том или ином отношении общих признаков.
18)Что такое совместимые понятия?- Совместимые -это такие понятия.объемы которых полностью или хотя-бы частично совпадают.
19)Дайте определение равнозначных понятий?- Равнозначными(равнообъемными) -называются понятия объемы которых совпадают полностью, хотя их содержание может в той или иной степени различаться.
20)В чем заключается отношение подчинения между понятиями?- Оно заключается в отношении понятия, из которого оно входит в объем другого, но не исчерпывает его, а оставляет лишь часть.
21)В чем заключаются отношения перекрещивания между понятиями?- Они заключаются в отношении существующих между понятиями объемах, которые совмещаюся лищь частично.
22)В каких отнощениях могут находится несоместимые понятия?- Они могут находится в следующих отношениях: 1-соподчинение (координация).2-противоречие(контрадикторность).3-противоположность(контрарность).
23)Что тако описание предмета?- Описание -это перечисление ряда признаков предмета, как существенных, так и несущественных, часто внешних, позволяющих выделить его среди других.
24)Назовите отличительные черты определения?- Они состоят в том, что в нем указываются такие общие и существенные признаки предметов, каждый из которых в отдельности необходим, а все вместе достаточны для выделения предмета среди других исходных предметов.
25)Какие бывают виды определения?- Оно бывает реальные и наминальные.
26)Что такое реальное и номинальное определение?- Реальное-это определение самого предмета, отраженного в соответствующем понятии.Номинальное-смысл самого слова-имени, предмета.
27)Дайте определение деления?- Деление-это раскрытие объема понятия.
28)Какова структура деления?- В структуре деления различают: делимое, основание деления и члены деления.
29)Какие существуют виды деления?- 1-деление по наличию и отутствию признака, служащего основанием деления.2-деление по видоизменению признака, положенного в основание этой операции.3-смешанное деление, когда используются оба вида деления одновременно.
30)Назовите правила деления?- 1-деление должно быть соразмерным 2-деление должно производится по одному основанию 3- члены деления должны исключать друг друга 4- деление должно быть последовательным и непрерывным.
31)Что такое доюросовестное заблуждение?- Это искажение истинности не по умыслу а по ошибке из-за незнания достаточной компитентности.
32)Назовите основные компоненты суждения?- это субъект и предикат суждения
33)Как можно разделить суждения по степени сложности?- Они делятся на простые и сложные суждения.
34)Что называется сложным суждением?- Это суждения состоящие из двух или более простых суждений, тем или иным способом связанных между собой.
35)Что такое качество суждений?- Под ним разумеется не фактическое содержание суждения, а его самая общая логическая форма- утвердительная или отрмцательная.
36)Дайте определение утвердительному и отрицательному суждению?- 1 Вутвердительных суждениях раскрываются наличие какой-либо связи между субъектом и предикатом.2-В отрицательных суждениях наоборот, раскрывается отсутствие той или иной связи между субъектом и предикатом.
37)Укажите разновидности отрицательных суждений?- Суждения с положительным предикатом; формула;s не есть p.Суждение с отрицательныи предикатом.
38)Дайте определение общих и частных суждений?- Общими называются сужденияЮв которых что-либо утверждается обо всей группе предметов, и при том в разделительном смысле. Частные суждения- те, в которых что-либо высказывается о части какой-то группы предметов.
39)Что такое определенные частные суждения?- В определенном частном суждении слово «некоторые» употребляется в значении «только некоторые».
40)Что такое неопределенные частные суждения?- Неопределенном частном суждении слово некоторые употребляются в значении (некоторые, может быть и все.«по крайней мере некоторые»).
41)Дайте определение единичным суждениям?- Единичные суждения -это такие, в которых нечто высказывается об отдельном предмете мысли.
42)Проклассифицируйте суждения по их колличеству и качеству? -Возможны четыре вида таких суждений: общеутвердительные.частноутвердительные.общеотрицательные и частноотрицательные.
43)Дайте определение общеутвердительным суждениям?- Это суждения по колличеству, т.е. по характеру субъекта, общие, а по качеству, т.е. по характеру связки утвердительные.
44)Дайте определение частноутвердительного суждения?- Это частные по количеству, утвердительные по качеству.
45)Дайте определение общеотрицательным суждениям?- Это лбщие по колличеству отрицательные по качеству суждения.
46)Дайте определение частноотрицательному суждению?- Это частные по количеству отрицательные по качеству.
47)Укажите закономерности харакиеризующие распределенность терминов в суждениях?- Субъект распределен в общих и не распределен в частных суждениях.Предикат распределен в отрицательных и не распределен в утвердительных суждениях.
48)Раскройте суть реляционных суждений?- это отношение или суждениея об отношениях чего-либо к чему-то, раскрывают наличие или отсутствие у предмета мысли того или иного отношения к другому предмету.
49)Что такое экзистенциональные суждения?- Это существование или суждения о существовании чего-либо, это такие суждения, в которых раскрываются наличие или отсутствие самого предмета мысли.
Что такое дедуктивные умозаключения?- Это те умозаключения у которых между посылками и заключением имеется отношение логического следствия.
50)Дайте определение превращения?- Это вид непосредственного умозаключения при котором изменяетсякачество посылки без изменения его количества при этом предикат заключения является отрицанием предиката посылки.
51)Что такое непосредственные умозаключения?- Это дедуктивные умозаключения делаемые из одной посылки.
52)Дайте определение обращения?- Это непосредственное умозаключение в котором в заключении субъектом является предикат, а предикатом- субъект исходного суждени, т.е. происходит перемена мест субъекта и предиката при сохранении качества суждения.
53)Дайте определение категорического силлогизма?- Это умозаключение в котором из двух категорических высказываний выводится новое категорическое высказывание.
54)Дайте определение большой и меньшей посылок?- Меньшим термином называется субъект заключения, Большитм термином именуется предикат заключения.
55)Что такое фигуры категорического силлогизма?- Фигуры силлогизма-это формы силлогизма различаемые по положению среднего термина в посылках.
56)Дайте определение модусов фигур категорического силлогизма?- Модусами силлогизма называются разновидности фигур, отличающиеся характером посылок и заключения (всего возможно 64 модуса).Силлогизмы как и все умозаключения делятся на правильные и неправильные.
57)Что такое энтимема?- Это заключение в котром ни одна из посылок явно не выражается.
58)Дайте определение доказательства в логике?- Под доказательством в логике понимается процелура установления истинности некоторого утверждения путем проведения других утверждений, истинность которых уже известна и из которых снеобходимостью вытекает первое.
59)Назовите составные части доказательства?- Это -тезис, основание и логическая связь.
60)Что такое тезис?- Это утверждение, котрое нужно доказать.
61) Дайте определение основанию (аргументам)?- Это те положения с помощью которых доказывается тезис.
62)Сформулируйте задачу доказательства?- Это исчерпывающе утвердить обоснованность доказываемого тезиса.
63)назовите виды доказательств?- Все доказательства подразделяются на прямые и косвенные.
64)Что такое прямое доказательство?- Задача этого доказательства состоит в том, чтобы подыскать такие убедительные аргументы из которых по логическим правилам получается тезис.
65)Дайте определение косвенного доказательства?- Оно устанавливает справедливость тезиса тем, что вскрывает ошибочность противоположного ему допущения (антитезиса).
66)Укажите основной прием косвенного доказательства?- Косвенное доказательство использует отрицание доказываемого положения оно является доказательством от противного.
67)Что такое опровержение?- Это рассуждение, направленное против выдвинутого положения и имеюшее своей целью установление его ошибочности или не доказанности.
68)Какой существует наиболее прием опровержения?- Это прием выведения из опровергаемого утверждения следствий, противоречвщих истине.
69)Что такое доказательство?- Доказательство -это логическая дедуктивная связь принятых аргументов и выводимого из них тезиса.
70)Дайте определение формальной ошибки?- Это умозаключение не опирающееся на логический закон и заключение не вытекающее из принятых посылок.
71)Что такое подмена тезиса и каковы ее последствия?- Это неосознанное или умышленное замещение тезиса в ходе доказательства каким-то другим утверждением.
72)Что такое круг в дакозательстве? — Круг в доказательстве-это справедливость, доказываемого положения обосновывается посредством этого хе положения, высказанного возможно в несколько иной форме.
73)Какая наиболее частая ощибка совершается в отнощении аргументов?- Это попытка обосновать тезис с помощью ложных аргументов.
74)Какова сущность метода формализации?- Она состоит в построении модели в которой содержательныи рассуждением соответствует чисто формальные образования.
75)Когда имеет место полная формализация теорий?- Она имеет место тогда, когда совершенно отвлекаются от содержательного смысла исходных понятий и положений теорий и перечисляют все правила логического вывода, используемые в доказательствах.
76)Дайте определение формализованного доказательства?- Это доказательство записаное на специальном искусственном фдрмализованном языке.Он имеет точно установленную структуру и простит -правила, благодаря чему процесс доказательства сводиться к элементарным операциям со знаками (это идеальное и неоспоримое доказательство).
77)Что такое гипотеза?-.Это научно обоснованное предположение о причинвх или взаимосвязях каких-либо явлений или событий природы, общества и мышления.
78)Укажите виды научных гипотез?- Общая гипотеза, частная гипотеза, единичная гипотеза.
79)Дайте определение общей гирлтезе?- Это научно обоснованное предположение о причинах, законах и взаимосвязях природных и общественных явлений, а также закономернностях психической деятельности человека.
80)Дайте определение частной гипотезе?- Это наусно обоснованное предположение о причинах, происхождении и о взаимосвязях части объектов, выделенных из класса, рассматриваемых объектов природы, общественной жизки или психологической жизни человека.
81)Дайте определение единичной гипотезе?- Это научно обоснованное предположение о причинах происхождении и взаимосвязях единичных фактов, конкретных событий или явлений.
82)Как называется предположения, выдвигаемые чаще всего в начале иссследования явления и не ставящее еще задачу выяснения его причин или закономерностей-Это рабочие гипотезы.
83)Как называются гипотезы, выдвигаемые в судебном расследовании?- Версии.
84)Как называются версии, объединяющие некоторые обстоятельства или моменты престкпления?- Это частные версии.
85)Дайте определение единичным версиям?- Это версии которые объясняют отдельные, индивидуальные факты.
86)Как называются гипотезы по разному объясняющие одно и тоже явление?- Дни называются конкурирующие гипотезы.
87)Назовите первый этап построения гипотезы?- Это выделение группы фактов, которые не укладываются в прежнии теории или гипотезы и должны быть объяснены новой гипотезой.
88)Назовите второй этап построения гипотезы?- Это формулировка гипотезы или гипотез т.е.предложения которое объясняют данные факты.
89)Назовите третий этап построения гипотезы?- Это выведение из данной гипотезы всех вытекающих из нее следствий.
90)Четвертый этап построения гипотезы?- Это сопоставлениевыведенных из гипотез следствий и имеющимися наблюдениями, результатами экспериментов с научными законами.
91)Назовите пятый этап построения гипотезы?- Это превращение гипотезы в достоверные знания или в научную теорию, если подтверждаются все выделенные из гипотезы следствия и не возникает противоречия с раннее известными законами науки.
92)Какой способ подтверждения гипотез является основным?- Способ выведения следствий и их верификация.
93)Перечислите законы правильного мышления?- Четыре закона; тождество, непротиворечия, исключенного третьего, достаточного основания.
94)Каковы наиболее общие формы мышления?- Это понятия суждений, умозаключений, доказательств.
95)Какая важнейшая особенность основных законов мышления?- Эта особенность состоит в том, что законы носят здесь универсальнвй характер, т.е.лежат в основе функционирования всего мышления в целом.
96)Назовите два типа основных законов мышления?- Их два типа — формально-логические законы и законы диалектической логики, находящиеся в определенном соотношении с собой.
97)Что представляет собой фундамент материалистической диалектики?- Это наиболее глубокое и всестороннее ученгие о развитии — составляющие основные законы; закон взаимного перехода количественных и качественных изменений, закон единства и борьбы противоположностей и закон отрицания отрицания.
98)Как назавается необходимая, существенная, устойчивая, повторяющаяся между мыслями?- Она называется закон мышления.
99)Что такое логический критерий истинности?- это вспомагательный и производный, вытекающий из практики и сам опирающийся на нее как на окончательный критерий истинности.
100)Сформулируйте закон тождества?- Это мыслб о качественно определенном предмете, если она соответствует ему, не может быть определенной, однозначной, тождественной себе.
101)В чем заключается аргумент к публике?- Это обоснование истинности или ложности тезиса, объективными доводами пытающиеся опереться на мнения, чувства и настроения слущателей.
102)В чем заключается аргумент к личности?- Это когда противнику приписывают такие недостатки, реальные или только мнимые, которые апедставляют его в смешном свете, бросают тень на его умственные способности, подрывают доверие к его рассуждениям.
103) В чем заключается аргумент к человеку ?- Это в поддержку своей позиции приводятся основания, выдвигаемые противной стороной в споре ил вытекающие из принимаемых ею положений.
104)Вчем заключается аргумент к тщеславию?- Это расточение в споре неумеренных похвал в надежде, что тронутый комплиментами он станет мягче и покладистей.
105)В чем заключается аргумент к физической силе(палки)?- Это угроза неприятными последствиями и в частности угроза применения насилия или прямое употребление каких-то средств принуждения.
106)В чем заключается аргумент к жалости?- Возбуждение в другой стороне жалости и сочувствия.
107)Сформулируйте принцип достаточного основания?- Г.Лейбниц «Все существующее имеет достаточные основания для своего существования», в силу чего ни одно явление не может считаться действитедьным, ни одно утверждение истинным или справедливым без указания его основания.
108)Как называются исходные положения принемаемые без доказательства? — Аксиомы(Постулаты), доказываемые на их основе положения — Теоремами.
109)Что такое подчинение? — Это отношение между такими суждениями, у которых качество одно и то же, а каличество различно.
110)Дайте определения индукция как метода научного познания? — Называется такое умозаключение, в котором общее заключение о всех элементах класса делается на основании рассмотрения каждого элемента этого класса.
111)Что такое сравнимые суждения? — Суждения которые имеют одинаковые термины-и субьект, и предикат, но могут различатся по количеству и качеству.Это суждения — «Одинаковой материи», т.е.сопостовимы по истенности и ложности.
112)Дайте определение Аналогии? — Умозаключение о пренадлежности предмету определеенного свойства и отношения на основе сходства в признаках с другим предметом.
113)Что такое аргументы и каким образом гарантируется истенность тезиса? — Аргументы это основание или предпосылки, из которых по правилам логики вытекает тезис.
114)Назовите основные группы сложные суждений? — Коньюктивные, Дизьюктивные, Импликативные, Эквивалентные.
115)Сформулируйте условия совместимости? — Это обоснованное утверждение находящиееся в согласии с фактическим материалом но основе которого и для которого оно выдвинуто, это утверждение должно соответствовать имеющимся в рассматриеваемой области законам, принципам, теориям.
116)Назовите две основные причины возникновения логики? — 2 причины:1-Необходимость исследования природы сомого мышления как формы познания.2-Это развитие ораторского искусства, в том числе судебного.
117)Что такое причина? — Явление или совакупность явлений, которые непосредственно обусловливают, порождают другое явление(следствие).
118)Что такое предскезание факта и чем оно отличается от обьяснения? — Это выведение из уже известного закона-общего утверждения закона утверждения о факте.Отличие предсказания от обьяснения заключается в том что в предскозании реч идет о неизвестном еще факте.
119)Каков механизм образования регресивного сорита? — Он получается из регресивного полсиллогизма путем выбрасывания заключений предшествующих силогизмов и меньших посылок последующех.
120)Что такое несовместимые суждения? — Это логические отношения противоположности и противоречия.
121)Что является логической формой конкретной мысли? — Это строение этой мысли, т.е. способ связи ее основных частей.
122)Как называется непосредственное наблюдение тех явлений о которых говорится в проверяемом утверждениях? — Называется Прямое подтверждение.
123)Каков принцип простоты? — Это использование при обьяснении изучаемых явлении как можно меньше незавсимых допущений, причем допущения должны быть ка можно более простыми.
124)Дайте определение языка? — Это средство повседневного общения людей, форма общения в практической и научной деятельности.
125)Дайте определение формальной ошибки? — Это происходит тогда когда умозаключение не опирается на логический закон и заключение не вытекает из принятых посылок.
126)Укажите первое требование к аргументам? — Аргументы должны быть истинными высказываниями.
127)Что означает термин противоречие? — (Контрадикторность ) — отношение между суждениями, которые не могут быть одновременно истенными и не могут быть одновременно ложными.(Контрарность) — это понятия, каждое из которых выражает наличие у предметов каких-либо признаков, но эти признаки носят противоположный характер.
128)Что такое теоретическое обьяснение? — Это рассуждение, посылки которого содержат информацию, достаточную для выведения из нее рассматриваемого факта или события.
129)Какие виды логических исчеслений вы знаете? — Исчесление высказываний и исчесление предикатов.
130)Сущьность и роль именной функции? -Выражение, которое при замене переменных постоянными превращается в обозначение предмета.
131)Дайте определение разделительного и условно-разделительного умозаключения? — Разделительное это такое умозаключение, в котором одна или несколько посылок — разделительные (дизьюктивные) суждения.2) Это такое умоз.в котором одна посылка состоит из двух или более условных суждений, а другая является разделительным суждением.
132)Что относится к непрямым косвенным выводам? — К ним относятся: рассуждение по правилу введения импликации; сведенье«к абсурду»; рассуждение «от противного » (противоречащего).
133)Что такое эквивалентность суждений? — Это отношение между суждениями, у которых субьект и предикат выражены одними итеми же или равнозначными понятиями, причем и количество и качество одни и те же.
134)В чем суть некоректных приемов? — Суть этих приемов заключается в разнообразии обманных действий, сознательное применение которых в споре недопеустимо.
135)Дайте определение понимания? — Это оценка на основе какого либо образца, стандарта или правела.
136)Какие существуют тактические приемы помогающие выиграть спор? — Корректные и некорректные, лояльные и не.
137)Обьясните значение понятия практика? — Под практикой понимают всю общественную и производственную деятельность людей в определенных исторических условиях.
138)Что представляет собой процесс выведения следствий? — Это процесс получения заключенияиз посылок по правилам дедуктивных умозаключений.
139)Дайте определение дискусии? — Одна из важнейших форм коммуникации, метод решения спорных проблем и своеобразный способ познания.
140)На какие две группы можно разделить многообразные способы обоснования? — На эмперические и деолектические.
141)Дайте определение истинности? — Истина это утверждение соответствующая действительности.
142)Что такое смысл или концепт имени? — Это способ каким имя обозначает предмет, т.е. информацию содержащуюся в имени.
143)Что такое материалестическая диолектика? — Это наука о наиболее общих законах развития природы общества и мышления.
144)Что означает термин иодальность суждений? — В модальных суждениях уточняеться характер связи между субьектом и предикатом или характер связи между простыми суждениями входящими в состав сложных.
145)Как называется искусство ведения спора? — Эристика.
146)Когда имеет место полная формализация теории? — Она имеет место тогда, когда совершенно отвлекаются от содержательного смысла исходных понятий и положений теории и перечисляют все правила логического вывода используемых в доказательствах.
147)Что представляет собой фундамент материалистической диалектики? — Это наиболее глубоко и всестороннего учения о развитии — составляют основные законы: закон взаимного перехода количественных и качественных изменений, закон единства и борьбы противоположностей и закон отрицания отрицания.
148)Как исследует мышление логика? — Логика изучает мышление как средство познания обьективного мира те его формы в которых происходит отрожение мира в процессе познания.
149)Каково 3 требование квыдвигаемым аргументам? — В своей совокупности они должны быть такими, чтобы из них с необходимостью вытекал тезис.
150)Сформулируйте закон исключенного третьего? — «Не может быть ничего промежуточного между двумя членами противоречия, а относительно чего-то одного необходимо что бы то ни было одно либо утверждать, либо отрицать».
151)Что такое ощющение? — Субьективный образ обьективного мира, превращение энергии внешнего раздражения в факт сознания.
152)Раскройте суть реляционных суждений? — Реляционные суждения или суждения об отношении чго-либо к чему-то раскрывают наличее или отсутствие у предмета мысли того или иного отношения к другому предмету.
153)Назовите обучающие функции игры? — Развитие ощеучебных умений и навыков, таких, как память, внимание, восприятие информации различнои модальности; развитие навыков владения родным и иностранным языком.
154)Что такое трелемма? — Трилемма это умозаключение которая в разделительной посылкесодержит три члена. Они бывают двух видов: Конструктивные и деструктивные; обе формы дилеммы в свою очередь могут простыми и сложными.
155)Как называется паралагизм являющийся следствием не высокой логической культуры? — Неумышленная ошибка.
156)Что означает эпистемическая модальность? — Эпистемическая и познавательная модальность означает характер или степень достоверности знания (доказуема и недоказуема, опровержима).Существуют две разновидности эпис. мод.
а)суждения основанные на вере, б)суждение основанные на знании.
157)Каков механизм образования прогрессивного сорита? — Он получается из прогресивного полисиллогизма путем вебрасывания заключений предшедствующих силлогизмов и большах посылок последующих.
158)Что такое софизм? — Это преднамеренное, но тчательно замаскированное нарушение требований логоки.
159)Каков смысл алитической модальности? — Алитическая или истенная модальность выражает характер связи между субьектом и предикатом.
160)Дайте определение чисто условного умозаключения? — Это такое определенное умозаключение, в котором обе посылки являются условными суждениями.
161)Что такое предикаторы и какие они бывают? — Это слова или словосочетания обозначающие свойства предметов или отношения между предметами.Они юывают одноместными (обознач.свойства) и многоместными (обозн.значение).
162)Что такое эпихейрема? — Это сложносокращенный силлогизм, обе посылки которого представляют собой сокращенные простые категорические силлогизмы (энтимемы) .
163)Назовите виды доказотельств? — Прямые и косвенные.
164)Что такое знак? — Это материальный объект, используемый в процессе познания или общения в качестве представитея какого-либо обьекта.
165)Что выражает аксиологическая модальность? — Она выражает отношение человека к ценностям духовным и материальным.
166)Что такое тактика спора? — Поиск и отбор аргументов или довадов, наиболее убедительных с точки зрения обсуждаемой темы и данной аудитории, а так же реакция на контраргументы другой стороны в процессе спора.
167)Дайте определение авторитарности? — Это особый крайний, так сказать вырожденный случай предпосылочности, когда функцию сомого исследования и размышления пытаются почти полностью переломить на авторитет.
168)Что такое риторический спор? — Это спор в котором важно лишь одержать победу над другой стороной, а не приблизится к истине или добру.
169)В чем веражается релаксационная функция игры? — В снятии эмоционального напряжения, вызванного нагрузкой на нервную систему при энтенсивном обучении.
170)Назовите воспитательную функцию игры? — Психотренинг и психокоррекция поведения в игровых моделях жизненных ситуаций.
171)Назовите психо-технические функции игры? — Формирование навыков подготовки своего физиологического состояния для более эффективной деятельности, перестройка психики для усвоения больших обьемов информации.
www.ronl.ru
Логика относится к числу древнейших наук, первые учения которой о формах и способах рассуждений возникли еще в цивилизациях Древнего Востока (Китай, Индия). В западную культуру принципы и методы логики вошли главным образом благодаря усилиям античных греков.
Логика – наука об общезначимых формах и средствах мысли, необходимых для рационального познания в любой области знания. К общезначимым формам мысли относятся понятия, суждения, умозаключения, а к общезначимым средствам мысли – определения, правила (принципы) образования понятий, суждений и умозаключений, правила перехода от одних суждений или умозаключений к другим как следствиям из первых ( правила рассуждений), законы мысли, оправдывающие такие правила, правила связи законов мысли и умозаключений в системы, способы формализации таких систем и т.п.
Логику можно определить как науку о рациональных методах рассуждений, которые охватывают как анализ правил дедукции (вывода заключений из посылок), так и исследование степени подтверждения вероятностных или правдоподобных заключений (гипотез, обобщений, предположений и т.д.).
Традиционная логика сформировалась на основе логического учения Аристотеля. Затем она дополнилась методами индуктивной логики. Именно эта логика в течение долгого времени преподавалась в школах и университетах под именем формальной логики.
Возникновение математической логики коренным образом изменило отношение между дедуктивной и недедуктивной логиками, которое существовало в традиционной логике. Это изменение было сделано в пользу дедукции. Благодаря символизации и применению математических методов сама дедуктивная логика приобрела строго формальный характер.
Цель данного реферата — описать основные тенденции развития современной математической логики, занимающейся вопросами формализации естественного языка, выразить их основное содержание.
Логические исследования языка
В «Философском энциклопедическом словаре» язык определяется как «система знаков, служащая средством человеческого общения, мышления и выражения». Указывается, что «с помощью языка осуществляется познание мира, в языке объективируется самосознание личности». Язык является средством хранения и передачи информации, а также управления человеческим поведением.
Философские проблемы языка и логики — динамично развивающееся научное направление. Особый интерес к нему сейчас связан не только с постоянным стремлением прояснить общие механизмы и закономерности мышления, но и понять то, как же человек способен перерабатывать, трансформировать и преобразовывать огромные массивы знаний в крайне ограниченные промежутки времени. Отмеченные вопросы имеют не только чисто теоретический интерес — от успешности их решения во многом зависит прогресс в создании новейших вычислительных систем, эффективного программного обеспечения. Все это, несомненно, усиливает практическую значимость и актуальность исследований в области логики и философии языка — области, которая до последнего времени считалась чисто умозрительным.
Логический анализ рассуждений в естественном языке
Исчисление предикатов дает возможность проводить логический анализ несравненно большего количества рассуждений, выраженных на естественном языке, чем исчисление высказываний. С помощью нового исчисления становится возможным представить символические количественные характеристики суждений. Именно для этого вводятся кванторы общности и существования, выражающие универсальные (общие) суждения и частные суждения. Но самое главное преимущество исчисления предикатов перед исчислением высказываний состоит в том, что оно дает возможность символически представить внутреннюю логическую структуру суждения. Такая структура выражается либо с помощью субъектно-предикатного отношения предмета (субъекта) и его свойства или признака (предиката), либо n-местного отношения между различными предметами.
Повседневные и многие научные рассуждения обычно ведутся на естественном языке. Но такой язык развивался в интересах легкости общения, обмена мыслями в ущерб точности и ясности. Логические исчисления строятся для того, чтобы обеспечить необходимую точность нашим рассуждениям, вскрывать возникающие при этом ошибки и исправлять их. В простейших случаях такой анализ можно провести с помощью исчислений высказываний, в котором мы отвлекаемся от логической структуры суждений и рассматриваем их как нечто единое целое, как далее неразложимые атомы рассуждений. Но средств этого исчисления оказывается явно недостаточно, когда приходится анализировать многие наиболее распространенные рассуждения не только в науке, но и в повседневном мышлении. Силлогистика Аристотеля охватывает неизмеримо больший класс рассуждений, но она оставляет вне рассмотрения рассуждения, в которых фигурируют различные типы отношений. Точный анализ именно таких отношений играет существенную роль в научном познании, в особенности, в математике и ее приложениях, в точном естествознании. Поэтому возникновение логики отношений значительно раздвинуло границы применимости логического анализа. С другой стороны, применение символического языка и точных математических методов в новой символической логике, обогащенной логикой отношений, в огромной степени повысило эффективность, строгость и точность такого анализа.
Перевод рассуждений с естественного языка на язык исчисления высказываний наталкивается на серьезные трудности потому, что сильно искажает реальный процесс рассуждений, в котором интересуются не только различными связями суждений друг с другом, но и структурой самих суждений. Исчисление предикатов дает возможность более адекватно отобразить рассуждения, ведущиеся на естественном языке.
Для исчисления предикатов, прежде всего, устанавливается универсум рассуждения или предметная область объектов, о которых идет речь. Заранее устанавливать, из каких именно объектов состоит универсум рассуждения, не требуется. Достаточно допустить, что такой универсум существует. Далее следует выбрать предикаты (или пропозициональные функции), с помощью которых формулируются логические отношения между переменными. Каждый из выбранных предикатов становится высказыванием, когда все его переменные принимают какое-либо значение из универсума рассуждений, т.е. когда переменные становятся объектами (элементами) универсума рассуждений. Полученное высказывание будет либо истинным, либо ложным, но не тем и другим одновременно. Затем выбирается соответствующая символика для окончательного перевода естественного рассуждения на язык исчисления предикатов. При этом приходится делать определенные упрощения, так как логика ставит своей целью исследование связи мыслей в рассуждении, выводов из одних суждений к другим.
Анализ языка и развитие логической теории
Логика и лингвистика — две области знаний, имеющие общие корни и тесные взаимопереплетения в истории своего развития. Логика всегда ставила своей основной задачей обозреть и классифицировать разнообразные способы рассуждений, формы выводов, которыми человек пользуется в науке и в жизни. Хотя традиционная логика имела дело с законами мысли и правилами их связи, выражались они средставми языка, поскольку непосредственной реальностью мысли является язык.
Для логики важны общие логические закономерности мышления, реализуемые в тех или иных языковых конструкциях. Логические компоненты — важный фактор образования высказываний и организации текста.
Г. Фреге первым предложил реконструкцию логического вывода на основе искусственного языка (исчисления), обеспечивающего полное выявление всех элементарных шагов рассуждения. В символику логического языка были введены операции квантификации. Аксиоматическое построение логики предикатов в виде исчисления предикатов включают аксиомы и правила вывода, позволяющие преобразовывать кванторные формулы и обосновывать логический вывод. Тем самым объект исследования логики окончательно переместился от законов мысли и правил их связи к знакам, искусственным формализованным языкам.
В логике правильным способом рассуждения является такой, который никогда не приводит от истинных предпосылок к ложным заключениям. Это требование вводит в соприкосновение логику как теорию вывода с семантикой. Вывод считается корректным тогда и только тогда, когда условия истинности его предпосылок составляют подмножество условий истинности его заключений.
Однако стандартный семантический подход обоснования вывода в контекстах, выходящих за рамки классических математических теорий, сталкивается с существенными трудностями. В качестве традиционных примеров рассуждений, для которых средств стандартной семантики недостаточно, можно привести контексты, содержащие пропозициональные установки («знает, что…», «полагает, что…») и логические модальности («необходимо», «возможно»).
Отсюда делается вывод о том, что необходима ревизия семантического способа обоснования логического вывода с целью расширения сферы его применения.
В рамках общего подхода к семантическому анализу выражений естественного языка в настоящее время базисной является теоретико-модельная семантика. Возникновение математической теории моделей было связано с появлением в современной логике двух равноправных подходов — синтаксического (теоретико-доказательственного) и семантического (теоретико-модельного). Особенность последнего состоит в том, что он задает интерпретацию формального логического языка относительно столь же формальных сущностей, имеющих алгебраическую природу и называемых моделями данного языка. Возникновение и развитие этого второго подхода оказало ни с чем не сравнимое влияние на все дальнейшее развитие логики.
Основным инструментом во всех вариантах теоретико-модельной семантики является рекурсивное определение истинности.
Достаточно очевидно, что логические модальности «необходимо», «возможно» используются в рассуждениях для указания на различный характер истинности высказываний. Например, относительно одних предложений может утверждаться, что они при некоторых условиях бывают истинными, в то время как другие предназначены всегда быть истинными и ни при каких условиях не могут оказаться ложными. Далее, если принять точку зрения, согласно которой различия в характере истин обусловлены различием в природе объектов, о которых идет речь в истинных высказываниях, то предметная область модельной логики должна включать как объекты реального мира, так и объекты возможных миров. Но такое различие не подразумевается стандартной семантикой. Поэтому для разрешения трудностей квантификации модальных контекстов была предложена концепция семантики возможных миров, имеющая во многом неформальный характер.
Одна из важных проблем логического анализа естественных языков — проблема единой логической структуры предложений. Ее актуальность обусловлена прежде всего тем обстоятельством, что, с одной стороны, аппарат классической логики предикатов интерпретируется обычно на объективированных высказываниях типа «Снег бел», «Земля вращается вокруг Солнца» и т.п. С другой стороны, встречается большое количество релятивизованных к говорящему предложений, логическая структура которых до конца не ясна и, как представляется на первый взгляд, не согласуется со стандартными представлениями о логической структуре. Таковы, например, предложения: «Снег бел!», «Идет дождь?», «Увы, Земля вращается вокруг Солнца», «Я обещаю прийти» и т.п. Иначе говоря, существует проблема согласования релятивизованных и объективированных предложений в рамках некоторых единых представлений об общей логической структуре предложений естественных языков.
Логика и прагматика языка
В последние десятилетия в зарубежной аналитической философии было четко осознано, что полноценная модель языка уже никак не может ограничиться только семантическим подходом. Необходимо включение в общую модель языка и прагматических аспектов его функционирования. Отсюда обозначилась задача — совместить в рамках одной теории семантические и прагматические «стороны» языка.
В частности, предполагается, что в рамках естественного языка любое выражение необходимо рассматривать в контексте определенного речевого акта, поскольку связь между условиями истинности предложения и характером речевого акта, совершаемого при его высказывании, является существенной в определении значения. Соответственно теория значения должна состоять из двух блоков — теории референции и теории употребления языка. Следовательно, основная проблема теории значения состоит в выявлении связей между этими «блоками», то есть между условиями истинности предложений и действительной практикой их употребления в языке.
Для выявления связи между двумя «блоками» теории значения предлагается рассматривать знание условий истинности как некоторую эмпирическую способность опознавания. Поскольку такой способ принятия решений об истинностном значении одновременно является и практической способностью, он и образует необходимое связующее звено между знанием и использованием языка.
Таким образом, понимание значения предполагает объединение лингвистических и экстралингвистических знаний, явной и фоновой информации. Но такой путь трудно поддается формализации средствами современной математической логики. Тем не менее в настоящее время многим исследователям он кажется единственно приемлемым.
Заключение и выводы
Таким образом, видно, что как логика, так и философия языка испытывают в последние десятилетия сильное влияние со стороны лингвистики. Не вызывают сомнения и результаты воздействия логики на лингвистические исследования. Вместе с тем существует и мощная противоположная тенденция — расхождение в разные стороны этих двух направлений. Скажем, вопросы лингвистической прагматики с этой точки зрения весьма далеки от проблем модальной логики.
Утрата установившегося единства, хотя и может считаться неизбежным следствием специализации, все же представляет собой закономерное явление, за которым должен последовать новый этап сближения логики и лингвистики. Это тем более реально, что база для такого сближения — решение важных практических задач — имеется. Оно возможно благодаря происходящей трансформации от философии языка к философии сознания. Такая трансформация в последние десятилетия способствовала значительному обновлению традиционной тематики, более тесной интеграции философии, психологии, логики и теории языка. Она, безусловно, оказывает значительное влияние и на решение некоторых практических задач современной жизни.
Список литературы
Петров В.В. От философии языка к философии сознания. В сб. Философия. Логика. Язык. М.: «Прогресс», 1987. С. 3—17.
Петров В.В. Язык и логическая теория. В сб. Новое в зарубежной лингвистике. Вып. XVIII «Логический анализ естественного языка». М.: «Прогресс», 1986. С.5—23.
Философский энциклопедический словарь. Статья «Язык». М.: «Советская энциклопедия», 1983. С. 816.
Рузавин Г.И. Логика и аргументация. М.: «Культура и спорт. Издательское объединение ЮНИТИ», 1997.
www.ronl.ru
АКАДЕМИЯ ГРАЖДАНСКОЙ ЗАЩИТЫ
«Влияние математики на
философию и логику»
Выполнил: Русскин А. В.
Проверил: Ксенофонтов В. Н.
Новогорск — 2005
Содержание.
1. Введение……………………………………………………………3
2. Влияние математики на философию…………….………………..4
3. Соотношение математики и логики………………….…………...19
4. Заключение…………………………………………………………31
5. Литература………………………………………………………….32
1. Введение .
Математика оказала огромное влияние на философию и логику. Это просматривается в работах Зенона, Пифагора и пифагорейцев, Декарта, Рассела, Платона, Канта и многих других. Многие мыслители пришли к философии и логике через математику. Числа и числовые отношения рассматривались как ключ к пониманию вселенной и ее структуры. Так, Галилей говорил: “ Книга природы написана на языке математики.”
2. Влияние математики на философию.
знаменитых рассуждения древнегреческого философа Зенона «Ахиллес и черепаха», «Дихотомия» и др., называемых обычно апо-риями (затруднениями). Они были направлены будто бы против движения и существования многих вещей. Сама идея доказать, что мир — это одна-единственная и к тому же неподвижная вещь, нам сегодня кажется странной. Странной она казалась и древним. Нас-только странной, что доказательства, приводившиеся Зеноном, сразу же были отнесены к простым уловкам, причем лишенным в общем-то особой хитрости. Такими они и считались две с лишним тысячи лет, а иногда считаются и теперь. Посмотрим, как они формулиру-ются, и обратим внимание на их внешнюю простоту и незамыслова-тость.
В «Ахиллес и черепаха» говорится, что самое быстрое существо не способно догнать самое медленное, быстроногий Ахиллес ни-когда не настигнет медлительную черепаху. Пока Ахиллес добежит до черепахи, она продвинется немного вперед. Он быстро преодо-леет и это расстояние, но черепаха уйдет еще чуточку вперед.
И так до бесконечности. Всякий раз, когда Ахиллес будет достигать места, где была перед этим черепаха, она будет оказываться хотя бы немного, но впереди.
В «Дихотомии» обращается внимание на то, что движущийся предмет должен дойти до половины своего пути прежде, чем он достигнет его конца. Затем он должен пройти половину оставшейся половины, затем половину этой четвертой части и т.д. до бесконечности. Предмет будет постоянно приближаться к конечной точке, но так никогда ее не достигнет.
Это рассуждение можно несколько переиначить. Чтобы пройти половину пути, предмет должен пройти половину этой половины, а для этого нужно пройти половину этой четверти и т.д. Предмет в итоге так и не сдвинется с места.
Этим простеньким на вид рассуждениям посвящены сотни фило-софских и научных работ. В них десятками разных способов доказы-вается, что допущение возможности движения не ведет к абсурду, что наука геометрия свободна от парадоксов и что математика спо-собна описать движение без противоречия.
Обилие опровержений доводов Зенона показательно. Не вполне ясно, в чем именно состоят эти доводы, что они доказывают. Не ясно, как это «что-то» доказывается и есть ли здесь вообще доказа-тельство? Чувствуется только, что какие-то проблемы или затруд-нения все-таки есть. И прежде чем опровергать Зенона, нужно выяс-нить, что именно он намеревался сказать и как он обосновывал свои тезисы. Сам он не формулировал прямо ни проблем, ни своих реше-ний этих проблем. Есть, в частности, только коротенький рассказ, как Ахиллес безуспешно пытается догнать черепаху.
Извлекаемая из этого описания мораль зависит, естественно, от того более широкого фона, на котором оно рассматривается и меня-ется с изменением этого фона.
Рассуждения Зенона сейчас, надо думать, окончательно выведены из разряда хитроумных уловок. Они, по словам Б. Рассела, «в той или иной форме затрагивают основания почти всех теорий прост-ранства, времени и бесконечности, предлагавшихся с его времени до наших дней».
Понять, какой вклад внесла математика в философию, можно, изучая учения Пифагора и пифагорейцев. Интересно понимание числа у ранних пифагорейцев.
С самого начала существования религиозного ордена, учрежденного Пифагором, в нем ставились практически-нравственные и религиозные цели: очищение человеческой души для спасения ее от круговорота рождений и смертей. Поэтому существовал целый ряд строгих предписаний, регламентировавших жизнь членов ордена. Одним из важнейших средств очищения пифагорейцы считали научные занятия, прежде всего занятия математикой и музыкой. Как отмечает А.О. Маковельский, «вера в религиозно-катартическое действие науки дала силы Пифагору положить основание чистой математики».
Действительно, именно в Греции мы наблюдаем изменение роли математического знания по сравнению с той, какую оно играло в Египте и Вавилоне. Там математика, как уже отмечалось, носила практически-прикладной характер, она была техникой расчета, решения задач. При характерном для древнего мира делении всех сфер жизни на сакральные и профанные (священные и светские) математика принадлежала ко второй. Без ее помощи не могли обойтись землемеры и купцы, строители и мореходы, но она не имела непосредственного отношения к мифологическим представлениям и религиозным культам. Но это не противоречит тому известному факту, что некоторым числам в древнем мире придавалось сакрально-мифологическое значение; к ним относится, например, число пять в Древнем Китае или число семь, игравшее важную роль в религиозно-мифологических и магических представлениях вавилонян и египтян более чем за два тысячелетия до н.э. Вот что пишет американская исследовательница Л. Торндайк, анализируя сакральное значение семерки в Древней Вавилонии: «В древневавилонском эпосе о сотворении мира, например, семь духов бури, семь злых болезней, семь областей подземного мира, закрытых семью дверями, семь поясов надземного мира и неба и т.д.… Число семь было очень распространено, носило священный и мистический характер, считалось совершенным и обладающим особой силой»21. Число семь считалось сакральным не только у вавилонян, но и у древних евреев и греков: в Ветхом Завете, у Гесиода и Гомера семерка выступает как священное число. Как мы увидим далее, ранним греческим философам, и особенно пифагорейцам, отнюдь не было чуждо выделение сакральных чисел, к которым, кроме семерки, относили также тройку, а позднее — десятку (декаду). Но не само это выделение священного числа и не перечисление различных «семериц» или «декад» из разных областей природной жизни или человеческих установлений составляли главное направление развития пифагорейской мысли.
Что же касается древних восточных культур, то в них математическое исчисление, носившее практически-прикладной характер, не было внутренне связано с выделением священных чисел — семерок, пятерок или троек. Священное число выступало вовсе не как математическая реалия — к нему обращались скорее либо в магических заклинаниях, где перечислялись различные «семерицы» или практиковались тройные, семеричные и т.д. ритуальные повторы, либо в других ритуальных культовых действиях. Подбирались и перечислялись группы явлений или процессов, которые представали как воплощение «семериц» и «троек», и эта процедура тоже представляла собой одну из древних форм упорядочения и классификации явлений, подобно тому как в племенах первобытных народов упорядочение производится, например, по странам света, которым соответствуют определенные цвета (черный, белый, красный и желтый), виды животных и т.д. Таким образом, ни развитие математической техники счета и решения задач, принадлежавшее сфере хозяйственно-практической, ни выделение священных чисел, имевшее ритуальное, культовое и мифологическое значение, не привело на Древнем Востоке к возникновению математики как системы теоретического знания.
Пифагорейцы первыми возвысили математику до ранее неведомого ей ранга: числа и числовые отношения они стали рассматривать как ключ к пониманию вселенной и ее структуры. Они впервые пришли к убеждению, что «книга природы написана на языке математики»,
как спустя почти два тысячелетия выразил эту мысль Галилей.
Для представлений о науке, как они сложились к XVII-XVIII вв., особенно у философов эпохи Просвещения, характерно убеждение в том, что наука по своему существу противоположна религии. Это представление отражает тот период в развитии науки, когда ученым приходилось вести борьбу с религией за возможность свободного научного исследования. Но применительно к другим периодам развития науки это представление оказывается не всегда справедливым. Исторически научное знание вступало в самые различные — и порой весьма неожиданные — отношения с мифологической, религиозной и художественной формами сознания. Так, перемещение математических исследований из сферы практически-прикладной в сферу философско-теоретическую, еще не отделившуюся от религиозно-мистического восприятия мира, послужило тем историческим фактором, благодаря которому математика превратилась в теоретическую науку.
Нет ничего удивительного в том, что мыслители, впервые попытавшиеся не просто технически оперировать с числами (т.е. вычислять), но понять саму сущность числа, сущность множества и характер отношений различных множеств друг к другу, решали эту задачу первоначально в форме объяснения всей структуры мироздания с помощью числа как первоначала. Прежде чем появилась математика как теоретическая система, возникло учение о числе как некотором божественном начале мира, и это, казалось бы, не математическое, а философско-теоретическое учение сыграло роль посредника между древней восточной математикой как собранием образцов для решения отдельных практических задач и древнегреческой математикой как системой положений, строго связанных между собой с помощью доказательства. Вот почему нам кажется неправомерной попытка некоторых историков науки принципиально отделить пифагорейских математиков эпохи Платона от ранних пифагорейцев.
Исторические источники свидетельствуют, что Пифагор занимался не только математикой. Так, Гераклит упрекает его в «многознании»: «Пифагор, сын Мнесарха, предался исследованию больше всех людей и, выбрав для себя эти сочинения, составил себе (из них) свою мудрость: многознание и обман». Помимо учения о бессмертии души, ее божественной природе и ее перевоплощениях, Пифагор учил о том, что все в мире есть число, занимался исследованием числовых отношений как в чистом виде, так и применительно к музыкальной гармонии, которая, по преданию, именно им была открыта. Ему, видимо, принадлежит также учение о беспредельном и пределе и представление о беспредельном как четном, а о пределе — как нечетном числе.
С представлением о противоположности предела и беспредельного связана также космология ранних пифагорейцев, согласно которой мир вдыхает в себя окружающую его пустоту и таким образом в нем возникает множественность вещей. Число, т.е. множество единиц, возникает тоже из соединения предела и беспредельного. Мир, следовательно, мыслится здесь как нечто завершенное, замкнутое (предел), а окружающая его пустота — как нечто аморфное, неопределенное, лишенное границ — беспредельное. Противоположность «предел — беспредельное» первоначально была близка к таким мифологическим противоположностям, носящим ценностно-символический характер, как свет — тьма, доброе — злое, чистое — нечистое и т.д. Из этих противоположностей строится все существующее, и само число рассматривается тоже как состоящее из противоположностей — чета и нечета. Как сообщает Аристотель, «элементами числа они ( пифагорейцы) считают чет и нечет, из коих первый является неопределенным, а второй определенным; единое состоит у них из того и другого — оно является и четным и нечетным, число <образуется> из единого, а <различные> числа, как было сказано, это — вся вселенная».
В пифагорейском союзе первоначально уделялось много внимания числовой символике. Так, к уже ранее найденным семеркам — семь элементов, семь сфер вселенной, семь частей тела, семь возрастов человека, семь времен года и т.д. — пифагорейцы прибавили семь музыкальных тонов и семь планет. Однако уже первые операции над числами привели к тому, что семерка уступила место десятке. Десятка «рождает» — значит, в десятке уже скрыто содержится ряд важных числовых соотношений и фигур.
Новое понимание числа могло возникнуть только тогда, когда существенным стало различение чисел четных и нечетных, первых (простых) и вторых (сложных) и когда стремление проанализировать отношения между числами, формы их связи между собой привело к установлению отношений прежде всего двух последовательных чисел натурального ряда, n и n + 1. В этом смысле первая десятка, по убеждению пифагорейцев, уже содержит в себе все возможные типы числовых отношений (а пифагорейцы признавали 10 видов этих отношений).
Делая, таким образом, первые — и решающие — шаги в создании математики как теоретической системы, ранние пифагорейцы в то же время рассматривали открываемые ими отношения чисел как символы некоторой божественной реальности. Согласно свидетельству Прокла (из комментариев к «Началам» Евклида), «у пифагорейцев мы найдем, что одни углы посвящены одним богам, другие — другим. Так, например, поступил Филолай, посвятивший одним богам угол треугольника, другим — (угол) четырехугольника и иные (углы) иным (богам), и приписавший один и тот же (угол) нескольким богам, и одному и тому же богу несколько углов соответственно различным силам, (находящимся) в нем»40.
Здесь нетрудно увидеть единство, в каком для сознания пифагорейцев выступали соотношения чисел и связь божественных сил и природных стихий.
Итак, декада содержит в себе все виды числовых отношений, а эти отношения лежат в основе как природных процессов, так и жизни человеческой души. Числовые отношения составляют самую сущность природы, и именно в этом смысле пифагорейцы говорят, что «все есть число». Поэтому познание природы возможно только через познание числа и числовых отношений. Платон ограничил значение числа, полагая, что последнее не само выражает сущность всего существующего, а есть лишь путь к постижению этой сущности. Число, как мы дальше увидим, Платон помещает как бы посредине между чувственным миром и миром истинно сущего. Аристотель подверг критике пифагорейский тезис «все есть число» с другой позиции, чем Платон. Если для пифагорейцев математика лежит в фундаменте всякого знания о природе, то Аристотель в корне переосмысливает соотношение математики и физики, создавая направление научного исследования («научную программу»), в корне отличное от пифагорейского.
В декаде, по убеждению пифагорейцев, не только содержатся все возможные отношения чисел, но она являет также природу числа как единства предела и беспредельного. Декада — это «предел» числа, ибо, перешагнув этот предел, число вновь возвращается к единице. Но поскольку можно все время выходить за пределы декады, поскольку она не кладет конца счету, то в ней присутствует и беспредельное. В этом отношении декада есть как бы модель всякого числа, числа вообще. Как мы уже отмечали, декада пифагорейцев предстает также как священная четверица, которая, по преданию, была клятвой пифагорейцев.
Таким образом, в астрономии, музыке, геометрии и арифметике пифагорейцы увидели общие числовые пропорции, гармонические соотношения, познание которых, согласно им, и есть познание сущности и устройства мироздания. Из отрывков, которые древние свидетельства приписывают Филолаю, мы видим, что пифагорейцы уже в V в. до н.э. размышляли над вопросом о возможности познания и сформулировали положение, впоследствии ставшее кардинальным для математического естествознания, а именно: точное знание возможно лишь на основе математики. У Платона же мы находим изложение пифагорейского учения о числовых пропорциях геометрических величин, а также систематизацию различных областей математического знания, соединение их в единую систему наук.
Аристотель сообщает следующее: "… пифагорейцы признают одно — математическое — число, только не с отдельным бытием, но, по их словам, чувственные сущности состоят из этого числа: ибо все небо они устраивают из чисел, только у них это — не числа, состоящие из <отвлеченных> единиц, но единицам они приписывают <пространственную> величину; а как получилась величина у первого единого, это, по-видимому, вызывает затруднение у них".
Пространственные вещи у пифагорейцев состоят из чисел. А это, в свою очередь, возможно в том случае, если, как и подчеркивает Аристотель, числа имеют некоторую величину, так что могут мыслиться занимающими пространство. И не в том смысле, что то или иное число можно изобразить в качестве геометрической фигуры — как, например, 4 — это площадь квадрата со стороной, равной 2, а именно в том смысле, что само число, как единица, двойка, тройка и т.д., пространственно, а значит, тело состоит, складывается из чисел.
Но в таком случае единицы, или монады, пифагорейцев естественно предстают как телесные единицы, и не случайно пифагореец Экфант, по сообщению Аэтия, «первый объявил пифагорейские монады телесными».
При этом единицы, или монады, должны быть неделимыми — это их важнейший атрибут, без которого они не могли бы быть первыми началами всего сущего. То, что пифагорейцы действительно мыслили числа как неделимые единицы, из которых составлены тела, можно заключить из следующей полемики с ними Аристотеля: «То, что они не приписывают числу отдельного существования, устраняет много невозможных последствий; но что тела у них составлены из чисел и что число здесь математическое, это — вещь невозможная. Ведь и говорить о неделимых величинах неправильно, и <даже> если бы это было допустимо в какой угодно степени, во всяком случае единицы величины не имеют, а с другой стороны, как возможно, чтобы пространственная величина слагалась из неделимых частей? Но арифметическое число во всяком случае состоит из <отвлеченных> единиц; между тем они говорят, что числа — это вещи; по крайней мере, математические положения они прилагают к телам, как будто тела состоят из этих чисел». В пифагорейском понимании числа, таким образом, оказываются связанными два момента: неотделенность чисел от вещей и соответственно составленность вещей из неделимых единиц – чисел.
Связь математики и философии так же видна в рассуждениях Канта об априорности восприятия пространства и времени.
Кант пересматривает прежнее представление о человеческой чувственности, согласно которому чувственность лишь доставляет нам многообразие ощущений, в то время как принцип единства ис-ходит из понятий разума.
Многообразие ощущений, говорит Кант, действительно дает нам чувственное восприятие; ощущение – это содержание, материя чувственности. Но помимо того наша чувственость имеет свои до-опытные, априорные формы, в которые с самого начала как бы “ук-ладываются” эти ощущения, с помощью которых ощущения как бы упорядочиваются. Эти формы – пространство и время. Пространство – априорная форма внешнего чувства ( или внешнего созерцания), тогда как время – априорная форма чувства внутреннего (внутренне-го созерцания).
Синтетические суждения могут быть априорными в том случае, если они опираются на форму чувственности, а не на чувственный материал. А таковы, по Канту, именно суждения математики, кото-рая конструирует свой предмет, опираясь либо на чистое созерцание пространства (геометрия), либо на чистое созерцание времени (арифметика). Это не значит, конечно, что тем самым математика не нуждается в понятиях рассудка; но из одних только понятий, без об-ращения к интуиции, т.е. созерцанию пространства и времени, она не может обойтись. Исходные положения геометрии, например, что прямая есть кратчайшее расстояние между двумя точками, не могут быть получены аналитически, ибо, говорит Кант, из самого понятия прямой нельзя логически вывести признак величины расстояния; тут имеет место синтез разных понятий, а он не может основыватьься на случайном, единичном опыте, поскольку тогда математическое зна-ние не было бы всеобщим. Только чистая форма чувственности – пространство – позволяет нам, опираясь на созерцание, в то же вре-мя получить необходимую связь двух разных понятий. Мы чертим прямую линию и непосредственно видим, что она есть кратчайшее расстояние между двумя точками. Таким образом, рассмотрение пространства и времени не как форм бытия вещей самих не себе, а как априорных форм чувственности познающего субъекта позволяет Канту дать обоснование объективной значимости идеальных конст-рукций — прежде всего конструкций математики. Тем самым и дается ответ на вопрос: как возможны синтетические суждения a priori.
Интересны слова Бертрана Рассела: “Я пришел к философии через математику, или скорей через желание найти некоторые основания для веры в истинность математики. С ранней юности я страстно верил, что в ней может быть такая вещь, как знание, что сочеталось с большой трудностью в принятии многого того, что проходит как знание. Казалось, что наилучший шанс обнаружить бесспорную истину будет в чистой математике, однако некоторые из аксиом Евклида были, очевидно, сомнительными, а исчисление бесконечно малых, когда я его изучал, содержало массу софизмов, с которыми я не мог справиться сам. Но я не имел никаких оснований сомневаться в истинности арифметики, хотя тогда я не знал, что арифметика может рассматриваться как охватывающая всю традиционную чистую математику. В возрасте восемнадцати лет я прочел “Логику” Милля, но был глубоко разочарован его доводами для оправдания арифметики и геометрии. Я не прочел еще Юма, но мне казалось, что чистый эмпиризм (который я был расположен принять) должен скорее привести к скептицизму, чем к подтверждению выдвигаемых Миллем научных доктрин. В Кембридже я прочел Канта и Гегеля, так же как и Логику” Брэдли, которая глубоко повлияла на меня. (Брэдли Фрэнсис Герберт (1846—1924) — главный представитель английского абсолютного идеализма. Критиковал традицию британского номинализма и эмпиризма, а также ассоциативную психологию. По Брэдли, в процессе познания всегда дается нечто универсальное, поэтому ориентация эмпиристов на фиксацию и обобщение изолированных фактов несостоятельна. Объективно-идеалистическая метафизика Брэдли построена на противопоставлении противоречивой сферы “видимости” и подлинной реальности — “Абсолюта” Для его “Принципов логики” (1883) характерно влияние гегелевской диалектической логики и антипсихологистская установка. Брэдли негативно воспринял новую математическую логику — прим.ред.). Несколько лет я был учеником Брэдли, но примерно в 1898 г я изменил свои взгляды в значительной мере в результате дискуссии с Д. Э. Муром Я не мог больше полагать, что познание оказывает влияние на то, что познается. Также я убедился в справедливости плюрализма Анализ математических утверждений склонил меня к тому, что они не могут быть объяснены даже как частичные истины, если не допускается плюрализм и реальность отношений Случай привел меня в это время к изучению Лейбница, и я пришел к заключению (впоследствии подтвержденному мастерскими исследованиями Кутюра), что большинство его характерных мнений было обязано чисто логической доктрине, что каждое суждение имеет субъект и предикат. (Кутюра Луи (1868-1914) — французский логик, одним из первых обративший внимание на современное значение логических идей Лейбница) Эту доктрину Лейбниц разделял со Спинозой, Гегелем и Брэдли. Мне показалось, что если ее отвергнуть, то весь фундамент метафизики этих философов разрушится. Я, таким образом, вернулся к проблеме, которая вначале привела меня к философии, а именно к основаниям математики, применив к ней новую логику, разработанную в основном Пеано и Фреге, которая доказала (по крайней мере, так я считаю) значительно большую плодотворность, чем логика традиционной философии. (Пеано Джузеппе (1858-1932) — итальянский математик, разработавший систему логических аксиом, на основе которых должна была строиться арифметика). В первую очередь я обнаружил, что многие из прежних философских аргументов о математике (заимствованных в основном от Канта) оказались тем временем несостоятельными благодаря прогрессу математики. Неевклидовы геометрии подорвали аргументацию трансцендентальной эстетики. Вейерштрасс показал, что дифференциальное и интегральное исчисления не требуют концепции бесконечно малых, и, следовательно, все то, что было сказано философами о таких предметах, как непрерывность пространства, времени и движения должно рассматриваться как явная ошибка. (Вейерштрасс Карл Теодор Вильгельм (1815-1897) — немецкий математик, занимавшийся логическим обоснованием математического анализа). Кантор освободил концепцию бесконечного числа от противоречий и тем самым справился с антиномиями как Канта, так и Гегеля. Наконец, Фреге показал детально, как арифметика может быть выведена из чистой логики без привлечения каких-либо новых идей или аксиом, таким образом, опровергнув утверждение Канта, что “7 + 5 — 12” является синтетическим — по крайней мере в обычной интерпретации этого утверждения. (Кантор Георг (1845—1918) — немецкий математик, один из создателей современной теории множеств. Фреге Готлоб (1848—1925) — немецкий математик и логик, один из создателей логической семантики). Поскольку все эти результаты были получены не с помощью какого-либо героического метода, а посредством терпеливых детальных рассуждений, я стал думать, что философия, вероятно, заблуждалась, применяя героические средства для разрешения интеллектуальных трудностей, которые можно было преодолеть просто с помощью большей внимательности и аккуратности в рассуждениях. Такой взгляд со временем все больше и больше укреплялся и привел меня к сомнению относительно того, отличается ли философия как исследование от науки и обладает ли она своим собственным методом, являющимся чем-то большим, чем неудачным наследием теологии.”
3. Соотношение математики и логики.
Чтобы правильно поставить сам вопрос о соотношении математики и логики, необходимо, очевидно, рассмотреть его в исторической перспективе. Это обстоятельство не игнорирует и сам Б. Рассел. «Математика и логика,— пишет он,— исторически говоря, были целиком различными занятиями. Математика обычно ассоциировалась с естествознанием, логика — с греками. Но обе развились в настоящее время: логика стала более математической, а математика — более логической. Следствием этого является то, что сейчас стало совсем невозможно провести разграничительную линию между ними: фактически они стали единым исследованием. Они отличаются друг от друга так же, как юноша от мужчины: логика есть юность математики, а математика — зрелость логики».
В этом отрывке Рассел справедливо подчеркивает тесное взаимодействие между математикой и логикой в процессе их исторического развития, выявившееся с особой силой в нашем столетии. Именно в силу этого оказывается весьма трудным решить, какая из этих. наук генетически предшествовала другой. Многие специалисты склоняются к мысли, что математическое знание по крайней мере в полуэмпирической форме существовало задолго до того, как были открыты правила дедуктивных рассуждений. Прежде чем греческие геометры стали логически систематизировать результаты, найденные их предшественниками — египтянами, должна быжа существовать довольно развитая совокупность математических знаний, непосредственно связанных с различными вычислениями и измерениями. С другой стороны, трудно допустить, чтобы при получении этого знания не применялись те или иные принципы позднее возникшей логики.
Применение логических правил рассуждения нельзя отождествлять с обоснованием и дальнейшей разработкой этих правил. Человек, не знакомый с логикой, может тем не менее рассуждать правильно, т. е. приходить к истинным заключениям. Разумеется, только у греков математика превратилась в систематизированное научное знание, стала теоретической наукой, в которой широко использовались не только дедуктивные рассуждения, но и позднее возникший аксиоматический метод.
Все это показывает, что генетически логика вряд ли могла возникнуть раньше математики. Во всяком случае, если говорить о ясно сформулированных принципах дедуктивных рассуждений и их использовании и математике, то впервые они были развиты греческими философами. Аристотель и стоики в значительной мере усовершенствовали и систематизировали эти принципы, так что их работа представляет скорее не начало, а завершение длительного этапа многочисленных исследований в этой области, восходящих еще к VI в. до н. э.
Вряд ли, однако, тесную взаимосвязь и взаимодействие между логикой и математикой можно рассматривать как аргумент в пользу их идентичности, или тождества. И такое доказательство их идентичности вовсе не есть дело деталей, как в этом пытается уверить нас Рассел, хотя, как показала дальнейшая критика, не все эти детали являются убедительными и бесспорными. «… Начиная с предпосылок,— пишет он,— которые всеми будут допускаться как принадлежащие к логике, и придя посредством дедукции к результатам, которые с очевидностью принадлежат к математике, мы находим, что там не имеется пункта, где может быть проведена разграничительная линия, с логикой слева и математикой справа».
Но как мы уже видели, такие аксиомы, как аксиома бесконечности или аксиома свободного выбора, относятся скорее к теории множеств, т. е. к математике, чем к логике. Даже само определение понятия числа в терминах теории классов, которое играет такую важную роль в осуществлении программы логицизма, является в сущности определением в рамках теории множеств, поскольку термин класс всегда можно заменить термином множество. Наконец, некоторые исходные понятия теории множеств неявно используются в самом построении логических исчислений, которые применяются Фреге и Расселом при дедукции теорем из аксиом.
Все это показывает, что в подлинном смысле слова речь может идти не о строгой дедукции всей чистой математики из логики, а о тесной взаимосвязи между ними в процессе математического познания и исследования оснований обеих наук. Впрочем, это обстоятельство в ряде мест своей книги «Введение в математическую философию» и в приведенных выше цитатах признает, кажется, и сам Рассел.
С философской точки зрения при решении вопроса о соотношении логики и математики более существенными являются аргументы, относящиеся не столько к технической стороне самих деталей дедукции математики из логики, сколько к выяснению общности и различия их объектов исследования. Как мы подробно покажем в последней главе, предметом изучения современной математики являются различные абстрактные формы и структуры, которые обладают той особенностью, что в рамках математического исследования они могут рассматриваться независимо от конкретного содержания предметов и процессов, которым присущи эти формы и структуры. Простейшими из таких структур являются количественные отношения и пространственные формы, которые изучаются в элементарной и высшей математике. В процессе дальнейшего абстрагирования и обобщения возникают новые более сложные структуры и их комбинации, которые были названы абстрактными структурами. Такие структуры оказываются применимыми для изучения не только отношений между величинами, числами и обычными пространственными фигурами, но и объектов совершенно иной природы. С их помощью можно исследовать, например, логические отношения между высказываниями и анализировать теорию дедуктивного вывода, как это делается в математической логике.
При рассмотрении вопроса о соотношении логики и математики нередко возникают недоразумения в силу неоднозначности употребления самого термина «логика».
Во-первых, можно говорить о логике как науке, изучающей законы правильного мышления. В этом смысле логика понимается как исследование структур и форм мысли и поэтому справедливо называется формальной логикой.
Во-вторых, в рамках самой формальной логики можно выделить такую важную и доминирующую ее отрасль, как теория дедуктивного вывода, и соответственно говорить о дедуктивной логике.
В-третьих, нередко под логикой понимают применение математических методов для построения формальной теории дедуктивного вывода. Для этого обычно строятся различные формально-логические системы, или языки, с помощью которых оказывается возможным точно выразить логические взаимосвязи между высказываниями в процессе вывода. Поскольку при этом высказывания рассматриваются как некоторые дискретные объекты, то в принципе вполне допустимо интерпретировать отображающие их формальные системы с помощью объектов нелогической природы. Хорошо известно, например, что исчисление высказываний интерпретируется с помощью релейно-контактных схем и других технических устройств. Этот пример показывает, что в данном случае речь действительно идет о применении некоторых общих формальных методов к логике. Поэтому совершенно справедливо такая отрасль исследований получила название математической логики.
В-четвертых, в рамках не только общей, но и математической логики можно выделить целый ряд разделов, теорий и формально-логических систем, которые исследуют разные аспекты не только дедуктивной теории вывода, но и тесно связанных с ней проблем, например определения терминов и понятий, семантической теории значений и т. п. В этом смысле часто говорят, например, о многозначной, модальной, вероятностной, эпистемической, нормативной и других логиках. Подобного рода не-классические логики анализируют такие типы логического вывода, в котором высказывания характеризуются не с помощью двух значений истинности, какими являются истина и ложь, но учитывают и некоторые иные их характеристики, например возможность и необходимость, степень подтверждения, или вероятность и другие. В настоящее время исследования по неклассическим логикам получили заметный размах в связи с потребностями не только специальных наук, но и философии, в силу чего возникло даже особое направление под названием философской логики.
Какую же логику имеют в виду Рассел и его последователи, когда говорят о дедукции из нее чистой математики?
Как мы уже видели, для такой дедукции у Фреге используется формальная система «Основных законов арифметики», а у Рассела и Уайтхеда — логицистическая система «Principia Mathematica». Поэтому когда они говорят о логике, то подразумевают под ней математическую логику, представленную в виде формализованной логико-математической системы, т. е. речь в этом случае идет о логике в четвертом значении термина «логика». При этом важно обратить внимание на то, что в такой системе логические термины и принципы строго не отделены от математических, а иногда отдельные принципы вроде аксиомы бесконечности и свободного выбора без какой-либо аргументации объявляются логическими, хотя большинство математиков относит их к теории множеств, а следовательно, к математике.
Если бы логицисты под логикой понимали математическую логику в собственном смысле этого слова, т. е, подразумевали под ней применение математических методов к логике, что соответствует третьему значению термина «логика» в вышеприведенной классификации, тогда было бы невозможно вывести из нее чистую математику. К тому же при таком понимании следовало скорее рассматривать саму логику или по крайней мере ее формально-логические системы как часть математики, кав науки об абстрактных структурах. Именно так подходят к решению этого вопроса формалисты и интуиционисты.
Таким образом, несостоятельность программы логицизма, выдвинутой Г. Фреге и Б. Расселом на ранней стадии эволюции этого направления, подтверждается не только чисто научными, логико-математическими аргументами, но более общими, философскими соображениями. Вот почему логицизм в той форме, в какой он был сформулирован Б. Расселом и который часто называют радикальным, в настоящее время утратил прежнюю популярность.
В 60-е годы известный американский логик и математик Алонзо Чёрч на Стэнфордском конгрессе по логике, методологии и философии науки предложил новый вариант логицизма, который можно назвать умеренным логицизмом". Радикальный логицизм, по мнению Чёрча, характеризует отношение между логикой и математикой, исходя из двух основных принципов:
(1) все математические понятия могут быть определены в терминах чисто логических понятий или, как предпочитает говорить Чёрч, «математический словарь есть
часть логического словаря»;
(2) все математические предложения (аксиомы, постулаты) могут быть выведены из чисто логических законов посредством использования чисто логических способов рассуждения.
Чёрч считает, что второй принцип радикального логицизма оказался несостоятельным и поэтому математику нельзя рассматривать буквально как часть логики. Что касается первого принципа, то он склоняется к мнению, что утверждение о том, что математический словарь есть часть логического словаря, подтверждается всем ходом исследований по основаниям математики. Такое заявление, хотя и не говорит о том, что математика буквально составляет часть логики, но оно устанавливает первичность логики по отношению к математике в смысле предшествования. Это значит, что никакой математический термин, утверждение и доказательство не могут быть осмысленными, если не будут осмысленны соответствующие логические термины. Поскольку обратное не имеет места, то в строгом смысле здесь можно говорить о первичности логики по отношению к математике только в смысле обоснования, т. е. логика необходима для построения математики.
Что же касается заявления умеренного логицизма о том, что математический словарь составляет часть логического словаря, то обоснованность его зависит от ответа на главный вопрос: определимо ли понятие множества (или класса) и некоторые тесно связанные с ним теоретико-множественные понятия в чисто логических терминах? Рассел и его последователи считают понятие множества понятием логики и соответственно этому рассматривают теоретико-множественные аксиомы, в том числе и аксиому бесконечности, как логические аксиомы. Сторонники умеренного логицизма, хотя и отвергают полное отождествление теории множеств в его аксиоматической форме с логистической системой, тем не менее молчаливо допускают экспликацию понятия множества в чисто логических терминах. Некоторые вообще считают этот вопрос чисто терминологическим. Большинство же творчески работающих математиков и специалистов по ее основаниям выступают против растворения теории множеств в логике. Конечно, подобного рода вопросы нельзя решать путем подсчета голосов.
Какие же аргументы можно выдвинуть в пользу того, что понятие множества, хотя и является весьма общим и абстрактным, но тем не менее специфично именно для математики, а не для логики?
Во-первых, понятие множества, как и формализующие его аксиоматические системы, можно интерпретировать с помощью объектов самой различной природы. Логические же термины во всех интерпретациях имеют одно и то же значение. Это, разумеется, не значит, что эти термины и логические связки, такие, как отрицание, конъюнкция и т. п., во всех логических системах, например классической и конструктивной, понимаются одинаково. Но если мы выбрали определенную логику, то ее термины, операции и правила вывода должны пониматься всегда одинаково, независимо от интерпретации других математических терминов.
Во-вторых, понятие множества в прежнем, канторов-ском, смысле, как мы видели, оказалось затронутым парадоксами. Поэтому в настоящее время оно уточняется с помощью различных аксиоматических систем. Эти системы часто исходят из разных задач и оказываются взаимно несовместимыми. К тому же результаты Гёделя и П. Коэна свидетельствуют о возможности существования несовместимых друг с другом теорий множеств в рамках одной и той же аксиоматизации. Если мы согласимся включить такие несовместимые друг с другом аксиоматические теории множеств в состав логики, тогда последняя превратится в весьма запутанную и внутренне противоречивую науку.
В-третьих, против включения теории множеств и тем более всей чистой математики в состав логики свидетельствует и тот факт, что некоторые основные арифметические и теоретико-множественные понятия используются, хотя и неявно, уже в самом процессе построения формально-логических систем, которые впоследствии применяются для дедукции математики из логики. В самом деле, уже в исчислении высказываний мы апеллируем к счетно бесконечному списку пропозициональных переменных и других неопределяемых символов исчисления. Все это показывает, что хотя логика и необходима для построения чистой математики, но, с другой стороны, она уже предполагает некоторые фундаментальные понятия арифметики и теории множеств.
В-четвертых, сам характер логики как нормативного мышления предполагает, что эти мыслительные операции должны совершаться над некоторыми внелогическими объектами. Это обстоятельство справедливо подчеркивают как формалисты, так и интуиционисты. Утверждение Гильберта о том, что математика не может целиком основываться на логике. В качестве предварительного условия для применения логики он считает необходимым наличие определенных внелогических конкретных объектов. По мнению Карри, сказать, что математика есть логика,— это значит заменить один неопределенный термин другим.
Интуиционисты считают логику частью математики, а ее принципы наиболее общими теоремами математики. «Логические теоремы,— подчеркивает Гейтинг,— являются математическими теоремами. Логика не может служить основанием математики, напротив, она представляет концептуально усложненную и утонченную часть математики». Отношение между логикой и математикой, по его мнению, примерно таково же, как отношение между частными и общими утверждениями математики. Нo не всякое общее утверждение математики относится к логике.
Дискуссии, которые возникают в связи с отношением логики и математики, очень часто происходят из-за неопределенности исходных терминов. Не составляют здесь исключения и формально-логические системы, с помощью которых обычно пытаются осуществить дедукцию математики из логики. Действительно, в такой формализованной системе, как «Principia Mathematica», чисто логическая часть не отделена от математической. Естественно поэтому Рассел мог бросить вызов и заявить: «Если существуют люди, которые не допускают тождества логики и математики, мы можем поспорить с ними и попросить их указать нам, в каком пункте в последовательности определений и дедукций «Principia Mathematica» кончается логика и начинается математика» ".
Конечно, в такой ситуации спор окажется беспредметным. Но, как показал Д. А. Бочвар, в формализованной системе типа «Principia Mathematica» всегда можно выделить чисто логическую часть и специфическую, математическую. Он справедливо отмечает, что в логике мы никогда не имеем дела с индивидуальными предикатами, такими, как «быть числом», «конгруэнтный», «параллельный» и т. п. Когда логическая система включается в состав более обширной формализованной системы, в которой наряду с логическими терминами и предикатами встречаются математические, пусть даже неявно, то это не приводит к поглощению математики логикой.
Формализованная аксиоматическая теория математики, как и любой другой науки, обязательно содержит индивидуальные термины и предикаты специальной теории. Без них не было бы смысла говорить о применении логики к другим наукам. Не случайно поэтому при формализации математики говорят о логико-математических системах. «Математика,— резюмирует Д. А. Бочвар,— не выводима из формальной логики, ибо для построения математики необходимы аксиомы, устанавливающие определенные факты области объектов и прежде всего — существование в последней определенных объектов. Но такие аксиомы обладают уже внелогической природой».
Все вышесказанное, на наш взгляд, достаточно убедительно показывает, что о приоритете логики над математикой нельзя говорить не только в генетическом отношении, т. е. в смысле исторического возникновения этих наук, но и в смысле обоснования математики всецело и исключительно с помощью понятий и принципов логики. Можно поэтому присоединиться к мнению американского философа Г. Мельберга, который считает, что между математическими и логическими понятиями существует симметрическое отношение, которое не может привести к установлению ассимметрического отношения приоритета логики над математикой ". В связи с этим он выдвигает взамен радикального и умеренного логицизма логицизм плюралистический.
Такой логицизм в сущности весьма далек от тех амбициозных программ, которые пытались осуществить основатели этого направления обоснования математики. Пожалуй, в нем сформулированы те рациональные идеи, которые остаются в результате критического анализа логицистической программы. Мельберг называет его плюралистическим потому, что он не дает никакой монополии какой-либо частной системе логики, будь то классическая двухзначная логика, или логика конструктивная, или какая-либо иная неклассическая логика.
Плюралистический логицизм особо подчеркивает роль логических законов при доказательстве теорем в аксиоматических системах математики. «Особенность математического познания, которую выделяет плюралистический логицизм,— пишет Мельберг,— состоит в том, что он подчеркивает, что для каждой математической теории существует некоторая логика, способная обеспечить необходимые средства дедукции всех существенных теорем этой теории, без обращения к какой-либо экстралогической интуиции». Тот факт, что логика играет решающую роль в развертывании математической теории, по его мнению, служит основанием для того, чтобы рассматривать эту концепцию как версию логицизма.
4. Заключение.
Анализируя работы Зенона, Пифагора, Платона, Канта, Рассела и других, можно сделать вывод о том, какой большой вклад внесла математика в философию. Мыслители не просто оперировали с числами, они пытались дать объяснение всей структуры мироздания с помощью числа как первоначала. Они уделяли много внимания числовой символике. Многие философы ассоциировали числа с различными понятиями мира. Поэтому благодаря пониманию числовых отношений приходили к разгадке мироздания.
Об одностороннем влиянии математики на логику говорить трудно, это спорный вопрос. На протяжении многих веков шли споры об этом.
6. Литература .
1. Гайденко П. История новоевропейской философии в ее связи с наукой.
2. Гайденко П. История греческой философии в ее связи с наукой.
3. Рузавин Г.И. Философские проблемы оснований математики.
4. Ивин А.А. Логика.
5. Рассел Б. Логический атомизм.
www.ronl.ru
Ответы на 172 экзаменационных вопроса
0)Какие проблемы диалектические логики, выдвинутые Аристотелем вы знаете? — Проблему отражения реальных противоречий в понятиях, проблемусоотношения отдельного и общего, вещи и понятия о ней и т.д.
1)Какие существенные отношения между двумя общими понятиями? — Сравнимые и несравнимые.
2)Какие немецкие философы внесли свой вклад в развитие логики? — И.Кант(1724-1804).Г.Гегель(1770-1831).
3)Дать определение возникновения и образования понятий 1.Воникновение понятий-это объективная закономерность становления и развития человеческого мышления.2.Образование понятия — не простой зеркальной акт отражения предметов действительности, а сложнейший процесс.он предполагает активность субъекта, включает в себя мно жество логических приемов.Важнейшими из них выступают анализ и синтез, сравнение, абстрагирование и обобщение.
4)Что такое анализ и синтез? — Анализ-это мысленное разложение предмета на его признаки.Синтез- мысленное соединение прзнаков предмета в одно целое.
5)Что такое сравнение?- Это мысленное сопоставление одного предмета с другим, выявление признаков сходства и различия в том или ином отношениии.
6)Что такое абстрагирование.?- Абстрагирование-это мысленное упрощение предмета путем выделения внем одних признаков и отвлечения от других.
7)Дать определение обобщения?- Мысленное объединение однородных предметов, их группировка на основе тех или иных общих признаков.
8)Укажите основные функции.которые выполняют понятия?- Понятия выполняют две основные функции:1-это позновательная функция.Вторая тесно связана с предыдущей-коммуникативная, тоесть функция средства общения.
9)Дайте определения содержания и объема понятия?- содержание-это мыслимые в понятии оющие и существенные признаки предметов.Объем понятия-это охватываемые им предметы мысли.
10)Что такое классы и элементы логики?- Классом в логике называются предметы входящие в объем понятия.Элементом называется отдельный предмет, принадлежащий к классу предметов.
11)Что собой представляют классы предметов?- 1-Универсальный класс включает всю совокупность предметов исследуемой области.2-Единичный класс-класс состоящий из одного предмета.3- Пустой(нулевой) класс-такой, который не содержит ни одного предмета.
12)Дайте определение слова?- Слово-материальный носитель понятия, языковое средство закрепления мысли, ее хранения, а также передачи другим людям.
13)Что такое конкретные и абстрактные понятия?- Конкретные- понятия, в которых находят свое отражение сами предметы и явления, обладающие относительной самостоятельностью существования. Абстрактные- этл понятия в которых мыслятся свойства предметов или отношение между предметами, не существующие самостоятельно, без этих предметов.
14)Дайте определение положительных и отрицательных понятий?- Положительными понятиями называются те понятия, в которых отражается наличие у предметов мысли и каких либо качеств.Отрицательные- понятия, которые характеризуются отсутствием у предметов мысли каких-либо качеств, свойств.
15)Дайте определения пустым и непустым понятиям?- Пустые и непустые понятия различаются в зависимости от того относятся ли они к существующим и несуществующим реально к предметам. Непустые понятия имеют объем, в который входят, по крайней мере, один реальный предмет.
16)Как подразделяются понятия по их содержанию?- По содержанию между понятиями могут быть два основных вида отношений- сравнимость и несравнимость.
17)Что такое сравнимые и несравнимые понятия?- Сравнимы- это понятия, так или иначе имеющие в своем содержании общие существенные признаки.Несравнимы е — понятия не имеющие сколько-нибудь существенных в том или ином отношении общих признаков.
18)Что такое совместимые понятия?- Совместимые -это такие понятия.объемы которых полностью или хотя-бы частично совпадают.
19)Дайте определение равнозначных понятий?- Равнозначными(равнообъемными) -называются понятия объемы которых совпадают полностью, хотя их содержание может в той или иной степени различаться.
20)В чем заключается отношение подчинения между понятиями?- Оно заключается в отношении понятия, из которого оно входит в объем другого, но не исчерпывает его, а оставляет лишь часть.
21)В чем заключаются отношения перекрещивания между понятиями?- Они заключаются в отношении существующих между понятиями объемах, которые совмещаюся лищь частично.
22)В каких отнощениях могут находится несоместимые понятия?- Они могут находится в следующих отношениях: 1-соподчинение (координация).2-противоречие(контрадикторность).3-противоположность(контрарность).
23)Что тако описание предмета?- Описание -это перечисление ряда признаков предмета, как существенных, так и несущественных, часто внешних, позволяющих выделить его среди других.
24)Назовите отличительные черты определения?- Они состоят в том, что в нем указываются такие общие и существенные признаки предметов, каждый из которых в отдельности необходим, а все вместе достаточны для выделения предмета среди других исходных предметов.
25)Какие бывают виды определения?- Оно бывает реальные и наминальные.
26)Что такое реальное и номинальное определение?- Реальное-это определение самого предмета, отраженного в соответствующем понятии.Номинальное-смысл самого слова-имени, предмета.
27)Дайте определение деления?- Деление-это раскрытие объема понятия.
28)Какова структура деления?- В структуре деления различают: делимое, основание деления и члены деления.
29)Какие существуют виды деления?- 1-деление по наличию и отутствию признака, служащего основанием деления.2-деление по видоизменению признака, положенного в основание этой операции.3-смешанное деление, когда используются оба вида деления одновременно.
30)Назовите правила деления?- 1-деление должно быть соразмерным 2-деление должно производится по одному основанию 3- члены деления должны исключать друг друга 4- деление должно быть последовательным и непрерывным.
31)Что такое доюросовестное заблуждение?- Это искажение истинности не по умыслу а по ошибке из-за незнания достаточной компитентности.
32)Назовите основные компоненты суждения?- это субъект и предикат суждения
33)Как можно разделить суждения по степени сложности?- Они делятся на простые и сложные суждения.
34)Что называется сложным суждением?- Это суждения состоящие из двух или более простых суждений, тем или иным способом связанных между собой.
35)Что такое качество суждений?- Под ним разумеется не фактическое содержание суждения, а его самая общая логическая форма- утвердительная или отрмцательная.
36)Дайте определение утвердительному и отрицательному суждению?- 1 Вутвердительных суждениях раскрываются наличие какой-либо связи между субъектом и предикатом.2-В отрицательных суждениях наоборот, раскрывается отсутствие той или иной связи между субъектом и предикатом.
37)Укажите разновидности отрицательных суждений?- Суждения с положительным предикатом; формула;s не есть p.Суждение с отрицательныи предикатом.
38)Дайте определение общих и частных суждений?- Общими называются сужденияЮв которых что-либо утверждается обо всей группе предметов, и при том в разделительном смысле. Частные суждения- те, в которых что-либо высказывается о части какой-то группы предметов.
39)Что такое определенные частные суждения?- В определенном частном суждении слово «некоторые» употребляется в значении «только некоторые».
40)Что такое неопределенные частные суждения?- Неопределенном частном суждении слово некоторые употребляются в значении (некоторые, может быть и все.«по крайней мере некоторые»).
41)Дайте определение единичным суждениям?- Единичные суждения -это такие, в которых нечто высказывается об отдельном предмете мысли.
42)Проклассифицируйте суждения по их колличеству и качеству? -Возможны четыре вида таких суждений: общеутвердительные.частноутвердительные.общеотрицательные и частноотрицательные.
43)Дайте определение общеутвердительным суждениям?- Это суждения по колличеству, т.е. по характеру субъекта, общие, а по качеству, т.е. по характеру связки утвердительные.
44)Дайте определение частноутвердительного суждения?- Это частные по количеству, утвердительные по качеству.
45)Дайте определение общеотрицательным суждениям?- Это лбщие по колличеству отрицательные по качеству суждения.
46)Дайте определение частноотрицательному суждению?- Это частные по количеству отрицательные по качеству.
47)Укажите закономерности харакиеризующие распределенность терминов в суждениях?- Субъект распределен в общих и не распределен в частных суждениях.Предикат распределен в отрицательных и не распределен в утвердительных суждениях.
48)Раскройте суть реляционных суждений?- это отношение или суждениея об отношениях чего-либо к чему-то, раскрывают наличие или отсутствие у предмета мысли того или иного отношения к другому предмету.
49)Что такое экзистенциональные суждения?- Это существование или суждения о существовании чего-либо, это такие суждения, в которых раскрываются наличие или отсутствие самого предмета мысли.
Что такое дедуктивные умозаключения?- Это те умозаключения у которых между посылками и заключением имеется отношение логического следствия.
50)Дайте определение превращения?- Это вид непосредственного умозаключения при котором изменяетсякачество посылки без изменения его количества при этом предикат заключения является отрицанием предиката посылки.
51)Что такое непосредственные умозаключения?- Это дедуктивные умозаключения делаемые из одной посылки.
52)Дайте определение обращения?- Это непосредственное умозаключение в котором в заключении субъектом является предикат, а предикатом- субъект исходного суждени, т.е. происходит перемена мест субъекта и предиката при сохранении качества суждения.
53)Дайте определение категорического силлогизма?- Это умозаключение в котором из двух категорических высказываний выводится новое категорическое высказывание.
54)Дайте определение большой и меньшей посылок?- Меньшим термином называется субъект заключения, Большитм термином именуется предикат заключения.
55)Что такое фигуры категорического силлогизма?- Фигуры силлогизма-это формы силлогизма различаемые по положению среднего термина в посылках.
56)Дайте определение модусов фигур категорического силлогизма?- Модусами силлогизма называются разновидности фигур, отличающиеся характером посылок и заключения (всего возможно 64 модуса).Силлогизмы как и все умозаключения делятся на правильные и неправильные.
57)Что такое энтимема?- Это заключение в котром ни одна из посылок явно не выражается.
58)Дайте определение доказательства в логике?- Под доказательством в логике понимается процелура установления истинности некоторого утверждения путем проведения других утверждений, истинность которых уже известна и из которых снеобходимостью вытекает первое.
59)Назовите составные части доказательства?- Это -тезис, основание и логическая связь.
60)Что такое тезис?- Это утверждение, котрое нужно доказать.
61) Дайте определение основанию (аргументам)?- Это те положения с помощью которых доказывается тезис.
62)Сформулируйте задачу доказательства?- Это исчерпывающе утвердить обоснованность доказываемого тезиса.
63)назовите виды доказательств?- Все доказательства подразделяются на прямые и косвенные.
64)Что такое прямое доказательство?- Задача этого доказательства состоит в том, чтобы подыскать такие убедительные аргументы из которых по логическим правилам получается тезис.
65)Дайте определение косвенного доказательства?- Оно устанавливает справедливость тезиса тем, что вскрывает ошибочность противоположного ему допущения (антитезиса).
66)Укажите основной прием косвенного доказательства?- Косвенное доказательство использует отрицание доказываемого положения оно является доказательством от противного.
67)Что такое опровержение?- Это рассуждение, направленное против выдвинутого положения и имеюшее своей целью установление его ошибочности или не доказанности.
68)Какой существует наиболее прием опровержения?- Это прием выведения из опровергаемого утверждения следствий, противоречвщих истине.
69)Что такое доказательство?- Доказательство -это логическая дедуктивная связь принятых аргументов и выводимого из них тезиса.
70)Дайте определение формальной ошибки?- Это умозаключение не опирающееся на логический закон и заключение не вытекающее из принятых посылок.
71)Что такое подмена тезиса и каковы ее последствия?- Это неосознанное или умышленное замещение тезиса в ходе доказательства каким-то другим утверждением.
72)Что такое круг в дакозательстве? — Круг в доказательстве-это справедливость, доказываемого положения обосновывается посредством этого хе положения, высказанного возможно в несколько иной форме.
73)Какая наиболее частая ощибка совершается в отнощении аргументов?- Это попытка обосновать тезис с помощью ложных аргументов.
74)Какова сущность метода формализации?- Она состоит в построении модели в которой содержательныи рассуждением соответствует чисто формальные образования.
75)Когда имеет место полная формализация теорий?- Она имеет место тогда, когда совершенно отвлекаются от содержательного смысла исходных понятий и положений теорий и перечисляют все правила логического вывода, используемые в доказательствах.
76)Дайте определение формализованного доказательства?- Это доказательство записаное на специальном искусственном фдрмализованном языке.Он имеет точно установленную структуру и простит -правила, благодаря чему процесс доказательства сводиться к элементарным операциям со знаками (это идеальное и неоспоримое доказательство).
77)Что такое гипотеза?-.Это научно обоснованное предположение о причинвх или взаимосвязях каких-либо явлений или событий природы, общества и мышления.
78)Укажите виды научных гипотез?- Общая гипотеза, частная гипотеза, единичная гипотеза.
79)Дайте определение общей гирлтезе?- Это научно обоснованное предположение о причинах, законах и взаимосвязях природных и общественных явлений, а также закономернностях психической деятельности человека.
80)Дайте определение частной гипотезе?- Это наусно обоснованное предположение о причинах, происхождении и о взаимосвязях части объектов, выделенных из класса, рассматриваемых объектов природы, общественной жизки или психологической жизни человека.
81)Дайте определение единичной гипотезе?- Это научно обоснованное предположение о причинах происхождении и взаимосвязях единичных фактов, конкретных событий или явлений.
82)Как называется предположения, выдвигаемые чаще всего в начале иссследования явления и не ставящее еще задачу выяснения его причин или закономерностей-Это рабочие гипотезы.
83)Как называются гипотезы, выдвигаемые в судебном расследовании?- Версии.
84)Как называются версии, объединяющие некоторые обстоятельства или моменты престкпления?- Это частные версии.
85)Дайте определение единичным версиям?- Это версии которые объясняют отдельные, индивидуальные факты.
86)Как называются гипотезы по разному объясняющие одно и тоже явление?- Дни называются конкурирующие гипотезы.
87)Назовите первый этап построения гипотезы?- Это выделение группы фактов, которые не укладываются в прежнии теории или гипотезы и должны быть объяснены новой гипотезой.
88)Назовите второй этап построения гипотезы?- Это формулировка гипотезы или гипотез т.е.предложения которое объясняют данные факты.
89)Назовите третий этап построения гипотезы?- Это выведение из данной гипотезы всех вытекающих из нее следствий.
90)Четвертый этап построения гипотезы?- Это сопоставлениевыведенных из гипотез следствий и имеющимися наблюдениями, результатами экспериментов с научными законами.
91)Назовите пятый этап построения гипотезы?- Это превращение гипотезы в достоверные знания или в научную теорию, если подтверждаются все выделенные из гипотезы следствия и не возникает противоречия с раннее известными законами науки.
92)Какой способ подтверждения гипотез является основным?- Способ выведения следствий и их верификация.
93)Перечислите законы правильного мышления?- Четыре закона; тождество, непротиворечия, исключенного третьего, достаточного основания.
94)Каковы наиболее общие формы мышления?- Это понятия суждений, умозаключений, доказательств.
95)Какая важнейшая особенность основных законов мышления?- Эта особенность состоит в том, что законы носят здесь универсальнвй характер, т.е.лежат в основе функционирования всего мышления в целом.
96)Назовите два типа основных законов мышления?- Их два типа — формально-логические законы и законы диалектической логики, находящиеся в определенном соотношении с собой.
97)Что представляет собой фундамент материалистической диалектики?- Это наиболее глубокое и всестороннее ученгие о развитии — составляющие основные законы; закон взаимного перехода количественных и качественных изменений, закон единства и борьбы противоположностей и закон отрицания отрицания.
98)Как назавается необходимая, существенная, устойчивая, повторяющаяся между мыслями?- Она называется закон мышления.
99)Что такое логический критерий истинности?- это вспомагательный и производный, вытекающий из практики и сам опирающийся на нее как на окончательный критерий истинности.
100)Сформулируйте закон тождества?- Это мыслб о качественно определенном предмете, если она соответствует ему, не может быть определенной, однозначной, тождественной себе.
101)В чем заключается аргумент к публике?- Это обоснование истинности или ложности тезиса, объективными доводами пытающиеся опереться на мнения, чувства и настроения слущателей.
102)В чем заключается аргумент к личности?- Это когда противнику приписывают такие недостатки, реальные или только мнимые, которые апедставляют его в смешном свете, бросают тень на его умственные способности, подрывают доверие к его рассуждениям.
103) В чем заключается аргумент к человеку ?- Это в поддержку своей позиции приводятся основания, выдвигаемые противной стороной в споре ил вытекающие из принимаемых ею положений.
104)Вчем заключается аргумент к тщеславию?- Это расточение в споре неумеренных похвал в надежде, что тронутый комплиментами он станет мягче и покладистей.
105)В чем заключается аргумент к физической силе(палки)?- Это угроза неприятными последствиями и в частности угроза применения насилия или прямое употребление каких-то средств принуждения.
106)В чем заключается аргумент к жалости?- Возбуждение в другой стороне жалости и сочувствия.
107)Сформулируйте принцип достаточного основания?- Г.Лейбниц «Все существующее имеет достаточные основания для своего существования», в силу чего ни одно явление не может считаться действитедьным, ни одно утверждение истинным или справедливым без указания его основания.
108)Как называются исходные положения принемаемые без доказательства? — Аксиомы(Постулаты), доказываемые на их основе положения — Теоремами.
109)Что такое подчинение? — Это отношение между такими суждениями, у которых качество одно и то же, а каличество различно.
110)Дайте определения индукция как метода научного познания? — Называется такое умозаключение, в котором общее заключение о всех элементах класса делается на основании рассмотрения каждого элемента этого класса.
111)Что такое сравнимые суждения? — Суждения которые имеют одинаковые термины-и субьект, и предикат, но могут различатся по количеству и качеству.Это суждения — «Одинаковой материи», т.е.сопостовимы по истенности и ложности.
112)Дайте определение Аналогии? — Умозаключение о пренадлежности предмету определеенного свойства и отношения на основе сходства в признаках с другим предметом.
113)Что такое аргументы и каким образом гарантируется истенность тезиса? — Аргументы это основание или предпосылки, из которых по правилам логики вытекает тезис.
114)Назовите основные группы сложные суждений? — Коньюктивные, Дизьюктивные, Импликативные, Эквивалентные.
115)Сформулируйте условия совместимости? — Это обоснованное утверждение находящиееся в согласии с фактическим материалом но основе которого и для которого оно выдвинуто, это утверждение должно соответствовать имеющимся в рассматриеваемой области законам, принципам, теориям.
116)Назовите две основные причины возникновения логики? — 2 причины:1-Необходимость исследования природы сомого мышления как формы познания.2-Это развитие ораторского искусства, в том числе судебного.
117)Что такое причина? — Явление или совакупность явлений, которые непосредственно обусловливают, порождают другое явление(следствие).
118)Что такое предскезание факта и чем оно отличается от обьяснения? — Это выведение из уже известного закона-общего утверждения закона утверждения о факте.Отличие предсказания от обьяснения заключается в том что в предскозании реч идет о неизвестном еще факте.
119)Каков механизм образования регресивного сорита? — Он получается из регресивного полсиллогизма путем выбрасывания заключений предшествующих силогизмов и меньших посылок последующех.
120)Что такое несовместимые суждения? — Это логические отношения противоположности и противоречия.
121)Что является логической формой конкретной мысли? — Это строение этой мысли, т.е. способ связи ее основных частей.
122)Как называется непосредственное наблюдение тех явлений о которых говорится в проверяемом утверждениях? — Называется Прямое подтверждение.
123)Каков принцип простоты? — Это использование при обьяснении изучаемых явлении как можно меньше незавсимых допущений, причем допущения должны быть ка можно более простыми.
124)Дайте определение языка? — Это средство повседневного общения людей, форма общения в практической и научной деятельности.
125)Дайте определение формальной ошибки? — Это происходит тогда когда умозаключение не опирается на логический закон и заключение не вытекает из принятых посылок.
126)Укажите первое требование к аргументам? — Аргументы должны быть истинными высказываниями.
127)Что означает термин противоречие? — (Контрадикторность ) — отношение между суждениями, которые не могут быть одновременно истенными и не могут быть одновременно ложными.(Контрарность) — это понятия, каждое из которых выражает наличие у предметов каких-либо признаков, но эти признаки носят противоположный характер.
128)Что такое теоретическое обьяснение? — Это рассуждение, посылки которого содержат информацию, достаточную для выведения из нее рассматриваемого факта или события.
129)Какие виды логических исчеслений вы знаете? — Исчесление высказываний и исчесление предикатов.
130)Сущьность и роль именной функции? -Выражение, которое при замене переменных постоянными превращается в обозначение предмета.
131)Дайте определение разделительного и условно-разделительного умозаключения? — Разделительное это такое умозаключение, в котором одна или несколько посылок — разделительные (дизьюктивные) суждения.2) Это такое умоз.в котором одна посылка состоит из двух или более условных суждений, а другая является разделительным суждением.
132)Что относится к непрямым косвенным выводам? — К ним относятся: рассуждение по правилу введения импликации; сведенье«к абсурду»; рассуждение «от противного » (противоречащего).
133)Что такое эквивалентность суждений? — Это отношение между суждениями, у которых субьект и предикат выражены одними итеми же или равнозначными понятиями, причем и количество и качество одни и те же.
134)В чем суть некоректных приемов? — Суть этих приемов заключается в разнообразии обманных действий, сознательное применение которых в споре недопеустимо.
135)Дайте определение понимания? — Это оценка на основе какого либо образца, стандарта или правела.
136)Какие существуют тактические приемы помогающие выиграть спор? — Корректные и некорректные, лояльные и не.
137)Обьясните значение понятия практика? — Под практикой понимают всю общественную и производственную деятельность людей в определенных исторических условиях.
138)Что представляет собой процесс выведения следствий? — Это процесс получения заключенияиз посылок по правилам дедуктивных умозаключений.
139)Дайте определение дискусии? — Одна из важнейших форм коммуникации, метод решения спорных проблем и своеобразный способ познания.
140)На какие две группы можно разделить многообразные способы обоснования? — На эмперические и деолектические.
141)Дайте определение истинности? — Истина это утверждение соответствующая действительности.
142)Что такое смысл или концепт имени? — Это способ каким имя обозначает предмет, т.е. информацию содержащуюся в имени.
143)Что такое материалестическая диолектика? — Это наука о наиболее общих законах развития природы общества и мышления.
144)Что означает термин иодальность суждений? — В модальных суждениях уточняеться характер связи между субьектом и предикатом или характер связи между простыми суждениями входящими в состав сложных.
145)Как называется искусство ведения спора? — Эристика.
146)Когда имеет место полная формализация теории? — Она имеет место тогда, когда совершенно отвлекаются от содержательного смысла исходных понятий и положений теории и перечисляют все правила логического вывода используемых в доказательствах.
147)Что представляет собой фундамент материалистической диалектики? — Это наиболее глубоко и всестороннего учения о развитии — составляют основные законы: закон взаимного перехода количественных и качественных изменений, закон единства и борьбы противоположностей и закон отрицания отрицания.
148)Как исследует мышление логика? — Логика изучает мышление как средство познания обьективного мира те его формы в которых происходит отрожение мира в процессе познания.
149)Каково 3 требование квыдвигаемым аргументам? — В своей совокупности они должны быть такими, чтобы из них с необходимостью вытекал тезис.
150)Сформулируйте закон исключенного третьего? — «Не может быть ничего промежуточного между двумя членами противоречия, а относительно чего-то одного необходимо что бы то ни было одно либо утверждать, либо отрицать».
151)Что такое ощющение? — Субьективный образ обьективного мира, превращение энергии внешнего раздражения в факт сознания.
152)Раскройте суть реляционных суждений? — Реляционные суждения или суждения об отношении чго-либо к чему-то раскрывают наличее или отсутствие у предмета мысли того или иного отношения к другому предмету.
153)Назовите обучающие функции игры? — Развитие ощеучебных умений и навыков, таких, как память, внимание, восприятие информации различнои модальности; развитие навыков владения родным и иностранным языком.
154)Что такое трелемма? — Трилемма это умозаключение которая в разделительной посылкесодержит три члена. Они бывают двух видов: Конструктивные и деструктивные; обе формы дилеммы в свою очередь могут простыми и сложными.
155)Как называется паралагизм являющийся следствием не высокой логической культуры? — Неумышленная ошибка.
156)Что означает эпистемическая модальность? — Эпистемическая и познавательная модальность означает характер или степень достоверности знания (доказуема и недоказуема, опровержима).Существуют две разновидности эпис. мод.
а)суждения основанные на вере, б)суждение основанные на знании.
157)Каков механизм образования прогрессивного сорита? — Он получается из прогресивного полисиллогизма путем вебрасывания заключений предшедствующих силлогизмов и большах посылок последующих.
158)Что такое софизм? — Это преднамеренное, но тчательно замаскированное нарушение требований логоки.
159)Каков смысл алитической модальности? — Алитическая или истенная модальность выражает характер связи между субьектом и предикатом.
160)Дайте определение чисто условного умозаключения? — Это такое определенное умозаключение, в котором обе посылки являются условными суждениями.
161)Что такое предикаторы и какие они бывают? — Это слова или словосочетания обозначающие свойства предметов или отношения между предметами.Они юывают одноместными (обознач.свойства) и многоместными (обозн.значение).
162)Что такое эпихейрема? — Это сложносокращенный силлогизм, обе посылки которого представляют собой сокращенные простые категорические силлогизмы (энтимемы) .
163)Назовите виды доказотельств? — Прямые и косвенные.
164)Что такое знак? — Это материальный объект, используемый в процессе познания или общения в качестве представитея какого-либо обьекта.
165)Что выражает аксиологическая модальность? — Она выражает отношение человека к ценностям духовным и материальным.
166)Что такое тактика спора? — Поиск и отбор аргументов или довадов, наиболее убедительных с точки зрения обсуждаемой темы и данной аудитории, а так же реакция на контраргументы другой стороны в процессе спора.
167)Дайте определение авторитарности? — Это особый крайний, так сказать вырожденный случай предпосылочности, когда функцию сомого исследования и размышления пытаются почти полностью переломить на авторитет.
168)Что такое риторический спор? — Это спор в котором важно лишь одержать победу над другой стороной, а не приблизится к истине или добру.
169)В чем веражается релаксационная функция игры? — В снятии эмоционального напряжения, вызванного нагрузкой на нервную систему при энтенсивном обучении.
170)Назовите воспитательную функцию игры? — Психотренинг и психокоррекция поведения в игровых моделях жизненных ситуаций.
171)Назовите психо-технические функции игры? — Формирование навыков подготовки своего физиологического состояния для более эффективной деятельности, перестройка психики для усвоения больших обьемов информации.
www.ronl.ru
Реферат на тему:
Логика (др.-греч. λογική — «наука о правильном мышлении», «искусство рассуждения» от λόγος — «речь», «рассуждение», «мысль») — наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это знание получено разумом, логика также определяется как наука о формах и законах правильного мышления. Поскольку мышление оформляется в языке в виде рассуждения, частными случаями которого являются доказательство и опровержение, логика иногда определяется как наука о способах рассуждения или наука о способах доказательств и опровержений. Логика как наука изучает способы достижения истины в процессе познания опосредованным путём, не из чувственного опыта, а из знаний, полученных ранее, поэтому её также можно определить как науку о способах получения выводного знания.
Одна из главных задач логики — определить, как прийти к выводу из предпосылок (правильное рассуждение) и получить истинное знание о предмете размышления, чтобы глубже разобраться в нюансах изучаемого предмета мысли и его соотношениях с другими аспектами рассматриваемого явления.
Логика служит одним из инструментов почти любой науки.
Классическая логическая теория далеко не совершенна: основное её содержание формулируется на особом, созданном специально для своих целей языке, использует абсолютное предметное мышление. В ней не предполагается использование контроля прагматических ошибок, погрешностей нелинейностей используемых систем отсчёта, пограничных ошибок описания, релятивизма масштабирования и т. п. Вследствие чего принято считать нормальным факт наличия в её языке парадоксов и априорных утверждений, кустовых эффектов словаря и т. п.
Подобно тому как умение говорить существовало ещё до возникновения науки грамматики, так и искусство правильно мыслить существовало задолго до науки логики. Логические операции: определение, классификация, доказательство, опровержение и др. — нередко применяются каждым человеком в его мыслительной деятельности неосознанно и с погрешностями. Некоторые склонны считать собственное мышление естественным процессом, не требующим анализа и контроля больше, чем, скажем, дыхание или движение, но реальное мышление не сводится просто к логической последовательности. В процессе решения возникающих задач также существенны: интуиция, эмоции, образное видение мира и многое другое[1]. Однако нестрогость мышления еще не значит, что оно не подчинено логике[2].
Основная цель (функция) логики всегда оставалась неизменной: исследование того, как из одних утверждений можно выводить другие. При этом предполагается, что вывод зависит только от способа связи входящих в него утверждений и их строения, а не от их конкретного содержания. Изучая, «что из чего следует», логика выявляет наиболее общие или, как говорят, формальные условия правильного мышления. Сфера конкретных интересов логики существенно менялась на протяжении её истории.
Слово «логика» используется также в значениях «внутренняя закономерность, присущая тем или иным явлениям» или «правильный, разумный ход рассуждений»[3]. В частности этим словом могут называться следующие вещи:
Используются выражения:
Неформальная логика (термин принят прежде всего в англоязычной литературе) — исследование аргументации в естественном языке. Одной из главных задач её является исследование логических ошибок. См. Логическая семантика, философская логика, теория аргументации, логический анализ языка.
Любой вывод, сделанный на естественном языке, обладает чисто формальным содержанием (смысл рассуждения может быть разделён на форму мысли и собственно содержание), если можно показать, что он является частным применением абстрактного универсального правила, которое отвлекается от всякого конкретного предмета, свойства или отношения. Именно этот вывод с чисто формальным содержанием называют логическим выводом и основным предметом логики.
Анализ вывода, который раскрывает это чисто формальное содержание, называется формальной логикой.
Символическая логика изучает символические абстракции, которые фиксируют формальную структуру логического вывода.
Диалектическая логика — наука о мышлении, которая, как предполагается, даёт знание о способе рассуждения, расширяющем возможности формально-логического вывода. Здесь понятие логики употребляется как в собственном логическом, так и в метафорическом смысле. Диалектическое рассуждение учитывает законы формальной логики. Вместе с тем, осуществляет анализ динамики перехода понятий в свою противоположность, допускает, что противоположности совпадают, ориентируется на законы диалектики.
Исторически логика изучалась как часть философии. Сейчас символическая логика также изучается как часть математики, информатики.
Концепции логики различаются между собой прежде всего по способам решения метатеоретических проблем логики, связанных с основаниями математики:
Хотя многие культуры выработали сложные системы рассуждения, логика как эксплицитный анализ методов рассуждения получила основательное развитие изначально только в трёх традициях: в китайской, индийской и греческой. Хотя точные даты не слишком достоверны (особенно в случае Индии), скорее всего, логика возникла во всех трёх культурах в IV веке до н. э.. Современная логика, разработанная формально изощрённо, происходит в конечном счёте из греческой традиции (аристотелевской логики), которая, однако, была воспринята не напрямую, а при посредничестве и комментаторской деятельности арабо-мусульманских философов и средневековых европейских логиков. Можно выделить следующие исторические и региональные формы логики (приведены также их имена, исторически существовавшие и принятые в литературе по истории формальной логики):
Логика в своём развитии прошла три порога:
Логика в Китае появилась в период появления большого количества школ, конкуренции и дискуссий между ними. Современник Конфуция Мо-цзы («Учитель Мо», «Мудрец Мо»; V—IV вв. до н. э) был известен как основатель моизма (школы мо цзя), представители которой занимались поиском источников достоверного рассуждения и условий его правильности. В области аргументации они предпочитали разработку рассуждения по аналогии разработке дедукции. В процессе анализа семантики языка моисты разработали метод классификации имён по степени их общности и деления вещей по видам (метод «трёх правил», «трёх фа»).
Одно из ответвлений моизма, логики (мин цзя, школа имён, V—III вв. до н. э), приступило к исследованию собственно формальной логики (её представители подошли к открытию категорического силлогизма ранее или одновременно с ее формулировкой Аристотелем).
Позднее, при династии Цинь, эта линия исследований исчезла в Китае, поскольку тогда философия легизма жестоко подавляла все остальные философские школы. Вновь логика в Китае появилась только с проникновением туда индийской логики буддистов и далее сильно отстала от развития европейской и ближневосточной логики.
Истоки логики в Индии можно проследить в грамматических текстах V века до н. э.. Две из шести ортодоксально-индуистских (ведийских) школ индийской философии — ньяя и вайшешика — занимались методологией познания, из этого проблемного поля и выделилась логика.
Само название школы «ньяя» значит «логика». Главным её достижением и была разработка логики и методологии, ставших впоследствии общим достоянием (ср. аристотелевская логика в Европе). Основным текстом школы были Ньяя-сутры Акшапады Гаутамы (II век н. э.). Поскольку ньяики считали единственным путём освобождения от страданий достижение надёжного знания, они разрабатывали тонкие методы отличения надёжных источников знания от ложных мнений. Есть только четыре источника знания (четыре праманы): восприятие, умозаключение, сравнение и свидетельство. Строгая пятичленная схема умозаключения включала в себя: начальную посылку, основание, пример, приложение и вывод.
Буддийская философия (не входившая в число шести ортодоксальных школ) была главным оппонентом ньяиков в логике. Нагарджуна, основатель мадхьямики («срединного пути»), развил рассуждение, известное как «катускоти», или тетралемма. Этот четырёхсторонний аргумент систематически проверял и отклонял утверждение высказывания, его отрицание, соединение утверждения и отрицания и, наконец, отклонение и его утверждения, и его отрицания.
у Дигнаги и его последователя Дхармакирти буддийская логика достигла вершины. Центральным пунктом их анализа было установление (определение) необходимой логической присущности (включённости в определение), «вьяпти», также известное как «неизменное следование» или «убеждение». Для этой цели они развили учение об «апоха» или различении, о правилах включения признаков в определение или исключения их из него.
Школа навья-ньяя («новая ньяя», «новая логика») была основана в XIII веке Ганешей Упадхьяей из Митилы, автора «Таттвачинтамами» («Сокровище мысли о реальности»). Впрочем, он и опирался на работы своих предшественников X века.
В истории европейской логики можно выделить этапы: аристотелевский, или традиционный — период доминирования формальной логики — продолжался сотни лет, в течение которых логика развивалась очень медленно; схоластический этап развития, пик которого приходится на XIV век; нововременной этап.
Основателем логики в древнегреческой философии считается древнегреческий философ Аристотель, так как полагается, что он вывел первую логическую теорию. Предшественниками Аристотеля в развитии логической науки в Древней Греции были Парменид, Зенон Элейский, Сократ и Платон. Аристотель же впервые систематизировал доступные знания о логике, обосновал формы и правила логического мышления. Его цикл сочинений «Органон» состоит из шести работ, посвящённых логике: «Категории», «Об истолковании», «Топика», «Первая аналитика» и «Вторая аналитика», «Софистические опровержения».
После Аристотеля в Древней Греции логика также разрабатывалась представителями школы стоиков. Большой вклад в развитие этой науки внесли оратор Цицерон и древнеримский теоретик ораторского искусства Квинтилиан.
По мере приближения к Средним векам логика получала более широкое распространение. Её начали разрабатывать арабоязычные исследователи, например, Аль-Фараби (ок. 870—950 гг.). Средневековая логика называется схоластической, а её расцвет в XIV веке связывают с именами учёных Уильяма Оккама, Альберта Саксонского и Уолтера Берли.
Этот исторический период в логике отмечается появлением множества крайне значимых для науки публикаций.
Френсис Бэкон в 1620 году опубликовывает свой «Новый органон», содержащий основы индуктивных методов, усовершенствованных позднее Джоном Стюартом Миллем и получивших название методов установления причинных связей между явлениями Бэкона-Милля. Суть Индукции(Обобщения) в том, что знания нужно возводить в принципы. Также необходимо искать причину своих ошибок.
В 1662 году в Париже издан учебник «Логика Пор-Рояля», авторами которого являются П. Николь и А. Арно, создавшие логическое учение на основе методологических принципов Рене Декарта.
В конце XIX — начале XX веков были заложены основы т. н. математической, или символической, логики. Её суть заключается в том, что для обнаружения истинностного значения выражений естественного языка можно применять математические методы. Именно использование символической логики отличает современную логическую науку от традиционной.
Огромный вклад в развитие символической логики внесли такие учёные, как Дж. Буль, О. де Морган, Г. Фреге, Ч. Пирс и др. В XX веке математическая логика оформилась в качестве самостоятельной дисциплины в рамках логической науки.
Начало XX века ознаменовалось становлением идей неклассической логики, многие важные положения которой были предвосхищены и/или заложены Н. А. Васильевым и И. Е. Орловым.
В середине XX века развитие вычислительной техники привело к появлению логических элементов, логических блоков и устройств вычислительной техники, что было связано с дополнительной разработкой таких областей логики, как проблемы логического синтеза, логическое проектирование и логического моделирования логических устройств и средств вычислительной техники.
В 80-х годах XX века начались исследования в области искусственного интеллекта на базе языков и систем логического программирования. Началось и создание экспертных систем с использованием и развитием автоматического доказательства теорем, а также методов доказательного программирования для верификации алгоритмов и программ для ЭВМ.
В 80-ые годы начались также изменения в образовании. Появление персональных компьютеров в средних школах привело к созданию учебников информатики с изучением элементов математической логики для объяснения логических принципов работы логических схем и устройств вычислительной техники, а также принципов логического программирования для компьютеров пятого поколения и разработка учебников информатики с изучением языка исчисления предикатов для проектирования баз знаний.
|
|
Прикладные проблемы логики и логической семантики
Логический анализ форм и приёмов познания
Поскольку логика устанавливает законы и схемы мышления, существует проблема соотнесения логики с творчеством, которое опирается на интуицию. Творчество без ограничений является идеализацией: оно ограничено психологическими закономерностями восприятия или, например, законами композиции в изобразительном искусстве. Творчество предполагает не только способность выдвинуть интересную идею, но и умение убедительно обосновать её и претворить в жизнь по определённым правилам, следовательно, должно следовать каким-то правилам мышления.
wreferat.baza-referat.ru
Ордена Дружбы народов
|
Мордовский государственный университет
имени Н.П.Огарева
|
Реферат по логике
на тему:
“Значение логики”
Выполнил : Савин Андрей Геннадьевич
(юридический факультет, группа №101)
Проверил : Редин Виктор Степанович
План:
1.Социальное назначение и функции логики
2.Роль логики в формировании логической культуры человека
3.Значение логики для юристов
1. Социальное назначение и функции логики
Возникая из насущных потребностей общества и развиваясь вместе с ним, логика, в свою очередь, оказывает на него обратное, и притом более или менее значительное, воздействие. Ее социальное назначение и роль в обществе определяются прежде всего ее природой и тем местом, которое она занимает в общей системе культуры.
Под культурой вообще понимается совокупность ценностей, накопленных человечеством. При этом имеются в виду не только результаты материальной и духовной деятельности людей, но и средства этой деятельности, и способы ее осуществления. Логика, как это очевидно, относится к духовному компоненту культуры и лишь через него так или иначе воплощается в тех или иных элементах материальной культуры. Но какое она занимает здесь место? Будучи одной из наиболее старых и важных наук в истории человечества, она входит неотъемлемой составной частью в систему наук, образующих интеллектуальное ядро духовной культуры, и вместе с ними выполняет многообразные и ответственные функции в обществе. В этих социальных функциях логики проявляется ее сущность и глубокая специфика как науки. Основными из таких функций выступают следующие.
1). Познавательная функция. Как и всякая наука вообще, логика имеет дело с открытием и исследованием объективных законов, с той лишь существенной разницей, что это законы
не внешнего мира, а мышления. В этом смысле, занимая важное место в общей системе познания мира, она выполняет прежде всего общенаучную — познавательную функцию, т. е. объяснительную и предсказательную. Она дает более или менее точное объяснение определенной группы явлений и процессов мышления, а на этой основе — предсказание, при каких условиях возможно достижение истинных знаний и каковы последствия неправильного хода рассуждения.
2). Мировоззренческая функция. Логика, как отмечалось выше, особая наука. Если в естественных и общественных науках мышление служит лишь средством познания действительности, то в логике — непосредственной целью познания. Поэтому, раскрывая закономерности мышления как одной из важнейших сфер исследования наряду с природой и обществом, эта наука тем самым вносит свой, и притом весомый, вклад в то или иное решение фундаментальной философской проблемы — отношения мышления к бытию. Следовательно, она активно участвует в формировании мировоззрения людей — более или менее стройной совокупности их обобщенных взглядов на мир в целом и на отношение человека к этому миру. Вот в каком смысле говорится о ее мировоззренческой функции.
3). Методологическая функция. Как и любая теория вообще, логическая теория, будучи результатом предшествующего познания своего объекта, становится средством, а следовательно, методом его дальнейшего познания. Но как весьма широкая теория, которая исследует процесс мышления, проявляющийся во всех науках без исключения, логика обеспечивает и их определенным методом познания. Это справедливо уже по отношению к традиционной формальной логике, основу которой составляет теория умозаключений и доказательств, обслуживающая науки методами получения выводного знания. Это еще более справедливо в отношении символической логики, разрабатывающей все новые, специальные математические методы решения мыслительных задач. И конечно, это особенно справедливо относительно диалектической логики, требования которой и есть, по существу, требования наиболее общего, диалектического метода, используемого многими науками.
4). Идеологическая функция. Зарождаясь и развиваясь в классовом обществе, логика никогда не была нейтральной в идеологической борьбе. Она служила важным средством обоснования одной идеологии, орудием борьбы с другой. В ней самой всегда развертывалось идейное противоборство важнейших философских направлений — материализма и идеализма, диалектики и метафизики. Отсюда и ее идеологическая функция.
Свои важнейшие функции логика выполняла всегда, на всех этапах своего развития, хотя проявлялись они в разное время по-разному. В современных условиях ее роль и значение особенно возрастают. Это обусловлено двумя основными обстоятельствами.
Одно из них — особенности современного этапа развития самого общества. Этот этап характеризуется все большим возрастанием роли наук в развитии всех сторон общественной жизни, ее проникновением во все поры социального организма. Соответственно этому усиливается и значение логики, исследующей средства и закономерности научного познания. Роль науки, а значит, и логики особенно велика в нашей стране — в условиях перехода России к рыночной экономике, требующей осмысления новых, сложнейших и многообразных экономических и социальных процессов, протекающих в жизни общества.
Другое обстоятельство — потребности развития научно-технической революции. Эта революция означает, что наука и техника переходят на качественно новый и более высокий этап своего развития, когда усиливается значение абстрактного мышления. А в этой связи и возрастает значение логики, исследующей его структуру, формы и законы. Потребность в логике, особенно символической, становится все более ощутимой в России — в обстановке нового этапа развертывания научно-технической революции, связанного с широкой компьютеризацией производства, управления, обслуживания, в условиях интенсивного развития информатики и других ее новейших направлений.
2. Роль логики в формировании
логической культуры человека
С общей культурой всего общества неразрывно связана культура отдельного человека. Это средства, способы и результаты той или иной его материальной или духовной деятельности, предполагающей определенные связи и отношения с другими людьми. Сюда входят культура труда, досуга и общения, политическая культура, правовая и нравственная культура (или культура поведения), эстетическая культура и т.д.
В каком отношении к этим элементам находится логическая культура? Ее не следует рассматривать как еще один из элементов такого ряда. Она буквально пронизывает каждый из этих элементов, входя в них неотъемлемой составной частью. Аналогично тому, как никакая культура невозможна без языка, так невозможна никакая материальная или духовная деятельность людей без мышления. Отсюда — особое значение логической культуры в жизни каждого культурного человека.
Что же такое логическая культура? Это культура мышления, проявляющаяся в культуре письменной и устной речи. Она включает:
а) определенную совокупность знаний о средствах мыслительной деятельности, ее формах и законах;
б) умение использовать эти знания в практике мышления — оперировать понятиями, правильно производить те или иные логические операции с ними, строить умозаключения, доказывать и опровергать;
в) навыки анализа мыслей — как своих собственных, так и чужих, с тем чтобы вырабатывать наиболее рациональные способы рассуждения, предотвращать логические ошибки, а если они допущены, находить и устранять их. Разумеется, выработка логической культуры — дело долгое и трудное. И значение логики здесь, несомненно, велико. Говоря об этом значении, важно избегать двух крайностей: как переоценки логики, гак и ее недооценки. С одной стороны, нельзя полагать, будто логика учит нас мыслить. Это было бы большим преувеличением. Логика не учит нас мыслить так же, как физиология не учит переваривать пищу. Мышление — такой же объективный процесс, как и пищеварение. Само использование логики предполагает наличие двух необходимых условий: во-первых, определенной способности к мышлению, а во-вторых, известной суммы знаний. Люди мыслили, и мыслили более или менее правильно, задолго до появления логики. Она сама возникла лишь как обобщение практики мышления, и притом правильного мышления. Еще знаменитый оратор древности Демосфен полагал, что мы от природы, до науки умеем излагать, как было дело, и доказывать то, что нам нужно, и опровергать. И в настоящее время многие люди, не зная логики, мыслят и рассуждают довольно правильно.
Означает ли это, что без нее можно обойтись? Нет. Это было бы другой крайностью: игнорированием или преуменьшением ее значения, недооценкой. На самом деле без логики трудно обходиться, если мы хотим, чтобы наша мысль протекала правильно не только в простых, обыденных, но и в сложных, теоретических рассуждениях. Изучение логики открывает возможность надежно контролировать мышление со стороны его формы, структуры, строения, проверять его правильность, предупреждать логические ошибки или обнаруживать и исправлять их. В этом отношении она сродни грамматике, освоение которой позволяет производить лингвистический анализ письменной или устной речи, предупреждать грамматические ошибки или быстро находить их и исправлять.
Значение логики обусловлено тем, что логические ошибки допускаются весьма часто — гораздо чаще, чем думают некоторые, полагая, будто культура мышления является прирожденным качеством каждого человека. Нет, как и всякой культурой, ею нужно упорно овладевать.
Отсюда следует, что хотя научиться мыслить с помощью логики невозможно, все же изучать ее необходимо. Ее главное значение для нас состоит в том, что она усиливает наши мыслительные способности и делает мышление более рациональным. подобно тому как знание физиологии помогает нам правильно, рационально питаться.
Конечно, для разных людей с различным уровнем развития мышления логика имеет неодинаковое значение — как высшая математика для дикаря и для современного инженера. Но тот, кто усердно изучает ее, в любом случае получает преимущество перед тем, кто ее не знает. А тот, кто осознает недостатки своего мышления, может значительно развить и упорядочить его с помощью логических упражнений. Это можно сравнить с тем, как Демосфен упорной тренировкой исправил дефекты своей речи и достиг вершин в ораторском искусстве, стал знаменитым оратором.
Именно на практические аспекты изучения логики обращали прежде всего внимание выдающиеся умы прошлого. Так, уже упомянутый выше средневековый философ и ученый Востока аль-Фараби — выдающийся комментатор трудов Аристотеля, заслуживший громкое имя “Второго учителя”(после Аристотеля), специально подчеркивал: логика учит совокупности законов и правил, “способствующих совершенствованию интеллекта и наставляющих его на путь истины”, охраняющих его от ошибок и помогающих проверять наши мысли. Правила логики, их значение для проверки правильности наших знаний о вещах он сравнивал с “весами и мерами, линейкой и циркулем”. Он отмечал “большую ценность”
логики и раскрывал отрицательные последствия ее незнания. Если мы невежественны в логике, считал он, то не можем быть уверенными в правильности утверждений того, кто прав, и не будем знать ошибки того, кто заблуждается, — словом, “колем дрова ночью”.
Г. Лейбниц вполне справедливо полагал, что если бы ученые так же старательно занимались логикой, как музыканты музыкой, то они творили бы чудеса.
Дж. Ст. Милль считал, что единственной задачей логики выступает управление собственными мыслями.
В. Минто утверждал: “главной целью и назначением” логики является “предохранение ума от заблуждений “.
Как видим, логика в той или иной степени была нужна человеку в самые разные исторические эпохи. Но особенно необходима она в современную эпоху. Объясняется это в решающей степени тем, что чем выше уровень развития общества, тем большие требования предъявляются к самому человеку, уровню его собственного развития, его общей и специальной культуре. Тем более высокой должна быть и его логическая культура. Все более настоятельной необходимостью для него становится умение масштабно мыслить и рассуждать, способность глубоко разбираться в происходящих процессах общественной жизни. Соответственно этому усиливается роль и значение логики как науки о мышлении. Такая тенденция особенно заметна в условиях экономической реформы, осуществляемой в России, и демократизации страны. Эти кардинальные процессы захватывают все более широкие слои населения, требуют от них подъема деловой и общественно-политической активности, а следовательно, и активности мышления. Эта тенденция органически связана с реформой народного образования в России. Ее магистральное направление — все большее перемещение центра тяжести с узкопрофессиональной в сторону широкой фундаментальной подготовки специалиста, способного лучше ориентироваться в достижениях науки и техники, полнее отвечать быстро меняющимся потребностям общества, переходящего к рыночной экономике.
В этих условиях особую значимость приобретает такая фундаментальная наука, как логика. В силу своей предельной общности и абстрактности она имеет отношение буквально ко всем, конкретным отраслям науки и техники. Ибо как бы ни были различны и своеобразны эти отрасли, все же законы и правила мышления, на которых они основываются, едины. Правда, также, как специалист по питанию может дать нам любую информацию, как питаться, но не может ни питаться за нас, ни переваривать пищу, так и логик может выдать богатейшую информацию о правильном мышлении, но не способен помочь тем, кто не учится мыслить самостоятельно.
3. Значение логики для юристов
Как явствует из сказанного, знание логики требуется так или иначе всем нормальным людям, поскольку они мыслящие существа. Однако есть отрасли человеческой деятельности, профессии и специальности, где это знание особенно необходимо. Так, логические знания сугубо важны для работников системы народного образования. Ведь эти люди участвуют в осуществлении очень важного социального процесса — передачи знаний, накопленных человечеством, от одного поколения к другому. Их деятельность также в значительной степени связана с формированием мышления подрастающего или молодого поколения. И здесь важно не только самим ясно правильно мыслить, ибо “кто ясно мыслит, ясно излагает”. Не менее важно научить этому других, сформировать логическую культуру обучающихся.
Знание логики настоятельно необходимо работникам печати и средств массовой информации. Ведь их мысль и слова обращены к громадным массам населения и могут вызывать самые серьезные социальные последствия. Поэтому тут очень важно, чтобы любая информация была строго выверенной, взвешенной, точной, чтобы в ней не было лжи, фальши, кривотолков, логических ошибок, чтобы высказываемые мысли были логически увязаны между собой, не противоречили себе, были не только истинными, но и обоснованными.
Необходимость знания логики очевидна для медицинских работников. Они имеют дело с самым дорогим для человека — его жизнью и здоровьем. Поэтому в анализе признаков
болезни и диагнозе, а значит, определении методов лечения особенно опасны логические просчеты. Известный врач Остроумов, именем которого названа, в частности, одна из крупнейших больниц Москвы, не раз заявлял, что есть медики, которые лучше, чем он, знают медицину, однако лучшим диагностиком считают именно его. “Почему, — спрашивал он, — мне удаются диагнозы лучше, чем другим? Только потому, что кроме медицины я знаю еще логику. Зная логику, я легко справляюсь с тем материалом, который дает история болезни в качестве своих признаков. Я могу построить силлогизм в любой форме, я могу сделать индуктивное умозаключение и оценить степень достоверности вывода. Любую логическую форму я могу применить к тем немногим показателям, которыми характеризуется данная болезнь на своей первой стадии. Всем этим другие медики воспользоваться не могут, ибо они не учились логике. Преимущество у меня именно в этом“.
Знание законов и правил нормально протекающего мышления используется в психиатрии как средство выявления нарушений мыслительной деятельности у психических больных. Здесь применяются такие логические приемы, как анализ, синтез, обобщение, классификация и т.п.
Логика имеет особое значение также в деятельности юристов. Еще Цицерон, говоря о судебных делах, советовал оратору, какие бы дела он ни взялся вести, “тщательно и основательно в них разобраться”. Он подчеркивал, что на судебном форуме — документы, свидетельства, договоры, соглашения, обязательства, родство, свойство, указы магистратов, заключения правоведов, вся жизнь, наконец, тех, чье дело разбирается, и все это должно быть разобрано. В этой предварительной работе Цицерон особо выделял логическую сторону дела: ”Тот довод, в котором больше помощи, чем вреда, я намечаю привести; где я нахожу больше зла, чем блага, то я целиком повергаю и отбрасываю. Так мне и удается сначала обдумать, что мне сказать, а потом уж и сказать”.
В современной юридической практике широко используется, по существу, весь богатейший арсенал логических средств: определение (юридических понятий), деление (например, классификация преступлений), подведение под понятие (например, квалификация конкретного деяния), версия как вид гипотезы (например, как следственная версия), умозаключение (например, в обвинительном заключении), доказательство и опровержение (например, во время судебного разбирательства) и т. д.
Мыслить логично — это значит мыслить точно и последовательно, не допускать противоречий в своих рассуждениях и уметь вскрывать логические ошибки. Эти качества мышления имеют большое значение в любой области научной и практической деятельности, в том числе и в работе юриста, требующей точности мышления, обоснованности выводов. Например приговор суда должен основываться на тщательно проверенном фактическом материале. Для правильного судебного решения важное значение при разбирательстве дела имеет также убедительная, логически стройная речь прокурора или защитника.
Лучшие русские юристы отличались не только глубоким знанием всех обстоятельств дела и яркостью судебных речей, но также строгой логичностью в изложении и анализе материала и неопровержимой аргументацией выводов. Вот например, как характеризуется профессиональное мастерство известного русского адвоката второй половины прошлого века П.А.Александрова: ”Наиболее характерным для судебного ораторского мастерства П.А.Александрова является твердая логика и последовательность его суждений, умение тщательно взвешивать и определять место любого доказательства по делу, а также убедительно аргументировать и обосновывать свои важнейшие доводы”. А.Ф.Кони подчеркивал “неотразимую логику” в речах В.Д.Спасовича. Строгая последовательность, логичность и убедительность отмечаются в речах видного юриста К.Ф.Халтурина.
И наоборот, речь, содержащая логические ошибки, путанная и противоречивая, затрудняет выяснение дела, а в некоторых случаях может служить причиной вынесения неправильного приговора.
Для успешного использования логического арсенала нужно в совершенстве им владеть. И тут нет иного пути, кроме глубокого и вдумчивого изучения логики — освоения определенной суммы логических знаний, выработки соответствующих логических умений и навыков. Можно смело сказать: чтобы стать настоящим, хорошим юристом, требуются две вещи: высокая правовая культура и столь же высокая логическая культура. И в этом нет никакого преувеличения.
О том, какое значение имеет логика для юристов, свидетельствуют стенограммы материалов Конституционного Суда, поскольку они опубликованы. Как видно из стенограмм, на заседаниях множество раз употреблялся сам термин “логика”: “обычная логика”, “вопреки логике”, “дела логично объединены”, “логическая форма мысли”. Использовались и специальные логические термины: “определение” ,“тезис”, “доказательство”, “довод”, “аргументы”, “основание”, “вывод” (или “выводы”). Делались ссылки на законы и требования логики: говорилось о “подмене тезиса” (закон тождества), выявлялись логические противоречия в рассуждениях сторон (закон противоречия), применялось требование “или-или” (закон исключенного третьего), говорилось о “достаточных основаниях” для выводов (закон достаточного основания).
Понятно, что решение суда могло быть правильным лишь том случае, если не только его юридические основания верны, но и ход рассуждений — правильный. А это и есть логическая сторона юридических доказательств. Характерно, что сами юристы признают важность и значение логики для юридической практики. Так, в учебнике “Криминалистика” подчеркнуто: “Широко и творчески криминалисты заимствует положения логики, и особенно такие приемы логического мышления, как анализ, синтез, дедукция и индукция, аналогия, обобщение, абстракция и т. п. Использование сведений из области логики позволило разработать «логику следствия”, „логические основы криминалистической тактики“. В сложных ситуациях расследования, говорится там, нельзя достичь успеха
в раскрытии преступлений без знания законов диалектической и формальной логики, без умения следователя мыслить, без способности его к вероятным суждениям, предположениям. Применительно к частному случаю расследования там далее сказано: “Достоверное установление свойства объекта требует, таким образом, исследования различных его проявлений, обобщения наблюдений, экспериментов, построения умозаключений о механизме образования следов, а также использования других форм логической деятельности”. В связи с использованием новейшей техники, основанной на математическом моделировании, отмечается, что при построении так называемых формализованных языков и создании автоматизированных систем сбора, хранения, переработки и выдачи юридической информации традиционная символика математики и логики модифицируется и используется с учетом характера конкретного объекта
исследования.
Логика имеет большое значение не только для криминалистики, но и для решения всего спектра юридических задач, регулирования трудовых, имущественных и иных отношений, социальной и правовой защиты трудящихся, пенсионного обеспечения и т. п.
В нынешних условиях развития нашей страны значение логики для юристов еще более возрастает. Становление правового государства в России предполагает выдвижение на одно из первых мест в обществе всего комплекса юридических наук как теоретической основы правового регулирования всей совокупности общественных отношений в условиях перехода к рыночной экономике. Предстоит также огромная практическая работа, связанная с приведением всего многообразного законодательства в соответствие с требованиями рыночных отношений. В связи с этим и усиливается роль логики как
одной из незаменимых теоретических опор юридической науки и практики.
Список использованной литературы :
1.Гетманова А.Д. “Логика” — Москва,1995г.
2.В.И.Кириллов, А.А.Старченко “Логика” — Москва, 1982г.
www.ronl.ru
