квантор
71СУЩЕСТВОВАНИЕ — Характерно, что дискуссия о существовании, в которой принимали участие все видные философы и логики того времени Рудольф Карнап, Алонзо Черч, Уиллард Куайн, разгорелась во время второй мировой войны. Скорее закономерно, чем парадоксально, что… …
72ИМПЛИКАЦИЯ — (от лат. implicatio сплетение, от implico тесно связываю) логическая связка, соответствующая грамматической конструкции «если.., то...», с помощью которой из двух простых высказываний образуется сложное высказывание. В импликативном высказывании… …
73ИНТЕРПРЕТАЦИЯ — (от лат. interpretatio истолкование, разъяснение) 1) общенаучный метод с фиксированными правилами перевода формальных символов и понятий на язык содержательного знания; 2) в гуманитарном знании истолкование текстов, смыслополагающая и… …
74МОДАЛЬНАЯ ЛОГИКА — раздел логики, в котором исследуются логические связи модальных высказываний, т.е. высказываний, включающих модальности. Мл. слагается из ряда направлений, каждое из которых занимается модальными высказываниями определенного типа. В современной М …
75СУЖДЕНИЕ — мысль, выражаемая повествовательным предложением и являющаяся истинной или ложной. С. лишено психологического оттенка, свойственного утверждению. Хотя С. находит свое выражение только в языке, оно, в отличие от предложения, не зависит от… …
76ФОРМАЛЬНАЯ ЛОГИКА — наука, занимающаяся анализом структуры высказываний и доказательств, обращающая основное внимание на форму в отвлечении от содержания. Определение «формальная» было введено И. Кантом с намерением подчеркнуть ведущую особенность Ф.л. в подходе к… …
77КВАНТИФИКАЦИЯ — (от лат. quantum сколько и facio делаю), измерение качеств. признаков. Философский энциклопедический словарь. М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983 …
78ТОЖДЕСТВО — понятие, выражающее предельный случай равенства объектов, когда не только все родовидовые, но и все индивидуальные их свойства совпадают. Совпадение родовидовых свойств (сходство), вообще говоря, не ограничивает числа приравниваемых… …
79ЗАМКНУТАЯ ФОРМУЛА — такая формула логич. исчисления, к рая выражает нек рое высказывание; формула, не содержащая свободных переменных вовсе или имеющая только такие их вхождения, к рые нельзя связывать кванторами, не выходя за рамки данного исчисления. Напр., З. ф.… …
80ИНДИЙСКАЯ ЛОГИКА — оригинальная форма логики, возникшая в Индии независимо от развития логики в Европе. Различают три периода И. л.: первый – приблизительно 6 в. до н.э. – 2–3 вв. н.э., когда в связи с оживленными дискуссиями между представителями различных… …
