Бернар Больцано
Бернард Больцано Бернард Больцано — австрийский философ, основатель логического позитивизма. Он разработал теорию интуиций (Anschauungen) для соответствия субъективным идеям изменениям, […]
Вики
История логики
Вики
Предыдущая аналитика
Предварительная аналитика Предварительная аналитика — труд Аристотеля о логических рассуждениях, известный как силлогистика. Термин «аналитика» происходит от греческих слов analytos
Вики
История логики
История логики Логика имеет долгую историю, начиная с древних времен и включая греческую, средневековую и современную логику. Греческая логика была
Вики
Алгебраическая логика
Алгебраическая логика Алгебраическая логика — старейший подход к формальной логике, основанный на теории множеств. Лейбниц, возможно, начал подход к алгебраической
Вики
Минимальные аксиомы булевой алгебры
Минимальные аксиомы для булевой алгебры Минимальные аксиомы для булевой алгебры эквивалентны аксиомам, выбранным как можно более краткими. Аксиома с шестью
Вики
Классическая логика
Классическая логика Классическая логика (или стандартная логика) является интенсивно изучаемым и широко используемым классом дедуктивной логики. Она оказала большое влияние
Вики
Термин логика
Логика термина Терминологическая логика рассматривает предложения как комбинации идей, а не терминов. Логическая традиция, называемая логикой Порт-Рояля, следовала многим условностям
Вики
Теория информации
Теория информации Теория информации изучает передачу и обработку информации в различных системах. Информация может быть измерена с помощью энтропии и