О понятии логического следования
Место издания: Москва
ISBN: 978-5-9540-0098-6
Страниц: 155
Артикул: 44907
Краткая аннотация книги "О понятии логического следования"
Монография посвящена анализу философских оснований логики. В первую очередь это касается понятия истины и понятия логического следования. Автор показывает ограниченность философских предпосылок современной логики и предлагает альтернативный подход к ее построению. Книга предназначена для всех, кто интересуется проблемами современной философской логики.
Содержание книги "О понятии логического следования"
Предисловие
I. Введение
II. Классическое определение следования
III. Историческая ретроспектива
IV. Альтернативное определение следования
V. Логика ACL
VI. Протологика
VII. Дедукция vs вычисления
VIII. Теории на основе альтернативного следования
IX. Истина в логике
X. Квантитативная логика QL
XI. Ограниченная квантитативная логика LQL
ХII. Об отношении логики и теории вероятностей
XIII. Теория вероятностей и логика Лукасевича
XIV. Теория вероятностей и квантитативная логика
XV. Категорный анализ альтернативного следования
XVI. Заключение
Литература
Все отзывы о книге О понятии логического следования
Отрывок из книги О понятии логического следования
Эта ссылка позволила нам дать компактную аксиомати-зацию, но не является обязательной. С равным успехом мы могли бы оставить одно лишь правило R.2, a R.1 за-менить на несколько аксиом, соответствующих аксио-мам булевой алгебры, по правилу: если А = В - аксиома булевой алгебры, то к набору наших аксиом-выводи-мостей мы добавляем две новые - {А}||-В и {В}||-А. Так как по нашему определению выводимости слева от знака ||- всегда стоит множество, мы будем опускать фигурные скобки и символ операции объединения мно-жеств формул. Запись двух множеств формул через за-пятую Г, Д служит сокращением для ГиД, запись двух формул А, В - сокращением для {А, В} и т.д. Дадим определение доказательства в нашем исчис-лении. Def.6 Доказательством называется непустая конеч-ная последовательность, каждый из элементов которой является либо доказуемой формулой классического ис-числения высказываний вида А=В, либо аксиомой-выводимостью А.1-А.З, либо выводимостью, получен-ной из предыдущих элементов последовательности по правилам R.1-R.2. Доказанной считается выводимость, являющаяся конечным элементом последовательности. Покажем непротиворечивость построенного исчис-ления. Для этого нам надо показать, что всякая доказуе-мая выводимость обладает свойством следования. Теорема о непротиворечивости ACL. Если ГЦ-А, то Г||=А. 51
С книгой "О понятии логического следования" читают
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Бестселлеры нон-фикшн
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Новинки книги нон-фикшн
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Посмотреть
Шалак В. И. другие книги автора
и мы свяжемся с вами в течение 15 минут
за оставленную заявку