• Korean Journal of Logic
• /
• v.17 no.1
• /
• pp.109-136
• /
• 2014

Every (semantic) antirealist accepts one or another form of verification principle. The principle has strong and weak forms, the strong form being highly counterintuitive but the weak one being more plausible. Understandably, antirealists have preferred the weak form of verification principle. Unfortunately, the socalled knowability paradox shows that those two forms are indeed equivalent. To solve this problem, Edgington suggests a yet new form of verification principle. Unfortunately, her new principle has its own difficulty. To overcome this difficulty, Edgington provides a new model of knowledge, according to which every true proposition is somehow associated with a known counterfactual conditional. In this paper, I shall argue that even this new model of knowledge confronts with an insurmountable problem. It is a well-known fact that, in the microscopic levels, some facts manage to occur despite very low physical chances. I will argue that the counterfactuals linked with those facts cannot be known due to the existence of epistemic defeaters. Hence, Edgington's knowledge model does not work in all cases.

• Korean Journal of English Language and Linguistics
• /
• v.3 no.1
• /
• pp.37-54
• /
• 2003

The purpose of this paper is to investigate the phenomena of preposing and inversion in English from the discourse-pragmatic perspectives. We claim that different types of preposing can be unified to a single process of topicalization. We also show that diverse discourse functions of inversion can be subsumed under the ‘linking’ function with the prior discourse. It is followed a comparative discussion between preposing and inversion to find what similarities the two constructions share and what differences there exist between the two. It is concluded that the choice of a syntactic forms ultimately depends on the speaker's evaluation of the information status of the knowledge store of the hearer.

• Korean Journal of Cognitive Science
• /
• v.2 no.1
• /
• pp.1-12
• /
• 1990

Mental represention as an empirical fact raises certain ontological problems regarding both the subject and the object of representation, that is,the existence of the mimd and that of the represented world. Propsitional attitudes, for instance, presuppose the subject of such inguistic representation, as well as the propositional fact reffered. But the ontological status of the reference is an open question. Mental representations as events also present problems of ontology. How mental events interact wiht physical events, how they are related with neural events,and in what way mental events are functionally autonomous,and such are the problems remaining to be answered. The world of mental representation may be seen as a theoretical world,of which the ontological status depends on the progress in the corresponding empirical science,that is,neuroscience. But the problem of realism in the philosophy of science is still an issue of debate. These,then are philosophical issues related to the ontological status of mental representation. Their solutions,or approaches to them,however, must waite for the further progress in cognitive science,which has philosophy as a humble participant among other disciplines.

• Journal for History of Mathematics
• /
• v.24 no.3
• /
• pp.37-58
• /
• 2011

The development of recent Mathematical Logic is mostly originated in Hilbert's Proof Theory. The purpose of the plan so called Hilbert's Program lies in the formalization of mathematics by formal axiomatic method, rescuing classical mathematics by means of verifying completeness and consistency of the formal system and solidifying the foundations of mathematics. In 1931, the completeness encounters crisis by the existence of undecidable proposition through the 1st Theorem of G?del, and the establishment of consistency faces a risk of invalidation by the 2nd Theorem. However, relative of partial realization of Hilbert's Program still exists as a fruitful research program. We have tried to bring into relief through Curry-Howard Correspondence the fact that Hilbert's program serves as source of power for the growth of mathematical constructivism today. That proof in natural deduction is in truth equivalent to computer program has allowed the formalization of mathematics to be seen in new light. In other words, Hilbert's program conforms best to the concept of algorithm, the central idea in computer science.

• Korean Journal of Logic
• /
• v.21 no.2
• /
• pp.269-300
• /
• 2018

