Выводы из отношений между объемами имен
Вопросы лекции
План лекции
1. Понятие об умозаключении.
2. Выводы из отношений между объемами двух имен (Непосредственные умозаключения)
3. Виды умозаключений.
3.Простой категорический силлогизм и его состав.
4.Фигуры и модусы силлогизма.
Понятие об умозаключении
Умозаключение – это форма мышления, в которой из одной, двух или нескольких высказываний (посылок) выводится новое высказывание (заключение). Кроме посылок и заключения, в умозаключении можно выделить связку, которая в рассуждении обычно выражается словами и оборотами «значит», «следовательно», «таким образом», «поэтому», «отсюда следует» и др. связка выражает субъективную уверенность в правомерности перехода от посылок к заключению.
В умозаключении необходимо различать три разновидности знания:
а) содержащееся в посылках - исходное знание; б) полученное в заключении – выводное знание; в) обосновывающие знание, с помощью которого объясняется правомерность получения выводного знания из исходного, обосновывающее знание не входит в состав умозаключения в виде особого, высказывания. Оно содержится в аксиомах и правилах разного рода умозаключений и дает ответ на вопрос, почему, в одних случаях вывод является правомерным и следует из посылок с необходимостью, а, в других случаях этого не происходит.
По характеру исходной и выводной информации умозаключения делятся на дедуктивные и индуктивные
Дедуктивным умозаключением называется такое исходное знание которого содержит некое общее положение, которое в заключении переносится на частный случаи.
Например, «Собственные имена пишутся с большой буквы», а слово «Свитязь» – имя собственное – значит слово «Свитязь» пишется с большой буквы». В этом примере общая грамматическая норма собственные имена пишутся с большой буквы переносится на написание отдельного слова или, другими словами, написание слова «Свитязь» подводится под общее правило.
Индуктивным называется умозаключение, исходное знание, которого содержит сведения об отдельных предметах какого-то класса, на основе которых выводится общее положение.
Например, «На Фобосе нет атмосферы, и на Деймосе нет атмосферы, а Фобос и Деймос – естественные спутники Марса, значит, на всех спутниках Марса отсутствует атмосфера». Эта особенность индуктивных умозаключений обуславливает тот факт, что количество посылок в них ограничивается только количеством рассмотренных частных случаев.
По характеру выводов умозаключения делятся на необходимые и вероятностные.
Необходимым называется умозаключение в котором из истинных посылок нельзя получить ложное заключение, иными словами, это такое умозаключение, в котором истинное заключение из истинных посылок следует закономерно, «принудительно».
Например, из посылок «Все преступления – наказуемые деяния, а кража – это преступление» с необходимостью следует, что кража – наказуемое деяние».
Логическая связь между посылками и заключением, которая соответствует логическому закону, что принуждает нас делать определенный вывод, который не зависит от нашего желания и воли, называется отношением логического следования. Поэтому необходимое умозаключение можно определить как такое, между посылками и заключением которого существует отношение логического следования.
Вероятностным называется умозаключение, в котором из истинных посылок можно получить как истинное, так и ложное заключение.
Например, из посылок «все преступления – наказуемые деяния, и безбилетный проезд в транспорте тоже наказуемое деяние» можно сделать вывод, что безбилетный проезд является преступлением. Однако истинность этого вывода ничем не гарантируется.
Ослабленная логическая связь между посылками и заключением в вероятностном умозаключении называется мнимым следованием. Поэтому вероятностное умозаключение может быть определено как такое, между посылками и заключением которого существует отношение мнимого следования.
Возникает вопрос, при каких условиях обеспечивается отношение логического следования и умозаключение является необходимым, и какие условия гарантируют истинность заключения.
Необходимый характер выводов обеспечивается соблюдением правил, которые для различного рода умозаключении являются разными, достаточно в соответствии с правилами связать между собой посылки, чтобы между ними и заключением возникло отношение логического следования, а вывод приобрел принудительный характер. При этом логическое значение посылок на необходимость вывода не влияет, правда, при ложности, по кражей мере, одной из посылок истинность заключения не гарантируется. несоблюдение хотя бы одного из правил превращает необходимое умозаключение в вероятностное.
Истинность заключения гарантируется соблюдением двух условий:
1) посылки должны быть истинными и 2) должны быть соблюдены правила, обеспечивающие отношение логического следования. Невыполнение хотя бы одного из этих условий лишает нас гарантия, от ошибочных выводов.