• Title/Summary/Keyword: 배중률

Search Result 5, Processing Time 0.016 seconds

배중률에 관한 소고

  • 김성수
    • Journal for History of Mathematics
    • /
    • v.9 no.2
    • /
    • pp.10-14
    • /
    • 1996
  • 논리법칙은 유한집합에서 성립하는 수학의 정리들을 최대한 일반화시킨 것에 불과하다. 따라서 우리는 이들 논리법칙들이 아무런 고려없이 무한집합의 수학에서도 성립할 것으로 단정해서는 안된다. 집합론에서 역리가 발생하는 것은 논리학의 한 원리인 배중률이 무한집합의 수학에서는 성립하지 않음을 보여주는 것이다.

  • PDF

A Comparing Study of Two Constructivisms on L.E.M. (배중률을 둘러싼 구성주의의 두 입장 비교)

  • Oh, Chae-Hwan;Kang, Ok-Ki;Ree, Sang-Wook
    • Journal for History of Mathematics
    • /
    • v.24 no.4
    • /
    • pp.45-59
    • /
    • 2011
  • Constructionists believe that mathematical knowledge is obtained by a series of purely mental constructions, with all mathematical objects existing only in the mind of the mathematician. But constructivism runs the risk of rejecting the classical laws of logic, especially the principle of bivalence and L. E. M.(Law of the Excluded Middle). This philosophy of mathematics also does not take into account the external world, and when it is taken to extremes it can mean that there is no possibility of communication from one mind to another. Two constructionists, Brouwer and Dummett, are common in rejecting the L. E. M. as a basic law of logic. As indicated by Dummett, those who first realized that rejecting realism entailed rejecting classical logic were the intuitionists of the school of Brouwer. However for Dummett, the debate between realists and antirealists is in fact a debate about semantics - about how language gets its meaning. This difference of initial viewpoints between the two constructionists makes Brouwer the intuitionist and Dummettthe the semantic anti-realist. This paper is confined to show that Dummett's proposal in favor of intuitionism differs from that of Brouwer. Brouwer's intuitionism maintained that the meaning of a mathematical sentence is essentially private and incommunicable. In contrast, Dummett's semantic anti-realism argument stresses the public and communicable character of the meaning of mathematical sentences.

A Didactic Comparision between basic concept of the theory of Crisp Set and the theory of Fuzzy Set (보통집합과 퍼지집합의 교수학적 비교연구)

  • Ghil, Byung Moon
    • Journal of the Korean School Mathematics Society
    • /
    • v.3 no.1
    • /
    • pp.211-217
    • /
    • 2000
  • 본 논문의 목적은 G. Cantor 에 의하여 출발된 집합론을 보통집합 이론이라고 구별하여 부를 때, 보통 집합 이론이 그 바탕에 깔고 있는 논리적 제한 점들 곧, 배중률이라든지 모순의 법칙 등을 어떻게 보완할 수 있을 것인가\ulcorner 하는 점과 그러한 점을 보완하여야 할 필요성에 대하여도 생각하고자 한다. 그런 관점에서 보통집합 이론과 퍼지집합 이론의 기본개념을 상호 비교함으로써 앞서 제기한 문제의 보완 요소를 찾아보려고 한다. 실제에 있어 인간의 사고 가운데에서는 중간을 배제하는 일이 없음에도 불구하고 이를 수학적으로 접근하고 표현하는 수단이 부족함으로 인하여 부자연스러운 논리의 법칙을 받아들일 수밖에 없었던 것도 사실이다. 특히, 논리적 응용력이 부족한 중등과정의 학생들에게 있어서 수학이 전적으로 2가 논리에 의하여 지배되고 있다는 방식으로만 지도하는 것은 여러 가지 측면에서 그 내용의 보완이 요구된다. 보다 다양한 수학적 표현의 여지를 열어주는 지도법은 쉼없이 연구되어야 할 것이다. 무엇보다도 배우는 학생들이 보다 폭 넓은 사고의 영역을 소유하고, 그를 바탕으로 창의적이고 자유로운 발상이 이어 질 수 있도록 하기 위하여는 교사의 수학적 시야가 보다 넓고 유연해져야 한다함은 재론할 필요가 없을 것이다. 그런 의미에서 본 논문이 작은 역할을 할 수 있기를 바란다.

  • PDF

