4.Дайте определения большего, среднего и меньшего терминов категорического силлогизма, приведите их символы.

S — меньший термин: субъект заключения (входит также в меньшую посылку);

P — больший термин: предикат заключения (входит также в большую посылку);

M — средний термин: входит в обе посылки, но не входит в заключение.

Подлежащие S (субъект) — то, относительно чего мы высказываем (делится на два вида):

Определенное: Единичное, Частное, Множественное

Единичные [суждения] — в которых подлежащее является индивидуальным понятием. Прим: «Ньютон открыл закон тяготения»

Частное суждение — в котором подлежащим суждения является понятие, взятое в части своего объема. Прим: «Некоторые S суть P»

Множественное суждение — это те, в которых несколько подлежащих классовых понятий. Прим: «насекомые, пауки, раки есть членистоногие»

Неопределенное. Прим: «светает», «больно» и т. п.

Сказуемое P (предикат) — то, что мы высказываем (2 вида суждений):

Повествовательные — это суждение относительно событий, состояний, процессов или деятельности скоропроходящих. Прим: «Роза в саду цветет».

Описательные — когда одному или многим предметам приписывается какое-нибудь свойство. Субъектом всегда является определенная вещь. Прим: «Огонь горяч», «снег бел».

Отношение между подлежащим и сказуемым:

Суждения тождества — понятия субъекта и предиката имеют один и тот же объем. Прим: «всякий равносторонний треугольник есть равноугольный треугольник»

Суждения подчинения — понятия с менее широким объемом подчиняется понятию с более широким объемом. Прим: «Собака есть домашнее животное»

Суждения отношения — именно пространства, времени, отношения. Прим: «Дом находится на улице»

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

Билет № 8

1.Дайте общую характеристику законов логики.

Зако́н то́ждества — закон логики, который гласит, что предмет суждения должен оставаться тождественным самому себе в этом суждении. Если А, то А, или А ≡ А.

Закон исключённого третьего (лат. tertium non datur, то есть «третьего не дано») — закон классической логики, состоящий в том, что из двух высказываний — «А» или «не А» — одно обязательно является истинным, то есть два суждения, одно из которых является отрицанием другого, не могут быть одновременно ложными (либо истинными), одно из них необходимо истинно, а другое ложно. Закон исключённого третьего является одним из основополагающих принципов современной математики.

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

Закон непротиворечия (закон противоречия) — закон логики, который гласит, что два несовместимых (противоречащих либо противоположных) суждения не могут быть одновременно истинными. По крайней мере одно из них необходимо ложно.

Дедукция (лат. deductio — выведение) — метод мышления, при котором частное положение логическим путем выводится из общего, вывод по правилам логики; цепь умозаключений (рассуждений), звенья которой (высказывания) связаны отношением логического следования. Началом (посылками) дедукции являются аксиомы, постулаты или просто гипотезы, имеющие характер общих утверждений («общее»), а концом — следствия из посылок, теоремы («частное»). Если посылки дедукции истинны, то истинны и ее следствия. Дедукция — основное средство доказательства. Противоположно индукции.

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