Оба эти фактора – условия достижения верных результатов в процессе рассуждения.
Истинность – соответствие действительности. Мысль, не соответствующая действительности – ложная.
Логическая правильность – умение правильно подобрать основы суждения и построить рассуждение по законам мышления, чтобы сделать истинные выводы. При нарушении законов логики даже из истинных суждений можно сделать неверные выводы.

Законы:
1) тождества,
2) не противоречия,
3) исключённого третьего и
4) достаточного основания.

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

Логический парадокс – ситуация, когда в теории доказываются два взаимно исключающие друг друга суждения, причем каждое из них выведено убедительными средствами. = Противоречие, имеющее статус логически корректного вывода и, вместе с тем, представляющее собой рассуждение, приводящее к взаимно исключающим заключениям. Высказывание, состоящее из двух суждений, которые взаимно отрицают друг друга, но которые равнодоказуемы и равновероятны.
- В деревне только один парикмахер, но он бреет только тех жителей своей деревни, которые не бреются сами. Должен ли он брить самого себя?
- Если он себя не бреет, то он относится к тем жителям деревни, которых он должен брить. Значит, он должен себя брить. Если же он себя бреет, то он не относится к тем жителям своей деревни, которых он должен брить. Значит, он не должен себя брить.
Софизм (= логическая уловка) – преднамеренные нарушения логических правил с целью ввести в заблуждение слушателей или оппонента (противника в споре) или создать видимость победы в дискуссии. Софизмами намеренно запутывают, уводят от истины.
Что ты не терял, то имеешь. Рога ты не терял. Значит, у тебя есть рога.

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

Высказывание (суждение) – это форма мышления, в которой утверждается или отрицается: 1) связь между предметом и его признаком, 2) отношения между предметами, 3) факт существования предмета. Выражается только повествовательным предложением. Бывают простые (не включающие других суждений) и сложные (состоящие из нескольких простых суждений). Может быть либо истинным, либо ложным.
Виды:
1) Атрибутивные (категоричекие) – суждения о признаке предмета (каков он?). Утверждается или отрицается связь между предметом и его признаком: Россия – суверенное государство.
2) С отношениями – суждения об отношениях между предметами (равенство, причина-следствие, время и пр.): Семён – отец Сергея. Казань восточнее Москвы.
3) Существования (экзистенциальные) – выражается факт существования / несуществования предмета суждения: На Земле нет уже многих видов животных. Законы Мэрфи существуют.

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

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

1) Основатель – Аристотель (4 в. до н.э.). Вывел основные законы мышления, теорию понятия и суждения и дедуктивного (силлогического) умозаключения.
2) Средние века – схоластика: логика Аристотеля исказилась, приняла вид религиозной догматики (принятия на веру утверждений как не требующих доказательств истинности).
3) Ф. Бэкон (16 в.) открыл метод индукции как противопоставление дедукции.
4) Формальная логика (наука о формах мышления) = дедукция Аристотеля + индукция Бэкона. Декарт, Лейбниц, Кант, Ломоносов, Радищев, Чернышевский.
5) Символическая логика – разные разделы логики, рассуждения с помощью различных символов (словесных или математических).

1.Соподчинение: отношение между объемами понятий, исключающих, друг друга, но при¬надлежащих некоторому более общему понятию (пианино, скрипка, виолончель = музыкальный инструмент).
2. Противоположность: два понятия одного рода, но признаки первого противоположными признакам второго. Великан - карлик; белые туфли - черные туфли.
3. Противоречие: когда одно понятие содержит некоторые признаки, а другое — эти же при¬знаки отрицает (= отношение между утвердительным и отрицательным понятиями: «белый» — «не-белый», «грамотный»—«не-грамотный»).

Понятие-форма мышления с пом.которой человек обозначает объекты,раскрывая их смысл и отделяет их друг от друга. Пон. охватывает лишь общие.существенные признаки предмета (человек вообще, дерево вообще).Пон.характ-ся относительной самост-ю своего существования.(может быть образовано до возникновения самого предмета (социализм)или предмет исчезнет-понятие сохранится(раб).Возникновение понятий-объективная закономерность становления и развит. человеч. мышления. Структура элемент понятия-признак.(то,в чём объекты действит.сходны му собой или отличаются друг от друга.(св-ва объектов и отнош.му объектами. В сост.понятий входят только существенные признаки (признаки.каждый из которых необходим а вместе они достаточны чтобы раскрыть смысл объекта.Образование пон вкл.в себя множество логич.приёмов:1-анализ (мвсленное разложение предмета на его признаки),2-синтез (мысл. соединение признаков предмета в одно целое.3-сравнение(мысл.сопоставление одного предм.с другим),4-абстрагирование (мысл.упрощение предмета)5-обобщение (мысл.объедин.предметов на основе сходных признаков.)понятие выполняет 2 осн.фии(познавательная,коммуникативная)

Содержание понятий -совокупность существенных признаков. Входящих в состав понятий. Объём – множество объектов.которые данным понятием обозначаются(предметы.входящ.в сост. Понят и называется классом или множеством ).отдельный предмет-элемент . В логике сущ-ет закономерность (частный закон мышления)согл.которому увеличение содержания понятий сопровождается уменьш. Их объёма.В завис.от содержания пон.: на 1-конкретные (обознач.объект действит) и абстрактные(признак отделён от объекта).
(зелень).2-положит и отрицат.положит(наличие у предметов мысли каких-либо качеств,свойств(металл)
Отриц(понятия,отрицающие признаки объекта(неметалл,неживое,беспорядок).
3-Соотносительные и безотносительнве. Соотн.(объекты,возникновение и существ-ие которых невозможно друг без друга(родители дети). 4-Собирательные и несобирательные.Собират(группа однородных объектов0 несобират.-обознач.только 1 объект(прокурор)

1 этап – 384-322 год Аристотель – основатель дедуктивной логики, учения о силлогизме, которое стало основанием для развития логики предикатов.
Учение Аристотеля дополнили античные стоики ЗЕНОН И ХРИСИПП описанием сложным высказыванием. Основание для развития логики высказываний. Также дополняли учение аристотеля античные мыслители – Гален, Порфирий, Боэций.
2 этап – теория индукции Ф.Бэкона. (1561-1626) разработал методы научной индукции, которые затем были дополнены Дж.Миллем (1806-1873). Дальнейшее развитие логики связано с именами французского философа Р.Декарта, внесшего существенное развитие в дедуктивную логику, немецкого философа Г.Лейбница(закон достаточного основания) и немецкогофилософа Канта.
3 этап – дедуктивная логика аристотеля и индуктивная логика Бэкона-Милля составили основу формальной логики, которую называют также традиционной аристотелевской логикой.
Формальная логика дала развитие символической логике ( многозначная логика, вероятностная, временная, деонтическая. Диалектическая логика.