굽타의 진리 수정론

  • Song, Ha-Seok
    • Korean Journal of Logic
    • /
    • v.1
    • /
    • pp.65-93
    • /
    • 1997
  • 거짓말쟁이 역설에 대한 전통적인 설명은 다음 두 가지로 주어진다. 역설을 일으키는 거짓말쟁이 문장이 자기지시적이기 때문에 역설이 발생하므로 자기지시적 문장을 금함으로써 그 역설을 피할 수 있다는 것이 첫 번째이고, 둘째는 모든 문장을 참이나 거짓이라고 주장하는 진리값에 대한 배중률(principle of bivalence)에 집착하기 때문에 그 역설이 발생한다고 생각하고 제3의 진리값을 갖는 문장이 있음을 인정해야 한다는 것이다. 이러한 전통적인 설명과 달리 진리 개념을 비일관적인 개념으로 보고 진리 술어와 그 외의 술어의 용법상의 차이를 설명함으로써 거짓말쟁이 역설에 대한 새로운 설명을 시도하고자 하는 것이 굽타의 "진리 수정론"이다. 굽타의 진리 수정론에 따르면, 진리 술어 외의 술어들은 그 외연이 고정적으로 산출되고 그 과정은 적용 규칙(rule of application)에 의해서 설명되지만 진리 술어는 순환적 정의처럼 고정된 외연을 만들어내지 못하고 단지 가설적 외연만 만들어 낼 뿐이다. 이렇게 진리술어의 가정적 외연을 산출해내는 과정은 수정규칙(rule of revision)에 의해서 설명된다. 요컨대 진리 수정론은 순환적 개념도 의미를 가질 수 있음을 보여주는 의미론적 구조틀이 있다는 것과 진리개념이 바로 그러한 의미구조틀에 의해서 의미를 갖는 순환적 개념이라는 것이다. 그리고 굽타는 그러한 의미구조 틀을 일정한 규칙을 갖는 함수로 설명하려고 시도한다. 즉 진리개념을 일관적인 것으로 보고 거짓말쟁이 역설을 해결해야 할 병리적 현상으로 보는 진리의 일관성론과 달리 굽타의 진리 수정론은 진리술어 자체가 비일관적이기 때문에 거짓말쟁이 역설은 그 술어의 속성상 자연스러운 것이지 피해야 만할 병리적 현상이 아니라고 주장한다. 필자는 의미론적 역설에 대한 여러 가지 설명 중에서 진리 수정론이 가장 설득력 있는 것으로 인정하고 그에 대한 가능한 반론을 검토하고 그에 대한 답변을 시도했다. 또한 진리 수정론을 통해서 거짓말쟁이 역설을 설명하고 -해결하려는 것이 아니라- 나아가서 진리 개념에 대한 이해를 제공해보려고 시도했다.

  • PDF

