• Title/Summary/Keyword: Internal Logic

Search Result 178, Processing Time 0.025 seconds

Universal Ethics and Pragmatic Pluralism (보편윤리학과 실용주의적 다원론)

  • Kwon, Su-Hyeon
    • The Journal of the Convergence on Culture Technology
    • /
    • v.7 no.1
    • /
    • pp.446-453
    • /
    • 2021
  • This paper deals with two methods regarding fact and value. One is the method of H. Putnam, which is to break the boundary between fact and value and to make a world where the two have an inherent connection. The other is the method of J. Habermas, which regards fact and value as the product of an intersubjective agreement based on argumentation. Putnam, through his position of internal realism, moves from realism to pragmatism, especially by combining the rationalist tradition of Kant and Dewey's pragmatic views. Habermas also stands in the tradition of rationalism and universalism in Kant, at the same time emphasizing the practicability of truth in Hegel's tradition of historical reason. The significance of the strategy of Putnam and Habermas is that they have attempted to revive the realm of value against the strict dichotomy of facts and values and the subsequent devaluation of rationality in the realm of value. The starting point of this attempt is that the practical foundation of rationality is laid on life and practice. This could provide the room for escaping from rationality, which prioritizes only truths that reveal facts, that is, instrument-reduced rationality, the room for the revival of practical rationality through reflection on what is the purpose of life, and, in turn, the room for resisting to pass the realm of values and norms to the logic of habitual routines or customs. However, despite such common goal, there are clear limitations to Putnam's approach due to the differences in the strategies taken on facts and values. Putnam's method can demolish the whole universal framework that is the foundation where pragmatic pluralism will be fostered, eliminating the difference between the specificity of values and the universality of norms and shaking up the status of universal ethics. Therefore, Habermas' ethical theory is proposed as an alternative to establish a basis for universal ethics by relying on communication rationality and to secure the coercion of norms and blossom cultural pluralism as a diverse lifestyle based on this coercion.

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

  • 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

Performance Metrics for EJB Applications (EJB 어플리게이션의 성능 메트릭)

  • 나학청;김수동
    • Journal of KIISE:Software and Applications
    • /
    • v.29 no.12
    • /
    • pp.907-925
    • /
    • 2002
  • Due to the emersion of J2EE(Java 2, Enterprise Edition), many enterprises inside and outside of the country have been developing the enterprise applications appropriate to the J2EE model. With the help of the component model of Enterprise Java Beans(EJH) which is the J2EE core technology, we can develop the distributed object applications quite simple. EJB application can be implemented by using the component-oriented object transaction middleware and the most applications utilize the distributed transaction. EJB developers can concentrate on the business logic because the EJB server covers the middleware service. Due to these characteristics, EJB technology became popular and then the study for EJB based application has been done quite actively However, the research of metrics for measuring the performance during run-time of the EJB applications has not been done enough. Tn this paper, we explore the workflow for the EJB application service on the run-time and classify the internal operation into several elements. We propose the metrics for evaluating the performance up to the bean level by using the classified elements. First, we analyze the lifecycle according to the bean types which comes from the EJB application on the run-time as to extract each factor used in performance measurement. We also find factors related to a performance and allocate the Performance factors to the metrics as the bean types. We also consider the characteristics like the bean's activation and message passing which happens during bean message call and then analyze the relations of the beans participating in the workflow of the application to make the workflow performance measurement possible. And we devise means to bring performance enhancement of the EJB application using the propose.

Low-Complexity Deeply Embedded CPU and SoC Implementation (낮은 복잡도의 Deeply Embedded 중앙처리장치 및 시스템온칩 구현)

  • Park, Chester Sungchung;Park, Sungkyung
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.17 no.3
    • /
    • pp.699-707
    • /
    • 2016
  • This paper proposes a low-complexity central processing unit (CPU) that is suitable for deeply embedded systems, including Internet of things (IoT) applications. The core features a 16-bit instruction set architecture (ISA) that leads to high code density, as well as a multicycle architecture with a counter-based control unit and adder sharing that lead to a small hardware area. A co-processor, instruction cache, AMBA bus, internal SRAM, external memory, on-chip debugger (OCD), and peripheral I/Os are placed around the core to make a system-on-a-chip (SoC) platform. This platform is based on a modified Harvard architecture to facilitate memory access by reducing the number of access clock cycles. The SoC platform and CPU were simulated and verified at the C and the assembly levels, and FPGA prototyping with integrated logic analysis was carried out. The CPU was synthesized at the ASIC front-end gate netlist level using a $0.18{\mu}m$ digital CMOS technology with 1.8V supply, resulting in a gate count of merely 7700 at a 50MHz clock speed. The SoC platform was embedded in an FPGA on a miniature board and applied to deeply embedded IoT applications.

