Логика. Учебник. 6-е издания

Cesare, Camestres, Festino, Baroco, secunde.

Tertia, Darapti, Disamis, Datisi, Felapton

Bokardo, Ferison habet; Quartio insuper addit

Bramantip, Camenes, Dimaris, Fesapo, Fresison.

Курсивом выделены слова, обозначающие модусы.

37

Так как двойное отрицание равнозначно утверждению, вывод можно записать так: «Иск предъявлен дееспособным лицом».

38

Модусы могут быть представлены в записи:

1) ((p -> q) p) -> q; 2) ((p -> q) q) -> p; 3) ((р -> q) р) -> q; 4) ((p -> q) q) -> p.

39

От лат. lemma — «предположение».

40

От лат. alternate — «чередоваться»; каждая из двух или нескольких исключающих друг друга возможностей.

41

От греч. en timo — в уме.

42

От греч. soros — «куча» (куча посылок).

43

О градации вероятности см. гл. VI, § 2.

44

Греч, analogia — соответствие.

45

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

В логике эти доказательства выполняют функцию оснований (аргументов).

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

46

Греч. thesis — положение, утверждение.

47

Лат. argumentum — логический довод, основание доказательства.

48

Лат. demonstratio — показывание.

49

Греч. apagogos — «отводящий», «уводящий».

50

Лат. destructio — разрушение, опровержение; constructio — строение, построение.

51

Греч. problema — преграда, трудность, задача.

52

Греч. hypothesis — основание, предположение.

53

Греч. theoria — наблюдение, рассмотрение, исследование.