ОШИБКИ-ИНДУКТ.РАСС.Наиб. распр. явл. ошибка поспешного обобщения. Фактически это разновидность ошибки «не следует»; она состоит в рассмотрении в ходе индукции тех и только тех случаев, кот. подтверждают данное обобщение, но для опровержения обобщения дост-но одного фальсифицирующего примера, кот. наз-ся «противоречащая инстанция» (Алюминий, медь итд.-тв. тела/Алюминий,медь ит.д-металлы//Все металлы-тв. тела)-ртуть не тв, но мет.
ОШИБКИ-МОРАЛ. И ПСИХ.Это особ. группа ошибок и уловок. Они кас. не столько сути обсуждения, сколько личности оппонента, организационных и иных условий обсуждения проблемы. Иногда эти ошибки объедин. под назв. аргумент к чел-ку. Некот. из них явл-ся некорректными в любом случае, а другие, будучи недопустимыми в одних контекстах, в др. конт. явл. более или менее приемлемыми. 1) Аргумент к публике (аудитории, толпе). Эта уловка состоит в подмене обсуждением того, насколько он соотв. взглядам, представлениям и пристрастиям аудитории (Напр, однажды оппонент Чарльза Дарвина, обращаясь к публике, спросил: готовы ли они считать обезьян своими предками?)//2) Аргумент к силе -исп-ся в ходе арг-ций с явной или скрытой угрозой по отношению к оппоненту(Напр, можно заявить, что высказанная т.з. может не понрав. властям)//3)Аргумент к личности - обсуждение тезиса подменяется обсуждением личности оппонента. Ему препис. реальные или мнимые, ставятся под сомнение его умственные способности или компетентность в обсужд. вопросе//4)Аргумент к авторитету-ссылка на мнение извест.людей для подкрепления своей позиции. Она явл. неправомерной, тк. любой чел. может ошибаться, кроме того в ряде случаев авторитетам может приписываться позиция, кот. они никогда не занимали или их взгл. могут утрироваться и огрубляться( от арг. к авторитету следует отл. обращ. к мнению спец-ов, когда это действит. необх. Таков, напр., метод экспертных оценок)//5) Арг. к традиции-уловка подменяющая док-во тезиса демонстрацией того, что тезис согласуется с к-л традицией(науч., религ., общ-полит и др). Близким по см. явл-ся арг. к вере и арг. к верности. Арг. к вере-это ссылка на религ. традицию. Арг. к верности- призыв принять тезис в силу верности традиции, гос-ву, классу, партии и даже личности. В некот. контекстах арг. к традиции всё же счит. коррект., хотя до конца этот вопр. не изучен. //6)Арг. к выгоде-вместо обосн.тезиса опис-ся возможные преимущества от его принятия в качестве истин. Отрицательная форма ош. сост. в описании негативных последствий принятия тезиса и в призыве к его отклонению// 7)Арг. здравому см.-это ссылка на здравый см. или обыденный опыт при рассм. вопросов, треб. спец. знаний. Этот арг. явл. некорр. в специализирован. сферах деят-сти, но может применяться при рассм. обыденных проблем//8)Наклеивание ярлыков- это уловка, состоящая в бездоказательном отнесении взглядов оппон. к опр. категориям взглядов, имеющих негативный оттенок//9)Чтение в сердцах- уловка сост. объясн. позиции опп. какими-либо скрытыми и как правило не благовидными мотивами//10)Слабый пункт- из всей совокуп. арг-тов выбир. слаб. пункт и все дальнейшие рассужд. строятся вокруг него. Остальн. арг.не рассм.-ся , но данный способ рассужд. явл. некорректным лишь в том случае, если выбранный для критики пункт явл. второстепенным или несущественным. Но этот приём допустим, если критика направлена на действительно фундаментальное или одно из фунд. положений опп. 11)Философия- уловка сост. в изложения тезиса сложным, мудреным языком с использов. терминов имеющих не вполне ясный смысл. Этим маскируется неясность и нечеткость мыслей автора.
ОСН.ЭТАПЫ РАЗВ.ЛОГИКИ.Арист. выдел. 2закл. по направлению движения мысли. Помимо этого он выдел. 1. Аналит. рассужд.- дают необх-о истин. закл-е при усл-ии ист. посылок. 2. Деаликтич. - дают правдоподобн. закл. Однако, особ. вним. он удел. дедуктивн. умозакл., и прежде всего уч. о категарич. силлогизме. Ему также принадл. классиф. простых сужд. по кол-ву и кач-ву, и деление понятий на едич. и общие///В средн. века из всего логич. наследие Арист. были выделены его учения о дедукции и прежде всего силлогистика. К правдоподобным рассуждениям в то время относились как логич. построениям 2 сорта. При этом учение самого Арист. усоверш-ванное лишь в некот. второстеп. деталях, без особых изменений просущ-ло до середины 19 века и получило назв. традиционной логики (Арист). Относит-о нов. за весь этот период стала разработка учения об индукции. Начало ему полож. Бэкон(17в). Он указал, что при помощи дедукц. нельзя получить нов. знание, а можно лишь явно выразить новое знание, кот. в скрытой форме уже содержалось в посылах. Новое же знание можно вывести только из опыта при помощи индукции. Прежде всего знание о причинах явл_ий. В сер. 19в. это уч. доработал. Дж.Ст. Милль. Учение об инд. методов опр-я причинных связей Бэкона-Милля . Однако, это учение об индукции также принадл. к традиц. логике, и соотв. классич. логике (т.к. опирается на те же положения). В сер. 19в. возн. символич. логика класич. типа. Символич. логика принц-но отл. от традиц. логики способом формализации процесса рассуждения. И дело здесь не в том, что рассуждения их эл-та обозначаются символами. К этому приему прибегала и традиц. логика. Коренное различие сост. в том, что символические логики строятся как исчисления. Для того, чтобы построить исчисление необх. соблюдать следующие условия: 1. Необх. задать искусств. язык или алфавит, в кот. были бы перечислены все символы, используемые в данном исчисл., а также сформул. правила образования из исходных символов выражений данного исчисления(т. е. форм). Исх. символы, взяты сами по себе, ничего не означают, т.е. не явл. истинными и лож. И только правильно составленные формы имеют значения. Т.е. принимают значение-«ист.» или «ложь». Формализовать рассуждение и означает составить правильную формулу на языке данного исчисления. Т.о. чтобы формула прав-но отражала его стр-ные особ-ти. После этого мы можем уже работать с формулой, а не выраженным в словах рассуждениям. 2. Необ-но задать опр-е исходных (базовых) понятий. При этом их определения необсн-ся и не выводятся из др. опр-й, а принимаются как данность. Все остальные понятия опр-ся через эти исх. понятия. Напр., в КЛВ исходными счит-ся опр-я связок отрицания и коньюнкции. А все остальные связки опр-ся от конюнкции и отрицания. 3. Необ. задать сис-му аксиом. и сис-му правил преобразования (правил вывода) данного исчисл. Аксиомы- базовые принципы, кот. принимаются без док-в. В исчисл-ях они также задаются в формализованном виде. Правила преобр-я - это правила, кот. позволяют одни выраж-я преобразовывать в др. (напр. дизъ-юнк. в конъ-юнк). В некоторых исчислениях (исчисл. гильбертовского типа) класс аксиом не должен быть пустым. А в др. исчисл. (исчисл. геценовского типа) аксиом может не быть вовсе (класс акс. пуст), задаются только правила преобразования. В рез. выполнения указ-ых правил мы получаем формальную сис-му в рамках кот. мы можем исчислять (т. е. решать логические проблемы чисто формальным способом). Мы можем док-но отделить правильные сземы рассужд от неправ., мы можем док-ть логич. эквивалентность выражений, кот. внешне кажутся различными и т. д.)…
Напр., выск.: к небесным телам относ. планеты и звезды (x=y+z), тогда из этого следует y=x-z.
Осн. символ. логик. явл. Дж. Буль, предлож. исп-ть для исслед. мышления подобный язык матем и сделать логику частью матем. 1)Основоп. логики классов. Как и множество, классы могут вкл. 1, неск-ко эл-тов и даже не вкл. ни одного эл-та. Понятия дел-ся на пустые и не пустые, общие и единичные. Б. вв. пон. «отношения между классами» по анологии отношения между множествами. Классы могут нах-ся в отнош. тождества, пересечения, подчинения и несовместимости. Исп-ся понятие «операции над классом».Он хар-ет такие опер: сложение, умнож,вычит. классов. Рез-то сложения явл. нов. класс, куда вх. все эл-ты обоих исх. классов. Рез. умнож-я-это пересечение, те. класс куда вх. моноэл-ты, одноврем. принадл. к 2м классам. вычит-деление общей для 2х классов части. 2) Основоп. логики высказ.(назыв. алгеброй логики). Он предлож. обозначить прост. выск. строчными лат. буквами, а отнош. между ними выражать при помощи связок, кот. аналогичны арифм. действию: конъюнкц(х), дизьюнкц(+), эквивал(=) . Наконец, Буль формулир. неск-ко правил преобразований логических выражений. 1.Правило переноса - переменные можно переносить из одной части рав-ва в др.2.Правило подстановки- вместо переменной можно подставить др. переменную и даже сложные выражения, но при условии, что такая подстановка будет осущ-на для всех вхождений данной переменной в выражение. 3.Буль попытался формализовать отношения между понятиями в простых высказываниях. Т.к. алгебра логики не учит. их внутр. стр-ру. Однако на этом напр-нии Буль не добился заметных успехов и лишь в кон. 19в. когда будет создана логика предикатов эту задачу удастся решить др. ученым///Идея матем логики разв. Готтлоб Фреге. Он поставил перед собой противоп. задачу свести всю матем. к логике и проанализировать основания матем. теорий логическими ср-ми. В связи с этим, он предложил свой вариант формализации логич. связей. Заявленную программу нем. ученому так реализовать и не удалось. Т.к., как станет ясно позже, основания матем теорий вообще не могут быть док-ны. Но в ходе выполнения своей программы он добился выдающихся успехов и его учение повлияло на мног. разделы символич. логики 20в. Вклад Фреге в логику можно свести к след. моментам 1. Он создал уч. о разграничении смысла и значении логич. выражений. Значение (объем экстенсионал) понятия - сов-ть объектов, обозначаемых данным термином. А значение высказывания это значение его истинности (в класс. логике). Смысл (содержание интенсионал) понятие - сов-ть признаков, хар-щих объекты, входящие в объем данного понятия. Смысл высказывания- сообщение о ситуации или положении дел, кот. содержится в данном выск-ии. Фреге отметил, что встречаются понятия и выск., имеющие различный смысл, но одно и тоже значение (вечерняя и утр. звезда= Венера). Все выск-я являющиеся ист. также имеют одно и тоже значение. Он выдвинул тезис об эквивалентности логич. форм, имеющих одинаковое значение, но различный смысл. Из этого следовало, что высказывания, имеющие одинаковые значения истинности вместо др. др. в составе сложных выражений. Соединив такие выск. знаком эквивал. мы получим общезначимое выражение. Именно в этом суть рав-ва А=B. Значит. слож. выраж. зависит только от значения, входящих в них простых выск-ий. Смысл же простых выск-ий не влияет на значение сложных выражений. Поэтому Фреге предложил строить логику учитывая только экстенсионал и абстрагируясь о их интенсионала (смысла). Такую логику принято сейчас называть экстенсиональной. Вплодь до сер. 20в. все логич. сис-мы (как классич так и некласич.) были эксенсиональными и лишь за тем возникли первые интенсиональные логики. Благодаря работам Буля, Фреге и др. уч. в первой 3-ей 20в. окон. офрм-ся 2 важнейших раздела символич. логики классич. типа- КЛВ и КЛП.