Философские и
логические языки обычно создаются для того, чтобы изменить наше восприятие мира.
Любая программа, написанная на
логическом языке программирования, представляет собой набор предложений в логической форме, выражающий факты и правила о некоторой проблемной области.
Философские и
логические языки, как правило, бывают известны в довольно узких кругах; из недавних изобретений такого рода чаще всего вспоминают логлан и ложбан.
Однако передать её
логическим языком было трудно – так появился миф.
У него имелся бы свой внутренний
логический язык, который можно было бы приспосабливать для разных целей, чтобы решать произвольные задачи.
Привет! Меня зовут Лампобот, я компьютерная программа, которая помогает делать
Карту слов. Я отлично
умею считать, но пока плохо понимаю, как устроен ваш мир. Помоги мне разобраться!
Спасибо! Я стал чуточку лучше понимать мир эмоций.
Вопрос: восславляться — это что-то нейтральное, положительное или отрицательное?
Существует целая традиция интеллектуального прояснения сложнейших духовных концепций, когда мы шаг за шагом разбираем их при помощи простого
логического языка.
Слишком плохо поддаются окончательной формализации те образы и понятия, которыми пользуется сознание, – и тем хуже, чем меньше их остаётся неформализованными, не переведёнными на
логический язык.
Логика – «наука о правильном мышлении», «способность к рассуждению»; раздел философии, нормативная наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью
логического языка.
Состояние интуитивного познания-одновременно и лёгкое, и трудное, поскольку в нём содержится то, что возбуждает радость сердца, тающего от изумления и растерянности, и то, что вызывает печаль разума, сталкивающегося с трудностью выражения интуитивных откровений средствами
логического языка.
Это – наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью
логического языка.
Без возврата к осмыслению гравитации нематематическим, а
логическим языком натуральной философии мы и не сможем раскрыть тайну природы гравитации.
Бит – это такой простейший логический элемент…, э-э, или лучше сказать – элемент
логического языка…
Мы должны (иного не дано) в полной мере осознать статус и возможности
логического языка.
Главное достоинство теорем логики, причём как неограничительных, так и ограничительных, состоит в том, что они обрисовывают статус
логического языка таким, каким он является: продуктивным в науке и, следовательно, во всей человеческой культуре.
Prolog – декларативный
логический язык программирования, основанный на формальной логике.
Логический язык, может быть, один из лучших языков общения между людьми, но мыслей, которые нуждаются в выражении, сам по себе он не порождает, «как никогда ложка не поймёт вкуса пищи» (из индусской мудрости).