Аватар пользователя Дмитрий

Формализация математических теорий и теоремы Гёделя о неполноте

В 70-х годах XIX века великий немецкий математик Георг Кантор создал свою теорию множеств, которая долгое время считалась незыблемым фундаментом всего математического здания. Однако к концу века в ней обнаружилось множество противоречий (антиномий), которые пошатнули не только ее авторитет, но и вызвали недоверие к построению доказательств вообще в математике. Из, казалось бы, непротиворечивых аксиом выводились теоремы, противоречащие друг другу. 

Аватар пользователя Дмитрий Косой

право в России

забавно что и специалисты по праву не имеют одинакового представления о законе и его связи с правом.

Аватар пользователя сиспилакопа

Мышление - восприятие?

Если априорное знание не доказано - как доказать автономность мышления от восприятия? Какое-то априорное знание необходимо хотя бы для функционирования собственно мышления, но содержание мышления в большей части - апостериорное знание и каким-то образом оно было получено умом для мышления. Своё содержание мышление должно ещё воспринять.

Таким образом, мышление наполняется содержанием через всё ту же функцию восприятия, только уже внутреннюю.

Аватар пользователя Дмитрий Косой

право по Кельзену

основанием права у Кельзена является поведение, индивид получается сравнивается с домашним животным. Отсюда естественно вытекает идея правопорядка, и принуждения к нему посредством безликого закона.

Расширение форума. Терминометрия—2

Предлагаю раздел для оценки терминов по следующим независимым измерениям:

Аватар пользователя Спокус Халепний

Помироточим ?

"Железный конь пришёл на смену крестьянской сохе!" ... в сегодняшнем смысле: в забеге на лучшее мироточинье Поклонская передала эстафету президенту.
 
Ниже - фрагмент из заметки И.Яковенко.
_____________________________________________________
Боевой вирус «Онищенко» в голове Владимира Путина
1 ноября 2017, Игорь Яковенко
Аватар пользователя bulygin69

Квантор_существования Х = Хотя бы один Х = Один Х или более одного Х

 Один Х или более одного Х = Существует Х или существует более одного Х

Так, фразу (хотя бы одна черная кошка в темной комнате) можно представить как (существует черная кошка в темной комнате или существуют черные кошки в темной комнате ).

Аватар пользователя Виктория

Мышление: философский и психологический аспекты рассмотрения. Часть 2.

Эта тема - продолжение предыдущего обсуждения.

Краткое содержание:

А.В. Болдачев предложил определение мышления:

Мышление – это деятельность по оперированию понятиями.

С.А. Борчиков предложил определение:

Мышление - это деятельность по оперирования мыслями.

Аватар пользователя Дилетант

О знании

Имеем три "репера": "носитель знания", "критерий знания", и некий "синдром" УВЕРЕННОСТИ в знании.

Аватар пользователя DanielAlievsky

Менора как универсальный принцип организации

Предлагаю для обсуждения концепцию меноры, или семиуровневой картины мира:
http://algart.net/ru/8th_day_of_creation/7_levels_of_menorah/

Концепция интересна своей универсальностью. С одной стороны, так устроено наше мироздание и вообще любая его структура. С другой стороны, эту модель можно (и нужно) применять для очень конкретных вещей, например, при планирования бизнеса или решения личных вопросов. Проверно многократно :)

RSS-материал