Серебрянников О.Ф. Эвристические принципы и логические исчисления

формат djvu
размер 2.2 МБ
добавлен 11 июля 2011 г.

М.: Наука, 1970. - 283 с.
В книге рассматриваются проблемы выражения эвристических принципов мышления в исчислениях современной логики.

Содержание

Современная формальная логика и научная эвристика
Общие замечания о методах формальной дедукции
Аналоги принципов эвристической деятельности в логических исчислениях
Системное выражение эвристических принципов в логических исчислениях
Роль принципов логики в развитии научного знания

Критерии нетривиальной выводимости (регулярная выводимость)
О так называемых "парадоксах" формальной выводимости
Регулярная выводимость в классической логике высказываний
Одно регулярное логическое исчисление
Сравнение полного (классического) исчисления высказываний и регулярного исчисления высказываний

Приложение А
Теория естественного вывода с точки зрения современной формальной логики
Семантика логических знаков. Истинностные таблицы
Понятие логического следования
Логические системы естественного вывода
Корректность, непротиворечивость и полнота логических систем
Силлогистика

Приложение Б
Техника естественного вывода в модальной логике

Похожие разделы

Смотрите также

Войшвилло Е.К. Понятие как форма мышления: логико-гносеологический анализ

формат djvu
размер 10.85 МБ
добавлен 24 марта 2010 г.

М. Изд-во МГУ, 1989. – 239 с. В книге выясняется понятия как формы мышления, его роль в познании, возможные логические структуры, виды отношений между понятиями, основные операции с ними. Показаны возможности применения средств современной логики (понятий логической семиотики, формализованного логического языка и аппарата дедукции) для анализа структур понятий, отношений между понятиями и для разрешения некоторых исторически сложившихся спорных в...

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

degree

формат doc
размер 1.54 МБ
добавлен 09 июня 2009 г.

151л. Содержание. Введение. Основные понятия и операции логики высказываний. Способы решения логических задач. Виды логических операций. Формы записи высказываний. Алгоритмические способы решения логических задач. Эвристические методы решения логических задач. Повторение, его виды и способы реализации в учебном процессе. Виды повторения. Требования к повторению. Методы, приемы и формы повторения. Безопасность жизнидеятельности. Анализ негативны...

Киреев Е.М. Логика и теория аргументации

формат pdf
размер 536.03 КБ
добавлен 24 декабря 2011 г.

Учеб. пособие. Воронеж: Воронеж. гос. техн. ун-т, 2005. 147 с. В учебном пособии рассматриваются основные формы мышления: понятие, суждение, умозаключение, формально-логические законы, закон тождества, закон логической непротиворечивости, закон исключенного третьего, закон достаточного основания, логические основы аргументации. Учебное пособие соответствует требованиям Государственного образовательного стандарта высшего профессионального образова...

Киреев Е.М. Логика и теория аргументации

формат doc
размер 610 КБ
добавлен 12 декабря 2011 г.

Контрольная работа - Основные понятия. Логические законы. Виды логики

Лабораторная

формат doc
размер 8.18 КБ
добавлен 04 марта 2010 г.

Основные понятия. Логические законы. Виды логики.

Контрольная работа по Логике

Лабораторная

формат doc
размер 51.5 КБ
добавлен 01 июня 2010 г.

Сдана на отлично. МЭСИ, специальность маркетинг. 1 курс. Вопросы: 1. Логические операции над бинарными отношениями. 2. Принципы логической семантики и ошибки, связанные с их нарушением. Практическое задание: 3. Формализуйте данное умозаключение при помощи языка КЛВ и определите, к какому виду оно относится: Если бы у преступника был сообщник, все было бы спланировано заранее. И если бы его ничто не встревожило, убийство произошло бы точно в срок....

Лекции по Логике

Статья

формат doc
размер 351.5 КБ
добавлен 21 декабря 2010 г.

КГТУ-КАИ им. А. Н. Туполева Содержание: - Предмет и значение логики. Основные законы логики. - Понятие как форма мысли. - Логические операции с понятиями. Определение понятия - Логические операции с понятиями. Деление понятия. - Суждение как форма мысли. - Суждение как форма мысли. - Суждение как форма мысли. - Умозаключение как форма мысли. - Индуктивное умозаключение. - Простой категорический силлогизм. - Простой категорический силлогиз...

Реферат - Логика в общении

Реферат

формат doc
размер 21.83 КБ
добавлен 30 марта 2010 г.

СПбАУиЭ специальность финансы и кредит, 4 курс 15 страниц. Логика как наука общения, Основные логические законы, Логические особенности делового общения

Таванец П.В. Проблемы логики

формат djvu
размер 1.24 МБ
добавлен 10 ноября 2009 г.

Учебное пособие. -М.: Издательство Академии наук СССР, Институт философии, 1963,152 с. Сборник статей посвященных проблемам логики, актуальный и в наши дни. Содержание: С. А. Яновская. О философских вопросах математической логики В. В. Донченко, Некоторые вопросы, связанные с проблемой разрешения для исчисления строгой импликации Аккермана Н. И. Стяжкин и Б. Р. Певзнер. Об одном методе спецреферирования A. А. Зиновьев. Обобщение силлогистики B....

Шпаргалка по Логике

Шпаргалка

формат doc
размер 88 КБ
добавлен 07 ноября 2011 г.

Тест, МЭСИ, 2011 (75 правильных ответов), 12 стр. Логика как наука Основные понятия логики Логика и язык Принципы логической семантики Какой принцип нарушен? Семантические парадоксы Парадоксальные задачи Умозаключения КЛВ Дилеммы Логические отношения Классическое исчисление высказываний