• Korean Journal of Logic
• /
• v.16 no.3
• /
• pp.309-346
• /
• 2013

This paper deals with the problem, which logic of language and which metaphysics Wittgenstein suggests in the Tractatus logico-philosophicus. I will ultimately show how he bases the metaphysics on the logic of language. The logic of language by which Wittgenstein sets the limit to the language 'in the language' is the logical syntax of the language. And Wittgenstein extends the idea of the logical syntax to the understanding the nature of the world, i.e. to the metaphysics. The logical form the language(proposition) must have is the form of the world(or the nature of the world), and it can be determined only together with the logical syntax of the language. But what is the logical form(form of the world) 'cannot be said', since the proposition saying it is devoid of 'sense' and 'says nothing'. Therefore Wittgenstein expresses that the logical form(form of the world) 'can only be shown' in the proposition that has sense. The Metaphysics Wittgenstein wants to base on the logic of language(the logical syntax) must be mystical.

• Korean Journal of Logic
• /
• v.21 no.1
• /
• pp.1-37
• /
• 2018

As is well known, Wittgenstein criticizes Russell's theory of types explicitly in the Tractatus. What, then, is the point of Wittgenstein's criticism of Russell's theory of types? In order to answer this question I will consider the theory of types on its philosophical aspect and its logical aspect. Roughly speaking, in the Tractatus Wittgenstein's logical syntax is the alternative of Russell's theory of types. Logical syntax is the sign rules, in particular, formation rules of notation of the Tractatus. Wittgenstein's distinction of saying-showing is the most fundamental ground of logical syntax. Wittgenstein makes a step forward with his criticism of Russell's theory of types to the view that logical grammar is arbitrary and a priori. His criticism of Russell's theory of types is after all the challenge against Frege-Russell's conception of logic. Logic is not concerned with general truth or features of the world. Tautologies which consist of logic say nothing.

• Proceedings of the Korean Society for Language and Information Conference
• /
• 1985.02a
• /
• pp.1-8
• /
• 1985

• The Journal of Korean Association of Computer Education
• /
• v.17 no.5
• /
• pp.43-51
• /
• 2014

This study has purpose on analyzing the error types which are identified after middle and high school students perform the online programming assignments and also has the purpose on the analysis of correlation between the frequency of error occurrence according to academic achievement level in programming concept learning and types of errors analyzed previously. For this study, the syntax, logical, and coding errors are analyzed from the performed results of programming research assignment for 88 students. Analyzed results show that the logical error has the highest occurrence rate of 69.3% among three types of errors, and it has been shown meaningful difference in the frequency of error occurrence between three achievement level groups of high, middle, and low. In the correlation analysis of achievement level and error types, it shows negative relationship between logical error and coding error, and therefore it can be concluded that as achievement level is higher, both logical and coding errors tend to occur less. In the correlation analysis in error types, it shows positive relationship between syntax error and coding error.

• Proceeding of Spring/Autumn Annual Conference of KHA
• /
• 2000.11b
• /
• pp.97-102
• /
• 2000

The final purpose of this study is to develop the synthetic and logical analytical tool for analyzing spatial organization of housing. For this purpose, this study made the starting-point by proposing some alternatives to improve one of the quantitative analytical tools of spatial organizations, Space Syntax. These propositions were intended to consider human behavior as well as physical structure in analyzing spatial organization. The propositions were as follow; 1) Classify the private outdoor space in detail, 2) Consider that the spatial organization which visitors cognize can differ from which residents do, and 3) Use distinctive spatial depth according to the states of connection.

• Journal of Physiology & Pathology in Korean Medicine
• /
• v.16 no.5
• /
• pp.845-850
• /
• 2002

This paper suggest a methodology for representation of findings which can be called as signs and symptoms. A finding consists of unit signs and unit symptoms, and moreover findings which appear in one individual patient have so many different relationship each other. So, it is nat appropriate to list all of possible findings as medical standard or to fill findings as independent things in paper for medical record. We try to distinguish finding item from finding list, and suggest the methodology by which we can make finding list from finding items. That is, we suggest finding item[Concept], value types, relationship, logical operator, and syntax as a component of representation. And by using urinary symptom, we make the example for representation methodology. Finally, we mention the background knowledge, brief research process of related area.

• Journal of Engineering Education Research
• /
• v.18 no.6
• /
• pp.46-51
• /
• 2015

Recently, Information Communication Technology(ICT) is one of the most important technology that supports the modern society. As the ICT rises, the needs of the nurturing talents, who can develop a service or hardware on the basis of the humanities increases. As a result, teaching programming skills to students studying humanities and social science are essential. Also, it is important to train students studying science and engineering to write their thoughts logically. In order to serve these students, we introduce a pedagogy for computer programming using programming essay. Since a program is a sequence of the operations based on the programmer's logical thinking, programming can be considered as describing programmer's logic in the proper order using programming syntax. In this research, we train students to describe their logic using natural language. Students write down their essays for a given programming problems. Also, we introduce a pedagogy guideline using programming essay.

• Journal of Institute of Control, Robotics and Systems
• /
• v.11 no.4
• /
• pp.297-303
• /
• 2005

In this paper, I developed an intelligent multi agents based softPLC(IMPLC). In IMPLC, the standard IEC 1131-3 PLC languages(LD, SFC, FBD, ST) programmed by a user are converted to IL, which is one of intermediate codes, in order to make them interactions. And then the IL is converted to the standard C code regarding some extension and transplanting, which can be used in a commercial editor such as visual C++. In IMPLC, the logical errors and syntax errors occurred by users are detected, so that the optimal PC control based softPLC can be possible. IMPLC provide easy programming platform to such beginner as well as professionals. The study of code conversion is firstly tried in the world as well as KOREA. I applied IMPLC to 3 steps conveyer belt system. The simulation results say that the debugging steps by IMPLC using multi agents are decreased than the conventional softPLC's.

• The Journal of Korean Association of Computer Education
• /
• v.22 no.2
• /
• pp.29-38
• /
• 2019

The evaluation of programs related to SW development often only provides the right answer of the student's program. The purpose of this study was to provide the baseline data about the contents of the program evaluation support the teacher's class and which part should be considered important in partial scoring. To accomplish the goal, we had two months of Python lessons for 90 middle school students in free-semester and analyzed 1185 source codes collected during the lessons. Result of analysis, many students made mistakes about syntax errors and teachers considered logic errors as important. Based on the result, it is necessary to reduce the student's syntax errors and teachers need to evaluate student's program with considering the importance of logical aspects and necessary to devise a partial scoring. This study has significance about consideration of program evaluation from the perspective of learning support and evaluation.

• Korean Journal of Logic
• /
• v.11 no.2
• /
• pp.57-91
• /
• 2008

In accordance with his belief that philosophical problems arise from misunderstandings of the logic of our language, Wittgenstein's philosophical investigations were always focused on the problems of logic of language. Indeed, it can be said that his investigations were logical investigations. But what was the logic as conceived by him? He regarded logic as grammar from the beginning, but between his two different philosophical periods, there were important changes in his conceptions of grammar. In his earlier period, he understood the logic of language as the truth-functional syntax realizable in an ideal notation, while in his later period he regarded logic as the rules of language-use in various language games. It was a change from viewing logic as an ideally strict and universal system in which every logical possibilities are determined to viewing logic as an open system of non-strict grammatical rules specific to each language game. This paper deals with the gists of his earlier and later views on logic and the reasons for the change of his views, including specifically the reasons for the change of his views concerning the autonomy and necessity of logic as grammar.