• Title/Summary/Keyword: 진리치

Search Result 18, Processing Time 0.024 seconds

진리함수와 의미론적 확장 - 진리치 함수, 진리연산 그리고 의미론적 확장 -

  • Yang, Eun-Seok
    • Korean Journal of Logic
    • /
    • v.3
    • /
    • pp.27-51
    • /
    • 2000
  • 이글의 기본적인 목적은 2치를 포함한 다치 논리 체계들간의 관계를 검토하는 데 있다. 이를 위하여 여기서는 명제를 대상으로 한 형식 의미 해석체계들 간에 고러해야 할 의미론적 확장 개념을 분명히 하였다. 구체적으로 다음의 두 작업이 수행되었다 첫째로 2치와 다치 논리 또는 다치 논리들간에 적용될 만한 의미론적 확장 개념을 의미해석의 바탕을 이루는 진리치 함수와 진리연산에 맞게 정의하였다. 둘째로 정의의 적합성을 확장, 비확장 사례 증명을 통해 예증해 보였다.

  • PDF

An ERP study on the processing of Syntactic and lexical negation in Korean (부정문 처리와 문장 진리치 판단의 인지신경기제: 한국어 통사적 부정문과 어휘적 부정문에 대한 ERP 연구)

  • Nam, Yunju
    • Korean Journal of Cognitive Science
    • /
    • v.27 no.3
    • /
    • pp.469-499
    • /
    • 2016
  • The present study investigated the cognitive mechanism underlying online processing of Korean syntactic (for example, A bed/a clock belongs to/doesn't belong to the furniture "침대는/시계는 가구에 속한다/속하지 않는다") and lexical negation (for example, A tiger/a butterfly has/doesn't have a tail "호랑이는/나비는 꼬리가 있다/없다") using an ERP(Event-related potentials) technique and a truth-value verification task. 23 Korean native speakers were employed for the whole experiment and 15's brain responses (out of 23) were recorded for the ERP analysis. The behavioral results (i.e. verification task scores) show that there is universal pattern of the accuracy and response time for verification process: True-Affirmative (high accuracy and short latency) > False-Affirmative > False-Negated > True-Negated. However, the components (early N400 & P600) reflecting the immediate processing of a negation operator were observed only in lexical negation. Moreover, the ERP patterns reflecting an effect of truth value were not identical: N400 effect was observed in the true condition compared to the false condition in the lexically negated sentences, whereas Positivity effect (like early P600) was observed in the false condition compared to the true condition in the syntactically negated sentences. In conclusion, the form and location of negation operator varied by languages and negation types influences the strategy and pattern of online negation processing, however, the final representation resulting from different computational processing of negation appears to be language universal and is not directly affected by negation types.

