ТОП авторов и книг ИСКАТЬ КНИГУ В БИБЛИОТЕКЕ
Изложенный ход мыслей представляет индукцию,
в частности своеобразную "индукцию условий". Только затем можно
воспользоваться условно-категорическим силлогизмом: если причина (и все
условия) налицо, то необходимо должно быть и следствие. Доказывание на
основании прямого направления от причины к следствию (или от условия к
обусловленному) встречается в следственной и судебной практике; однако
наибольшее значение имеет доказывание по обратному направлению этой связи:
от следствия к причине. Применительно к причинной связи использование вывода
по обратному направлению наталкивается на так называемую множественность
причин. Одно и то же следствие, как известно, может быть вызвано многими
причинами, например пожар может быть следствием как поджога, так и
самовозгорания, поэтому нельзя непосредственно сделать вывод о причине на
основе одного следстви Чтобы преодолеть это препятствие, логика предлагает
условный силлогизм с общевыделяющей большей посылкой: если, и только если,
совершен поджог, произойдет пожар; пожар произошел; следовательно, имел
место поджог. Но большую общевыделяющую посылку можно сформулировать не
раньше, чем будет установлено, что все другие (также возможные) причины
пожара исключены. Таким образом, и здесь, раньше чем обратиться к
использованию дедуктивной формы, нужно пройти подготовительную стадию
отыскания действительной причины среди нескольких возможных.
Нетрудно видеть, что ход исследований напоминает здесь процесс
проверки гипотезы путем выведения из нее следствий и проверки этих следствий
наблюдением. Эту форму можно назвать "индукцией следствий". Такую же
структуру можно наблюдать в ходе исследования фактической причины аварии или
транспортного происшествия, технической причины пожара, так называемого
"самопроизвольного" выстрела и т. п. Под функциональной связью разумеют
главным образом количественную связь ряда явлений, состоящую в том, что
изменение одного из них всегда сопровождается изменением другого. Если в
конкретной причинной связи причина и следствие необратимы, то в
функциональной зависимости оба агента равноправны и отношение между ними
обратимой Функциональная связь между шириной зоны разброса дроби и
расстоянием выстрела позволяет определять последнее по результатам
исследования мишени. К этому же типу принадлежит определение давности
написания текста и т. п. Индивидуализирующая или объемная связь проявляетс
между объектами, образующими род, вид, и признаками, указывающими на их
принадлежность к этим множествам. Этот же тип связи существует между
состояниями одного и того же объекта в разное время и признаками, которые
этот объект характеризуют. На основе этой связи осуществляется
отождествление объекта по его следам или установление принадлежности к
какой-либо группе (роду, виду, сорту и т. п. ). Оценивая логическую
правильность оперирования доказательствами, мы будем пользоваться понятиями,
принятыми в логической науке. Логика имеет дело не непосредственно с
предметами и явлениями, а с мыслями о них, выраженными с помощью слов, т. е.
с понятиями, суждениями и умозаключениями. С этой точки зрения
доказательство предстает как суждение, например, некоторый предмет обладает
определенными свойствами и т. п. Каждое суждение состоит из понятий (понятие
о человеке и о его действии), а совокупность суждений, при известных
условиях, образует умозаключение, т. е. логический вывод. Те суждения,
которые уже известны и служат для обоснования, в логике называют
аргументами. Мы также будем использовать этот термин потому, что аргументом
может быть как само доказательство (сообщение о факте или предмет с его
признаками), так и выведенный из доказательства "промежуточный факт",
служащий аргументом следующего вывода. Доказываемое же обстоятельство будем
обозначать термином тезис, как это принято в логической теории
доказательства. Совокупность доказательств по конкретному делу вместе с
основанными на них промежуточными и конечными выводами представляет обычно
весьма сложную и разветвленную систему. Изучить и оценить такую систему
невозможно, если предварительно не разделить ее мысленно на более простые
составляющие части и исследовать сначала эти части. Каждое доказательство,
если оно относится к делу, несет определенную (большую или меньшую) функцию
логического обоснования конечных выводов. Если бы отдельное доказательство
ничего не доказывало, то и совокупность таких "доказательств" ничего не
могла бы обосновать. На первой аналитической стадии необходимо оценить
отдельные доказательства и выводы из этих доказательств. Затем исследуются
более сложные комплексы и, наконец, структура, полнота и непротиворечивость
всей системы в целом. Таким образом, исследование начинается с анализа
элементов системы и заканчивается ее синтезом. Элементарный акт доказывани
Как уже указывалось, вся совокупность рассуждений, с помощью которых
обосновывают конечный вывод по делу, может быть аналитически разложена на
более простые составляющие ее части. Простейшим таким рассуждением является
элементарный акт доказывани С логической стороны элементарный акт
доказывания состоит из аргумента, т. е. доказывающего (уже известного или
доказанного) суждения, в ы в о да, т. е. доказываемого суждения (того
суждения, которое подлежит обоснованию), и некоторого общего положения,
устанавливающего логическую связь между аргументом и выводом.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275
в частности своеобразную "индукцию условий". Только затем можно
воспользоваться условно-категорическим силлогизмом: если причина (и все
условия) налицо, то необходимо должно быть и следствие. Доказывание на
основании прямого направления от причины к следствию (или от условия к
обусловленному) встречается в следственной и судебной практике; однако
наибольшее значение имеет доказывание по обратному направлению этой связи:
от следствия к причине. Применительно к причинной связи использование вывода
по обратному направлению наталкивается на так называемую множественность
причин. Одно и то же следствие, как известно, может быть вызвано многими
причинами, например пожар может быть следствием как поджога, так и
самовозгорания, поэтому нельзя непосредственно сделать вывод о причине на
основе одного следстви Чтобы преодолеть это препятствие, логика предлагает
условный силлогизм с общевыделяющей большей посылкой: если, и только если,
совершен поджог, произойдет пожар; пожар произошел; следовательно, имел
место поджог. Но большую общевыделяющую посылку можно сформулировать не
раньше, чем будет установлено, что все другие (также возможные) причины
пожара исключены. Таким образом, и здесь, раньше чем обратиться к
использованию дедуктивной формы, нужно пройти подготовительную стадию
отыскания действительной причины среди нескольких возможных.
Нетрудно видеть, что ход исследований напоминает здесь процесс
проверки гипотезы путем выведения из нее следствий и проверки этих следствий
наблюдением. Эту форму можно назвать "индукцией следствий". Такую же
структуру можно наблюдать в ходе исследования фактической причины аварии или
транспортного происшествия, технической причины пожара, так называемого
"самопроизвольного" выстрела и т. п. Под функциональной связью разумеют
главным образом количественную связь ряда явлений, состоящую в том, что
изменение одного из них всегда сопровождается изменением другого. Если в
конкретной причинной связи причина и следствие необратимы, то в
функциональной зависимости оба агента равноправны и отношение между ними
обратимой Функциональная связь между шириной зоны разброса дроби и
расстоянием выстрела позволяет определять последнее по результатам
исследования мишени. К этому же типу принадлежит определение давности
написания текста и т. п. Индивидуализирующая или объемная связь проявляетс
между объектами, образующими род, вид, и признаками, указывающими на их
принадлежность к этим множествам. Этот же тип связи существует между
состояниями одного и того же объекта в разное время и признаками, которые
этот объект характеризуют. На основе этой связи осуществляется
отождествление объекта по его следам или установление принадлежности к
какой-либо группе (роду, виду, сорту и т. п. ). Оценивая логическую
правильность оперирования доказательствами, мы будем пользоваться понятиями,
принятыми в логической науке. Логика имеет дело не непосредственно с
предметами и явлениями, а с мыслями о них, выраженными с помощью слов, т. е.
с понятиями, суждениями и умозаключениями. С этой точки зрения
доказательство предстает как суждение, например, некоторый предмет обладает
определенными свойствами и т. п. Каждое суждение состоит из понятий (понятие
о человеке и о его действии), а совокупность суждений, при известных
условиях, образует умозаключение, т. е. логический вывод. Те суждения,
которые уже известны и служат для обоснования, в логике называют
аргументами. Мы также будем использовать этот термин потому, что аргументом
может быть как само доказательство (сообщение о факте или предмет с его
признаками), так и выведенный из доказательства "промежуточный факт",
служащий аргументом следующего вывода. Доказываемое же обстоятельство будем
обозначать термином тезис, как это принято в логической теории
доказательства. Совокупность доказательств по конкретному делу вместе с
основанными на них промежуточными и конечными выводами представляет обычно
весьма сложную и разветвленную систему. Изучить и оценить такую систему
невозможно, если предварительно не разделить ее мысленно на более простые
составляющие части и исследовать сначала эти части. Каждое доказательство,
если оно относится к делу, несет определенную (большую или меньшую) функцию
логического обоснования конечных выводов. Если бы отдельное доказательство
ничего не доказывало, то и совокупность таких "доказательств" ничего не
могла бы обосновать. На первой аналитической стадии необходимо оценить
отдельные доказательства и выводы из этих доказательств. Затем исследуются
более сложные комплексы и, наконец, структура, полнота и непротиворечивость
всей системы в целом. Таким образом, исследование начинается с анализа
элементов системы и заканчивается ее синтезом. Элементарный акт доказывани
Как уже указывалось, вся совокупность рассуждений, с помощью которых
обосновывают конечный вывод по делу, может быть аналитически разложена на
более простые составляющие ее части. Простейшим таким рассуждением является
элементарный акт доказывани С логической стороны элементарный акт
доказывания состоит из аргумента, т. е. доказывающего (уже известного или
доказанного) суждения, в ы в о да, т. е. доказываемого суждения (того
суждения, которое подлежит обоснованию), и некоторого общего положения,
устанавливающего логическую связь между аргументом и выводом.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275