Диссертация (1145141), страница 28
Текст из файла (страница 28)
не есть раз и навсегда данное инеизменное, чем шире наши познания об окружающем мире, тем полнее, вернее иточнее наши понятия, отображающие все более существенные свойства и связипредметов и явлений действительности (A6, P); О. П. не может охватить и сисчерпывающейполнотой,оноотражаетлишьнаиболееобщиеиотличительные свойства определяемого предмета или явления (A7); дляобыденного употребления краткое указание наиболее общих и в то же времянаиболее характерных отличительных признаков часто бывает полезно и даженеобходимо, но от определения нельзя требовать больше того, чем можновыразить (Z1); в тех случаях, когда существенные признаки еще недостаточноизучены, а бывает что в этом нет необходимости, прибегают к приемам,дополняющимопределение,их6:указание,характеристика, сравнение, различение (A8);объяснение,описание,начал поиск приемов О.
П.Демокрит (-D1.1); Сократ, опираясь на индукцию, разработал приемыопределения: правильность определения он проверял на основе анализа отдельныхслучаев (-A1.1); Платон приходит к мысли, что понятие есть существенное ввещах, общее, определение, по Платону, должно указывать на принадлежность кобщему роду и на специфическое различие (-A1.2); Аристотель дал не тольконаучную формулировку О. П. через ближайший рол и видовые отличия, но иразработал правила определения: определение должно быть соразмерным, не155должно быть отрицательным и т.
д. (-A1.3); Аристотелевские правила О. П.приняты современной традиционной логикой (-A1.4); определение, говорилАристотель, должно вскрыть не только то, что есть, но оно должно заключатьв себе и обнаруживать причину (-A1.5); стоики решили, что определение должносостоять лишь из перечисления признаков, присущих вещи (-A2.1); определение,по Гоббсу, - суждение, предикат которого расчленяет субъект, когда этовозможно, и разъясняет его, когда это невозможно (-T3.1); он выделилноминальное определение: объяснение не может быть ничем другим, какобъяснением имени (-A3.1); умение точно определить понятие, а следовательно,знание правил определения имеет огромное значение во всех областях науки ипрактики (Z2); но знание правил О.П.
нельзя представить в виде какого-тозаветного ключа, который легко открывает двери в любую область научногомира (A9); главное, умение выделить существенные качества, абстрагироватьих от несущественных, а это требует глубоких познаний в этой области, ккоторой относится определяемый объект (Y2, P).Фрейм логического термина определение понятия представлен на Рисунке1.51.↓←↓↓↓↓↓↓↓↓↓↓↓↓↓↓↓↓Опред.понятия →→Т1→→ →→↓↓ →→↓↓→→↓↓→→↓↓→→↓↓→→↓↓→→↓↓→→↓↓→→А1**A2**A3*A4A5Y1A6*A7Z1Рисунок 1.51. Фрейм термина определение понятия (логика)156-D1.1-A1.1-A1.2-A1.3-A1.4-A2.1-A3.1↓↓← ↓↓↓→→↓↓↓← ↓↓← ↓↓← ↓↓↓↓← ↓↓← ↓↓← ↓↓↓↓↓↓↓↓→→↓↓↓↓↓↓↓↓ →→↓↓→→↓↓→→A8D1Z2A9Y2*Рисунок 1.51. (окончание)Определение понятия (философия) [246, с.
398] – логический прием,позволяющий отличать, отыскивать какой-либо объект, формулироватьзначение вновь вводимого или уточнять значение уже существующего термина(T1); многообразие видов определений обусловлено тем, что определяетсязадачами логической структуры определения (A1); с помощью реальныхопределений предметы выделяются по их специфическим характеристикам (A2);часто они определяются через род и видовые отличия (A3, P); с помощьюноминальных определений вводятся новые термины, поясняется значение вновьвводимого термина (A4); в семантических определениях определяемое естьнекоторое выражение языка, а определяющее – некоторый предмет, вследствиечегозапрещенанепосредственнаявзаимозаменяемостьопределяемого иопределяющего (A5, P); такая взаимозаменяемость осуществляется поотношению к синтаксическим определениям, где определяемое и определяющее одновременно объекты или знаковые единицы (A6); в генетических определенияхопределяемый объект выделяется через указание способа его образования,157возникновения, построения (A7, P); О.
П. подчиняются известным правилам:правилу соразмерности определяемого и определяющего, правилу запретапорочного круга и др. (A8).Фрейм философского термина определение понятия представлен на Рисунке1.52.Рисунок 1.52. Фрейм термина определение понятия (философия)Опред.понятия →→→→→Т1→→→→→↓↓→ →↓↓→→↓↓ →→↓↓→→↓↓→→↓↓→→↓↓ →→А1А2А3*A4A5*A6A7*A8Рисунок 1.52.
Фрейм термина определение понятия (философия)Отрицание (логика) [230, с. 421] – логическая операция, заключающаяся втом, что истинному высказыванию (суждению) противопоставляется истинноевысказывание или ложному высказыванию (суждению) противопоставляетсянеложное высказывание (суждение), в результате этой операции вместоданного высказывания (напр., А) получается новое (не-А) или вместо не-Аобразуется А (T1); отрицать какое-либо суждение – это значит установитьнесоответствие предикатасуждениясубъекту (T2, P); более полноепредставление об О. можно получить, если рассматривать суждение каквысказывание предиката о субъекте, О.
тогда явится утверждением онесоответствии предиката субъекту (T3); в классической математическойлогике считается, что высказывание не-Аложно, когда высказывание Аистинно, и истинно, когда А ложно (A1); высказывания, получающиеся врезультате О., обозначаются с помощью ряда знаков (A2); функцию О.158специалисты в области электронно-вычислительной техники иногда поясняют спомощью такой логической схемы <.
. .> (A3); логическое О., имея общуюсущность, проявляется в различных формализованных системах в разных формахО. (A4); в классической логике О. используется для того, чтобы отвергнутьложное суждение и противопоставить ему истинное по правилу: <. . .> (F1); валгебре классов О. класса А есть дополнение к классу А′ (T4); приаксиоматическом построении логической системы О. является логическойконстантой, которая выводится посредством аксиом, определяющих О.
(A5, P);в исчислении высказываний классической математической логики для операцииО. справедливы следующие равенства: A˄ A=0 (A6); A˅ A=1 (A7); AA=0 (A8);0 1(A9); 1 0(A10); A (A˄В)˅(А˄ В) (A11); A (A˅В)˄(А˅ В) (A12); для связиО. с дизъюнкцией и конъюнкцией существуют следующие отношения A˄В A˅В(A13); A˅ВA˄В (A14); в трудах представителей классической логики общаясущность логического О.
проявляется в самых разных видах (A15); Буль связывалО. и утверждение с универсальным классом (A16); развивая идеи Буля Шредерсчитал О. области α область α1, такую, что <. . .> (T5); Шредер выводилследующие правила: если среди сомножителей некоторого произведениянаходятся такие, из которых один является О. для другого, то произведение«исчезает» (A17, P); если среди членов некоторой суммы находится хотя быодин, который оказывается О.
другого, то вся сумма равна 1 (A18, P); другойпродолжатель идей Буля – Джевонс, операцию О. считал одной из основныхопераций математической логики <. . .> (A19); русский логик Порецкий О.называл действие, необходимое для перехода каждого данного класса а кдополнительному классу а 1(T6); особенно различны виды логического О. вмногозначных логиках (A20); в системе Лукасевича О.
является одной изосновных операций Nx и матрица О. записывается так: <. . .> (A21); матрица О.в системе интуистской логики Гейтинга отличается от матрицы О. Лукасевичатем, что из неопределенного Х следует в результате О. не неопределенность, аложь (A22); в интуистском исчислении приняты следующие аксиомы О.p→(p→q) (A23); ((p→q)˄(p→ q))→ p (A24); Генцен, автор одной из систем159натурального вывода, полагал, что из его исчисления натуральных выводовможно исключить О., если рассматривать <. .
.> (A25); в конструктивнойлогике Маркова введено 3 различных понимания О.: прямое, усиленное,редукционное (A26); но существуют такие логические системы, в которых нетоперации О., их называют положительными логиками (A27); О. в традиционныхматематических логиках существенно отличается от того вида О., которыйизучается в теории познания диалектического материализма, где под О.понимается не просто уничтожение отрицаемого, а сохранение в новомкачестве всего положительного из старого (T7); в традиционной иматематической логиках О.
ложной мысли означает полную замену ее истинноймыслью (A28); в теории познания диалектического материализма понятие О.применяется к процессу движения, изменения, развития реального мира (F2);диалектическое О. понимается как переход на более высокую ступень (T8).Фрейм логического термина отрицание представлен на Рисунке 1.53.Отрицание→→→↓↓→↓↓→↓↓↓↓↓↓↓↓↓↓↓↓→↓↓↓↓.Т1T2*T3T4→→↓↓↓↓↓↓→↓↓→↓↓→↓↓→↓↓→↓↓↓↓→↓↓→.A1A2A3A4F1A5*A6.Рисунок 1.53. Фрейм термина отрицание (логика)160..↓↓↓→↓↓↓↓↓↓→↓↓↓↓↓↓↓↓↓↓↓↓↓↓↓↓↓↓→↓↓↓↓↓↓→T5T6T7..↓→↓→ ↓→↓ ↓→↓→↓↓→↓↓↓↓→↓↓→↓↓→↓↓→↓↓→↓↓→↓↓→↓↓→↓→ ↓↓ ↓↓ ↓→↓ ↓↓→↓→..A16A17*A18*A19A20A21A22A23A24A25A26A27A28F2T8Рисунок 1.53. (окончание)Отрицание (философия) [246, с.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