In his recent three papers, Joohan Lee defends the following three theses. First, an ordinary term 'believes' is polysemous in that it can refer to three different types of mental attitudes; that is, it can refer to a belief as an involuntary mental disposition, or a pragmatic acceptance as a voluntary mental action, or an epistemic acceptance as a different voluntary mental action. Second, a person's pragmatic acceptance of a proposition is his voluntary mental action which takes it to be true for pragmatic reasons, despite the fact that there is no adequate epistemic evidence for the proposition, whereas a person's epistemic acceptance of a proposition is his voluntary mental action which takes it to be true for epistemic reasons, despite the fact that there is a pragmatic reason to the contrary. Third, mental attitudes to which epistemic norms apply are epistemic acceptances as voluntary mental actions, rather than beliefs as involuntary mental dispositions. If these theses are correct, then they will have important implications for contemporary epistemology. In this paper, however, I argue that Joohan Lee is not successful in defending these theses.

• Korean journal of communication and information
• /
• v.54
• /
• pp.76-97
• /
• 2011

What are the meanings of abduction as a methodology of Cultural Studies? By contextualizing Charles Sanders Peirce's logic of abduction in the discipline of Cultural Studies, I explore the epistemological discussion on the modern scientific research methodology of social sciences. Abduction is a kind of logical inference, which is often associated with guessing or intuition. Peirce's method of abduction and Cultural Studies' contextual formation in effect address an alternative methodology to positivism. Criticizing the modern Eurocentric structure of knowledge construction, I suggest that the virtue of abduction, as a logic of discovery, should be re-discovered in the context of Cultural Studies. Abduction holds important lessons for Cultural Studies as well as social sciences in general because of its focus on intuition, empathy, and intellectual collaboration. Through its elaboration of the logic of abduction, Cultural Studies is able to maintain not only its epistemological ground but also its methodological communicability.

• 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.

• Journal of Christian Education in Korea
• /
• v.71
• /
• pp.97-120
• /
• 2022

Korean churches and theology of today are experiencing a decline in reliability and a lack of communication from the Korean society due to the absence of proper reflection. Moreover, with the COVID-19 Pandemic, the church is led to a situation where the problem of survival has become a concern. In addition, churches and theology failed to restore the public nature of faith from civil society, and how these beliefs could be developed in terms of Christian education has become an important theological task. The restoration of the public nature of the church brings interest in public theology, and if education is an important area of the public forum, we pay attention to educational philosophers who provided the basis for publicness and civil democracy education philosophy in Christian education. Rousseau, as an educationalist who opened the modern philosophy of education is opening up the civil society through discovering the existence of children with the proposition "Return to Nature" in the 18th century. This study aims to use Rousseau's educational philosophy in his books Emil, The Theory of Inequality Origins, and Social Contract Theory as the basis of educational theory that opened the foundation of the public domain and civil society.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.17 no.6
• /
• pp.1342-1347
• /
• 2013

Color harmony of Moon and Spencer is based on the Munsell color harmony theory. This harmony theory is established in the three of harmony and disharmony, the harmony of the area of effect, and Aesthetic Measure of harmony and disharmony. Aesthetic Measure here is how to obtain the quantitative expression of the degree of harmony. American scholar Burkhoff were analyzed with the proposition that beauty of Moon-Spencer is with the order in complexity. In this paper, the good and bad of coloration was divide elements of the order and the complexity. Aesthetic Measure is divided into elements of the complexity from elements of the order. This is utilized in the calculation shown in the various image, problem of color harmony and disharmony, which is treated as a sensibility was calculated by numerically. Thus Aesthetic Measure show was good or bad coloration by determining the color in the various image.

• English Language & Literature Teaching
• /
• v.9 no.spc
• /
• pp.149-165
• /
• 2003

This paper is aimed at the investigation of pragmatic contributions to the identification of explicatures. An explicature is the result of fleshing out the semantic representation of an utterance. The basic assumption of the paper is that the process of the developing the semantic representation into an explicature depends heavily on contextual information. Therefore, we are concerned with the way in which hearers use contextual information to flesh rut or develop the semantic representation of an utterance. The identification of explicatures includes both the recovery of the proposition expressed and the recovery of what we called higher-level explicatures. There are three subtasks involved in the recovery of the proposition expressed: reference assignment disambiguation and enrichment On the other hand, there are two subtasks involved in the recovery of higher-level explicatures: attitudes and speech acts.