Vibration Diagnosis of Rotating Machinery Using Fuzzy Inference (퍼지추론을 이용한 회전기계의 정밀진단법)

  • 전순기;양보석
    • Proceedings of the Korean Society for Noise and Vibration Engineering Conference
    • /
    • 1995.10a
    • /
    • pp.284-288
    • /
    • 1995
  • 최근 애매성이 수반되는 정보를 Zadeh는 멤버쉽함수(membership function)를 이용하여 새로운 정보처리 방식으로서 퍼지이론을 제안하였고, 그후 의료계에서도 퍼지이론을 도입한 진단법들이 제안되었다. 회전기계의 이상진단법으로는 주파수득점법(Point counting method), 퍼지역연산법(Inverse method of fuzzy theory)등이 보고되고 있으며, 저자들도 퍼지이론을 이용하여 구름베어링의 결함진단, 회전기계의 간이 이상진단법등을 보고하였다. 이들은 주로 진동주파수의 스펙트럼 데이터 만을 이용하고 있고, 다른 많은 데이터를 복합적으로 이용할 수 없다. 이 때문에 주로 소규모 문제의 간이진단에서는 효과적이나 진단대상이 복잡하고 대규모로 되면 보다 정확한 원인 추정이 곤란하게 된다. 또한 수치데이터만을 취급할 수 있으므로 진동전문가가 진단에 이용하는 각종의 수치화 될 수 없는 데이터(언어적인 정보)가 취급될 수 없다. 따라서 이들의 진단법은 개략적인 진단은 가능하나 상세한 원인까지는 진단할 수 없는 단점이 있다. 회전기계의 이상판단시 참고가 되는 각종 정보로는 주로 진동진폭의 크기, 진폭과 위상의 변화, 진폭의 변화, 진동파형, 진동벡터의 시간변화 등이 있고, 이들은 수치적으로 표현할 수 있는 계량데이터와 판단의 경계가 불명확한 언어정보(범위데이터)로 나눌 수 있다. 후자는 애매성(fuzziness)을 많이 포함하고 있으며, 엄밀히 측정되는 수치데이터에서도 퍼지성을 가지고 있다. 이러한 언어적인 정보의 애매성을 퍼지추론에서는 [수치적 진리치](numeric truth)와 [언어적 진리치](linguistic truth)의 개념으로 표현하게 되었다. 수치적 진리치는 확실함의 척도를 [0,1] 사이의 수치를 이용하여 표현하고 있으며, 이 수치는 소견의 확실도로서 가능성을 표현한 것이다. 예를 들면, 진동진폭 스펙트럼상에 2X 성분이 상당히 크게 나타나 정렬불량의 가능성이 0.7 정도라고 판정하는 것 등은 이러한 수치적진리치를 이용하는 방법이다. 그러나 상기의 수치적 표현만으로는 확실도를 한개의 수치로서 대표하게 하는 것은 진단의 정밀도에 문제가 있을 것으로 생각된다. 따라서 언어적진리치가 도입되어 [상당히 확실], [확실], [약간 확실] 등의 언어적인 표현을 이용하여 애매성을 표현하게 되었다. 본 논문에서는 간이진단 결과로부터 추출된 애매한 진단결과중에서 가장 가능성이 높은 이상원인을 복수로 선정하고, 여러 종류의 수치화할 수 없는 언어적(linguistic)인 정보ㄷㄹ을 if-then 형식의 퍼지추론으로 종합하는 회전기계의 이상진단을 위한 정밀진단 알고리즘을 제안하고 그 유용성을 검토한다.

  • PDF

Early Wittgenstein's Criticism of Frege's Theory of Meaning (전기 비트겐슈타인의 프레게 의미이론 비판)

  • Park, Jeong-Il
    • Korean Journal of Logic
    • /
    • v.16 no.3
    • /
    • pp.347-380
    • /
    • 2013
  • In this paper I will try to show how Wittgenstein criticized Frege's theory of meaning. Frege's theory of meaning can be compressed as sense-reference theory. Frege distinguishes between sense and reference on all the linguistic expressions. In particular, he regards that a sentence has sense and reference. This distinction was raised from, so to speak, the problem of identity sentences. Wittgenstein's "fundamental thought" of Tractatus Logico-Philosophicus is the key of his direct criticism of Frege's sense-reference theory. That is, it is an attack on Frege's thought that the reference of a sentence is a truth value and truth values are "objects themselves" (in Frege's meaning). According to Wittgenstein, such an object does not exist and according to his picture theory, the function of a name and that of a proposition are fundamentally different. By the way, Frege can reply justly to this criticism that it is insufficient. In short, Frege's 'sense' and 'reference' etc, are the technical terms. Hence Wittgenstein's decisive criticism of Frege's theory consists in accusing his theory of logical flaws. There is an another route to the sense and reference of a sentence which Frege introduces. In discourses of judgement stroke and content stroke in his Begriffsshrift and in those of horizontal stroke since his "Function and Concept", Frege deals with the sense and reference of a sentence. Wittgenstein criticize that the sense of a complex sentence such as ~p would by no means be determined by Frege's determination.

  • PDF