An Analysis of Elementary Mathematics Curriculum in Korea through the Philosophical View of Mathematics Education (수학 교육 철학적 분석을 통한 초등 수학과 교육과정의 경향 파악)

  • Lee Myeong Hee;Paik Seok Yoon
    • Journal of Elementary Mathematics Education in Korea
    • /
    • v.4 no.1
    • /
    • pp.39-55
    • /
    • 2000
  • The purpose of this research is to analyse Korean elementary mathematics curriculum taking a philosophical view of mathematics education. In this research, 1 will analyze not only the current elementary mathematics curriculum but also the past ones. There have been intermittently quantitative and external analysis so far to comprehend the elementary mathematics curriculum. But, I thought we also need qualitative and internal comprehension and examined the curriculums through a philosophical analysis. Generally, mathematics curriculums at every period have their own mathematical philosophy consciously or tacitly. And, the school mathematics is the practice of mathematics curriculum based on that mathematical philosophy. Mathematical curriculum reflects both the philosophical aspect in mathematical philosophy that forms the background of the mathematical curriculum and the sociological aspect in real-class that is the output of the curriculum. With this view, the logic of social constructivism can be an appropriate way that leads mathematical philosophical analysis and sociological analysis in mathematics education. So, I comprehend the tendency of the Korean elementary mathematics curriculum from the first to the seventh through the philosophical views. In view of the results so far achieved, after the second half of the 20th century, the Korean mathematical curriculums mainly have the tendency from the Ideology of progressive educator (the first) to of technological pragmatist (the second), from that of old humanist (the third and forth) to progressive educator (the fifth and sixth), and lastly that of social constructivism (the seventh).

  • PDF

A Study on the User Experience according to the Method and Detail of Recommendation Agent's Explanation Facilities (추천 에이전트의 설명 방식과 상세도에 따른 사용자 경험 차이에 관한 연구)

  • Kang, Chan-Young;Kim, Hyek;Kang, Hyun-Min
    • The Journal of the Korea Contents Association
    • /
    • v.20 no.8
    • /
    • pp.653-665
    • /
    • 2020
  • As the use of recommended agents has become more active, the "Explain Facilities" is drawing attention as a way to solve the black-box problem that could not explain internal logic to users. This study wants to look at how the description Method and Detail affects to user experience. The Explanation method was divided into 'why the agent did a particular action' and 'why not do a particular action' and the detail condition were divided into 'high or low'. Studies have found that 'why method' have a positive effect on users' transparency, trust, satisfaction, and behavioral intention to use, and 'high detail condition' higher the user' Psychological reactance. In addition, it was found that the explanation methods and detail influenced the 'Explanation' perception through interaction and tended to affect satisfaction and intention to adopt recommendation. This study suggested that careful attention is needed to determine the method and detail of the Explanation facilities in the context of the recommended agent, based on the research findings that it affects the user experience through the interaction of the method and detail.

Improvement of Fatigue Model of Concrete Pavement Slabs Using Environmental Loading (환경하중을 이용하는 콘크리트 포장 슬래브 피로모형의 개선)

  • Park, Joo-Young;Lim, Jin-Sun;Kim, Sang-Ho;Jeong, Jin-Hoon
    • International Journal of Highway Engineering
    • /
    • v.13 no.4
    • /
    • pp.103-115
    • /
    • 2011
  • Concrete slab curls and warps due to the uneven distribution of temperature and moisture and as the result, internal stress develops within the slab. Therefore, environmental loads must be considered in addition to the traffic loads to predict the lifespan of the concrete pavement more accurately. The strength of the concrete slab is gradually decreases to a certain level at which fatigue cracking is generated by the repetitive traffic and environmental loadings. In this study, a new fatigue regression model was developed based on the results from previously performed studies. To verify the model, another laboratory flexural fatigue test program which was not used in the model development, was conducted and compared with the predictions of other existing models. Each fatigue model was applied to analysis logic of cumulative fatigue damage of concrete pavement developed in the study. The sensitivity of cumulative fatigue damage calculated by each model was analyzed for the design factors such as slab thickness, joint spacing, complex modulus of subgrade reaction and the load transfer at joints. As the result, the model developed in this study could reflect environmental loading more reasonably by improving other existing models which consider R, minimum/maximum stress ratio.

