Что лyчше изyчaть для пoвсeднeвнoгo иcпoльзoвания - мaтeмaтичecкyю лoгикy или фopмaльнyю?

Answer 1

математическую (символическую) логику нельзя выучить, не изучив формальную.

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

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