Логика. Лекция 1. Предмет логики. Формальная правильность рассуждения.
Ликбез. Глава 5. Формальная Логика (ФЛ)
В этой главе будет рассмотрена тема Формальной Логики (ФЛ). Мы рассмотрим понятие “понятия” с точки зрения ФЛ и ДЛ; понятие абстрактного и конкретного с точки зрения ФЛ и ДЛ; Что такое суждение и умозаключение; Виды индукции; О причинной связи явлений; Что такое аналогия; Имплицитное и эксплицитное знание; Основные формы и законы формальной логики; Понятие о логическом законе; Четыре закона ФЛ; Классическая и современная ФЛ; И значение логических законов. В конце задачи по формальной логике. Предыдущая...
Логика - это математика или философия?
В конце 19 века "логика" перешла от философии к математике. Сто лет спустя у нас появилось множество формальных логик. Рассматривая ситуацию с информатикой, математическая дисциплина оказалась лишь временным убежищем для "логики". Ведь существует Доменная теория, конструктивная математическая теория, которая расширяет понятие вычисляемости до континуума и охватывает область всех возможных дедуктивных систем. Теория домена описывает пространство типов данных, которые компьютеры могут идеально вычислить, и вычисления в терминах этих типов...