Логика и теория аргументации. Их сопоставление
Сущность, социальное назначение и функции логики, ее роль в формировании логической культуры человека и значение для людей различных профессий. Характеристика видов аргументирования философской науки, ее законы. Доказательство и его логическая структура.
| Рубрика | Математика |
| Вид | реферат |
| Язык | русский |
| Дата добавления | 25.11.2010 |
| Размер файла | 49,2 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Таким образом, мы показали важность правильной аргументации, которая основывается, прежде всего, не на количестве фактов, а на их убедительности, яркости, впечатляющей логике.
Заключение
Логическое доказательство необходимо как в естественных, так и в общественных науках -- здесь оно играет еще более важную роль, чем в науках о природе. Если в естествознании решающим доводом служит физический эксперимент и химическая реакция, то в науках, изучающих общественную жизнь, то и другое должна заменить сила абстракции, логическая убедительность доказательства. Тем более это необходимо потому, что в общественных науках беспристрастные научные изыскания сплошь и рядом подменяются предвзятой, угодливой апологетикой.
Познавательная и методическая роль доказательства состоит в обеспечении логической обоснованности научных положений, их глубокого усвоения и дальнейшего развития. Эти аспекты доказательного рассуждения необходимы и в научном познании, и в процессе передачи знания другим. Задача обучения прежде всего ставит своей целью прочное и сознательное овладение системой знаний, необходимых в практической деятельности. Логически стройное и доказательное изложение учебного материала повышает культуру логического мышления учащихся, их способность самостоятельно овладевать знаниями и творчески применять их на практике.
Законы логики функционируют в мышлении в качестве принципов правильного рассуждения в ходе доказательства истинных суждений и теорий и опровержения ложных суждений.
Одна из основных задач логики состоит в придании точного значения понятию доказательства. Но хотя это понятие является едва ли не главным в логике, оно не имеет точного, строго универсального определения, применимого во всех случаях и в любых научных теориях.
Определение доказательства включает два центральных понятия логики: понятие истины и понятие логического следования.
В стандартном определении доказательства используется понятие истины. Доказать некоторый тезис - значит логически вывести его из других, являющихся истинными положений. Но есть утверждения, не связанные с истиной. Очевидно также, что, оперируя ими, можно и нужно быть и логичным, и доказательным.
Литература
1. А.А. Ивин, Логика - Москва, изд. «Гардарики», 1999
2. Логика: учебник для студентов вузов / А.Д. Гетманова - Москва, «Омега-Л», 2006.
3. В.И. Кириллов, А.А. Старченко , Логика - Москва: «Высшая школа», 1982
4. Логика: учебник для юридических вузов / В.П. Сальников - Санкт-Петербург, изд. «Лексикон», 2001
5. О.А. Солодухин, Логика - Ростов - на - Дону, изд. Феникс», 2000
Размещено на Allbest.ru
Подобные документы
Логическая переменная в алгебре логики. Логические операции: отрицание, конъюнкция, дизъюнкция, импликация, эквивалентность. Основные законы алгебры логики. Правила минимизации логической функции (избавление от операций импликации и эквивалентности).
курсовая работа [857,2 K], добавлен 16.01.2012Основы формальной логики Аристотеля. Понятия инверсии, конъюнкции и дизъюнкции. Основные законы алгебры логики. Основные законы, позволяющие производить тождественные преобразования логических выражений. Равносильные преобразования логических формул.
презентация [67,8 K], добавлен 23.12.2012Основные понятия алгебры логики. Дизъюнктивные и конъюнктивные нормальные формы. Сущность теоремы Шеннона. Булевы функции двух переменных. Последовательное и параллельное соединение двух выключателей. Свойства элементарных функций алгебры логики.
контрольная работа [345,3 K], добавлен 29.11.2010Философский подход к количественной характеристике и ее переходу к качественной категории. Математический анализ гегелевской логики теории непрерывности. Определение числа посредством бесконечности. Сущность и значение метода дифференциального исчисления.
реферат [35,4 K], добавлен 14.08.2015Построение таблицы истинности. Доказательство истинности заключения путём построения дерева доказательства или методом резолюции. Выполнение различных бинарных операций. Построение графа вывода пустой резольвенты. Основные правила исчисления предикатов.
курсовая работа [50,7 K], добавлен 28.05.2015Основные аксиомы и тождества алгебры логики. Аналитическая форма представления булевых функций. Элементарные функции алгебры логики. Функции алгебры логики одного аргумента и формы ее реализации. Свойства, особенности и виды логических операций.
реферат [63,3 K], добавлен 06.12.2010Понятие алгебры логики, ее сущность и особенности, основные понятия и определения, предмет и методика изучения. Законы алгебры логики и следствия из них, методы построения формул по заданной таблице истинности. Формы представления булевых функций.
учебное пособие [702,6 K], добавлен 29.04.2009Основные определения математической логики, булевы и эквивалентные функции. Общие понятия булевой алгебры. Алгебра Жегалкина: высказывания и предикаты. Определение формальной теории. Элементы теории алгоритмов, рекурсивные функции, машина Тьюринга.
курс лекций [651,0 K], добавлен 08.08.2011Понятие формальной системы. Основные понятия логики первого порядка. Доказательство неразрешимости проблемы остановки. Машина Тьюринга, ее структура. Вывод неразрешимости логики первого порядка из неразрешимости проблемы остановки и методом Геделя.
курсовая работа [243,0 K], добавлен 16.02.2011Этапы развития логики. Имена ученых, внесших существенный вклад в развитие логики. Ключевые понятия монадической логики второго порядка. Язык логики предикатов. Автоматы Бучи: подход с точки зрения автоматов и полугрупп. Автоматы и бесконечные слова.
курсовая работа [207,1 K], добавлен 26.03.2012