데데킨트 절단, 배중률, 관계

  • Hong, Seong-Gi
    • Korean Journal of Logic
    • /
    • v.7 no.2
    • /
    • pp.15-46
    • /
    • 2004
  • Um die rationalen Zahlen auf die reellen Zahlen zu erweitern und dadurch die Stetigkeit der reellen Zahlen sicherzustellen, hat der deutsche Mathematiker R. Dedekind im Jahr 1872 in seinem Aufsatz "Stetigkeit und Irrationale Zahlen" einen neuen mathmatischen Begriff $eingef\ddot{u}hrt,\;n\ddot{a}mlich$ 'Schnitt'. Die Menge aller rationalen Zahlen Q wird durch eine rationale Zahl a zu zwei Untermengen $A_1=\{x|x{\leq}a,\;x{\in}Q\}$, $A_2=\{x|x>a,\;x{\in}Q\}$ $vollst\ddot{a}ndig$ geteilt. Wenn wir solche Teilung, d.i. solchen Schnitt mit "$(A_1,\;A_2)$" bezeichnen, ist ein $Identit\ddot{a}tssatz$ "a=$(A_1,\;A_2)$" absolut harmlos. Analog dazu glaubt Dedekind fest, $da{\beta}$ jede irrationale Zahl mit Hilfe von einem entsprechenden Schnitt $einzuf\ddot{u}hren$ ist. Zum Beispiel, falls die zwei Mengen $B_1=\{x|x^2<2,\;x{\in}Q\}$ und $B_2=\{x|x^2>2,\;x{\in}Q\}$ gegeben sind, dann $w\ddot{a}re$ die irrationale Zahl $^{\surd}2$ mit $(B_1,\;B_2)$ gleichzusetzen. Im Fall von einem Schnitt der Menge der rationalen Zahlen durch eine rationale Zahl, $(A_1,\;A_2)$, haben die beiden Untermengen $A_1$ und $A_2$ jwewils ein Supremum und ein Infimum und beide $m\ddot{u}ssen$ identisch sein, aber -wie schon Russell in seinem Buch "Introduction to Mathmatical Philosophy" dies kritisiert- hat ein Schnitt $f\ddot{u}r$ die $Einf\ddot{u}hrung$ der irrationalen Zahl, $(B_1,\;B_2)$ keine solche $gl\ddot{u}cklichen$ Eigenschaften. Dennoch glaubt Dedekind an eine streng wissenschaftliche Fundierung der irrationalen Zahl fest, und $w\ddot{u}rde$ nach dem Grund seines Glaubens befragt, $k\ddot{o}nnte$ er nur seine Behauptung wiederholen, ein klarer Fall circulus vitiosus. Mit anderen Worten, die $L\ddot{u}cke$ zwischen $B_1$ und $B_2$ durch die $Einf\ddot{u}hrung$ einer [einzigen] wissenschaftlich fundierten irrationalen Zahl $\ddot{u}berbr\ddot{u}ckt$ und das Ganze zu einem Kontinium gemacht werden sollte, bleibt dieses Vorhaben von Dedekind erst als eine Hoffnung und dessen Resultat kann $h\ddot{o}chstens$ nur als ein Postulat, aber keineswegs als ein methodisch einwandfreier Beweis betrachtet werden. Die Probleme, die mit dem Versuch der $Einf\ddot{u}hrung$ der irrationalen Zahlen mit Hilfe von Schnitt verbunden sind, sind nicht spezifisch allein im Gebient der Mathmatik, sondern betreffen immer wieder die Rechtfertigungsfrage der $Einf\ddot{u}hrung$ der letzten Bestandteile im bezug auf eine Systemerstellung, egal ob dies System ein Wissenschaftliches oder unsere $allt\ddot{a}gliche$ Sprachhandlung ist. $F\ddot{u}r$ all diese Rechtfertigungsfragen gilt das in der klassischen Logik $g\ddot{a}ngige$ logische Prinzip tertium non datur nicht mehr, aber nicht nur wegen der von praktischen $Unm\ddot{o}glichkeit$, die unendlichen vielen $Gegenst\ddot{a}nde$ durchforschen zu $m\ddot{u}ssen$, das $hei{\beta}t$, wegen der erkenntnistheoretischen $Beschr\ddot{a}nktheit$ des jetzigen Erkenntnisniveau, sondern auch wegen des speziellen ontologischen modus der $eizuf\ddot{u}hrenden$ Objekten. Der Autor des Aufsatzes analysiert $\ddot{a}nliche$ $F\ddot{a}lle$ (das Urmeterbeispiel und die Chrakterisierungen der geometrischen Axiome von Wittgenstein), und versucht mit Hilfe von beiden Begriffen, 'interne' und 'externe' Relation, zu zeigen, $da\beta$ eine gemeinsame, invariante Struktur in den eben genannten $F\ddot{a}llen$ besteht. Am Ende des Aufsatzes setzt der Autor sich mit der logischen Argumentationsstruktur des Zitates tiber 'Grenze' aus Noten von Leonardo da Vinci auseinander, und weist auf einen $m\ddot{o}glichen$ Zusammenhang der Grundidee seienes Aufsatzes mit der Philosophie der indischen Denker $N\bar{a}g\bar{a}rjuna$ hin, obwohl die zitierten Versen aus dem Hauptwerk von $N\bar{a}g\bar{a}rjuna$, dem Mittleren Weg$(Madhyamakak\bar{a}rik\bar{a})$ nur andeutend sein $m\ddot{o}gen$.

  • PDF