| dbo:abstract
|
- Nichtklassische Logiken sind formale Systeme, die sich signifikant von den klassischen Logiksystemen wie der Aussagenlogik und der Prädikatenlogik unterscheiden. Es gibt verschiedene Möglichkeiten, wie dies der Fall sein kann – z. B. durch Variation gewisser Grundgesetze der klassischen Logik oder durch deren Abänderungen bzw. Erweiterungen. Das Ziel aller solchen Abweichungen ist es, verschiedene Möglichkeiten des logischen Schließens und der logischen Wahrheit aufzuzeigen und Prinzipien zu variieren, die innerhalb der klassischen Systeme als selbstverständlich und unverrückbar gelten. (de)
- Una lógica no clásica o lógica alternativa es un sistema formal que difiere de manera significativa de las lógicas clásicas. Hay varias formas de hacerlo, incluyendo a modo de extensiones, desviaciones, y variaciones, por ejemplo, rechazando uno o varios de los principios de la lógica clásica. El objetivo de estas desviaciones es para hacer posible construir distintos modelos de consecuencia lógica y verdad lógica. La lógica filosófica, especialmente en la ciencia computacional teórica, se usa para abarcar y centrarse en las lógicas no clásicas, a pesar de que el término tiene otros significados también. Algunos ejemplos de lógicas no clásicas son:
* Lógica difusa: Es una lógica plurivalente que rechaza el principio del tercero excluido y propone un número infinito de valores de verdad.
* Lógica relevante: Es una lógica paraconsistente que evita el principio de explosión al exigir que para que un argumento sea válido, las premisas y la conclusión deben compartir al menos una variable proposicional.
* Lógica cuántica: Desarrollada para lidiar con razonamientos en el campo de la mecánica cuántica; su característica más notable es el rechazo de la propiedad distributiva.
* Lógica no monotónica: Una lógica no monotónica es una lógica donde, al agregar una fórmula a una teoría cualquiera, es posible que el conjunto de consecuencias de esa teoría se reduzca.
* Lógica intuicionista: Enfatiza las pruebas, en vez de la verdad, a lo largo de las transformaciones de las proposiciones. (es)
- Adoptant un point de vue normatif, qui attribue à un système formel parmi d'autres le statut de logique « classique », certains appellent logique non classique toute logique formelle qui étudie des systèmes formels qui diffèrent de façon significative de la logique classique. (fr)
- Non-classical logics (and sometimes alternative logics) are formal systems that differ in a significant way from standard logical systems such as propositional and predicate logic. There are several ways in which this is done, including by way of extensions, deviations, and variations. The aim of these departures is to make it possible to construct different models of logical consequence and logical truth. Philosophical logic is understood to encompass and focus on non-classical logics, although the term has other meanings as well. In addition, some parts of theoretical computer science can be thought of as using non-classical reasoning, although this varies according to the subject area. For example, the basic boolean functions (e.g. AND, OR, NOT, etc) in computer science are very much classical in nature, as is clearly the case given that they can be fully described by classical truth tables. However, in contrast, some computerized proof methods may not use classical logic in the reasoning process. (en)
- 비고전 논리(非古典論理, 영어: non-classical logic)는 고전 논리와 대비되는 원칙을 가진 형식 논리학 체계를 가리킨다. 흔히 고전 논리의 배중률, 무모순율, 2치 원칙 등을 받아들이지 않거나 확장하는 식으로 구성된다. 특히 현대 철학적 논리학과 이론 컴퓨터 과학에서 활발히 연구된다. (ko)
- 非古典論理（ひこてんろんり、non-classical logic(s)）は、古典論理におけるいくつかの仮定を否定、もしくは置き換えることによって構築された論理、あるいは、古典論理における仮定をすべて認めた上で新たな仮定を付け加えることによって構築された論理の総称である。 (ja)
- Lógicas não clássicas (e às vezes lógicas alternativas) são os sistemas formais que diferem de maneira significativa dos sistemas lógicos padrão, como a lógica proposicional e predicado. Existem várias maneiras em que isto é feito, inclusive por meio de extensões, desvios e variações. O objetivo dessas partidas é torná-lo possível construir diferentes modelos de consequência lógica e verdade lógica. Lógica filosófica, especialmente em ciência da computação teórica, é entendida para abranger e se concentrar em lógicas não clássicas, embora o termo tem outros significados. (pt)
- Неклассические логики (иногда также используется термин «альтернативные логики») — группа формальных систем, существенно отличающихся от классических логик путём различных вариаций законов и правил (например, логики, отменяющие закон исключённого третьего, меняющие таблицы истинности и т. д.). Благодаря этим вариациям возможно построение различных моделей логических выводов и логической истины. Понятие «философская логика» нередко трактуется как обобщающее для всех неклассических логик, хотя термин имеет также и другие значения. (ru)
- 非经典邏輯（英語：Non-classical logic），也称为替代逻辑（英語：alternative logics），概括了在经典邏輯體系之外的各種形式系統，這些系統在命題及謂詞等方面，與经典邏輯不同。 哲学逻辑被理解为包含并专注于非经典逻辑，尽管该术语还有其他含义。 此外，可以将理论计算机科学的某些部分视为使用非经典推理，尽管这因学科领域而异。隨著現代哲學邏輯與理論計算機科學的發展，推動了非经典邏輯發展。 (zh)
- Некласична логіка (альтернативна логіка) — це назва формальних систем, що суттєво відрізняються від класичної логіки, такої, як логіка числення висловлень та предикатна логіка. Побудувати такі системи можна декількома шляхами, включаючи способи розширення, відхилення та варіативність. Мета цих відхилень — зробити можливим конструювання різних моделей логічних імплікацій та логічної істини. Філософську логіку, особливо у теоретичній інформатиці, слід розуміти як охоплення та зосередження на некласичних логіках, хоча дефініція має також інші значення. (uk)
|
| rdfs:comment
|
- Nichtklassische Logiken sind formale Systeme, die sich signifikant von den klassischen Logiksystemen wie der Aussagenlogik und der Prädikatenlogik unterscheiden. Es gibt verschiedene Möglichkeiten, wie dies der Fall sein kann – z. B. durch Variation gewisser Grundgesetze der klassischen Logik oder durch deren Abänderungen bzw. Erweiterungen. Das Ziel aller solchen Abweichungen ist es, verschiedene Möglichkeiten des logischen Schließens und der logischen Wahrheit aufzuzeigen und Prinzipien zu variieren, die innerhalb der klassischen Systeme als selbstverständlich und unverrückbar gelten. (de)
- Adoptant un point de vue normatif, qui attribue à un système formel parmi d'autres le statut de logique « classique », certains appellent logique non classique toute logique formelle qui étudie des systèmes formels qui diffèrent de façon significative de la logique classique. (fr)
- 비고전 논리(非古典論理, 영어: non-classical logic)는 고전 논리와 대비되는 원칙을 가진 형식 논리학 체계를 가리킨다. 흔히 고전 논리의 배중률, 무모순율, 2치 원칙 등을 받아들이지 않거나 확장하는 식으로 구성된다. 특히 현대 철학적 논리학과 이론 컴퓨터 과학에서 활발히 연구된다. (ko)
- 非古典論理（ひこてんろんり、non-classical logic(s)）は、古典論理におけるいくつかの仮定を否定、もしくは置き換えることによって構築された論理、あるいは、古典論理における仮定をすべて認めた上で新たな仮定を付け加えることによって構築された論理の総称である。 (ja)
- Lógicas não clássicas (e às vezes lógicas alternativas) são os sistemas formais que diferem de maneira significativa dos sistemas lógicos padrão, como a lógica proposicional e predicado. Existem várias maneiras em que isto é feito, inclusive por meio de extensões, desvios e variações. O objetivo dessas partidas é torná-lo possível construir diferentes modelos de consequência lógica e verdade lógica. Lógica filosófica, especialmente em ciência da computação teórica, é entendida para abranger e se concentrar em lógicas não clássicas, embora o termo tem outros significados. (pt)
- Неклассические логики (иногда также используется термин «альтернативные логики») — группа формальных систем, существенно отличающихся от классических логик путём различных вариаций законов и правил (например, логики, отменяющие закон исключённого третьего, меняющие таблицы истинности и т. д.). Благодаря этим вариациям возможно построение различных моделей логических выводов и логической истины. Понятие «философская логика» нередко трактуется как обобщающее для всех неклассических логик, хотя термин имеет также и другие значения. (ru)
- 非经典邏輯（英語：Non-classical logic），也称为替代逻辑（英語：alternative logics），概括了在经典邏輯體系之外的各種形式系統，這些系統在命題及謂詞等方面，與经典邏輯不同。 哲学逻辑被理解为包含并专注于非经典逻辑，尽管该术语还有其他含义。 此外，可以将理论计算机科学的某些部分视为使用非经典推理，尽管这因学科领域而异。隨著現代哲學邏輯與理論計算機科學的發展，推動了非经典邏輯發展。 (zh)
- Некласична логіка (альтернативна логіка) — це назва формальних систем, що суттєво відрізняються від класичної логіки, такої, як логіка числення висловлень та предикатна логіка. Побудувати такі системи можна декількома шляхами, включаючи способи розширення, відхилення та варіативність. Мета цих відхилень — зробити можливим конструювання різних моделей логічних імплікацій та логічної істини. Філософську логіку, особливо у теоретичній інформатиці, слід розуміти як охоплення та зосередження на некласичних логіках, хоча дефініція має також інші значення. (uk)
- Una lógica no clásica o lógica alternativa es un sistema formal que difiere de manera significativa de las lógicas clásicas. Hay varias formas de hacerlo, incluyendo a modo de extensiones, desviaciones, y variaciones, por ejemplo, rechazando uno o varios de los principios de la lógica clásica. El objetivo de estas desviaciones es para hacer posible construir distintos modelos de consecuencia lógica y verdad lógica. Algunos ejemplos de lógicas no clásicas son: (es)
- Non-classical logics (and sometimes alternative logics) are formal systems that differ in a significant way from standard logical systems such as propositional and predicate logic. There are several ways in which this is done, including by way of extensions, deviations, and variations. The aim of these departures is to make it possible to construct different models of logical consequence and logical truth. (en)
|