A Deflationary Understanding of Radical Interpretation (원초적 해석의 축소주의적 이해)

  • Kim, Donghyun
    • Korean Journal of Logic
    • /
    • v.16 no.2
    • /
    • pp.131-154
    • /
    • 2013
  • Michael Williams, in his paper, rejects the wide-accepted view that Donald Davidson's radical interpretation is a truth conditional account of meaning, and suggests a claim that robust truth in fact does not play any role in Davidson's interpretation and thus interpretation can be in accord with the deflationary theory of truth. In this paper, I will first research the right understanding on the explanatory relations in radical interpretation between truth and meaning, and on that ground, will evaluate the adequacy of Williams' suggestion. My diagnosis is that the acceptability of Williams' idea depends on how we regard the several factors which are crucial for interpretation. Especially I will argue that whether truth condition is regarded as deflationary or inflationary makes difference to the way of understanding radical interpretation, hence the room for taking radical interpretation as deflationary can be in two different ways. Furthermore I will show the same argument can be applied to Williams' another claim that Paul Horwich's use theory of meaning is similar to Davidson's account.

  • PDF

Intersubjective Justification and Objective Justification (상호주관적 정당화와 객관적 정당화)

  • Lee, Byeongdeok
    • Korean Journal of Logic
    • /
    • v.22 no.1
    • /
    • pp.125-150
    • /
    • 2019
  • A coherence theory is adequate as a theory of justification only when justification as conceived by the theory is truth-conducive. But it is not clear how coherentist justification is truth-conducive. This is the alleged truth-conduciveness problem of coherentism. In my 2017 paper, I argued that a certain version of the coherence theory, namely a Sellarsian coherence theory combined with the deflationary conception of truth, can cope with this problem. Against this claim, Kiyong Suk argues in his recent paper that my proposed solution fails on the grounds that there is no practical way of distinguishing between intersubjective justification and objective justification. The purpose of this paper is to clarify my view by way of explaining why Suk's criticism is not correct. In particular, I argue that his criticism is based on a wrong assumption, namely that for one to be objectively justified in believing something, one's justification must be qualitatively transformed into the status of having objective justification from the status of having intersubjective justification.

