• 전기의세계
• /
• v.39 no.12
• /
• pp.5-11
• /
• 1990

일상생활에서 우리가 정하는 대상중에 명확하게 그 소속을 정의 할 수 없는 경우가 많다. 이러한 대상들을 수학적으로 다루기 위하여 퍼지집합의 개념을 도입하였다. 이 퍼지집합 개념은 각 대상이 속한다, 안속한다라는 이원론적인 논리오부터, 각대상을 그 모임에 속하는 정도로 이해함으로써 일반화된 개념이다.

• Korean Journal of Logic
• /
• v.14 no.2
• /
• pp.105-121
• /
• 2011

The late professor Young-Jung Kim advanced a view that Existential Specification Rule (ES Rule) can be understood as a kind of polylemma. In arguing for this view, he also claimed that all propositions containing free variables are universal propositions. In this paper, I argue that his view on free variables incur numerous problems. Moreover, I introduce a new rule of inference called 'Universalized Conditionalization Rule' (UC Rule), so that I can show that his insight about ES Rule can be substantialized without an appeal to his problematic view on free variables. Finally, I show that ES Rule can be directly derived from UC Rule.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.17 no.6
• /
• pp.93-98
• /
• 1980

In this paper, the principles of cascade realization o( conservative logic circuits are explored and the problem of realizing arbitrary 3-3 logic circuit with mini mal number of logic elements is handled, The five primitive classes 5, 15, 21, 24 and 29 are selected to realize all of the 31 equivalent c]asses by cascading only two of them. The crossovers of lines are permitted in this realization 3nd the upper bound of crossovers is three. The results are summarized and listed in a table.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2013.05a
• /
• pp.675-676
• /
• 2013

This paper presents a design method for multiple-output combinational digital logic systems using time domain based on multiplexing and common multi-terminal extension decision diagrams. The common multi-terminal extension decision diagrams represents extension valued multiple-output functions, while time domain based on multiplexing systems transmit several signals on a single lines. The proposed method can reduce the 1)hardware, 2)logic levels and 3)pins. In the logic system design, we use two types of decision diagrams, that is the common binary decision diagrams and common multi-terminal extension decision diagrams.

• Korean Journal of Logic
• /
• v.4
• /
• pp.63-87
• /
• 2000

내일 눈이 올 것이다. 이 명제의 모순적 반대는 '내일 눈이 오지 않을 것이다'이다. 오늘 이 둘 중의 어느 한 명제가 참일 경우, 그 명제는 이미 오늘 참이고 그리고 그의 모순적 반대의 다른 한 명제는 오늘 이미 거짓이다. 만약 오늘 둘 중의 어느 명제가 참인지 이미 결정되어 있다면, 그러한 결정된 사태가 내일 발생되지 않을 조바심에 안달이 날 것이다. 만약, 둘 중의 어떤 한 명제가 참인지 결정되어있지 않으면, 그 역시 내일의 사태가 어떠한 결정적 태도로 주어지고 있지 않은 현재가 찝찔한 것이다. 전자를 결정론, 후자는 비결정론의 입장인데, 에피쿠어의 절충적 의견에 따르면, '눈이 온다'와 그리고 '눈이 오지 않는다'는 둘 다의 결과들이 가능하다. 그에 따르면 실제로 일어나는 것만 가능하므로, 세계의 전 과정에서 결코 일어나지 않았던 것은 언제라도 가능하지 않았다. 전자를 대표하는 디오도어는 현존하는 한 언명은 시간의 질서 안에서 가까운 훗날에나 먼 훗날에도 명제 논리적으로 결정되어있다고 주장한다. 이에 후자를 표방한 크리십은 한 언명의 결과는 그의 모든 조건들이 채워진다면 가능하고, 그의 필연적인 조건들이 결코 충족적으로 채워지지 않으면 다른 한 결과는 결코 일어나지 않는다고 주장한다. 여기서 벌어진 논쟁에서 본고는 명제의 가치를 선형적 구조의 시간에서 해석한 디오도어의 결정론에 대하여 흐트러진 시간의 구조에서 해석한 크리십의 숙명론의 논의의 대비를 보여줄 것이다.

• Proceedings of the Korea Society of Design Studies Conference
• /
• 1999.05a
• /
• pp.30-31
• /
• 1999

신고전주의 미학사상은 고대의 고전주의적 유산의 18세기적 특수화다. 신고전주의는 고전주의의 연장이지만 18세기라고 하는 특수한 시대적 환경속에서 당대의 전반적인 요구 -논리화와 과학화-에 부응하고자 시작한 미학적 대처 방안이었다. (중략)

• KOREAN POULTRY JOURNAL
• /
• v.20 no.11 s.229
• /
• pp.38-43
• /
• 1988

이건표사장은 30대 중반으로 유일농원 이규상사장의 장남인데 서울대학교 국문학과를 졸업하고 현재 부모의 가업인 양계업(채란계)을 물려받아 경영을 하고 있는 양계 2세이다. 다른 직업을 가져보지 못해 양계업이 좋고 나쁜지조차 알지못할 만큼 양계업에 깊은 관심을 가지고 있다. 양계업도 경제사업이기 때문에 이제는 판매에 신경을 써야 미래가 보장된다는 논리를 전개하는 작은 키에 다부진 그는 양계산업은 사양산업이 아닌 성장산업인만큼 양계인들이 도전하기에 달려있다고 강조를 한다.

• Journal of the Korean Society for information Management
• /
• v.27 no.4
• /
• pp.219-237
• /
• 2010

This study proposes a 'Bibliographic Universe Relationship Vocabulary'(burv) using the RDF/OWL Object Property under the SPO predicate logic according to the relationship type among all entities of bibliographic universe and implemented a 'relationship ontology system' to establish a new cataloging business domain called 'Relationship Description Cataloging' based on the ontology.

• Korean Journal of Logic
• /
• v.21 no.2
• /
• pp.231-268
• /
• 2018

Wittgenstein asserts in the Tractatus Logico-Philosophicus 5.542 that "A believes that p" is of the form "'p' says p" and "here we have no co-ordination of a fact and an object, but a co-ordination of facts by means of a co-ordination of their objects." What does, then, it mean exactly that 'p' says p? What are "facts" and "a co-ordination" in the expression "a co-ordination of facts"? Are propositional attitude statements significant propositions or not? Furthermore, what is the point of Wittgenstein's criticism of Russell's theory of judgement? In this paper, I will answer these questions on the basis of Wittgenstein's explication of the concept of thought and Ramsey's relevant remark on propositional attitude. Meanwhile propositional attitude statements are bound up with solipsism of the Tractatus Logico-Philosophicus and some of them have senses. Hence both of assertions that all the propositional attitude statements are significant and all of them are nonsense in the Tractatus Logico-Philosophicus are not correct.

• KOMUNHWA
• /
• no.63
• /
• pp.43-64
• /
• 2004

Scholars have been discussed about Korean Family History till now, however it is very doubtful that the maternal mother's family was disregarded. Perhaps, the stem of Korean family is a patrilineal society so that the maternal mother's family was disregar