Non-classical logics (and sometimes alternative logics) is the name given to 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, especially in theoretical computer science, is understood to encompass and focus on non-classical logics, although the term has other meanings as well.

Property Value
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)
  • Non-classical logics (and sometimes alternative logics) is the name given to 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, especially in theoretical computer science, is understood to encompass and focus on non-classical logics, although the term has other meanings as well. (en)
  • La logique non-classique est le domaine de la logique formelle qui regroupe et étudie les systèmes formels qui diffère de façon significative avec des systèmes standards tel que la logique des prédicats. (fr)
  • Lógicas no clásicas o lógicas alternativas es el nombre que reciben los sistemas formales que difieren de manera significativa de la lógica clásica, tales como la Lógica proposicional y de predicados. Hay varias formas de hacerlo, incluyendo a modo de extensiones, desviaciones, y variaciones. 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. (es)
  • 非古典論理(ひこてんろんり)は、古典論理におけるいくつかの仮定を否定、もしくは置き換えることによって構築された論理、あるいは、古典論理における仮定をすべて認めた上で新たな仮定を付け加えることによって構築された論理の総称である。英語では、non-classical logicsと表記される。 (ja)
  • Lógicas não-clássicas (e às vezes lógicas alternativas) é o nome dado aos 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)
  • 非古典邏輯(英语:Non-classical logic),概括了在古典邏輯體系之外的各種形式系統,這些系統在命題及謂詞等方面,與古典邏輯不同。 隨著現代哲學邏輯與理論計算機科學的發展,推動了非古典邏輯發展。 (zh)
  • Неклассические логики (иногда также используется термин «альтернативные логики») — группа формальных систем, существенно отличающихся от классических логик путём различных вариаций законов и правил (например, логики, отменяющие закон исключённого третьего, меняющие таблицы истинности и т. д.). Благодаря этим вариациям возможно построение различных моделей логических выводов и логической истины. Понятие «философская логика» нередко трактуется как обобщающее для всех неклассических логик, хотя термин имеет также и другие значения. (ru)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 3192556 (xsd:integer)
dbo:wikiPageRevisionID
  • 742669712 (xsd:integer)
dct:subject
http://purl.org/linguistics/gold/hypernym
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)
  • Non-classical logics (and sometimes alternative logics) is the name given to 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, especially in theoretical computer science, is understood to encompass and focus on non-classical logics, although the term has other meanings as well. (en)
  • La logique non-classique est le domaine de la logique formelle qui regroupe et étudie les systèmes formels qui diffère de façon significative avec des systèmes standards tel que la logique des prédicats. (fr)
  • 非古典論理(ひこてんろんり)は、古典論理におけるいくつかの仮定を否定、もしくは置き換えることによって構築された論理、あるいは、古典論理における仮定をすべて認めた上で新たな仮定を付け加えることによって構築された論理の総称である。英語では、non-classical logicsと表記される。 (ja)
  • Lógicas não-clássicas (e às vezes lógicas alternativas) é o nome dado aos 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)
  • 非古典邏輯(英语:Non-classical logic),概括了在古典邏輯體系之外的各種形式系統,這些系統在命題及謂詞等方面,與古典邏輯不同。 隨著現代哲學邏輯與理論計算機科學的發展,推動了非古典邏輯發展。 (zh)
  • Неклассические логики (иногда также используется термин «альтернативные логики») — группа формальных систем, существенно отличающихся от классических логик путём различных вариаций законов и правил (например, логики, отменяющие закон исключённого третьего, меняющие таблицы истинности и т. д.). Благодаря этим вариациям возможно построение различных моделей логических выводов и логической истины. Понятие «философская логика» нередко трактуется как обобщающее для всех неклассических логик, хотя термин имеет также и другие значения. (ru)
  • Lógicas no clásicas o lógicas alternativas es el nombre que reciben los sistemas formales que difieren de manera significativa de la lógica clásica, tales como la Lógica proposicional y de predicados. Hay varias formas de hacerlo, incluyendo a modo de extensiones, desviaciones, y variaciones. El objetivo de estas desviaciones es para hacer posible construir distintos modelos de consecuencia lógica y verdad lógica. (es)
rdfs:label
  • Non-classical logic (en)
  • Nichtklassische Logik (de)
  • Lógicas no clásicas (es)
  • Logique non classique (fr)
  • 非古典論理 (ja)
  • Lógica não clássica (pt)
  • Неклассическая логика (ru)
  • 非古典邏輯 (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:academicDiscipline of
is dbo:wikiPageRedirects of
is foaf:primaryTopic of