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