대순사상의 인문정신과 인류평안의 이념

  • 잔스촹
    • Journal of the Daesoon Academy of Sciences
    • /
    • v.21
    • /
    • pp.199-254
    • /
    • 2013
  • 대순사상은 인간의 행위와 정신적 틀, 즉 몸과 마음을 닦고 세상을 다스리며 백성을 평안하게 하는 도리를 설파하고 있다. 우주 공간의 질서와 깊은 연관을 맺는 이러한 도리는 인간 자신의 인지(認知)와 심신 수양의 내용을 포함하며, 사람이 사회와 우주자연과의 관계를 어떻게 처리해 나갈 것인지에 관한 문제도 다루고 있다. 따라서 대순사상을 인문이라는 관점에 입각하여 분석해 볼 필요가 있다. 이탈리아에서 시작된 서양의 인문주의와 비교해 볼 때, 중국 전통의 인문정신은 인류 개체의 창조력과 그 성과를 인정하고, 인격적 수양과 개선을 주장하며, 사회의 조화를 강조하는 한편, 인류가 반드시 천지인의 조화로운 관계 속에서 개체와 전체의 생존을 파악해야 함을 강조한다. 이러한 인문정신은 『전경』에서도 찾아볼 수 있다. 그 하나가 모악산과 단주(丹朱)에 대한 서술인데, 모악산은 산 즉 '간'(艮)괘이며 단주는 적색에 상응하니 곧 '리'(離)괘가 된다. 이 두 괘가 서로 조합하면 '비(比)'괘가 되며, 『주역』의 비괘와 연관하여 서로 간의 모순을 없애고, '바둑'을 두는 기법을 거울삼아 심성을 다스리며, 인격을 완성하고, 인신이 조화를 이루도록 하며, 사회를 안정시킬 것을 말한다. 대순 신앙의 최종 목표는 지상천국을 건설하는 것인데, 이런 목표를 실현하기 위해서는 인격수양을 그 출발점으로 삼아야 한다. 인격수양의 목표는 바른 도인이 되기 위한 것이며, 이를 위해서는 수도 공부를 해야만 한다. 수도는 춘추시기 노자 이래로 유구한 문화적 전통을 지닌 것이지만, 대순진리회는 한국사회 역사의 경향과 현실의 필요에 부응하여 수도 이론을 새롭게 수립하였다. 이를 살펴보면, 대순진리회는 수도자가 '성(誠), 경(敬), 신(信)'에 힘쓰는 품격 함양을 매우 중시한다. 또 도인들이 가정의 화목에 힘써야 하며, 솔선수범하는 도인으로서 사회의 모범이 되어야 한다고 말한다. 이렇게 볼 때, 대순진리회는 '인도'(人道)를 함양함을 강조하고 있으며, 이것은 전통적인 유가에서 말하는 '수신, 제가' (修身, 齊家)의 정신과 그 의미가 맞닿아 있다. 또한 중국 도교의 '선도(仙道)를 이루고자 하면 먼저 인도(人道)를 행하라'는 사상적 취지와도 일치한다. 대순진리회에서 수도의 최종 목표는 도통이다. 도통은 수도자가 매우 높은 경지에 이르게 되었을 때 가지는 특수한 능력과 정신의 경지이다. '도통'에 대한 기록은 『장자·제물론』, 『문자』의 「부언편>(符言篇) 등에서 찾아볼 수 있는데, 대순진리회가 말하는 도통은 중국의 도가 전통에 보이는 도통과도 연관되지만 강한 인륜수양(人倫修養)적 특색을 지니고 있다는 점에서 차이가 있다. 이것은 대순진리회가 가지는 중요한 인문적 함의라 하겠다. 대순진리회는 수도 공부로써 광제창생·보국안민·지상천국건설의 사회적 이상을 실현하고자 한다. 조화로운 사회적 관계를 수립하기 위한 토대는 대순진리회의 종지 첫 번째인 음양합덕이다. 음양합덕은 대순진리의 인문 취지의 이론적 기초를 형성하는 사상이다. 음양합덕의 철학적 사고는 종지 두 번째인 신인조화(神人調化)의 이상으로 이어진다. 신인조화는 『상서·순전』(尙書·舜典)의 신인이화(神人以和)에서 그 사상적 연원을 찾아 볼 수 있다. 다만 신인이화가 율려 조화의 '결과'를 표현한 것이라면, 신인조화에서 중시하는 것은 '과정'이며 인간과 신의 상호작용이라는 점에 그 특징이 있다. 신인조화를 이루기 위해서는 공부를 해야 하며, 그 배후에는 인본(人本)의 사상이 깃들어 있다. 그것은 종지 세 번째인 '해원상생'의 내용에서 더욱 명확하게 드러난다. 신인조화가 인간과 신의 관계를 조화롭게 하는 것을 말한다면, 해원상생은 인간과 인간의 관계를 조화롭게 하는 것을 말한다. 또 다른 한편으로는 긴 역사의 과정 속에서 맺힌 원을 풀어 우주의 기운을 잘 통할 수 있게 하고 인간 사회의 정상적인 교류를 이루도록 한다. 이러한 내용은 사회적인 인문적 관심과 배려를 다분히 포함하고 있는 것이다. 대순진리회의 종지 네 번째인 도통진경은 수도의 가장 높은 경지를 말하는데, 이러한 이념은 노장 일파의 도가 학자들이 말한 순박한 본성으로 회귀하자는 정신에서 그 원류를 찾을 수 있을 것이다. 또한 이는 한진(漢晉)시대 이래 중국 도교가 추구했던 '진경' 의 의미와도 합치된다. 그러나 시대와 환경이 다름으로 인해, 대순진리회의 '진경'은 사회생활의 의미까지 내포한다. 비록 대순진리회의 경전이 인본(人本)을 명확히 밝히고 있지는 않으나, 대순진리회의 요의(要義) 중 하나인 인존사상은 대순진리회의 인문정신을 말해주는 것이다. 인존사상의 직접적인 기능은 평안(平安)으로서 삶을 이롭게 하는 것이다. 대순진리회는 우주대원의 진리를 '도'라 하였는데 이러한 '도'는 중국의 도가에서 말하는 '도'와 동일하며, 여기에는 '안(安)'의 의미가 포함되어 있다. 대순진리회의 신조 중 '안심', '안신'은 마음을 정(靜)하게 하고, 몸을 편하게 하는 것으로 볼 수 있지만, 심신의 공포와 두려움을 떨쳐내어 안전과 보호를 얻는다는 의미도 있으므로 결국 평안이 전제가 된다. 이렇듯 대순진리회에서는 '평안에 대한 희구'를 근본으로 하여 신앙인들이 열심히 수도에 정진하고 있다. 대순진리회가 인류 평안을 기본으로 하는 종교라는 점에서, 반드시 세인들의 환영을 받을 것임을 믿어 의심치 않는다.

