| dbo:abstract
|
- Una lògica polivalent és un sistema lògic que rebutja el principi del tercer exclòs de les lògiques bivalents i admet més valors de veritat que els tradicionals veritable i fals . Diferents lògiques plurivalentes poden admetre diferents quantitats de valors de veritat: des de tres, fins a infinit. (ca)
- Plurvalora logiko estas sistemo de logiko kiu malakceptas la principon de la tria ekskludita de la duvaloraj logikoj kaj akceptas pli da veraj valoroj ol la tradiciaj vera kaj falsa. Diversaj plurvaloraj logikoj povas akcepti diferencajn kvantojn de veraj valoroj: el tri, ĝis infinito (ajna reela nombro inter 0 kaj 1). La plurvaloraj logikoj disvastiĝis speciale el la laboroj de la polaj filozofoj Jan Łukasiewicz kaj Emil Post kaj el iliaj rilatoj kun la kvantuma fiziko, sed estis eksponitaj jam antaŭe, kun diferencaj fokusoj, por Hegel, Hugh MacColl, Charles Sanders Peirce kaj Nikolai A. Vasiliev. Stephen Kleene prilaboris la vertabelojn por sistemo de trivalora logiko. Ekzemplo por ilustri la trivaloron en fiziko estis la paradokso de la kato de Schrödinger. (eo)
- Mehrwertige Logik ist ein Oberbegriff für alle logischen Systeme, die mehr als zwei Wahrheitswerte verwenden. Ausgangspunkt für die Entwicklung mehrwertiger Logiken war die erkenntnistheoretische Frage, ob dem Prinzip der Zweiwertigkeit außerlogische Wahrheit zukommt. Für Aussagen über die Zukunft stellt bereits Aristoteles diese Frage, indem er argumentiert, dass die Wahrheit einer Aussage wie „Morgen wird eine Seeschlacht stattfinden“ erst am Abend des morgigen Tages feststehen wird und dass sie bis zu diesem Zeitpunkt noch als unbestimmt und damit als kontingent möglich betrachtet werden muss. Die erste im modernen Sinn formalisierte mehrwertige Logik ist die im Jahre 1920 von Jan Łukasiewicz vorgestellte dreiwertige Logik L3. Ihre drei Wahrheitswerte interpretiert Łukasiewicz unter Berufung auf das Seeschlacht-Beispiel des Aristoteles als „wahr“, „falsch“ und – für zukünftige Aussagen, deren Wahrheit noch nicht feststeht – „(kontingent) möglich“. In neuerer Zeit haben mehrwertige Logiken im Bereich der Informatik hohe praktische Bedeutung gewonnen. Sie ermöglichen den Umgang mit der Tatsache, dass Datenbanken nicht nur eindeutig bestimmte, sondern auch unbestimmte, fehlende oder sogar widersprüchliche Informationen enthalten können. (de)
- Many-valued logic (also multi- or multiple-valued logic) refers to a propositional calculus in which there are more than two truth values. Traditionally, in Aristotle's logical calculus, there were only two possible values (i.e., "true" and "false") for any proposition. Classical two-valued logic may be extended to n-valued logic for n greater than 2. Those most popular in the literature are three-valued (e.g., Łukasiewicz's and Kleene's, which accept the values "true", "false", and "unknown"), four-valued, nine-valued, the finite-valued (finitely-many valued) with more than three values, and the infinite-valued (infinitely-many-valued), such as fuzzy logic and probability logic. (en)
- Una lógica plurivalente o lógica polivalente es un sistema lógico que rechaza el principio del tercero excluido de las lógicas bivalentes y admite más valores de verdad que los tradicionales verdadero y falso. Distintas lógicas plurivalentes pueden admitir distintas cantidades de valores de verdad: desde tres, hasta infinito (cualquier número real entre 0 y 1). (es)
- Les logiques polyvalentes (ou multivalentes, ou multivaluées) sont des alternatives à la logique classique aristotélicienne, bivalente, dans laquelle toute proposition doit être soit vraie soit fausse. Elles sont apparues à partir des années 1920, surtout à la suite des travaux du logicien polonais Jan Łukasiewicz.Elles sont principalement étudiées au niveau du seul calcul propositionnel et peu au niveau du calcul des prédicats. (fr)
- Le logiche polivalenti sono estensioni della logica classica in cui sono presenti più valori di verità rispetto ai canonici vero, falso e pertanto in esse non vale il principio del terzo escluso.Le prime logiche polivalenti furono proposte negli anni 1920 da Emil Post e da Jan Łukasiewicz e in esse erano presenti tre valori di verità: vero, falso, problematico. (it)
- 논리학에서 다치 논리는 두 개 이상의 진릿값이 있는 명제 논리이다. 전통적으로 아리스토텔레스의 논리 미적분학 에서는 모든 명제에 대해 두 가지 가능한 값(즉, "참"과 "거짓")만 있었다. 고전적인 이치 논리는 n 이 2보다 큰 경우 n 값 논리로 확장될 수 있다. 문헌에서 가장 인기 있는 것은 3치 (예: 우카시에비치 및 클레이니, "true", "false" 및 "unknown" 값을 허용함), 4치, 9치, 그리고 유한 치, 그리고 퍼지 논리 및 확률 논리와 같은 무한 치이다. (ko)
- 多値論理（たちろんり）とは、真理値の値を、いわゆる真偽値すなわち真と偽の2個だけでなく、3個あるいはそれ以上の多数の値とした論理体系で、非古典論理の一種である。 (ja)
- Meerwaardige logica (Multi-Valued Logic of MVL) is een verzamelnaam voor alle waarbij zinnen niet alleen maar "waar" of "onwaar" kunnen zijn, maar ook een andere waarheidswaarden kunnen hebben. De term is gerelateerd aan, maar te onderscheiden van, de modale logica. De Poolse logicus Jan Łukasiewicz kwam in 1920 voor het eerst met het idee in zijn artikel O logice trojwartosciowej, dat dus over zijn driewaardige logica ging. Latere voorbeelden van zulke systemen zijn Gödels interpretatie van de intuïtionistische logica, de en de moderne fuzzy logic. Een belangrijke aanleiding om een meerwaardige logica te ontwikkelen is het gegeven dat de natuurlijke taal het mogelijk maakt vele uitspraken te doen waarvan niet eenvoudig gezegd kan worden of ze waar of niet waar zijn, zoals: "De Keizer van België heeft een snor". De kent drie waarden, en is daarmee een van de meerwaardige logica's. De derde waarde zou vertaald kunnen worden met "niet-waar en niet-onwaar". Deze waarde impliceert bijvoorbeeld dat uit de constatering "de deur is niet dicht" niet de conclusie getrokken kan worden dat de deur open is. Met andere woorden: modus tollens is niet mogelijk binnen deze logica. (nl)
- Logika wielowartościowa – rodzaj rachunku zdań, w którym przyjmuje się więcej niż dwie wartości logiczne. Tradycyjny rachunek zdań jest dwuwartościowy – są w nim możliwe tylko dwie wartości logiczne – prawda albo fałsz (co odpowiada podstawowej intuicji związanej z prawdziwością wypowiedzi). Jednakże klasyczna dwuwartościowość jest tylko jedną z możliwości zakresu wartości logicznych. Możliwe są logiki, w których istnieją inne wartości logiczne, lub nawet takie, w których występują więcej niż dwie wartości. W klasycznym ujęciu logiki zdanie może przyjmować alternatywnie jedną z dwóch wartości – „prawda” albo „fałsz”. Jeżeli zdanie nie posiada jednej z tych właściwości, to automatycznie posiada drugą. Jest to treścią prawa wyłączonego środka. Należy zauważyć, że istotą rachunku zdań są takie przekształcenia zdań, które zachowują dla nich pewne własności. W klasycznej logice taką własnością jest „prawda”. W poprawnym rozumowaniu zdanie ostatecznie otrzymane na drodze przekształceń zdania prawdziwego, zachowujących prawdziwość, także jest prawdziwe. Jednak „prawdziwość” może być zastąpione inną ideą. Na przykład w logice intuicjonistycznej jest nią „uzasadnienie”. Zdanie może wtedy posiadać jedną z dwóch cech: może być „uzasadnione”, bądź nie. Istotną różnicą między „prawdą” a „uzasadnieniem” jest to, że dla tego ostatniego nie zachodzi prawo wyłączonego środka: zdanie, które nie jest nieuzasadnione, niekoniecznie musi być uzasadnione. W takim przypadku jedynie nie zostało udowodnione jego uzasadnienie. Oznacza to, że można udowodnić, że P jest uzasadnione, że P nie jest uzasadnione bądź nie można dowieść żadnego z powyższych. Poprawne rozumowanie zachowuje uzasadnienie zdań, więc zdanie wywiedzione z uzasadnionego zdania jest wciąż uzasadnione. Jednak istnieją dowody, które wymagają zastosowania prawa wyłączonego środka – w takim przypadku istnieją zdania, które nie mogą być uzasadnione. Logikę rozmytą po raz pierwszy przedstawił Lotfi Zadeh jako formalizację niepewności, to jest zjawiska występowania obiektów, wobec których pewne określenia stosują się tylko w pewnym stopniu. (pl)
- Em lógica, a lógica multivalorada (ou lógica plurivalente) é um cálculo proposicional em que há mais de dois valores verdade. Tradicionalmente, na Lógica aristotélica, existem apenas dois possíveis valores (isto é, "verdadeiro" e "falso") para cada proposição. Uma extensão obvia para a lógica clássica 2-valorada é uma lógica n-valorada, com n maior que 2. As mais populares na literatura são a lógica ternária (que usa "verdadeiro", "falso" e "não se sabe"), a finitamente-valorada com mais de 3 valores, e a infinitamente-valorada, como a lógica difusa e a lógica probabilística. (pt)
- Багатозначна логіка — тип некласичної логіки, характерний наявністю більш ніж двох можливих істинних значень (істинності та хибності). Першу систему багатозначної логіки запропонував польський математик Ян Лукасевич в 1920 році. В наш час[коли?] існує дуже багато інших систем багатозначної логіки, які в свою чергу можуть бути згруповані за класами. Найважливішими з таких класів є та нечіткі логіки. (uk)
- Flervärd logik är en term inom logiken som avser logiska system som hanterar fler sanningsvärden än sann (T) och falsk (F). Ett exempel är , ett annat är suddig logik. Ett vanligt tredje sanningsvärde är okänt (U). Ett fjärde sanningsvärde kan vara motstridigt (#) eller överbestämt för utsagor som samtidigt, men på olika fakta, utvärderats till såväl sann (T) som falsk (F). Ytterligare ett sanningsvärde kan vara att man försökt utvärdera utsagan, men upptäckt att det inte finns tillräckliga fakta för att utvärdera den. Då kan man behöva ytterligare ett sanningsvärde som talar om att det är känt att det är okänt (X). Det senare är förmodligen mest användbart i . (sv)
- 多值逻辑是有多于两个的可能的真值的逻辑演算。传统上，逻辑演算是二值的，就是说对于任何命题都只有两个可能的真值，真和假（它一般对应于我们直觉概念的真理和虚假）。但是二值只有一个可以被指派的可能的真值范围，已经开发了一些其他逻辑系统，带有对二值的变异，或带有多于两个可能的真值指派。 (zh)
- Многозначная логика — это логика, в которой логические выражения могут принимать значения из множества, содержащего более, чем два элемента. При этом некоторые из этих значений считаются истинными. Такими свойствами многозначная логика отличается от классической логики Аристотеля, в которой логические выражения могут принимать только одно из двух возможных значения — «истина» или «ложь». Однако классическая двухзначная логика может быть дополнена до n-значной с n > 2. Наиболее популярными в литературе являются трёхзначная логика (например, логика Яна Лукасевича и Стивена Клини, которая принимает значения «истина», «ложь» и «неизвестно»), (может иметь более трёх значений) и логики (сюда относят вероятностную логику с непрерывной шкалой значений истинности от 0 до 1, а также нечёткую логику). (ru)
|
| rdfs:comment
|
- Una lògica polivalent és un sistema lògic que rebutja el principi del tercer exclòs de les lògiques bivalents i admet més valors de veritat que els tradicionals veritable i fals . Diferents lògiques plurivalentes poden admetre diferents quantitats de valors de veritat: des de tres, fins a infinit. (ca)
- Many-valued logic (also multi- or multiple-valued logic) refers to a propositional calculus in which there are more than two truth values. Traditionally, in Aristotle's logical calculus, there were only two possible values (i.e., "true" and "false") for any proposition. Classical two-valued logic may be extended to n-valued logic for n greater than 2. Those most popular in the literature are three-valued (e.g., Łukasiewicz's and Kleene's, which accept the values "true", "false", and "unknown"), four-valued, nine-valued, the finite-valued (finitely-many valued) with more than three values, and the infinite-valued (infinitely-many-valued), such as fuzzy logic and probability logic. (en)
- Una lógica plurivalente o lógica polivalente es un sistema lógico que rechaza el principio del tercero excluido de las lógicas bivalentes y admite más valores de verdad que los tradicionales verdadero y falso. Distintas lógicas plurivalentes pueden admitir distintas cantidades de valores de verdad: desde tres, hasta infinito (cualquier número real entre 0 y 1). (es)
- Les logiques polyvalentes (ou multivalentes, ou multivaluées) sont des alternatives à la logique classique aristotélicienne, bivalente, dans laquelle toute proposition doit être soit vraie soit fausse. Elles sont apparues à partir des années 1920, surtout à la suite des travaux du logicien polonais Jan Łukasiewicz.Elles sont principalement étudiées au niveau du seul calcul propositionnel et peu au niveau du calcul des prédicats. (fr)
- Le logiche polivalenti sono estensioni della logica classica in cui sono presenti più valori di verità rispetto ai canonici vero, falso e pertanto in esse non vale il principio del terzo escluso.Le prime logiche polivalenti furono proposte negli anni 1920 da Emil Post e da Jan Łukasiewicz e in esse erano presenti tre valori di verità: vero, falso, problematico. (it)
- 논리학에서 다치 논리는 두 개 이상의 진릿값이 있는 명제 논리이다. 전통적으로 아리스토텔레스의 논리 미적분학 에서는 모든 명제에 대해 두 가지 가능한 값(즉, "참"과 "거짓")만 있었다. 고전적인 이치 논리는 n 이 2보다 큰 경우 n 값 논리로 확장될 수 있다. 문헌에서 가장 인기 있는 것은 3치 (예: 우카시에비치 및 클레이니, "true", "false" 및 "unknown" 값을 허용함), 4치, 9치, 그리고 유한 치, 그리고 퍼지 논리 및 확률 논리와 같은 무한 치이다. (ko)
- 多値論理（たちろんり）とは、真理値の値を、いわゆる真偽値すなわち真と偽の2個だけでなく、3個あるいはそれ以上の多数の値とした論理体系で、非古典論理の一種である。 (ja)
- Em lógica, a lógica multivalorada (ou lógica plurivalente) é um cálculo proposicional em que há mais de dois valores verdade. Tradicionalmente, na Lógica aristotélica, existem apenas dois possíveis valores (isto é, "verdadeiro" e "falso") para cada proposição. Uma extensão obvia para a lógica clássica 2-valorada é uma lógica n-valorada, com n maior que 2. As mais populares na literatura são a lógica ternária (que usa "verdadeiro", "falso" e "não se sabe"), a finitamente-valorada com mais de 3 valores, e a infinitamente-valorada, como a lógica difusa e a lógica probabilística. (pt)
- Багатозначна логіка — тип некласичної логіки, характерний наявністю більш ніж двох можливих істинних значень (істинності та хибності). Першу систему багатозначної логіки запропонував польський математик Ян Лукасевич в 1920 році. В наш час[коли?] існує дуже багато інших систем багатозначної логіки, які в свою чергу можуть бути згруповані за класами. Найважливішими з таких класів є та нечіткі логіки. (uk)
- Flervärd logik är en term inom logiken som avser logiska system som hanterar fler sanningsvärden än sann (T) och falsk (F). Ett exempel är , ett annat är suddig logik. Ett vanligt tredje sanningsvärde är okänt (U). Ett fjärde sanningsvärde kan vara motstridigt (#) eller överbestämt för utsagor som samtidigt, men på olika fakta, utvärderats till såväl sann (T) som falsk (F). Ytterligare ett sanningsvärde kan vara att man försökt utvärdera utsagan, men upptäckt att det inte finns tillräckliga fakta för att utvärdera den. Då kan man behöva ytterligare ett sanningsvärde som talar om att det är känt att det är okänt (X). Det senare är förmodligen mest användbart i . (sv)
- 多值逻辑是有多于两个的可能的真值的逻辑演算。传统上，逻辑演算是二值的，就是说对于任何命题都只有两个可能的真值，真和假（它一般对应于我们直觉概念的真理和虚假）。但是二值只有一个可以被指派的可能的真值范围，已经开发了一些其他逻辑系统，带有对二值的变异，或带有多于两个可能的真值指派。 (zh)
- Plurvalora logiko estas sistemo de logiko kiu malakceptas la principon de la tria ekskludita de la duvaloraj logikoj kaj akceptas pli da veraj valoroj ol la tradiciaj vera kaj falsa. Diversaj plurvaloraj logikoj povas akcepti diferencajn kvantojn de veraj valoroj: el tri, ĝis infinito (ajna reela nombro inter 0 kaj 1). (eo)
- Mehrwertige Logik ist ein Oberbegriff für alle logischen Systeme, die mehr als zwei Wahrheitswerte verwenden. Ausgangspunkt für die Entwicklung mehrwertiger Logiken war die erkenntnistheoretische Frage, ob dem Prinzip der Zweiwertigkeit außerlogische Wahrheit zukommt. Für Aussagen über die Zukunft stellt bereits Aristoteles diese Frage, indem er argumentiert, dass die Wahrheit einer Aussage wie „Morgen wird eine Seeschlacht stattfinden“ erst am Abend des morgigen Tages feststehen wird und dass sie bis zu diesem Zeitpunkt noch als unbestimmt und damit als kontingent möglich betrachtet werden muss. (de)
- Meerwaardige logica (Multi-Valued Logic of MVL) is een verzamelnaam voor alle waarbij zinnen niet alleen maar "waar" of "onwaar" kunnen zijn, maar ook een andere waarheidswaarden kunnen hebben. De term is gerelateerd aan, maar te onderscheiden van, de modale logica. (nl)
- Logika wielowartościowa – rodzaj rachunku zdań, w którym przyjmuje się więcej niż dwie wartości logiczne. Tradycyjny rachunek zdań jest dwuwartościowy – są w nim możliwe tylko dwie wartości logiczne – prawda albo fałsz (co odpowiada podstawowej intuicji związanej z prawdziwością wypowiedzi). Jednakże klasyczna dwuwartościowość jest tylko jedną z możliwości zakresu wartości logicznych. Możliwe są logiki, w których istnieją inne wartości logiczne, lub nawet takie, w których występują więcej niż dwie wartości. (pl)
- Многозначная логика — это логика, в которой логические выражения могут принимать значения из множества, содержащего более, чем два элемента. При этом некоторые из этих значений считаются истинными. Такими свойствами многозначная логика отличается от классической логики Аристотеля, в которой логические выражения могут принимать только одно из двух возможных значения — «истина» или «ложь». Однако классическая двухзначная логика может быть дополнена до n-значной с n > 2. Наиболее популярными в литературе являются трёхзначная логика (например, логика Яна Лукасевича и Стивена Клини, которая принимает значения «истина», «ложь» и «неизвестно»), (может иметь более трёх значений) и логики (сюда относят вероятностную логику с непрерывной шкалой значений истинности от 0 до 1, а также нечёткую логик (ru)
|
