Кітаптан алынған дәйексөздер Логика. Краткий курс. Учебное пособиеавтор Ю.В. Ивлев
извинения для тех, кто, желая заниматься с успехом каким-нибудь умственным трудом, упускает это изучение. Логика есть великий преследователь темного и запутанного мышления; она рассеивает туман, скрывающий от нас наше невежество и заставляющий нас думать, что мы понимаем предмет, в то время, когда мы его не понимаем
1 Ұнайды
Умозаключений, осуществляемых на основе логических форм, два вида. В умозаключениях первого вида связь по формам обеспечивает истинность заключений при истинности посылок. Такие умозаключения называются дедуктивными (от лат. deductio – выведение). Дедуктивные умозаключения называются также выводами. В умозаключениях второго вида посылки лишь подтверждают заключение. Эти умозаключения называются индуктивными (от лат. induction – наведение). Они лишь наводят на мысль.
Логическая форма мысли – это ее особая структура, а именно, логическая структура. Логическая форма выявляется путем частичного отвлечения от смыслов и значений нелогических терминов.
Умозаключением называется процесс получения знания из других знаний.
Суждения об отношениях. Суждения, в которых говорится о том, что определенное отношение имеет место (или не имеет места) между элементами пар, троек и т. д. предметов, называются суждениями об отношениях; таковыми являются, например, суждения: «Москва больше Рязани», «Каждый родитель знает некоторых учителей лучше, чем некоторых спортсменов». В первом суждении утверждается, что отношение «больший» имеет место между Москвой и Рязанью, во втором утверждается, что отношение «знающий лучше, чем» имеет место между каждым родителем, некоторыми учителями и некоторыми спортсменами.
В каждом атрибутивном суждении есть субъект (логическое подлежащее), предикат (логическое сказуемое) и связка (в предложениях русского языка, выражающих атрибутивные суждения, связка иногда лишь подразумевается), а в некоторых имеются еще и так называемые кванторные (количественные) слова («некоторые», «все», «ни один» и др.). Субъект и предикат называются терминами суждения.
Атрибутивные (категорические) суждения. Атрибутивными называются суждения, в которых выражается принадлежность предметам свойств или отсутствие у предметов каких-либо свойств. Атрибутивные суждения можно истолковать как суждения о полном или частичном включении или не включении одного множества предметов в другое или как суждения о принадлежности или непринадлежности предмета классу предметов.
Простым называется суждение, в котором нельзя выделить часть, в свою очередь являющуюся суждением. Сложными называются суждения, в которых можно выделить часть, являющуюся суждением. (Имеется в виду часть, не совпадающая с целым.)
Суждения – это мысли, в которых утверждаются наличия или отсутствия каких-либо положений дел. Эти мысли выражаются, как правило, повествовательными предложениями и могут оцениваться как истинные или ложные.
Объем понятия — это множество предметов, обобщенных и выделенных в понятии, т. е. множество предметов, которые характеризуются системой признаков, составляющей содержание понятия.