|
|
|
|
|
|
|
|
|
Формална логика
| Глоссарий ИТ-терминов (болгарский-русский) |
Формальная логика (раздел математической логики, изучающий общие законы и правила вывода логически верных заключений безотносительно к их смысловому содержанию)
|
|
Логика, русский
- Логика , железная логика
- (от греч. logos – логос) 1) способность правильно, т.е. логически, мыслить; 2) учение о тождестве и его отрицании (г. якоби), учение о последовательности и методах познания (наука логики). в качестве «элементарной формальной логики» она имеет дело с самыми общими свойствами, присущими всем (имеющимся) понятиям. осн. свойства понятий выражаются в логических аксиомах (см. аксиома). сначала рассматривается учение о понятии, затем следует учение о суждении и, наконец, умозаключении. учения о логических аксиомах, понятии, суждении и умозаключении, взятые вместе, образуют чистую логику. прикладная логика охватывает в традиционной логике учение об определении, о доказательстве, о методе. ей часто предпосылаются не научно-логические, а теоретико-познавательные, психологические учения о переживании, описании и формулировании (особенно с помощью специального языка, терминологии) и об образовании понятий. иногда к ней присоединяют учение о системе. логика (как наука) – лишь учение о мышлении в понятиях, но не о познании посредством понятий; она служит повышению формальной точности сознания и объективности содержания мышления и познания. основателем западноевропейской логики (как науки) является аристотель, «отец логики». слово «логика» появилось впервые у стоиков; они и неоплатоники уточнили отдельные моменты ее, а в эпоху средневековья схоластика разработала ее в мельчайших подробностях, в тонкостях. гуманизм изгнал из логики схоластику, но обновить ее не мог. реформация взяла на вооружение логику меланхтона, контрреформация – логику суареса. поднявшись принципиально над схоластикой, развивал логику иоганнес штурм из страсбурга; более известным стал пьер раме. с 17 в. стало заметным влияние на логику сфер мысли, связанных с математикой, причем в геометрическом методе спинозы оно было меньше, чем у лейбница, который использовал в логике совершенствующиеся естественнонаучные методы. от лейбница и математики, а также и от неосхоластики пошла логика школы вольфа. кантовская «трансцендентальная логика» есть в действительности критическая теория познания, логика нем. идеализма (особенно логика гегеля) – спекулятивная метафизика. шопенгауэр, ницше, бергсон и сторонники философии жизни отбросили традиционную логику. в настоящее время логика распалась на множество направлений: 1) метафизическая логика (гегельянство); 2) психологическая логика (т.липпс, отчасти в.вундт); 3) теоретико-познавательная, или трансцендентальная, логика (неокантианство); 4) семантическая логика (аристотель, кюльпе, современный номинализм); 5) предметная логика (ремке, мейнонг, дриш); 6) неосхоластическая логика; 7) феноменологическая логика; 8) логика как методология (неокантианство) и логистика, которая находится в центре споров о логике.
- (греч . logike), наука о способах доказательств и опровержений; совокупность научных теорий, в каждой из которых рассматриваются определенные способы доказательств и опровержений. основателем логики считается аристотель. различают индуктивную и дедуктивную логику, а в последней - классическую, интуиционистскую, конструктивную, модальную и др. все эти теории объединяет стремление к каталогизации таких способов рассуждений, которые от истинных суждений-посылок приводят к истинным суждениям-следствиям; каталогизация осуществляется, как правило, в рамках логических. исчислений. особую роль в ускорении научно-технического прогресса играют приложения логики в вычислительной математике, теории автоматов, лингвистике, информатике и др. см. также математическая логика.
- Раздел философии и науки, занимающийся канонами мышления и критериями достоверности суждений. логика основывается на точном определении материальных объектов, терминов и концепций, рациональной классификации, применении фундаментальных принципов, лежащих в основе наук (математики, физики, этики и пр.), и минимальном использовании аксиом и предположений. правильно практикуемая эпидемиология использует логику для вывода заключений о причинно-следственных связях1. 1 buck c. popper’s philosophy for epidemiologists. int j epidemiol, 1975; 4:159–68. см. также переписку и комментарии в последующих выпусках журнала.
- Наука о правильных способах рассуждений. в классическом варианте состоит из учения о понятиях, учения о суждениях и учения об умозаключениях. в течении долгого времени с л. связывалось учение аристотеля о силлогистических умозаключениях. силлогистика была первой дедуктивной системой, возникшей в науке. в основе л. лежит понятие аксиоматической системы. сила чистой логики, отвлекающейся от семантики предметной области, состоит в общности ее методов и положений. важно отметить, что л. есть наука о мышлении в понятиях, а не о познании мира посредством мышления о понятиях. это показывает, что в интеллектуальных системах чисто логические решатели задач не могут исчерпать весь запас средств, необходимых для воссоздания интеллектуальной деятельности. на основе л. в конце xix в. начала создаваться математическая логика, в основе которой лежит теоретико-множественные категории и понятие формальной системы.
- 1) наука об общезначимых формах и средствах мысли, необходимых для рационального познания в любой области знания [127]; 2) ход рассуждений, умозаключений; 3) разумность, внутренняя закономерность чего-нибудь [114]. [36, 114, 127]. м 63
Логика в вычислительной технике - последовательность операций, выполняемых программно или аппаратно., русский
Логика вероятностная, русский
- Логика, в которой формулы оцениваются значениями , интерпретируемыми как вероятности того, что данная формула принимает значение "истина". с правилами вывода в л.в. связываются процедуры, позволяющие вычислять вероятностную оценку истинности выводимой формулы по известным оценкам истинности для формул-посылок.
- Логика, предметом которой являются вероятностные высказывания, независимо от того, рассматривается ли вероятность как свойство отдельного высказывания
Логика веры, русский
Вид эпистимической логики, в которой все утверждения снабжаются квантификаторами, оценивающими степень правдоподобности этих утверждений.
Логика временная, русский
Логика отношений, в которой отношения (предикаты) или специальные операторы характеризуют временные зависимости ("раньше", "будет", "одновременно" и т.д.). другим типом л.в. являются так называемые логики, в которых один из аргументов предиката есть время (состояние, ситуация).
Логика второго порядка, русский
Формальная система, в которой допускается, что кванторы общности и существования могут связывать не только индивидные переменные, но и предикатные или иные функциональные символы.
Логика высказываний, русский
, раздел логики, в котором вопрос об истинности или ложности высказываний рассматривается и решается на основе изучения способа построения высказываний из т. н. элементарных (далее не разлагаемых и не анализируемых) высказываний с помощью логических операций конъюнкции ("и"), дизъюнкции ("или"), отрицания ("не"), импликации ("если..., то...") и др. логику высказываний, задаваемую системой постулатов (аксиом и правил вывода), называют исчислением высказываний.
Логика двоичная, русский
Логика, в которой в качестве истинностных значений выражений рассматриваются лишь два значения: 0 и 1, интерпретируемые как абсолютная ложь и абсолютная истина.
Логика действий, русский
Система рассуждений о закономерностях действий в некоторой проблемной среде. л.д. опирается на временную логику и пространственную логику, а также на свойства конкретной среды. л.д. используется в интеллектуальных работах и экспертных системах. для л.д. характерны немонотонные выводы.
Логика деонтическая, русский
Общее название для логики норм, описывающей нормативное прогнозируемое поведение, и логики оценок, в которой описываются оценочные характеристики для различных утверждений. используется при организации поведения интеллектуальных систем.
Логика динамическая, русский
Система рассуждений, в явной форме учитывающая динамику объектов, к которым прилагаются эти рассуждения. если время входит в рассуждение в явной форме, то л.д. совпадает с одним из вариантов временной логики. если динамика задается законами смены ситуаций, то л.д. превращается в ситуационное исчисление. л.д. используется для моделирования функционирования открытых систем, в частности, открытых баз данных и баз знаний, а также во всех интеллектуальных системах, имеющих дело с динамической моделью мира.
Логика здравого смысла, русский
Совокупность рассуждений имеющая хождение в быту и отражающая систему ценностей, мотивы поступков и цели людей. в интеллектуальных системах л.з.с. используется в тех случаях, когда при воспроизведении деятельности эксперта-профессионала нет возможности построить формальную систему, в которую можно было бы погрузить процедуры рассуждений этого эксперта.
Логика индуктивная, русский
- Формальная система, описывающая правила формирования общих утверждений на основе конечного множества частных утверждений. в л.и. все утверждения взвешиваются оценками правдоподобности, характеризующими истинность этих утверждений.
- Логика индукции, совокупность теорий, в которых изучаются выводы из посылок, необходимых, но недостаточных для логической дедукции, а также математические критерии для степени оправдания сл
Логика интуиционистская, русский
Логика, используемая в формальных системах, которые опираются не на классические конструкции, восходящие к теории множеств. а на умозрительные конструкции. в рассуждениях об этих конструкциях оказываются неприменимыми закон снятия двойного отрицания и закон исключенного третьего. л.и. широко используется при доказательстве теорем на эвм и в решателях интеллектуальных систем.
Логика каузальная, русский
Логика, в которой отношения характеризуют типы связей, совпадающие с причинно-следственными или близкие к ним по содержанию.
Логика классов, русский
, логика объемов понятий, раздел логических теорий, в котором изучаются операции над классами (множествами) и свойства этих операций (законы логики классов).
Логика команд, русский
Логика, в которой в качестве операторов используются различные императивы. близка к логике действий. используется в интеллектуальных роботах и других интеллектуальных системах.
Логика конструктивная, русский
Логика, в которой разрешены лишь конструктивные доказательства. ( ) л.к. лежат в основе конструктивной математики, тесно связанной с проблемами вычислимости на эвм и других устройствах, имеющих ограниченную память.
Логика математическая, русский
Логика, основанная не на содержательной стороне высказываний, а на синтаксических категориях и их структурных (операционных) связях. в основе л.м. лежит понятие формальной системы. различные интерпретации формальной системы приводят к различным логическим исчислениям. наиболее известным из которых являются пропозициональное исчисление (исчисление высказываний), исчисление предикатов, ситуационное исчисление, многозначные логики и т.п.
Логика многозначная, русский
Логика, в которой в качестве значений истинности переменных выступают натуральные числа 0,1,...,k.
Логика монотонная, русский
Логика замкнутого мира, эквивалентная некоторой формальной системы. в л.м. действует принцип монотонности: если на некотором шаге вывода получено утверждение, то его истинность на последующих шагах вывода не может изменяться.
Безотносительно, русский
|
Формален език, болгарский
Формальный язык (язык, построенный по правилам некоторого исчисления высказываний)
Физически запис, болгарский
Физическая запись (группа машинных слов, которая записывается в последовательных ячейках памяти в виде, непосредственно воспринимаемом аппаратными средствами вм)
|
|
|
|
|
|
|