Modal Fictionalism, Island Universe, and Multiverse (양상 허구주의, 고립된 우주(island universe), 그리고 다우주(multiverse))

  • Kim, Se-Hwa
    • Korean Journal of Logic
    • /
    • v.6 no.1
    • /
    • pp.33-50
    • /
    • 2003
  • 본 논문에서 필자는 기존의 양상 허구주의의 번역 체계가 가지고 있는 세가지 난점을 극복할 수 있는 양상 허구주의의 새로운 번역 체계를 제시한다. 이 세 난점이란 (1) 많은 세계들의 존재를 받아들이지 않을 수 없게 된다. (2) 세계 간의 비교를 하게 하는 양상 진술문을 제대로 번역할 수 없다 (3) 어떤 양상 진술문에 내해 잘못된 진리치를 부여한다 이다. 이 세 난점을 극복하기 위한 필자의 제안은 세계-양화사의 범위 안에 등장하는 양화사들이 주어진 세계 내의 사물들만을 범위 내에 포함하는 루이스의 초기 번역 체계나 비한정적 양회사를 도입하는 루이스의 후기 번역 체계를 받아들이는 대신, 양화사를 조금씩 조금씩 비한정시키는 (unrestrict) 시키는 것이며, 필지 공식 번역 체계는 우주 (세계)의 부분전체론적 합으르 정의되는 "다우주(muitiverse)"라는 새로운 용어를 도입함으로써 얻어진다. 필자의 공식 번역 체계는 다음과 같다: P가 가능하다 iff PW에 의하면 P가 잠인 다우주가 존재한다 P가 필연적으로 참이다 iff PW에 의하면 모든 다우주에서 P가 참이다 마지막으로 필자는 비한정적인 세계 간의 비교를 하게 하는 양상 진술문을 적절하게 번역하기 위해서 필자의 번역 체계에 약간의 수정을 가한다.

  • PDF

Cancelled Predication and Target-Shifting (취소된 서술 행위와 표적 이동)

  • Lee, Seungtaek
    • Korean Journal of Logic
    • /
    • v.22 no.2
    • /
    • pp.309-332
    • /
    • 2019
  • In Kang(2017), Jinho Kang persuasively criticized the attempt of Peter Hanks using his concept of cancelled predication to solve the Frege-Geach problem. According to Kang, Hanks had successfully shown the incoherence of Scott Soames's concept of neutral predication, but if it is true, then Hanks's concept of cancelled predication also falls into the same incoherence. I agree with Kang that Hanks faces the same incoherence, and I think that Hank's answers are unconvincing. As I see, however, it is possible for Hanks to overcome Kang's criticism. In this paper, I will reply to Kang's criticism by using conceptual resources in Hanks's own theory. In particular, the idea is that the final predication is compositionally explained by the type it belongs to without having truth-values because cancelled predication itself gives rise to target-shifting toward the type. By doing so, Hanks can successfully solve the Frege-Geach problem even though he let some remarks about cancelled predication unclear and confusing. In addition, it will be revealed that his notation is misleading as well.

Design of Bit Selectable and Bi-directional Interface Device using Interrupt Generator (인터럽트 발생기를 사용한 접속 비트 전환식 양방향 접속장치의 설계)

  • Lim, Tae-Young;Yi, Cheon-Hee
    • Journal of the Korean Institute of Telematics and Electronics C
    • /
    • v.36C no.7
    • /
    • pp.17-26
    • /
    • 1999
  • In this paper, Bit selectable and Bi-directional Interface Device is described, which can communicate data with the peripheral devices. Specially, an algorithm of truth-table comparison that synthesizes the pulse-type sequential circuit pulse has been proposed to design the Interrupt Generator, and implemented in designing the Interrupt Register. Also, a description of the asynchronous design method is given to remove the clock skew phenomenon, and the output asynchronous control method which finds the optimal clock and controls all the enable signal of the output pins at the same time is presented. Using this technique interface ports have delay time of less-than 0.7ns.

  • PDF