Design and Verification of Efficient On-Chip Debugger for Core-A (Core-A를 위한 효율적인 On-Chip Debugger 설계 및 검증)

  • Xu, Jingzhe;Park, Hyung-Bae;Jung, Seung-Pyo;Park, Ju-Sung
    • Journal of the Institute of Electronics Engineers of Korea SD
    • /
    • v.47 no.4
    • /
    • pp.50-61
    • /
    • 2010
  • Nowadays, the SoC is watched by all over the world with interest. The design trend of the SoC is hardware and software co-design which includes the design of hardware structure in RTL level and the development of embedded software. Also the technology is toward deep-submicron and the observability of the SoC's internal state is not easy. Because of the above reasons, the SoC debug is very difficult and time-consuming. So we need a reliable debugger to find the bugs in the SoC and embedded software. In this paper, we developed a hardware debugger named OCD. It is based on IEEE 1140.1 JTAG standard. In order to verify the operation of OCD, it is integrated into the 32bit RISC processor - Core-A (Core-A is the unique embedded processor designed by Korea) and is tested by interconnecting with software debugger. When embedding the OCD in Core-A, there is 14.7% gate count overhead. We can modify the DCU which occupies 2% gate count in OCD to adapt with other processors as a debugger.

A Study on The Design of China DSRC System SoC (중국형 DSRC 시스템 SoC 설계에 대한 연구)

  • Shin, Dae-Kyo;Choi, Jong-Chan;Lim, Ki-Taeg;Lee, Je-Hyun
    • 전자공학회논문지 IE
    • /
    • v.46 no.4
    • /
    • pp.1-7
    • /
    • 2009
  • The final goal of ITS and ETC will be to improve the traffic efficiency and mobile safety without new road construction. DSRC system is emerging nowadays as a solution of them. China DSRC standard which was released in May 2007 has low bit rate, short message and simple MAC control. The DSRC system users want a long lifetime over 1 year with just one battery. In this paper, we propose the SoC of very low power consumption architecture. Several digital logic concept and analog power control logics were used for very low power consumption. The SoC operation mode and clock speed, operation voltage range, wakeup signal detector, analog comparator and Internal Voltage Regulator & External Power Switch were designed. We confirmed that the SoC power consumption is under 8.5mA@20Mhz, 0.9mA@1Mhz in active mode, and under 5uA in power down mode, by computer simulation. The design of SoC was finished on Aug. 2008, and fabricated on Nov. 2008 with $0.18{\mu}m$ CMOS process.

Legal and Institutional Outcomes from the 10-year Struggle against Occupational Diseases of Semiconductor workers (반도체 직업병 10년 투쟁의 법·제도적 성과와 과제)

  • Lim, Jawoon
    • Journal of Science and Technology Studies
    • /
    • v.18 no.1
    • /
    • pp.5-62
    • /
    • 2018
  • Over the last 10 years, the fight against occupational diseases of semiconductor workers led by SHARPS(the Supporters for the Health And Rights of People in the Semiconductor industry, NGO) has accomplished considerable achievements, especially in the legal and institutional aspects. First, the court and the government accepted the claims that 24 injured workers respectively filed, recognizing their 10 types of diseases as occupational illness. The court not only expanded the list of work places and diseases that it recognized, but also presented more progressive logic of recognition. The most remarkable achievement among them is the case ruled by the Supreme court in July, 2017. In terms of 'worker's right to know', which is the most important factor in preventing occupational diseases, there have been significant legislative bills, court rulings and government guidelines. The revised bill of the Industrial Safety and Health Act to strengthen workers' rights to know and to introduce the pre-review system on trade secret is currently under review by the National Assembly. The court recently ruled that the government should disclose its inspection results on safety and health management at semiconductor factories. The ministry of labor has drawn up internal guidelines to more actively open its safety and health data to public. This study looks over recent developments in such rulings, bills and guidelines and then, analyzes their implications, laying the groundwork for future actions for worker health in the electronic industry.