Cтраница 2
ЭНТИМЕМА-в традиционной формальной логике такое дедуктивное умозаключение, в к-ром не выражена в явной форме к. [16]
В традиционной формальной логике суждения делятся на виды в зависимости от объема субъекта; при этом различаются два вида суждений: общие ( напр. Все квадраты - четырехугольники) и частные ( напр. [17]
В традиционной формальной логике суждения делятся на виды в зависимости от объема субъекта; при этом различаются два вида суждений: общие ( напр. Все квадраты - четырехугольники) и частные ( напр. Англ, логик и философ Гамильтон ( 1788 - 1856) предложил учитывать также объем предиката. Гамильтон называет обще-частным и частно-частным, выделяются еще два вида: обще-общее ( напр. Все равносторонние треугольники суть равноугольные треугольники) и частно-общее ( напр. Некоторые деревья - дубы), в к-рых предикат берется во всем объеме. КВАНТОВАЯ МЕХАНИКА ( квантовая теория) - раздел физики, изучающий движение микрообъектов. [18]
В традиционной формальной логике суждения делятся на виды в зависимости от объема субъекта; при этом различаются два вида суждений: общие ( напр. Все квадраты - четырехугольники) и частные ( напр. Англ, логик и философ Гамильтон ( 1788 - 1856) предложил учитывать также объем предиката. Гамильтон называет обще-частным и частно-частным, выделяются еще два вида: обще-общее ( напр. Все равносторонние треугольники суть равноугольные треугольники) и частно-общее ( напр. Некоторые деревья - дубы), в к-рых предикат берется во всем объеме. [19]
В традиционной формальной логике суждения делятся на виды в зависимости от объема субъекта; при этом различаются два вида суждений: общие ( напр. [20]
В традиционной формальной логике суждения делятся на виды в зависимости от объема субъекта; при этом различаются два вида суждений: общие ( напр. Все квадраты - четырехугольники) и частные ( напр. [21]
Разумеется, формальная логика всегда может быть спасена введением дополнительных ограничений или условий. [22]
В терминологии формальной логики это обозначается как ошибочная композиция и сходно с тремя формальными ошибками: нераспределенного среднего и непозволенных большого и малого терминов. [23]
Сущность метода формальной логики состоит в использовании определенных положений утвердительного характера ( силлогизмов) для умозрительного вывода нового утверждения. [24]
С позиций формальной логики объект в процессе рассуждения инвариантен, равен самому себе - парадокс, следовательно, неизбежен. Психологический же анализ указывает на недопустимость идентификации двух Я в разных способах синтеза - системах связей и отношений. [25]
Стандартными блоками формальной логики являются высказывания. [26]
Велика роль формальной логики также в семантическом анализе знаний и обосновании выводов. Представить знание - это значит выразить в некотором формализме имеющийся у нас образ мира. Соответствие между миром и его представлением устанавливается семантическим анализом. Такой анализ имеет целью определить объекты представления и уточнить образ мира, определяемый представлением. [27]
Оставим вопросы формальной логики и рассмотрим символику для представления движения тел. В этом разделе, употребляя слово движение, я подразумеваю поворот или перенос твердого тела; исключается любого вида деформация тела или его части, будь то растяжение, изгиб или сжатие. [28]
Прежние средства формальной логики необходимы, но недостаточны для этого. Требуется разработка аппарата логико-системного анализа и методики внедрения математической логики и моделирования, с помощью которых можно выразить содержание общественных отношений, их диалектическую связь и развитие. Однако уже сейчас есть известные предпосылки ( заложенные в формальной определенности права) использования ЭВМ в процессе применения права. Применение правовых норм ( хотя и представляет собой сложный творческий процесс) сопряжено со статичностью самих норм и юридических фактов. Поэтому имеются возможности для измерения количества и качества юридической информации и перевода правовой материи на язык символов, язык машин. Однако значительные трудности возникают в связи с субъективной стороной поведения людей. [29]
Простейшей категорией формальной логики является понятие. Оно фиксирует мысль о предмете. Обычно понятие определяется через более широкое понятие путем добавления к родовому признаку идового различия. [30]