10. Что устанавливает закон исключенного третьего?

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

В использовавшейся уже полусимволической форме: А или не-А, т.е. истинно высказывание А или истинно его отрицание, высказывание не-А.

Само название закона выражает его смысл: дело обстоит так, как описывается в рассматриваемом высказывании, иди так, как говорит его отрицание, и никакой третьей возможности нет.

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

11. Что выражает принцип достаточного основания?

Принцип Достаточного Основания — это принцип, требующий, чтобы в случае каждого утверждения указывались убедительные основания, в силу которых оно принимается и считается истинным. Требование достаточных или убедительных оснований столь же старо, как и само теоретическое мышление. В ясной форме это требование сформулировал уже Аристотель. Он уточнил одновременно, что в различных областях знания требование достаточности оснований является разным, и не следует от оратора требовать научных доказательств, а от математика — эмоционального убеждения. Однако, все ещё остается спорным вопрос о применении Принципа достаточного основания к самому же этому принципу.

Все существующее, считал Лейбниц, имеет достаточные основания для своего существования, в силу чего ни одно явление не может считаться действительным и ни одно утверждение истинным или справедливым без указания его основания: «Аксиома, что ничего не бывает без основания, должна считаться одной из самых важных и плодотворных аксиом во всем человеческом познании…» В основе всех необходимых истин лежит, по Лейбницу, логический закон противоречия, предпосылкой всех фактических и случайных истин выступает П. Д. О. Характеристика последнего, данная Лейбницем, не отличалась ясностью, и уже вскоре были предприняты попытки свести требование достаточного основания к условию непротиворечивости. В дальнейшем идея Лейбница понималась по-разному. В частности, А. Шопенгауэр истолковывал ее как положение о необходимой взаимосвязи каждого явления со всеми иными явлениями.

13 Вопрос: "На каких языках основаны традиционная и математическая логики?"

Математическая логика основана на формализованных языках, а традиционная на естественном языке

14 Вопрос: "Какими символами оперирует символическая логика?"

Термин «символическая логика» акцентирует внимание на некоторых символах, выбираемых (или конструируемых из выбранных ранее символов) и интерпретируемых (истолкованных) определённым образом, специфическим именно для данной логической ситуации и, вообще говоря, не связанным ни с каким «традиционным» употреблением, пониманием и функциями таких же символов в других контекстах.