About: Non-classical logic

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Non-classical logic Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : dbpedia.org associated with source document(s)
QRcode icon

http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FNon-classical_logic

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.

Attributes	Values
rdfs:label	Non-classical logic (en) Nichtklassische Logik (de) Lógica no clásica (es) Logique non classique (fr) 비고전 논리 (ko) 非古典論理 (ja) Неклассическая логика (ru) Lógica não clássica (pt) Некласична логіка (uk) 非經典邏輯 (zh)
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)
dcterms:subject	Logic History of logic Non-classical logic Philosophy of logic
Wikipage page ID	3192556 (xsd:integer)
Wikipage revision ID	1114128606 (xsd:integer)
Link from a Wikipage to another Wikipage	Predicate logic Princeton University Press Proper superset Quantum logic Modal logic Logic John P. Burgess De Morgan's laws Deviant logic Dynamic semantics Intuitionistic logic Negation Conservative extension Theorem Linear logic Logical conjunction Computability logic Computer science Propositional logic Theoretical computer science Many-valued logic Automated theorem proving History of logic Truth function Truth table Truth value Fuzzy logic Law of excluded middle Law of identity Logic in China Logical truth Paraconsistent logic Three-valued logic Non-classical logic Non-monotonic logic Dialetheism Formal system History of logic Leibniz operator Logical connective Logical consequence Logical constant Logical disjunction Well-formed formula Relevance logic Gödel Jan Łukasiewicz Philosophy of logic Abstract algebraic logic Susan Haack College Publications Double negation elimination Boolean algebra Classical logic Reflexive relation Many-sorted logic Philosophical logic Principle of explosion Schrödinger logic Superintuitionistic logic Idempotency Law of the excluded middle Logic in India dbr:Equivalential dbr:Protoalgebraic dbr:Algebraizable
Link from a Wikipage to an external page	http://philosophy.commons.gc.cuny.edu/video-graham-priest-on-devient-logic/ https://archive.org/details/blackwellguideto0000unse_q4c2
sameAs	Non-classical logic Non-classical logic Non-classical logic Non-classical logic Non-classical logic Non-classical logic

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (62 GB total memory, 54 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software