• Korean Journal of Logic
• /
• v.21 no.3
• /
• pp.373-393
• /
• 2018

Manipulation arguments purport to show that source freedom is incompatible with determinism. According to manipulation arguments, (1) intuitively, an agent manipulated in a certain manner to do A is not free, and (2) there is no significant difference between manipulation and determination. It follows that an agent determined to do A is not free. A compatibilist hard-line reply ('HR') denies (1), whereas a soft-line reply ('SR') denies (2). HR, which is arguably compatibilists' favorite, is assessed from the 'neutral stance.' HR turns out to fall short of adequately rejecting manipulation arguments. Recently Sartorio defends HR by claiming that (1) commits some sort of psychological fallacy. I argue that it does not work. I claim that SR is more promising. I examine the difference between intentional manipulation by design and ordinary determination. I argue that this difference suggests some determination scenario without intentional manipulation to which SR and manipulation arguments make different predictions, and that SR is better supported. Finally, incompatibilist objections are considered and replied.

• Proceedings of the KIEE Conference
• /
• 1987.07a
• /
• pp.226-229
• /
• 1987

This paper was aimed to, using a new data structure, develop a set of algorithms to execute the output function of Digital System. These functions were represented as directed, acyclic graphs. by applying many restrictions on vertices on graph, the efficient manipulation of boolean function was accomplished. The results were as follows; 1. A canonical representation of a boolean function was created by the reduction algorithm. 2. The operation of two functions was accomplished using t he apply algorithm, according to the binary operator. 3. The arguments having 1 as the value nf function were enumerated using the satisfy algorithm. 4. Composing TTL 74181 4-bit ALU and 74182 look-ahead carry generator, the ALU having 4-bit and 16-bit as word size was implemented.

• Korean Journal of Logic
• /
• v.22 no.1
• /
• pp.183-209
• /
• 2019

In this paper, I first examine Reiss'(2005) arguments for the causal instrumental variable. Second, I argue that the conditions for causal transitivity I consider meet what the causal instrumental variables and the interveners of the manipulation theory of causation are intended to hold. Reiss shows that two conditions for instrumental variables are not sufficient for causal significance of independent variables for dependent variables. Reiss articulates and reformulates the conditions for instrumental variables in terms of the conditions on causality, while naming his instrumental variables as causal instrumental variables. Reiss argues that the causal instrumental variables are similar to the interveners of the manipulation, or intervention theory of causation. He further argues that the causal instrumental variables do a better job the interveners do. I argue that the conditions for causal transitivity I consider meet the goal the conditions for the causal instrumental variables and the conditions for the interveners both are intended to achieve.

• Journal of Elementary Mathematics Education in Korea
• /
• v.24 no.1
• /
• pp.151-168
• /
• 2020

The use of software is effective in developing mathematical understanding that provides mathematical problems and ensures mathematical communication. In particular, various software may provide all of the skills and conceptual activities students need to understand mathematical concepts. Based on these arguments, I analyze domestic prior studies based on the perspective of how the shape education using software affects mathematics learning. Based on the five categories of visualization, manipulation, cognitive tools, discourse promoters, and ways of thinking, domestic studies have shown that the number and categories of research related to shape education using software are limited. In addition, it was confirmed that previous studies in South Korea have been focused on the application of software rather than analysis of the changing aspects of learners' mathematics learning. These implications might be used as a basis for setting the direction of research on mathematics education related to the education of software utilization in the future.

• Journal of Arbitration Studies
• /
• v.31 no.4
• /
• pp.71-97
• /
• 2021

The meaning of the amendment to the Media Arbitration Act in our society is not limited to media companies. And it's not just a problem for a specific group. It expresses public value because it is an issue that can affect members of society as a whole and furthermore, it becomes a bill that can infringe or strengthen individual freedom guaranteed by the Constitution, but makes different arguments. Freedom of speech is not achieved in a day and should not be easily lost by someone. Although it is not a frequent problem, fatal threats arising from wrong media reports take away an individual's present and future. It is because of this problem that the responsibility is important. Freedom of speech and control are heading in different directions, but they are the same as the front and back of the coin. The freedom pursued is different, but it consists of one body. If freedom and responsibility of speech made up of one body criticize or ignore each other, the results are scattered into a distorted On the other hand, the flexion of responsibility without freedom serves as a speaker that conveys the ideology of some classes or represents the interests of a particular group. The fact that the media should act as the air of society means that it should represent the interests of the majority, make them aware of the rights of unfair or marginalized members, and be their strength.