Omitted Arguments and Complexity of Predication

Science.gov (United States)

Port, Martin

2010-01-01

This work focuses on the licensing conditions and logical structure of understood-argument constructions, or complement-drop constructions, in English. There are two main types of such arguments: Indefinite Understood Arguments (IUA) and Definite Understood Arguments (DUA). IUA readings occur in such cases in "He ate, He cooked". In such cases,…

Non-Discriminating Arguments and Their Uses

DEFF Research Database (Denmark)

Christiansen, Henning; Gallagher, John Patrick

2009-01-01

We present a technique for identifying predicate arguments that play no role in determining the control flow of a logic program with respect to goals satisfying given mode and sharing restrictions.  We call such arguments non-discriminating arguments. We show that such arguments can be detected...... by an automatic analysis. Following this, we define a transformation procedure, called discriminator slicing, that removes the non-discriminating arguments, resulting in a program whose computation trees are isomorphic to those of the original program.  Finally, we show how the results of the original program can...... be reconstructed from trace of the transformed program with the original arguments.   Thus the overall result is a two-stage execution of a program, which can be applied usefully in several contexts;  we describe a case study in optimising computations in the probabilistic logic program language PRISM, and discuss...

Argument z důsledku a jeho varianty (Argument from Consequences and its variants

Directory of Open Access Journals (Sweden)

Martina Juříková

2016-03-01

Full Text Available The article examines the use and evaluation of the argument from consequences, its historical origins since Aristotle through Blaise Pascal, David Hume until the inclusion of this argument into the textbooks of modern logic. The article also recapitulates current evaluation of this argument by Douglas Walton and along with Walton presents its two variants and criteria for evaluating their validity.

Arguments Whose Strength Depends on Continuous Variation

Directory of Open Access Journals (Sweden)

James Franklin

2013-03-01

Full Text Available Both the traditional Aristotelian and modern symbolic approaches to logic have seen logic in terms of discrete symbol processing. Yet there are several kinds of argument whose validity depends on some topological notion of continuous variation, which is not well captured by discrete symbols. Examples include extrapolation and slippery slope arguments, sorites, fuzzy logic, and those involving closeness of possible worlds. It is argued that the natural first attempts to analyze these notions and explain their relation to reasoning fail, so that ignorance of their nature is profound.

A Description Logic Based Knowledge Representation Model for Concept Understanding

DEFF Research Database (Denmark)

Badie, Farshad

2017-01-01

This research employs Description Logics in order to focus on logical description and analysis of the phenomenon of ‘concept understanding’. The article will deal with a formal-semantic model for figuring out the underlying logical assumptions of ‘concept understanding’ in knowledge representation...... systems. In other words, it attempts to describe a theoretical model for concept understanding and to reflect the phenomenon of ‘concept understanding’ in terminological knowledge representation systems. Finally, it will design an ontology that schemes the structure of concept understanding based...

The great slippery-slope argument.

OpenAIRE

Burgess, J A

1993-01-01

Whenever some form of beneficent killing--for example, voluntary euthanasia--is advocated, the proposal is greeted with a flood of slippery-slope arguments warning of the dangers of a Nazi-style slide into genocide. This paper is an attempt systematically to evaluate arguments of this kind. Although there are slippery-slope arguments that are sound and convincing, typical formulations of the Nazi-invoking argument are found to be seriously deficient both in logical rigour and in the social hi...

Logic an introductory course

CERN Document Server

Newton-Smith, WH

2003-01-01

A complete introduction to logic for first-year university students with no background in logic, philosophy or mathematics. In easily understood steps it shows the mechanics of the formal analysis of arguments.

Short-circuit logic

NARCIS (Netherlands)

Bergstra, J.A.; Ponse, A.

2010-01-01

Short-circuit evaluation denotes the semantics of propositional connectives in which the second argument is only evaluated if the first argument does not suffice to determine the value of the expression. In programming, short-circuit evaluation is widely used. A short-circuit logic is a variant of

A Look at Informal Logic

Directory of Open Access Journals (Sweden)

Iryna Khomenko

2018-04-01

Full Text Available The challenges of the global time require new solutions and up-to-date ways of thinking and communication. These challenges call for the ability to use critical thinking to face the ever-changing world and the ability to maintain a dialog based on the effective skills of communication. Studies in the fields of logic and argumentation theory are of particular importance in this regard. Nowadays they can be presented as a mix of theoretical and practical approaches. In this paper, I will present my reflections on informal logic, which was formed in the late 1970s. Unfortunately, in spite of numerous papers, books, and text-books published over the last forty years, consensus on many issues in this field has not been achieved so far. Therefore, it is difficult to treat informal logic as one of the well-defined approaches to argumentation. The goal of this paper is to take a look at the place of informal logic in state-of-the art study of argumentation by clarifying its subject matter and figuring out the realm to which informal logic belongs.

Logic and Ontology

Directory of Open Access Journals (Sweden)

Newton C. A. da Costa

2002-12-01

Full Text Available In view of the present state of development of non classical logic, especially of paraconsistent logic, a new stand regarding the relations between logic and ontology is defended In a parody of a dictum of Quine, my stand May be summarized as follows. To be is to be the value of a variable a specific language with a given underlying logic Yet my stand differs from Quine’s, because, among other reasons, I accept some first order heterodox logics as genuine alternatives to classical logic I also discuss some questions of non classical logic to substantiate my argument, and suggest that may position complements and extends some ideas advanced by L Apostel.

Fatalizm logiczny i teologiczny a przedwiedza Boża. Krytyka argumentu antyredukcyjnego Lindy Zagzebski [ Fatalism logical and teological and God’s foreknowledge. Discussion with Linda Zagzebski’s anti-reductive argument

Directory of Open Access Journals (Sweden)

Dariusz Lukasiewicz

2014-06-01

Full Text Available The article presents arguments for theological and logical fatalism and analyzes the view that the theological fatalism can be reduced to or transformed into the logical one. Next, there follows a critique of Linda Zagzebski’s thesis that theological fatal- ism is not reducible to logical fatalism. The article begins with a brief presentation of the controversy between the proponents and opponents of the theological fatalism.

The Ethics of Argumentation

Directory of Open Access Journals (Sweden)

Vasco Correia

2012-06-01

Full Text Available Normative theories of argumentation tend to assume that logical and dialectical rules suffice to ensure the rationality of argumentative discourse. Yet, in everyday debates people use arguments that seem valid in light of such rules but nonetheless biased and tendentious. This article seeks to show that the rationality of argumentation can only be fully promoted if we take into account its ethical dimension. To substantiate this claim, I review some of the empirical evidence indicating that people’s inferential reasoning is systematically affected by a variety of biases and heuristics. Insofar as these cognitive illusions are typically unintentional, it appears that arguers may be biased despite their well-intended efforts to follow the rules of critical argumentation. Nevertheless, I argue that people remain responsible for the rationality of their arguments, given that there are a number of measures that they can (and ought to take to avoid such distortions. I highlight the importance of argumentational virtues and critical thinking to rational debates, and describe a set of indirect strategies of “argumentative self-control”.

Prerequisites for Correctness in Legal Argumentation

OpenAIRE

Mackuvienė, Eglė

2011-01-01

A phenomenon called legal argumentation is analyzed in the dissertation. The aim of the thesis is to identify the prerequisites that allow to consider the legal argumentation to be correct, also to evaluate those prerequisites logically. Legal argumentation is analyzed as a phenomenon per se, without relating it to any particular arguing subject. Other dimensions of the process of making a legal decision, such as legal reasoning, legal discourse, interpretation of law and others are discu...

The great slippery-slope argument.

Science.gov (United States)

Burgess, J A

1993-09-01

Whenever some form of beneficent killing--for example, voluntary euthanasia--is advocated, the proposal is greeted with a flood of slippery-slope arguments warning of the dangers of a Nazi-style slide into genocide. This paper is an attempt systematically to evaluate arguments of this kind. Although there are slippery-slope arguments that are sound and convincing, typical formulations of the Nazi-invoking argument are found to be seriously deficient both in logical rigour and in the social history and psychology required as a scholarly underpinning. As an antidote, an attempt is made both to identify some of the likely causes of genocide and to isolate some of the more modest but legitimate fears that lie behind slippery-slope arguments of this kind.

Students' understandings of nature of science and their arguments in the context of four socio-scientific issues

Science.gov (United States)

Khishfe, Rola; Alshaya, Fahad S.; BouJaoude, Saouma; Mansour, Nasser; Alrudiyan, Khalid I.

2017-02-01

The purpose of this study was to examine students understandings about nature of science (NOS) and their arguments in context of controversial socio-scientific issue (SSI). A total of 74 11th graders in six schools in Saudi Arabia participated in the study. The instrument used was a questionnaire consisting of four scenarios addressing SSI about global warming, genetically modified food, acid rain, and human cloning. The scenarios were followed by questions relating to argumentation and NOS. Quantitative and qualitative measures were employed to analyze the data related to participants understandings of three NOS aspects (subjective, tentative, and empirical) and their arguments components (argument, counterargument, and rebuttal). Results showed no significant correlations between argument components and the NOS aspects. On the other hand, qualitative data showed that participants who generated well-developed arguments across the four SSI also exhibited more informed understandings of the NOS aspects, especially for female participants. Further, the chi-square analyses did not show significant differences in participants arguments and NOS understandings across the four scenarios. Again, the qualitative data from questionnaires showed differences in participants responses to the different scenarios. The results were interpreted along contextual factors, emotional factors, and cultural factors. Implications for the teaching of NOS and arguments were discussed.

Dialogues as a dynamic framework for logic

NARCIS (Netherlands)

Rückert, Helge

2007-01-01

Dialogical logic is a game-theoretical approach to logic. Logic is studied with the help of certain games, which can be thought of as idealized argumentations. Two players, the Proponent, who puts forward the initial thesis and tries to defend it, and the Opponent, who tries to attack the

Fuzzy Logic and Education: Teaching the Basics of Fuzzy Logic through an Example (By Way of Cycling)

Science.gov (United States)

Sobrino, Alejandro

2013-01-01

Fuzzy logic dates back to 1965 and it is related not only to current areas of knowledge, such as Control Theory and Computer Science, but also to traditional ones, such as Philosophy and Linguistics. Like any logic, fuzzy logic is concerned with argumentation, but unlike other modalities, which focus on the crisp reasoning of Mathematics, it deals…

Efficient computation of argumentation semantics

CERN Document Server

Liao, Beishui

2013-01-01

Efficient Computation of Argumentation Semantics addresses argumentation semantics and systems, introducing readers to cutting-edge decomposition methods that drive increasingly efficient logic computation in AI and intelligent systems. Such complex and distributed systems are increasingly used in the automation and transportation systems field, and particularly autonomous systems, as well as more generic intelligent computation research. The Series in Intelligent Systems publishes titles that cover state-of-the-art knowledge and the latest advances in research and development in intelligen

Logic from A to Z the Routledge encyclopedia of philosophy glossary of logical and mathematical terms

CERN Document Server

Bacon, John B; McCarty, David Charles; Bacon, John B

1999-01-01

First published in the most ambitious international philosophy project for a generation; the Routledge Encyclopedia of Philosophy. Logic from A to Z is a unique glossary of terms used in formal logic and the philosophy of mathematics. Over 500 entries include key terms found in the study of: * Logic: Argument, Turing Machine, Variable * Set and model theory: Isomorphism, Function * Computability theory: Algorithm, Turing Machine * Plus a table of logical symbols. Extensively cross-referenced to help comprehension and add detail, Logic from A to Z provides an indispensable reference source for students of all branches of logic.

Towards an experimental account of argumentation: the case of the slippery slope and the ad hominem arguments

Directory of Open Access Journals (Sweden)

Marco eLillo-Unglaube

2014-12-01

Full Text Available Argumentation is a crucial component of our lives. Although in the absence of rational debate our legal, political, and scientific systems would not be possible, there is still no integrated area of research on the psychology of argumentation. Furthermore, classical theories of argumentation are normative (i.e. the acceptability of an argument is determined by a set of norms or logical rules, which sometimes creates a dissociation between the theories and people’s behavior. We think the current challenge for psychology is to bring together the cognitive and normative accounts of argumentation. In this Perspective, we exemplify this point by analyzing two cases of argumentative structures experimentally studied in the context of cognitive psychology. Specifically, we focus on the slippery slope argument and the ad hominem argument under the frameworks of Bayesian and pragma-dialectics approaches, respectively. We think employing more descriptive and experimental accounts of argumentation would help Psychology to bring closer the cognitive and normative accounts of argumentation with the final goal of establishing an integrated area of research on the psychology of argumentation.

Toward an experimental account of argumentation: the case of the slippery slope and the ad hominem arguments.

Science.gov (United States)

Lillo-Unglaube, Marco; Canales-Johnson, Andrés; Navarrete, Gorka; Bravo, Claudio Fuentes

2014-01-01

Argumentation is a crucial component of our lives. Although in the absence of rational debate our legal, political, and scientific systems would not be possible, there is still no integrated area of research on the psychology of argumentation. Furthermore, classical theories of argumentation are normative (i.e., the acceptability of an argument is determined by a set of norms or logical rules), which sometimes creates a dissociation between the theories and people's behavior. We think the current challenge for psychology is to bring together the cognitive and normative accounts of argumentation. In this article, we exemplify this point by analyzing two cases of argumentative structures experimentally studied in the context of cognitive psychology. Specifically, we focus on the slippery slope argument and the ad hominem argument under the frameworks of Bayesian and pragma-dialectics approaches, respectively. We think employing more descriptive and experimental accounts of argumentation would help Psychology to bring closer the cognitive and normative accounts of argumentation with the final goal of establishing an integrated area of research on the psychology of argumentation.

Function and Argument in Begriffsschrift

Czech Academy of Sciences Publication Activity Database

Badesa, C.; Bertran-San Millán, Joan

2017-01-01

Roč. 38, č. 4 (2017), s. 316-341 ISSN 0144-5340 Institutional support: RVO:67985955 Keywords : identity * Frege * logic * function * argument Subject RIV: AA - Philosophy ; Religion OBOR OECD: Philosophy, History and Philosophy of science and technology Impact factor: 0.286, year: 2016

Baroque Poetics and the Logic of Hispanic Exceptionalism

OpenAIRE

Young, Allen

2012-01-01

Baroque Poetics and the Logic of Hispanic Exceptionalismby Allen YoungIn this dissertation I study the how the baroque is used to understand aesthetic modernity in twentieth-century Spain and Latin America. My argument is that the baroque, in contemporary Hispanic and Latin American studies, functions as a myth of cultural exceptionalism, letting critics recast avant-garde and postmodern innovation as fidelity to a timeless essence or identity. That is, by viewing much contemporary Spanish-la...

[Evaluation of arguments in research reports].

Science.gov (United States)

Botes, A

1999-06-01

Some authors on research methodology are of opinion that research reports are based on the logic of reasoning and that such reports communicate with the reader by presenting logical, coherent arguments (Böhme, 1975:206; Mouton, 1996:69). This view implies that researchers draw specific conclusions and that such conclusions are justified by way of reasoning (Doppelt, 1998:105; Giere, 1984:26; Harre, 1965:11; Leherer & Wagner, 1983 & Pitt, 1988:7). The structure of a research report thus consists mainly of conclusions and reasons for such conclusions (Booth, Colomb & Williams, 1995:97). From this it appears that justification by means of reasoning is a standard procedure in research and research reports. Despite the fact that the logic of research is based on reasoning, that the justification of research findings by way of reasoning appears to be standard procedure and that the structure of a research report comprises arguments, the evaluation or assessment of research, as described in most textbooks on research methodology (Burns & Grove, 1993:647; Creswell, 1994:193; LoBiondo-Wood & Haber, 1994:441/481) does not focus on the arguments of research. The evaluation criteria for research reports which are set in these textbooks are related to the way in which the research process is carried out and focus on the measures for internal, external, theoretical, measurement and inferential validity. This means that criteria for the evaluation of research are comprehensive and they should be very specific in respect of each type of research (for example quantitative or qualitative). When the evaluation of research reports is focused on arguments and logic, there could probably be one set of universal standards against which all types of human science research reports can be assessed. Such a universal set of standards could possibly simplify the evaluation of research reports in the human sciences since they can be used to assess all the critical aspects of research reports

Argumentation and Inference: A Unified Approach

Directory of Open Access Journals (Sweden)

Christophe Fouqueré

2013-12-01

Full Text Available We propose in this paper to use Ludics as a unified framework for the analysis of dialogue and the reasoning system. Not only is Ludics a logical theory, but it may also be built by means of concepts of game theory. We first present the main concepts of Ludics. A design is an abstraction and a generalization of the concept of proof. Interaction between designs is equivalent to cut elimination or modus ponens in logical theories. It appears to be a natural means for representing dialogues and also for reasoning. A design is a set of sequences of alternate actions, similar to a move in game theory. We apply Ludics to argumentative dialogues. We discuss how to model the speech acts of argumentative dialogues in terms of dialogue acts. A dialogue act is given by a Ludics action together with the expression that reveals the action in a turn of speech. We show also how arguments may be stored in a commitment state used for reasoning. Finally we revisit an example of juridical dialogue that has been analyzed by Prakken in a different framework.

Understanding and Detecting Supporting Arguments of Diverse Types

OpenAIRE

Hua, Xinyu; Wang, Lu

2017-01-01

We investigate the problem of sentence-level supporting argument detection from relevant documents for user-specified claims. A dataset containing claims and associated citation articles is collected from online debate website idebate.org. We then manually label sentence-level supporting arguments from the documents along with their types as study, factual, opinion, or reasoning. We further characterize arguments of different types, and explore whether leveraging type information can facilita...

Quantum logic: is it necessarily orthocomplemented

International Nuclear Information System (INIS)

Mielnik, B.

1976-01-01

There exist conservative arguments supporting the necessity of the present day form of quantum theory, which are found in the axiomatics of quantum logic. In this paper the axioms of quantum logic are critically reexamined. The lattice macroscopic measurements, the motivation of the Hilbert space formalism and the convex scheme of quantum mechanics are among the topics discussed. (B.R.H.)

How Objects Shape Logics in Construction

DEFF Research Database (Denmark)

Tryggestad, Kjell; Georg, Susse

2011-01-01

The notion of institutional logics is a key tenet in institutional theory but few studies have attended to the micro‐foundations of logics. The sociology of associations is used to explore the micro‐foundations of logics, their emergence and temporal–spatial importance. A case study of the constr......The notion of institutional logics is a key tenet in institutional theory but few studies have attended to the micro‐foundations of logics. The sociology of associations is used to explore the micro‐foundations of logics, their emergence and temporal–spatial importance. A case study...... and identities as emergent and contingent outcomes of the material practices of building construction. The argument is concluded by considering the building construction as a materially mediated meaning structure....

Changes in Pre-service Science Teachers' Understandings After Being Involved in Explicit Nature of Science and Socioscientific Argumentation Processes

Science.gov (United States)

Kutluca, A. Y.; Aydın, A.

2017-08-01

The study explored the changes in pre-service science teachers' understanding of the nature of science and their opinions about the nature of science, science teaching and argumentation after their participation in explicit nature of science (NOS) and socioscientific argumentation processes. The participants were 56 third-grade pre-service science teachers studying in a state university in Turkey. The treatment group comprised 27 participants, and there were 29 participants in the comparison group. The comparison group participants were involved in a student-centred science-teaching process, and the participants of the treatment group were involved in explicit NOS and socioscientific argumentation processes. In the study, which lasted a total of 11 weeks, a NOS-as-argumentation questionnaire was administered to all the participants to determine their understanding of NOS at the beginning and end of the data collection process, and six random participants of the treatment group participated in semi-structured interview questions in order to further understand their views regarding NOS, science teaching and argumentation. Qualitative and quantitative data analysis revealed that the explicit NOS and socioscientific argumentation processes had a significant effect on pre-service science teachers' NOS understandings. Furthermore, NOS, argumentation and science teaching views of the participants in the treatment group showed a positive change. The results of this study are discussed in light of the related literature, and suggestions are made within the context of contribution to science-teaching literature, improvement of education quality and education of pre-service teachers.

Minding the gap between logic and intuition: an interpretative approach to ethical analysis.

Science.gov (United States)

Kirklin, D

2007-07-01

In an attempt to be rational and objective, and, possibly, to avoid the charge of moral relativism, ethicists seek to categorise and characterise ethical dilemmas. This approach is intended to minimise the effect of the confusing individuality of the context within which ethically challenging problems exist. Despite and I argue partly as a result of this attempt to be rational and objective, even when the logic of the argument is accepted--for example, by healthcare professionals--those same professionals might well respond by stating that the conclusions are unacceptable to them. In this paper, I argue that an interpretative approach to ethical analysis, involving an examination of the ways in which ethical arguments are constructed and shared, can help ethicists to understand the origins of this gap between logic and intuition. I suggest that an argument will be persuasive either if the values underpinning the proposed argument accord with the reader's values and worldview, or if the argument succeeds in persuading the reader to alter these. A failure either to appreciate or to acknowledge those things that give meaning to the lives of all the interested parties will make this objective far harder, if not impossible, to achieve. If, as a consequence, the narratives ethicists use to make their arguments seem to be about people living in different circumstances, and faced with different choices and challenges, from those the readers or listeners consider important or have to face in their own lives, then the argument is unlikely to seem either relevant or applicable to those people. The conclusion offered by the ethicist will be, for that individual, counterintuitive. Abortion, euthanasia and cadaveric organ donation are used as examples to support my argument.

A study of accrual of arguments, with applications to evidential reasoning

NARCIS (Netherlands)

Prakken, Henry

2006-01-01

This paper presents a logical formalisation of accrual of arguments as a form of inference. The formalisation is given within the logical framework of Dung as instantiated by Pollock, and is shown to satisfy three principles that any treatment of accrual should satisfy. The formalisation of accrual

Logic Brightens My Day: Evidence for Implicit Sensitivity to Logical Validity

Science.gov (United States)

Trippas, Dries; Handley, Simon J.; Verde, Michael F.; Morsanyi, Kinga

2016-01-01

A key assumption of dual process theory is that reasoning is an explicit, effortful, deliberative process. The present study offers evidence for an implicit, possibly intuitive component of reasoning. Participants were shown sentences embedded in logically valid or invalid arguments. Participants were not asked to reason but instead rated the…

A Reassessment of George Pierce Baker's "The Principles of Argumentation": Minimizing the Use of Formal Logic in Favor of Practical Approaches

Science.gov (United States)

Bordelon, Suzanne

2006-01-01

In this article, the author demonstrated how recent histories relied primarily on previous accounts and one textbook to characterize George Pierce Baker's work. This narrow assessment of "The Principles of Argumentation" limits one's understanding of his contribution to argumentation theory and pedagogy. Similarly, one has seen the need for care…

Discounting future health benefits: the poverty of consistency arguments.

Science.gov (United States)

Nord, Erik

2011-01-01

In economic evaluation of health care, main stream practice is to discount benefits at the same rate as costs. But main papers in which this practice is advocated have missed a distinction between two quite different evaluation problems: (1) How much does the time of program occurrence matter for value and (2) how much do delays in health benefits from programs implemented at a given time matter? The papers have furthermore focused on logical and arithmetic arguments rather than on real value considerations. These 'consistency arguments' are at best trivial, at worst logically flawed. At the end of the day, there is a sensible argument for equal discounting of costs and benefits rooted in microeconomic theory of rational, utility maximising consumers' saving behaviour. But even this argument is problematic, first because the model is not clearly supported by empirical observations of individuals' time preferences for health, second because it relates only to evaluation in terms of overall individual utility. It does not provide grounds for claiming that decision makers with a wider societal perspective, which may include concerns for fair distribution, need to discount Copyright © 2010 John Wiley & Sons, Ltd. 2010 John Wiley & Sons, Ltd.

Coherence-driven argumentation to norm consensus

NARCIS (Netherlands)

Joseph, S.; Prakken, H.

2009-01-01

In this paper coherence-based models are proposed as an alternative to logic-based BDI and argumentation models for the reasoning of normative agents. A model is provided for how two coherence-based agents can deliberate on how to regulate a domain of interest. First a deductive coherence model

Argumentation Practices in Classroom: Pre-Service Teachers' Conceptual Understanding of Chemical Equilibrium

Science.gov (United States)

Kaya, Ebru

2013-01-01

This study examines the impact of argumentation practices on pre-service teachers' understanding of chemical equilibrium. The sample consisted of 100 pre-service teachers in two classes of a public university. One of these classes was assigned as experimental and the other as control group, randomly. In the experimental group, the subject of…

Investigation of a reflective pedagogy to encourage pre-service physics teachers to explore argumentation as an aid to conceptual understanding

International Nuclear Information System (INIS)

Lancaster, G.; Cooper, R.

2015-01-01

An emerging focus of recent science education research advocates the benefits of using argumentation as an approach in which teachers can better engage students in a more authentic experience of the epistemic work of scientists (Bricker and Bell, 2008). Logical argument and critical thinking are considered essential skills for an effective and successful undertaking of scientific inquiry and analysis. Early research suggests the practise of encouraging students to engage in scientific discourse in the classroom (Kuhn, 2010) can provide rich experiences for students and teachers to hone their cognitive abilities. This paper explores the use of critical ‘discussion problems’ purposefully designed for pre-service physics teachers to investigate their own alternative conceptual understandings of key physics ideas. It also discusses how these problems are then used to generate classroom discourse which focuses on the importance of developing effective pedagogical content knowledge (See Shulman, 1986 for a detailed explanation of pedagogical content knowledge) rather than just mastery of scientific content and its mathematical applications. Further, the paper will detail a preliminary study in which pre-service physics teachers were introduced to a number of discussion problems via an online learning environment and asked to first consider the problem and post a solution in isolation from their peers. A considerable challenge was persuading the pre-service teachers to resist the common practice of “Googling the answer” via the internet before posting their solution attempt. Although most students initially appeared to believe that posting “the correct” answer was the main task objective, the vast majority eventually came to realise that discussing the range of un researched solutions was much more beneficial for their conceptual understanding and professional practice. Over time, this approach generally encouraged students to post original ideas and to be

Investigation of a reflective pedagogy to encourage pre-service physics teachers to explore argumentation as an aid to conceptual understanding

Science.gov (United States)

Lancaster, Greg; Cooper, Rebecca

2016-05-01

An emerging focus of recent science education research advocates the benefits of using argumentation as an approach in which teachers can better engage students in a more authentic experience of the epistemic work of scientists (Bricker and Bell, 2008). Logical argument and critical thinking are considered essential skills for an effective and successful undertaking of scientific inquiry and analysis. Early research suggests the practise of encouraging students to engage in scientific discourse in the classroom (Kuhn, 2010) can provide rich experiences for students and teachers to hone their cognitive abilities. This paper explores the use of critical `discussion problems' purposefully designed for pre-service physics teachers to investigate their own alternative conceptual understandings of key physics ideas. It also discusses how these problems are then used to generate classroom discourse which focuses on the importance of developing effective pedagogical content knowledge (See Shulman, 1986 for a detailed explanation of pedagogical content knowledge) rather than just mastery of scientific content and its mathematical applications. Further, the paper will detail a preliminary study in which pre-service physics teachers were introduced to a number of discussion problems via an online learning environment and asked to first consider the problem and post a solution in isolation from their peers. A considerable challenge was persuading the pre-service teachers to resist the common practice of "Googling the answer" via the internet before posting their solution attempt. Although most students initially appeared to believe that posting "the correct" answer was the main task objective, the vast majority eventually came to realise that discussing the range of unresearched solutions was much more beneficial for their conceptual understanding and professional practice. Over time, this approach generally encouraged students to post original ideas and to be less influenced

Understanding HMIS Implementation in a Developing Country Ministry of Health Context - an Institutional Logics Perspective.

Science.gov (United States)

Asangansi, Ime

2012-01-01

Globally, health management information systems (HMIS) have been hailed as important tools for health reform (1). However, their implementation has become a major challenge for researchers and practitioners because of the significant proportion of failure of implementation efforts (2; 3). Researchers have attributed this significant failure of HMIS implementation, in part, to the complexity of meeting with and satisfying multiple (poorly understood) logics in the implementation process. This paper focuses on exploring the multiple logics, including how they may conflict and affect the HMIS implementation process. Particularly, I draw on an institutional logics perspective to analyze empirical findings from an action research project, which involved HMIS implementation in a state government Ministry of Health in (Northern) Nigeria. The analysis highlights the important HMIS institutional logics, where they conflict and how they are resolved. I argue for an expanded understanding of HMIS implementation that recognizes various institutional logics that participants bring to the implementation process, and how these are inscribed in the decision making process in ways that may be conflicting, and increasing the risk of failure. Furthermore, I propose that the resolution of conflicting logics can be conceptualized as involving deinstitutionalization, changeover resolution or dialectical resolution mechanisms. I conclude by suggesting that HMIS implementation can be improved by implementation strategies that are made based on an understanding of these conflicting logics.

Argumentative Polylogues: Beyond Dialectical Understanding of Fallacies

Directory of Open Access Journals (Sweden)

Lewiński Marcin

2014-03-01

Full Text Available Dialectical fallacies are typically defined as breaches of the rules of a regulated discussion between two participants (di-logue. What if discussions become more complex and involve multiple parties with distinct positions to argue for (poly-logues? Are there distinct argumentation norms of polylogues? If so, can their violations be conceptualized as polylogical fallacies? I will argue for such an approach and analyze two candidates for argumentative breaches of multi-party rationality: false dilemma and collateral straw man.

Categories and logical syntax

NARCIS (Netherlands)

Klev, Ansten Morch

2014-01-01

The notions of category and type are here studied through the lens of logical syntax: Aristotle's as well as Kant's categories through the traditional form of proposition `S is P', and modern doctrines of type through the Fregean form of proposition `F(a)', function applied to argument. Topics

Logical Normativity and Common Sense Reasoning

Directory of Open Access Journals (Sweden)

Evandro Agazzi

2011-04-01

Full Text Available Logic, considered as a technical discipline inaugurated by Aristotle and typically represented by the variety of the modern logical calculi, constitutes a clarification and refinement of a conviction and practice present in common sense, that is, the fact that humans believe that truth can be acquired not only by immediate evidence, but also by means of arguments. As a first step logic can be seen as a “descriptive” record of the main forms of the arguments present in common sense, but the fact that some of these patterns can actually allow for the derivation of false consequences from true premises imposes the task of making explicit what patterns correspond to a “correct reasoning” and what not. At this point logic (that contains the presentation of such patterns appears endowed with a “normative” characteristic. This amounts to saying that logical calculi are intended to adequately mirror the intuitive notion of “logical consequence” and in this sense they cannot be totally arbitrary or conventional, but must satisfy certain basic requirements such as the conditions of soundness and (as far as possible of semantic completeness. In such a way they are “judged” according to the fundamental requirements present at the level of common sense and appear as “idealizations” of the kinds of reasoning practiced in common sense. For this reason also several kinds of logical calculi are fully justified since they make explicit in an idealized form the concrete ways of reasoning that are imposed by the particular domain of reference of the discipline in which they are used and which are basically recognized in common sense.

Argumentation Ethics and The Philosophy of Freedom

Directory of Open Access Journals (Sweden)

Frank van Dun

2009-03-01

Full Text Available When H.-H. Hoppe claimed (in A Theory of Socialism and Capitalism, 1989 that the principles of libertarianism were argumentatively irrefutable, both the logical coherence and the relevance of his “argument from argumentation” were criticized. While occasionally some of these criticisms still crop up, this paper defends Hoppe’s claim against them from the vantage point of the author’s own work (in Dutch on the ethics of dialogue in the nineteen-seventies. It presents a more detailed and systematic presentation of the “argument from argumentation” than Hoppe had need for in the particular context of his book. It makes a distinction between arguments about principles and arguments about particular cases in which these principles may be invoked; and between the normative validity (as a matter of principle of certain presumptions and the fact that in particular cases these presumptions hold only in principle and can be refuted by the evidence pertaining to the cases.

Exploring the Common Ground of Rhetoric and Logic.

Science.gov (United States)

Lamb, Catherine E.

In teaching the principles of rational discourse in advanced expository writing, it is necessary to clarify the similarities and differences between the logic and rhetoric of Aristotle and to identify a common ground between the two. The study of logic within rhetoric focuses on the inductive standards used to support two kinds of argument: the…

Analysis of the logic and framing of a tobacco industry campaign opposing standardised packaging legislation in New Zealand.

Science.gov (United States)

Waa, Andrew Morehu; Hoek, Janet; Edwards, Richard; Maclaurin, James

2017-11-01

The tobacco industry routinely opposes tobacco control policies, often using a standard repertoire of arguments. Following proposals to introduce standardised packaging in New Zealand (NZ), British American Tobacco New Zealand (BATNZ) launched the 'Agree-Disagree' mass media campaign, which coincided with the NZ government's standardised packaging consultations. This study examined the logic of the arguments presented and rhetorical strategies employed in the campaign. We analysed each advertisement to identify key messages, arguments and rhetorical devices, then examined the arguments' structure and assessed their logical soundness and validity. All advertisements attempted to frame BATNZ as reasonable, and each contained flawed arguments that were either unsound or based on logical fallacies. Flawed arguments included misrepresenting the intent of the proposed legislation (straw man), claiming standardised packaging would harm all NZ brands (false dilemma), warning NZ not to adopt standardised packaging because of its Australian origins (an unsound argument) or using vague premises as a basis for claiming negative outcomes (equivocation). BATNZ's Agree-Disagree campaign relied on unsound arguments, logical fallacies and rhetorical devices. Given the industry's frequent recourse to these tactics, we propose strategies based on our study findings that can be used to assist the tobacco control community to counter industry opposition to standardised packaging. Greater recognition of logical fallacies and rhetorical devices employed by the tobacco industry will help maintain focus on the health benefits proposed policies will deliver. Published by the BMJ Publishing Group Limited. For permission to use (where not already granted under a licence) please go to http://www.bmj.com/company/products-services/rights-and-licensing/.

The latitude of logic in legal hermeneutics

Directory of Open Access Journals (Sweden)

Medar Suzana

2014-01-01

Full Text Available Legal hermeneutics (the interpretation of law] has always taken a highly significant place in general hermeneutics. The interpretation of laws involves an intricate task of determining the real meaning or rationale of legal norms. Considering the complexity of this goal, the most frequent classification of legal hermeneutics is based on the interpretation instruments. In traditional theory, the most widely recognized instruments for the interpretation of legal norms are language, logic, legal system, history and purpose of a legal norm. Under the influence of general analytic philosophy, the particular interest in language as the basic instrument for the interpretation of law may be found in mid-20th century. The interest in the language of law is closely related to the study of legal logic and legal argumentation. In theory, there is no dispute about the logical interpretation in a narrow sense which is based on drawing true conclusions by applying the basic rule of formal reasoning. Yet, it has given a head start to argumentation as 'a problem-based reasoning skill' which provides answers to the questions raised in contentious cases. Argumentation is closely associated with the dialectic method of reasoning (which has been widely recognized since the Ancient Greece], where conclusions are based on probable premises. One of the most significant goals of the argumentation theory is to locate the sources or common grounds for developing arguments; these basic argumentative patterns are generally known as 'topoi' or 'loci, sedes argumentorum'. On the other hand, 'topica' is part of rhetoric art dealing with the theoretical explanation of the basic argumentative patterns (topoi] and how they are structured, including the location of new topoi and arguments. The most significant proponents of the topical reasoning are Chaïm Perelman and Theodor Viehweg. Perelman relates topical reasoning to judicial reasoning and considers that specific legal topoi

The Quantum Logical Challenge: Peter Mittelstaedt's Contributions to Logic and Philosophy of Science

Science.gov (United States)

Beltrametti, E.; Dalla Chiara, M. L.; Giuntini, R.

2017-12-01

Peter Mittelstaedt's contributions to quantum logic and to the foundational problems of quantum theory have significantly realized the most authentic spirit of the International Quantum Structures Association: an original research about hard technical problems, which are often "entangled" with the emergence of important changes in our general world-conceptions. During a time where both the logical and the physical community often showed a skeptical attitude towards Birkhoff and von Neumann's quantum logic, Mittelstaedt brought into light the deeply innovating features of a quantum logical thinking that allows us to overcome some strong and unrealistic assumptions of classical logical arguments. Later on his intense research on the unsharp approach to quantum theory and to the measurement problem stimulated the increasing interest for unsharp forms of quantum logic, creating a fruitful interaction between the work of quantum logicians and of many-valued logicians. Mittelstaedt's general views about quantum logic and quantum theory seem to be inspired by a conjecture that is today more and more confirmed: there is something universal in the quantum theoretic formalism that goes beyond the limits of microphysics, giving rise to interesting applications to a number of different fields.

It Takes Two to Tango: Customization and Standardization as Colluding Logics in Healthcare; Comment on “(Re Making the Procrustean Bed Standardization and Customization as Competing Logics in Healthcare”

Directory of Open Access Journals (Sweden)

David Greenfield

2018-02-01

Full Text Available The healthcare context is characterized with new developments, technologies, ideas and expectations that are continually reshaping the frontline of care delivery. Mannion and Exworthy identify two key factors driving this complexity, ‘standardization’ and ‘customization,’ and their apparent resulting paradox to be negotiated by healthcare professionals, managers and policy makers. However, while they present a compelling argument an alternative viewpoint exists. An analysis is presented that shows instead of being ‘competing’ logics in healthcare, standardization and customization are long standing ‘colluding’ logics. Mannion and Exworthy’s call for further sustained work to understand this complex, contested space is endorsed, noting that it is critical to inform future debates and service decisions.

Scaring the Public: Fear Appeal Arguments in Public Health Reasoning

Directory of Open Access Journals (Sweden)

Louise Cummings

2012-03-01

Full Text Available The study of threat and fear appeal arguments has given rise to a sizeable literature. Even within a public health context, much is now known about how these arguments work to gain the public’s compliance with health recommendations. Notwithstanding this level of interest in, and examination of, these arguments, there is one aspect of these arguments that still remains unexplored. That aspect concerns the heuristic function of these arguments within our thinking about public health problems. Specifically, it is argued that threat and fear appeal arguments serve as valuable shortcuts in our reasoning, particularly when that reasoning is subject to biases that are likely to diminish the effectiveness of public health messages. To this extent, they are rationally warranted argument forms rather than fallacies, as has been their dominant characterization in logic.

Fact or fallacy? Immunisation arguments in the New Zealand print media.

Science.gov (United States)

Petousis-Harris, Helen A; Goodyear-Smith, Felicity A; Kameshwar, Kamya; Turner, Nikki

2010-10-01

To explore New Zealand's four major daily newspapers' coverage of immunisation with regards to errors of fact and fallacy in construction of immunisation-related arguments. All articles from 2002 to 2007 were assessed for errors of fact and logic. Fact was defined as that which was supported by the most current evidence-based medical literature. Errors of logic were assessed using a classical taxonomy broadly based in Aristotle's classifications. Numerous errors of both fact and logic were identified, predominantly used by anti-immunisation proponents, but occasionally by health authorities. The proportion of media articles reporting exclusively fact changes over time during the life of a vaccine where new vaccines incur little fallacious reporting and established vaccines generate inaccurate claims. Fallacious arguments can be deconstructed and classified into a classical taxonomy including non sequitur and argumentum ad Hominem. Most media 'balance' given to immunisation relies on 'he said, she said' arguments using quotes from opposing spokespersons with a failure to verify the scientific validity of both the material and the source. Health professionals and media need training so that recognising and critiquing public health arguments becomes accepted practice: stronger public relations strategies should challenge poor quality articles to journalists' code of ethics and the health sector needs to be proactive in predicting and pre-empting the expected responses to introduction of new public health initiatives such as a new vaccine. © 2010 The Authors. Journal Compilation © 2010 Public Health Association of Australia.

Methods for solving reasoning problems in abstract argumentation – A survey

Science.gov (United States)

Charwat, Günther; Dvořák, Wolfgang; Gaggl, Sarah A.; Wallner, Johannes P.; Woltran, Stefan

2015-01-01

Within the last decade, abstract argumentation has emerged as a central field in Artificial Intelligence. Besides providing a core formalism for many advanced argumentation systems, abstract argumentation has also served to capture several non-monotonic logics and other AI related principles. Although the idea of abstract argumentation is appealingly simple, several reasoning problems in this formalism exhibit high computational complexity. This calls for advanced techniques when it comes to implementation issues, a challenge which has been recently faced from different angles. In this survey, we give an overview on different methods for solving reasoning problems in abstract argumentation and compare their particular features. Moreover, we highlight available state-of-the-art systems for abstract argumentation, which put these methods to practice. PMID:25737590

Extending Value Logic Thinking to Value Logic Portfolios

DEFF Research Database (Denmark)

Andersen, Poul Houman; Ritter, Thomas

2014-01-01

Based on value creation logic theory (Stabell & Fjeldstad, 1998), this paper suggests an extension of the original Stabell & Fjeldstad model by an additional fourth value logic, the value system logic. Furthermore, instead of only allowing one dominant value creation logic for a given firm...... or transaction, an understanding of firms and transactions as a portfolio of value logics (i.e. an interconnected coexistence of different value creation logics) is proposed. These additions to the original value creation logic theory imply interesting avenues for both, strategic decision making in firms...

It Takes Two to Tango: Customization and Standardization as Colluding Logics in Healthcare

Science.gov (United States)

Greenfield, David; Eljiz, Kathy; Butler-Henderson, Kerryn

2018-01-01

The healthcare context is characterized with new developments, technologies, ideas and expectations that are continually reshaping the frontline of care delivery. Mannion and Exworthy identify two key factors driving this complexity, ‘standardization’ and ‘customization,’ and their apparent resulting paradox to be negotiated by healthcare professionals, managers and policy makers. However, while they present a compelling argument an alternative viewpoint exists. An analysis is presented that shows instead of being ‘competing’ logics in healthcare, standardization and customization are long standing ‘colluding’ logics. Mannion and Exworthy’s call for further sustained work to understand this complex, contested space is endorsed, noting that it is critical to inform future debates and service decisions. PMID:29524942

The Argumentative Quality of the Qualitative Research Report

Directory of Open Access Journals (Sweden)

Adri Smaling

2002-09-01

Full Text Available The author argues that, to be convincing, the claims of a qualitative research report must be logically and clearly supported. Eight rules for good argumentative dialogue are presented. The author then presents the process of analogical reasoning to support cross-case generalization.

The Effectiveness of a Single Intervention of Computer-Aided Argument Mapping in a Marketing and a Financial Accounting Subject

Science.gov (United States)

Carrington, Michal; Chen, Richard; Davies, Martin; Kaur, Jagjit; Neville, Benjamin

2011-01-01

An argument map visually represents the structure of an argument, outlining its informal logical connections and informing judgments as to its worthiness. Argument mapping can be augmented with dedicated software that aids the mapping process. Empirical evidence suggests that semester-length subjects using argument mapping along with dedicated…

Using Computer-Assisted Argumentation Mapping to develop effective argumentation skills in high school advanced placement physics

Science.gov (United States)

Heglund, Brian

Educators recognize the importance of reasoning ability for development of critical thinking skills, conceptual change, metacognition, and participation in 21st century society. There is a recognized need for students to improve their skills of argumentation, however, argumentation is not explicitly taught outside logic and philosophy---subjects that are not part of the K-12 curriculum. One potential way of supporting the development of argumentation skills in the K-12 context is through incorporating Computer-Assisted Argument Mapping to evaluate arguments. This quasi-experimental study tested the effects of such argument mapping software and was informed by the following two research questions: 1. To what extent does the collaborative use of Computer-Assisted Argumentation Mapping to evaluate competing theories influence the critical thinking skill of argument evaluation, metacognitive awareness, and conceptual knowledge acquisition in high school Advanced Placement physics, compared to the more traditional method of text tables that does not employ Computer-Assisted Argumentation Mapping? 2. What are the student perceptions of the pros and cons of argument evaluation in the high school Advanced Placement physics environment? This study examined changes in critical thinking skills, including argumentation evaluation skills, as well as metacognitive awareness and conceptual knowledge, in two groups: a treatment group using Computer-Assisted Argumentation Mapping to evaluate physics arguments, and a comparison group using text tables to evaluate physics arguments. Quantitative and qualitative methods for collecting and analyzing data were used to answer the research questions. Quantitative data indicated no significant difference between the experimental groups, and qualitative data suggested students perceived pros and cons of argument evaluation in the high school Advanced Placement physics environment, such as self-reported sense of improvement in argument

Innovative learning model for improving students’ argumentation skill and concept understanding on science

Science.gov (United States)

Nafsiati Astuti, Rini

2018-04-01

Argumentation skill is the ability to compose and maintain arguments consisting of claims, supports for evidence, and strengthened-reasons. Argumentation is an important skill student needs to face the challenges of globalization in the 21st century. It is not an ability that can be developed by itself along with the physical development of human, but it must be developed under nerve like process, giving stimulus so as to require a person to be able to argue. Therefore, teachers should develop students’ skill of arguing in science learning in the classroom. The purpose of this study is to obtain an innovative learning model that are valid in terms of content and construct in improving the skills of argumentation and concept understanding of junior high school students. The assessment of content validity and construct validity was done through Focus Group Discussion (FGD), using the content and construct validation sheet, book model, learning video, and a set of learning aids for one meeting. Assessment results from 3 (three) experts showed that the learning model developed in the category was valid. The validity itself shows that the developed learning model has met the content requirement, the student needs, state of the art, strong theoretical and empirical foundation and construct validity, which has a connection of syntax stages and components of learning model so that it can be applied in the classroom activities

The death of argument fallacies in agent based reasoning

CERN Document Server

Woods, John

2004-01-01

This book is a sequel to the classic work, Fallacies Selected Papers 1972 - 1982 (1989), coauthored with Douglas Walton, and is a further major contribution to the Woods-Walton Approach to the logic of fallacious reasoning No one disputes the formitable accomplishments of modern mathematical logic; but equally no one seriously believes that classical logic is much good for the analysis of real-life argument and reasoning, or that it is the best place in which to transact the business of fallacy theory One of the principal innovations of the book is its adaptation of systems of logic to the particular requirements of fallacy theory The book develops logical analyses which take into account such features of real-life cognitive agency as resource- availability and computational complexity The book is also an invitation to interdisciplinary cooperation, linking the relevant branches of logic with computer science, cognitive psychology, neurobiology, forensic science, linguistics, (including conversational analysi...

Homosexual marriage: The Victory of Political Correctness and Bad Arguments

OpenAIRE

Neven Sesardic

2007-01-01

Many Western intellectuals, especially those in humanities and socialsciences, think that it can be easily shown that the persistent and massive opposition to same-sex marriage is rationally indefensible and that it is merely a result of prejudice or religious fanaticism. But a more detailed analysis of some of these widely accepted arguments against the conservative position reveals that these arguments are in fact based on logical fallacies and serious distortions of conservative criticisms...

Homosexual marriage: The Victory of Political Correctness and Bad Arguments

OpenAIRE

Sesardić, Neven

2007-01-01

Many Western intellectuals, especially those in humanities and social sciences, think that it can be easily shown that the persistent and massive opposition to same-sex marriage is rationally indefensible and that it is merely a result of prejudice or religious fanaticism. But a more detailed analysis of some of these widely accepted arguments against the conservative position reveals that these arguments are in fact based on logical fallacies and serious distortions of conservative critic...

Relating Reasoning Methodologies in Linear Logic and Process Algebra

Directory of Open Access Journals (Sweden)

Yuxin Deng

2012-11-01

Full Text Available We show that the proof-theoretic notion of logical preorder coincides with the process-theoretic notion of contextual preorder for a CCS-like calculus obtained from the formula-as-process interpretation of a fragment of linear logic. The argument makes use of other standard notions in process algebra, namely a labeled transition system and a coinductively defined simulation relation. This result establishes a connection between an approach to reason about process specifications and a method to reason about logic specifications.

A Safety Conundrum Illustrated: Logic, Mathematics, and Science Are Not Enough

Science.gov (United States)

Holloway, C. M.; Johnson, C. W.; Collins, Kristine R.

2010-01-01

In an ideal world, conversations about whether a particular system is safe, or whether a particular method or tool enhances safety, would be emotion-free discussions concentrating on the level of safety required, available evidence, and coherent logical, mathematical, or scientific arguments based on that evidence. In the real world, discussions about safety are often not emotion-free. Political and economic arguments may play a bigger role than logical, mathematical, and scientific arguments, and psychological factors may be as important, or even more important, than purely technical factors. This paper illustrates the conundrum that can result from this clash of the ideal and the real by means of an imagined conversation among a collection of fictional characters representing various types of people who may be participating in a safety discussion.

Modeling the Effects of Argument Length and Validity on Inductive and Deductive Reasoning

Science.gov (United States)

Rotello, Caren M.; Heit, Evan

2009-01-01

In an effort to assess models of inductive reasoning and deductive reasoning, the authors, in 3 experiments, examined the effects of argument length and logical validity on evaluation of arguments. In Experiments 1a and 1b, participants were given either induction or deduction instructions for a common set of stimuli. Two distinct effects were…

"Argument!" Helping Students Understand What Essay Writing Is About

Science.gov (United States)

Wingate, Ursula

2012-01-01

Argumentation is a key requirement of the essay, which is the most common genre that students have to write. However, how argumentation is realised in disciplinary writing is often poorly understood by academic tutors, and therefore not adequately taught to students. This paper presents research into undergraduate students' concepts of argument…

On the Logic of Separating the Fiscal Policy from the Fiscal Administration

Directory of Open Access Journals (Sweden)

Ionel Leonida

2010-06-01

Full Text Available One of the problems yet to be solved in a satisfactorily manner in Romania is the decentralisation of the public administration. In general, by decentralisation we understand the separation of the central decision from the local (or regional decision based on the principle of subsidiarity. In our opinion, The National Agency for Fiscal Administration should function, in a decentralised manner, meaning outside of the Ministry of Public Finances. In support of this statement we will present two modules or arguments: a wewill first debate on the matter of public administration decentralisation; b second, we will debate in favour ofthe institutional separation of ANAF from the Ministry of Public Finances. Objectives: Implementation of concrete desire for decentralization of public administration; Identification of conceptual distinctions, structural and functional development of tax policy and administration of fiscal policy. Prior work: Assessment of net tax burden; Phillips curve assessment for Romania; Automatic fiscal stabilizers; Sustainability of fiscal policy. Approach: Logical analysis of the concepts involved in the study; Highlighting the distinctions of semantic and pragmatic nature of the concepts involved in the study. Results: decisive arguments concerning the desirability of the structural separation of the fiscal policy from the fiscal administration. Implications: providing arguments for a separation of fiscal policy decision to tax administration; a collection efficiency of budgetary obligations. Potential beneficiaries : The Ministry of Finance; the National Agency for Fiscal Administration; the Government of Romania; the Ministry ofInternal Affairs and Administration. Value: Contributions from conceptual nature: semantic separation of fiscal policy from tax administration; from methodological nature: demonstrating scientific research force of un application logic analysis method; from empirical nature: demonstrating the need

Considerations concerning the justification of quantum logic by the argumentative conditions of a scientific language

International Nuclear Information System (INIS)

Stachow, E.W.

1980-01-01

The author discusses the connection between dialogical logic and the empirical conditions of quantum mechanics. It is shown how this dialogue game leads to a nonclassical logical calculus, called the effective quantum logic. (HSI)

Understanding ill-structured engineering ethics problems through a collaborative learning and argument visualization approach.

Science.gov (United States)

Hoffmann, Michael; Borenstein, Jason

2014-03-01

As a committee of the National Academy of Engineering recognized, ethics education should foster the ability of students to analyze complex decision situations and ill-structured problems. Building on the NAE's insights, we report about an innovative teaching approach that has two main features: first, it places the emphasis on deliberation and on self-directed, problem-based learning in small groups of students; and second, it focuses on understanding ill-structured problems. The first innovation is motivated by an abundance of scholarly research that supports the value of deliberative learning practices. The second results from a critique of the traditional case-study approach in engineering ethics. A key problem with standard cases is that they are usually described in such a fashion that renders the ethical problem as being too obvious and simplistic. The practitioner, by contrast, may face problems that are ill-structured. In the collaborative learning environment described here, groups of students use interactive and web-based argument visualization software called "AGORA-net: Participate - Deliberate!". The function of the software is to structure communication and problem solving in small groups. Students are confronted with the task of identifying possible stakeholder positions and reconstructing their legitimacy by constructing justifications for these positions in the form of graphically represented argument maps. The argument maps are then presented in class so that these stakeholder positions and their respective justifications become visible and can be brought into a reasoned dialogue. Argument mapping provides an opportunity for students to collaborate in teams and to develop critical thinking and argumentation skills.

Quantum Logic as a Dynamic Logic

NARCIS (Netherlands)

Baltag, A.; Smets, S.

We address the old question whether a logical understanding of Quantum Mechanics requires abandoning some of the principles of classical logic. Against Putnam and others (Among whom we may count or not E. W. Beth, depending on how we interpret some of his statements), our answer is a clear “no”.

Quantum logic as a dynamic logic

NARCIS (Netherlands)

Baltag, Alexandru; Smets, Sonja

We address the old question whether a logical understanding of Quantum Mechanics requires abandoning some of the principles of classical logic. Against Putnam and others (Among whom we may count or not E. W. Beth, depending on how we interpret some of his statements), our answer is a clear "no".

Stepping Theories of Active Logic with Two Kinds of Negation

Directory of Open Access Journals (Sweden)

Mikhail M. Vinkov

2017-01-01

Full Text Available This paper formulates a stepping theory formalism with two kinds of negation dealing with one of the areas of Active Logic, a new kind of logic aimed at performing practical tasks in real time knowledge-based AI systems. In addition to the standard logical negation, the proposed formalism uses the so-called subjective negation interpreted as inability to arrive at some conclusion through reasoning by a current time. The semantics of the proposed formalism is defined as an~argumentation structure.

TOWARDS A PHILOSOPHICAL UNDERSTANDING OF THE LOGICS OF FORMAL INCONSISTENCY

Directory of Open Access Journals (Sweden)

WALTER CARNIELLI

2015-01-01

Full Text Available AbstractIn this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non-contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order to philosophically justify paraconsistency there is no need to endorse dialetheism, the thesis that there are true contradictions. Furthermore, we show that mbC, a logic of formal inconsistency based on classical logic, may be enhanced in order to express the basic ideas of an intuitive interpretation of contradictions as conflicting evidence.

How to Understand Custodial Belonging

Directory of Open Access Journals (Sweden)

Ann Game

2013-08-01

Full Text Available Debates about ecological responsibility are interested in different forms of belonging. This article develops an understanding of a custodial form of belonging based on the logic of relation, which we distinguish from a proprietorial form of belonging based on the logic of identity. Theorists working on questions of belonging use a language of custodianship when describing a sense of responsibility and care that arises through connection or relation. We argue, however, that the full significance of custodial belonging cannot be appreciated when understandings of connection are derived from within the terms of identity logic. In other words, when belonging is understood in terms of identity and identification, custodianship is inadvertently reduced to a proprietorial form of responsibility and care. We develop this argument by addressing Australian research on custodial belonging. Focusing on the influential work of Deborah Bird Rose, we argue that there are tensions between, on the one hand, her attempts to recognise connected forms of belonging, and, on the other, her conceptual reliance on the assumptions of identity logic. Our primary concern here is to indicate relational possibilities in her work precluded by the language of identity. In particular, we suggest that the concept of ecological being allows for a specificity and inclusiveness that are not recognised by Rose’s concept of the ‘ecologically emplaced self’.

Two aspects of relevance in structured argumentation: minimality and paraconsistency

NARCIS (Netherlands)

Grooters, Diana; Prakken, H.

2016-01-01

This paper studies two issues concerning relevance in structured argumentation in the context of the ASPIC+ framework, arising from the combined use of strict and defeasible inference rules. One issue arises if the strict inference rules correspond to classical logic. A longstanding problem is how

Changes in Pre-Service Science Teachers' Understandings After Being Involved in Explicit Nature of Science and Socioscientific Argumentation Processes

Science.gov (United States)

Kutluca, A. Y.; Aydin, A.

2017-01-01

The study explored the changes in pre-service science teachers' understanding of the nature of science and their opinions about the nature of science, science teaching and argumentation after their participation in explicit nature of science (NOS) and socioscientific argumentation processes. The participants were 56 third-grade pre-service science…

A complete characterization of all-versus-nothing arguments for stabilizer states

Science.gov (United States)

Abramsky, Samson; Barbosa, Rui Soares; Carù, Giovanni; Perdrix, Simon

2017-10-01

An important class of contextuality arguments in quantum foundations are the all-versus-nothing (AvN) proofs, generalizing a construction originally due to Mermin. We present a general formulation of AvN arguments and a complete characterization of all such arguments that arise from stabilizer states. We show that every AvN argument for an n-qubit stabilizer state can be reduced to an AvN proof for a three-qubit state that is local Clifford-equivalent to the tripartite Greenberger-Horne-Zeilinger state. This is achieved through a combinatorial characterization of AvN arguments, the AvN triple theorem, whose proof makes use of the theory of graph states. This result enables the development of a computational method to generate all the AvN arguments in on n-qubit stabilizer states. We also present new insights into the stabilizer formalism and its connections with logic. This article is part of the themed issue `Second quantum revolution: foundational questions'.

The Transcendental Character of Money: An Exposition of Marx's Argument in the Grundrisse

Directory of Open Access Journals (Sweden)

John Frederick Humphrey

2010-03-01

Full Text Available An exposition of Karl Marx’s argument in the Grundrisse for the logical development of money, this essay is divided into three parts. Since Marx is concerned to distinguish himself and his method from that of the seventeenth century political economists, I begin my paper with a brief reflection on “the scientifically correct method” or the “theoretical method” (Grundrisse 101 and 102. The second part of this paper considers how Marx justifies beginning his reflection with the concept of production in general. To understand the importance that Marx attributes to production, one must also appreciate the way in which distribution, exchange, and consumption belong to the sphere of production. In the remaining pages of this section of my paper, then, I attempt to reconstruct Marx’s argument for the way in which these concepts (distribution, exchange, and consumption are to be understood in relation to the sphere of production.

The Cultural Argument for Understanding Nature of Science. A Chance to Reflect on Similarities and Differences Between Science and Humanities

Science.gov (United States)

Reiners, Christiane S.; Bliersbach, Markus; Marniok, Karl

2017-07-01

Understanding Nature of Science (NOS) is a central component of scientific literacy, which is agreed upon internationally, and consequently has been a major educational goal for many years all over the globe. In order to justify the promotion of an adequate understanding of NOS, educators have developed several arguments, among them the cultural argument. But what is behind this argument? In order to answer this question, C. P. Snow's vision of two cultures was used as a starting point. In his famous Rede Lecture from 1959, he complained about a wide gap between the arts and humanities on the one hand and sciences on the other hand. While the representatives of the humanities refer to themselves as real intellectuals, the scientists felt rather ignored as a culture, despite the fact that their achievements had been so important for Western society. Thus, Snow argued that as these intellectual cultures were completely different from each other, a mutual understanding was impossible. The first European Regional IHPST Conference took up the cultural view on science again. Thus, the topic of the conference "Science as Culture in the European Context" encouraged us to look at the two cultures and to figure out possibilities to bridge the gap between them in chemistry teacher education. For this reason, we put together three studies—one theoretical and two independent research projects (one dealing with creativity in science, the other with scientific laws and theories) which contribute to our main research field (promoting an understanding of NOS)—in order to address the cultural argument for understanding science from an educational point of view. Among the consented tenets of what understanding NOS implies in an educational context, there are aspects which are associated mainly with the humanities, like the tentativeness of knowledge, creativity, and social tradition, whereas others seem to have a domain-specific meaning, like empirical evidence, theories and laws

L’argumentation dans le discours d’information médiatique Argumentation in Media Discourse

Directory of Open Access Journals (Sweden)

Wander Emediato

2011-10-01

Full Text Available L’article présente quelques éléments de réflexion susceptibles de contribuer au développement d’une étude sur l’argumentation dans le discours d’information médiatique. Dans cette perspective, il poursuit deux objectifs complémentaires. L’un, d’ordre géneral, consiste à montrer comment les trois approches dominantes de l’argumentation (logique, linguistique et rhétorique sont à la fois différenciées, et étroitement imbriquées dans l’analyse du discours de presse. La seconde concerne le fonctionnement du discours d’information dans la presse et la façon dont il met en place, par des opérations de cadrage, d’effacement énonciatif, d’ellipses, etc. une « dimension argumentative » (Amossy 2000 : sans avoir une visée argumentative avouée, il se propose néanmoins d’agir sur les croyances et les représentations du lecteur. A titre d’exemple, l’étude traite d’un corpus de titres empruntés essentiellement à la presse brésilienne.This paper aims at contributing to the development of argumentation studies in the field of media discourse, and within this perspective, it presents two main complementary objectives. Firstly, it strives at showing how the three main approaches to argumentation (logical, linguistic and rhetoric are both distinct and closely interconnected in the analysis of media discourse. The second objective concerns the functioning of the selected genre of discourse: the paper examines how, through procedures of framing, obliteration of the enunciative modality, ellipses, etc., media discourse sets up an “argumentative dimension” (Amossy 2000. Although not overtly intended for persuasion, media discourse nevertheless sets out to act upon the reader’s beliefs and representations. These issues are tackled through the analysis of a sample of headlines mostly borrowed from the Brazilian press.

A computational paradigm for dynamic logic-gates in neuronal activity

Directory of Open Access Journals (Sweden)

Amir eGoldental

2014-04-01

Full Text Available In 1943 McCulloch and Pitts suggested that the brain is composed of reliable logic-gates similar to the logic at the core of today's computers. This framework had a limited impact on neuroscience, since neurons exhibit far richer dynamics. Here we propose a new experimentally corroborated paradigm in which the truth tables of the brain's logic-gates are time dependent, i.e. dynamic logic-gates (DLGs. The truth tables of the DLGs depend on the history of their activity and the stimulation frequencies of their input neurons. Our experimental results are based on a procedure where conditioned stimulations were enforced on circuits of neurons embedded within a large-scale network of cortical cells in-vitro. We demonstrate that the underlying biological mechanism is the unavoidable increase of neuronal response latencies to ongoing stimulations, which imposes a non-uniform gradual stretching of network delays. The limited experimental results are confirmed and extended by simulations and theoretical arguments based on identical neurons with a fixed increase of the neuronal response latency per evoked spike. We anticipate our results to lead to better understanding of the suitability of this computational paradigm to account for the brain's functionalities and will require the development of new systematic mathematical methods beyond the methods developed for traditional Boolean algebra.

Harz/Vesper: Acceptance Research with Logical Relations and Pragma-Dialectics

Science.gov (United States)

Harz, M.

2012-04-01

We use two different theories for our research on the acceptance of carbon capture and storage (CCS), geothermal energy and shale gas: logical relations and pragma-dialectics. With the theory of logical relations we can describe the structure of the terminus "acceptance" as a three-place or more relationship. We use the Newtonian binominal coefficients order to reflect on the complexity of the concept of acceptance. We are exploring relations between citizens, politicians, scientists, businesses and technologies. The technological-philosophical reflection on the topic "Determinants for acceptance of new technologies" concerns the issues of "Trust", "Security" as well as "Interest and Use" as the essential constituents of acceptance. Trust: Politicians, scientists and entrepreneurs need to understand themselves as advocates of acceptance. Acceptance is not automatic but requires a great effort and continuous personal commitment, as you want to secure acceptance not only for the short-term but for the long-term. The confidence curve follows a hysteresis loop as known from the magnetization of materials: It requires a significant effort. If the existing trust is lost due to erroneous communication or incorrect political action, the restoration effort is significantly greater. Citizens need to understand themselves as being asked for acceptance and as actively influencing the shapes of their life. They may not feel as victims or sufferers from technological developments but should have a realistic feeling of being able to influence - in fact - anything. "Openness creates openness." (H.-J. Bullinger) Security: The advocate promoting acceptance must take into account the security needs of the citizens with regard to the technologies which are supposed to be accepted. Even irrational fears are actual fears that can prevent acceptance. Interests and Goals of Usage: The advocate promoting acceptance must - sincerely and publicly - express his interest in the use and goals

Exploring the Impact of Argumentation on Pre-Service Science Teachers' Conceptual Understanding of Chemical Equilibrium

Science.gov (United States)

Aydeniz, Mehmet; Dogan, Alev

2016-01-01

This study examines the impact of argumentation on pre-service science teachers' (PST) conceptual understanding of chemical equilibrium. The sample consisted of 57 first-year PSTs enrolled in a teacher education program in Turkey. Thirty two of the 57 PSTs who participated in this study were in the experimental group and 25 in the control group.…

Questions of Logic, Philosophy, and Linguistics

Directory of Open Access Journals (Sweden)

Marcio Chaves-Tannús

2011-04-01

Full Text Available There were in the past, just as there are in the present, several diverse attempts to establish a unique theory capable of identifying in all natural languages a similar, invariable basic structure of a logical nature. If such a theory exists, then there must be principles that rule the functioning of these languages and they must have a logical origin. Based on a work by the French linguist, Oswald Ducrot, entitled D’un mauvais usage de la logique, this paper aims to present in a concise manner two of the above mentioned attempts. They were elaborated in diverse epochs and different arguments were put forward to support them. The first attempt was in XVII century France and its theoretic basis was the renowned ‘Port-Royal Logic’. The second attempt is recent and its theoretic support comes from Contemporary Logic.

Enhancing nature of science understanding, reflective judgment, and argumentation through socioscientific issues

Science.gov (United States)

Callahan, Brendan E.

There is a distinct divide between theory and practice in American science education. Research indicates that a constructivist philosophy, in which students construct their own knowledge, is conductive to learning, while in many cases teachers continue to present science in a more traditional manner. This study sought to explore possible relationships between a socioscientific issues based curriculum and three outcome variables: nature of science understanding, reflective judgment, and argumentation skill. Both quantitative and qualitative methods were used to examine both whole class differences as well as individual differences between the beginning and end of a semester of high school Biology I. Results indicated that the socioscientific issues based curriculum did not produce statistically significant changes over the course of one semester. However, the treatment group scored better on all three instruments than the comparison group. The small sample size may have contributed to the inability to find statistical significance in this study. The qualitative interviews did indicate that some students provided more sophisticated views on nature of science and reflective judgment, and were able to provide slightly more complex argumentation structures. Theoretical implications regarding the use of explicit use of socioscientific issues in the classroom are presented.

Understanding a High School Physics Teacher's Pedagogical Content Knowledge of Argumentation

Science.gov (United States)

Wang, Jianlan; Buck, Gayle A.

2016-01-01

Scientific argumentation is an important learning objective in science education. It is also an effective instructional approach to constructivist science learning. The implementation of argumentation in school settings requires science teachers, who are pivotal agents of transforming classroom practices, to develop sophisticated knowledge of…

What are Institutional Logics

OpenAIRE

Berg Johansen, Christina; Bock Waldorff, Susanne

2015-01-01

This study presents new insights into the explanatory power of the institutional logics perspective. With outset in a discussion of seminal theory texts, we identify two fundamental topics that frame institutional logics: overarching institutional orders guided by institutional logics, as well as change and agency generated by friction between logics. We use these topics as basis for an analysis of selected empirical papers, with the aim of understanding how institutional logics contribute to...

What are Institutional Logics

DEFF Research Database (Denmark)

Berg Johansen, Christina; Waldorff, Susanne Boch

This study presents new insights into the explanatory power of the institutional logics perspective. With outset in a discussion of seminal theory texts, we identify two fundamental topics that frame institutional logics: overarching institutional orders guides by institutional logics, as well...... as change and agency generated by friction between logics. We use these topics as basis for an analysis of selected empirical papers, with the aim of understanding how institutional logics contribute to institutional theory at large, and which social matters institutional logics can and cannot explore...

It Takes Two to Tango: Customization and Standardization as Colluding Logics in Healthcare Comment on "(Re) Making the Procrustean Bed Standardization and Customization as Competing Logics in Healthcare".

Science.gov (United States)

Greenfield, David; Eljiz, Kathy; Butler-Henderson, Kerryn

2017-06-28

The healthcare context is characterized with new developments, technologies, ideas and expectations that are continually reshaping the frontline of care delivery. Mannion and Exworthy identify two key factors driving this complexity, 'standardization' and 'customization,' and their apparent resulting paradox to be negotiated by healthcare professionals, managers and policy makers. However, while they present a compelling argument an alternative viewpoint exists. An analysis is presented that shows instead of being 'competing' logics in healthcare, standardization and customization are long standing 'colluding' logics. Mannion and Exworthy's call for further sustained work to understand this complex, contested space is endorsed, noting that it is critical to inform future debates and service decisions. © 2018 The Author(s); Published by Kerman University of Medical Sciences. This is an open-access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Logic and Philosophy of Time

DEFF Research Database (Denmark)

By blending historical research with current research, this collection (loosely inspired by themes from the work of Arthur Prior) demonstrates the importance of Prior's writings and helps us to gain a deeper understanding of time, its logic(s), and its language(s).......By blending historical research with current research, this collection (loosely inspired by themes from the work of Arthur Prior) demonstrates the importance of Prior's writings and helps us to gain a deeper understanding of time, its logic(s), and its language(s)....

Proving deadlock freedom of logic programs with dynamic scheduling

NARCIS (Netherlands)

E. Marchiori; F. Teusink (Frank)

1996-01-01

textabstractIn increasingly many logic programming systems, the Prolog left to right selection rule has been replaced with dynamic selection rules, that select an atom of a query among those satisfying suitable conditions. These conditions describe the form of the arguments of every program

The logic-bias effect: The role of effortful processing in the resolution of belief-logic conflict.

Science.gov (United States)

Howarth, Stephanie; Handley, Simon J; Walsh, Clare

2016-02-01

According to the default interventionist dual-process account of reasoning, belief-based responses to reasoning tasks are based on Type 1 processes generated by default, which must be inhibited in order to produce an effortful, Type 2 output based on the validity of an argument. However, recent research has indicated that reasoning on the basis of beliefs may not be as fast and automatic as this account claims. In three experiments, we presented participants with a reasoning task that was to be completed while they were generating random numbers (RNG). We used the novel methodology introduced by Handley, Newstead & Trippas (Journal of Experimental Psychology: Learning, Memory, and Cognition, 37, 28-43, 2011), which required participants to make judgments based upon either the validity of a conditional argument or the believability of its conclusion. The results showed that belief-based judgments produced lower rates of accuracy overall and were influenced to a greater extent than validity judgments by the presence of a conflict between belief and logic for both simple and complex arguments. These findings were replicated in Experiment 3, in which we controlled for switching demands in a blocked design. Across all three experiments, we found a main effect of RNG, implying that both instructional sets require some effortful processing. However, in the blocked design RNG had its greatest impact on logic judgments, suggesting that distinct executive resources may be required for each type of judgment. We discuss the implications of our findings for the default interventionist account and offer a parallel competitive model as an alternative interpretation for our findings.

Profile of mathematical reasoning ability of 8th grade students seen from communicational ability, basic skills, connection, and logical thinking

Science.gov (United States)

Sumarsih; Budiyono; Indriati, D.

2018-04-01

This research aims to understand the students’ weaknesses in mathematical reasoning ability in junior secondary school. A set of multiple choice tests were used to measure this ability involve components mathematical communication, basic skills, connection, and logical thinking. A total of 259 respondents were determined by stratified cluster random sampling. Data were analyzed using one-way Anova test with Fobs = 109.5760 and F = 3.0000. The results show that students’ ability from schools with high National Exam in mathematics category was the best and followed by medium and low category. Mathematical connection is the most difficult component performed by students. In addition, most students also have difficulty in expressing ideas and developing logical arguments.

The Third Life of Quantum Logic: Quantum Logic Inspired by Quantum Computing

OpenAIRE

Dunn, J. Michael; Moss, Lawrence S.; Wang, Zhenghan

2013-01-01

We begin by discussing the history of quantum logic, dividing it into three eras or lives. The first life has to do with Birkhoff and von Neumann's algebraic approach in the 1930's. The second life has to do with attempt to understand quantum logic as logic that began in the late 1950's and blossomed in the 1970's. And the third life has to do with recent developments in quantum logic coming from its connections to quantum computation. We discuss our own work connecting quantum logic to quant...

Confusion in the Classroom: Does "Logos" Mean Logic?

Science.gov (United States)

Little, Joseph

1999-01-01

Traces the term "logos" from the ninth to the fourth century B.C. to distinguish between its general meaning and its technical definition within classical rhetoric. Shows that Aristotle's "pistis" of "logos" refers, not to an appeal to logic, but to the argument or speech itself, which reinstates all three proofs of…

Examining Elementary Students' Development of Oral and Written Argumentation Practices Through Argument-Based Inquiry

Science.gov (United States)

Chen, Ying-Chih; Hand, Brian; Park, Soonhye

2016-05-01

Argumentation, and the production of scientific arguments are critical elements of inquiry that are necessary for helping students become scientifically literate through engaging them in constructing and critiquing ideas. This case study employed a mixed methods research design to examine the development in 5th grade students' practices of oral and written argumentation from one unit to another over 16 weeks utilizing the science writing heuristic approach. Data sources included five rounds of whole-class discussion focused on group presentations of arguments that occurred over eleven class periods; students' group writings; interviews with six target students and the teacher; and the researcher's field notes. The results revealed five salient trends in students' development of oral and written argumentative practices over time: (1) Students came to use more critique components as they participated in more rounds of whole-class discussion focused on group presentations of arguments; (2) by challenging each other's arguments, students came to focus on the coherence of the argument and the quality of evidence; (3) students came to use evidence to defend, support, and reject arguments; (4) the quality of students' writing continuously improved over time; and (5) students connected oral argument skills to written argument skills as they had opportunities to revise their writing after debating and developed awareness of the usefulness of critique from peers. Given the development in oral argumentative practices and the quality of written arguments over time, this study indicates that students' development of oral and written argumentative practices is positively related to each other. This study suggests that argumentative practices should be framed through both a social and epistemic understanding of argument-utilizing talk and writing as vehicles to create norms of these complex practices.

The acceptability of arguments in favour of and against the Iraq War

Directory of Open Access Journals (Sweden)

Juan LaLlave

2005-10-01

Full Text Available This paper reports on research based on an experimental questionnaire designed using the logic and the basic structure of the Moral Judgment Test (MJT by Lind (1982. The study aims at understanding how respondents' acceptance of political arguments may have contributed to the lack of international support for the Iraq war and/or to the failure to prevent a preemptive attack. It examines factors, which respondents may have relied on in their acceptance of the arguments. The instrument consisted of three components: (1 A brief vignette on the declared beginning (March 19, 2003 and ending (May 1, 2003 of major operations in Iraq. (2 Respondents' own agreement with the need for the war. (3 Twelve arguments from political speeches: Six arguments by Bush and Blair "in favor of" (pro, and six arguments by Chirac and Schroeder "against" (con the need for the Iraq war. We scored each argument using Kohlberg's (1984 stage theory and Commons' Hierarchical Complexity Scoring System (HCSS (Commons et al., 2004, which identifies hierarchical features in the structure. Using Kempf's (2003 Cognitive Escalation and De-Escalation Model (CEDM we scored each argument sentence for details. Our sample consists of (N = 397 respondents of which were 56.4% women, 24.2% men, and 19.4% did not specify. The largest groups consisted of 71% Germans, 37.2% Catholics, 74.3% between the ages of 18-20 with high school education. Another group consisted of 8.6% Americans with a broader spectrum in age and higher educational level. Using 7 point Likert scales, respondents rated whether they would have rejected or accepted the main point of each argument, whether the main point of the argument seemed illusory or realistic, and whether the emotion evoked by the argument was destructive or constructive. The analysis of the data aimed at determining which within subject and between subject design factors were relevant in predicting respondents' acceptance of arguments and the

The Origin of Pure Categories of the Understanding in Kant’s Transcendental Logic

OpenAIRE

Мухутдинов, Олег Мухтарович

2013-01-01

The article focuses on the problem of origin of pure categories of the understanding in Kant’s theoretical philosophy. The author argues that the way Kant proceeds from the table of judgments to the table of categories in the Transcendental Analytic lacks sufficient justification. The author then demonstrates that phenomenological approach allows for shedding light on actual preconditions of discovering pure ontological concepts.Key words: category, judgment, ontology, transcendental logic, u...

The Determinants of Money Arguments between Spouses

Directory of Open Access Journals (Sweden)

Dorothy B. Durband

2010-10-01

Full Text Available A commonly held view is that arguments about money are associated with marital problems, but relatively little is known about the nature of arguing about money within marriage. Using data from the National Longitudinal Survey of Youth 1979 (NLSY79, this study uses a collective bargaining approach to examine the role of money arguments in marriage. The sample (N = 1,371 consists of married women. A collective bargaining framework provides a context for understanding money arguments within the marital relationship. Results indicate that costly communication is the dominant predictor of money arguments, followed by level and proportion of wife’s income, and household net worth. Because results suggest that both communication and financial resources are important components to understanding money arguments within marriage, a combination of professionals trained in marital therapy and/or financial planning is required for couples interested in seeking assistance to increase their satisfaction and/or avoid divorce.

Generate an Argument: An Instructional Model

Science.gov (United States)

Sampson, Victor; Grooms, Jonathon

2010-01-01

The Generate an Argument instructional model was designed to engage students in scientific argumentation. By using this model, students develop complex reasoning and critical-thinking skills, understand the nature and development of scientific knowledge, and improve their communication skills (Duschl and Osborne 2002). This article describes the…

Linear Logic on Petri Nets

DEFF Research Database (Denmark)

Engberg, Uffe Henrik; Winskel, Glynn

This article shows how individual Petri nets form models of Girard's intuitionistic linear logic. It explores questions of expressiveness and completeness of linear logic with respect to this interpretation. An aim is to use Petri nets to give an understanding of linear logic and give some apprai...

Fuzzy Logic vs. Neutrosophic Logic: Operations Logic

Directory of Open Access Journals (Sweden)

Salah Bouzina

2016-12-01

Full Text Available The goal of this research is first to show how different, thorough, widespread and effective are the operations logic of the neutrosophic logic compared to the fuzzy logic’s operations logical. The second aim is to observe how a fully new logic, the neutrosophic logic, is established starting by changing the previous logical perspective fuzzy logic, and by changing that, we mean changing changing the truth values from the truth and falsity degrees membership in fuzzy logic, to the truth, falsity and indeterminacy degrees membership in neutrosophic logic; and thirdly, to observe that there is no limit to the logical discoveries - we only change the principle, then the system changes completely.

Head or tail? DeMorgan on the bounds of traditional logic

NARCIS (Netherlands)

Valencia, VS

1997-01-01

This paper is concerned with De Morgan's explanation of the validity of arguments that involve relational notions. It discusses De Morgan's expansion of traditional logic aimed at accommodating those inferences, and makes the point that his endeavour is not successful in that the rules that made up

Rhetoric, logic, and experiment in the quantum nonlocality debate

Directory of Open Access Journals (Sweden)

Graft Donald A.

2017-09-01

Full Text Available This paper argues that quantum nonlocality (QNL has not been rigorously proven, despite the existence of recent Einstein-Podolsky-Rosen-Bohm (EPRB experiments that are claimed to be ‘loophole-free’. First, readers are alerted to rhetorical arguments, which are unfortunately often appealed to in the QNL debate, to empower readers to identify and reject such arguments. Second, logical problems in QNL proofs are described and exemplified by a discussion of the projection postulate problem. Third, experimental issues are described and exemplified by a discussion of the postselection problem. The paper concludes that QNL has not been proven and that locality cannot be excluded.

Brand “NIKE”, its signs and arguments: a study of applied semiotic

Directory of Open Access Journals (Sweden)

Vinícius dos Santos Souza

2016-05-01

Full Text Available This study elected as its research object the logo of the call sporting products company Nike; as regards to the Greek goodness Nice: diva of the victory. Based on Peirce's semiotics, our aim to identify and understand the perceptive and historical foundations responsible for sustaining the said logo as a sign capable of representing the company in their business purposes. We aim to demonstrate that the selection of logo for the company's founders follows a line of argument focused on building of semiotic links - perceptive and historical - between the brand, its products and the behavior of their consumers. The logo implies a dedicated language for the possibility of a communicative link between the product and the subjectivity of its consumer; so that the first former becomes logically part of thoughts and behaviors of the second.

Dialogical argumentation in elementary science classrooms

Science.gov (United States)

Kim, Mijung; Roth, Wolff-Michael

2018-02-01

To understand students' argumentation abilities, there have been practices that focus on counting and analyzing argumentation schemes such as claim, evidence, warrant, backing, and rebuttal. This analytic approach does not address the dynamics of epistemic criteria of children's reasoning and decision-making in dialogical situations. The common approach also does not address the practice of argumentation in lower elementary grades (K-3) because these children do not master the structure of argumentation and, therefore, are considered not ready for processing argumentative discourse. There is thus little research focusing on lower elementary school students' argumentation in school science. This study, drawing on the societal-historical approach by L. S. Vygotsky, explored children's argumentation as social relations by investigating the genesis of evidence-related practices (especially burden of proof) in second- and third-grade children. The findings show (a) students' capacity for connecting claim and evidence/responding to the burden of proof and critical move varies and (b) that teachers play a significant role to emphasize the importance of evidence but experience difficulties removing children's favored ideas during the turn taking of argumentative dialogue. The findings on the nature of dialogical reasoning and teacher's role provide further insights about discussions on pedagogical approaches to children's reasoning and argumentation.

Epistemic Purposes to Prompt Argumentation in inquiry-based classes

Directory of Open Access Journals (Sweden)

Arthur Tadeu Ferraz

2017-04-01

Full Text Available Considering the growth in interest on argumentation in research on science education, in this paper our goal is to propose an overview of actions taken by a teacher that made possible to establish and mediate production of arguments by the students in classroom. For this purpose, we analyze a physics lesson where discussions were about light duality, through a planned inquiry-based sequence teaching. We developed a set of codes called Epistemic Purposes for Promotion of Argumentation that allow understanding teacher's purposes as well his actions to promote argumentation among students during inquiry-based lessons. According to theoretical proposition and empirical analysis, it was revealed that the construction of arguments by students has a high dependence on how ideas are problematized by teacher. The construction of understanding  by students requires teacher actions that result in contributions of different kinds.

A case for nuclear power: economic and environmental argument for going nuclear

International Nuclear Information System (INIS)

Kemeny, L.G.

1989-01-01

Economic and environmental arguments are presented showing how Australia could benefit from the enormous financial rewards and high technology expertise stemming from full involvement in the nuclear fuel cycle, while making a significant global contribution to the elimation of greenhouse gases. The Northern Territory is viewed as the logical choice for establishing an integrated nuclear fuel cycle industry. 2 tabs, diagrams

Heuristic Synthesis of Reversible Logic – A Comparative Study

Directory of Open Access Journals (Sweden)

Chua Shin Cheng

2014-01-01

Full Text Available Reversible logic circuits have been historically motivated by theoretical research in low-power, and recently attracted interest as components of the quantum algorithm, optical computing and nanotechnology. However due to the intrinsic property of reversible logic, traditional irreversible logic design and synthesis methods cannot be carried out. Thus a new set of algorithms are developed correctly to synthesize reversible logic circuit. This paper presents a comprehensive literature review with comparative study on heuristic based reversible logic synthesis. It reviews a range of heuristic based reversible logic synthesis techniques reported by researchers (BDD-based, cycle-based, search-based, non-search-based, rule-based, transformation-based, and ESOP-based. All techniques are described in detail and summarized in a table based on their features, limitation, library used and their consideration metric. Benchmark comparison of gate count and quantum cost are analysed for each synthesis technique. Comparing the synthesis algorithm outputs over the years, it can be observed that different approach has been used for the synthesis of reversible circuit. However, the improvements are not significant. Quantum cost and gate count has improved over the years, but arguments and debates are still on certain issues such as the issue of garbage outputs that remain the same. This paper provides the information of all heuristic based synthesis of reversible logic method proposed over the years. All techniques are explained in detail and thus informative for new reversible logic researchers and bridging the knowledge gap in this area.

The Illusion of Argument Justification

Science.gov (United States)

Fisher, Matthew; Keil, Frank

2013-01-01

Argumentation is an important way to reach new understanding. Strongly caring about an issue, which is often evident when dealing with controversial issues, has been shown to lead to biases in argumentation. We suggest that people are not well calibrated in assessing their ability to justify a position through argumentation, an effect we call the illusion of argument justification. Furthermore we find that caring about the issue further clouds this introspection. We first show this illusion by measuring the difference between ratings before and after producing an argument for one’s own position. The strength of the illusion is predicted by the strength of care for a given issue (Study 1). The tacit influences of framing and priming do not override the effects of emotional investment in a topic (Study 2). However, explicitly considering counterarguments removes the effect of care when initially assessing the ability to justify a position (Study 3). Finally, we consider our findings in light of other recent research and discuss the potential benefits of group reasoning. PMID:23506085

The Influence of Argumentation on Understanding Nature of Science

Science.gov (United States)

Boran, Gül Hanim; Bag, Hüseyin

2016-01-01

The aim in conducting this study is to explore the effects of argumentation on pre-service science teachers' views of the nature of science. This study used a qualitative case study and conducted with 20 pre-service science teachers. Data sources include an open-ended questionnaire and audio-taped interviews. According to pretest and posttest…

Argumentation as a Strategy for Increasing Preservice Teachers’ Understanding of Climate Change, a Key Global Socioscientific Issue

OpenAIRE

Lambert, Julie L.; Bleicher, Robert E.

2017-01-01

Findings of this study suggest that scientific argumentation can play an effective role in addressing complex socioscientific issues (i.e. global climate change). This research examined changes in preservice teachers’ knowledge and perceptions about climate change in an innovative undergraduate-level elementary science methods course. The preservice teachers’ understanding of fundamental concepts (e.g., the difference between weather and climate, causes of recent global warming, etc.) increas...

Physician-patient argumentation and communication, comparing Toulmin's model, pragma-dialectics, and American sociolinguistics.

Science.gov (United States)

Rivera, Francisco Javier Uribe; Artmann, Elizabeth

2015-12-01

This article discusses the application of theories of argumentation and communication to the field of medicine. Based on a literature review, the authors compare Toulmin's model, pragma-dialectics, and the work of Todd and Fisher, derived from American sociolinguistics. These approaches were selected because they belong to the pragmatic field of language. The main results were: pragma-dialectics characterizes medical reasoning more comprehensively, highlighting specific elements of the three disciplines of argumentation: dialectics, rhetoric, and logic; Toulmin's model helps substantiate the declaration of diagnostic and therapeutic hypotheses, and as part of an interpretive medicine, approximates the pragma-dialectical approach by including dialectical elements in the process of formulating arguments; Fisher and Todd's approach allows characterizing, from a pragmatic analysis of speech acts, the degree of symmetry/asymmetry in the doctor-patient relationship, while arguing the possibility of negotiating treatment alternatives.

Is there a logical slippery slope from voluntary to nonvoluntary euthanasia?

Science.gov (United States)

Jones, David Albert

2011-12-01

John Keown has constructed a logical slippery slope argument from voluntary euthanasia (VAE) to nonvoluntary euthanasia (NVAE). VAE if justified implies that death can be of overall benefit, in which case it should also be facilitated in those who cannot consent (NVAE). Hallvard Lillehammer asserts that Keown's argument rests on a fallacy. However, pace Lillehammer, it can be restated to escape this fallacy. Its validity is confirmed by applying to VAE some well-established general principles of medical decision making. Thus, either VAE and NVAE must be accepted together or, if NVAE is regarded as unacceptable, VAE should also be rejected.

Introduction to fuzzy logic using Matlab

CERN Document Server

Sivanandam, SN; Deepa, S N

2006-01-01

Fuzzy Logic, at present is a hot topic, among academicians as well various programmers. This book is provided to give a broad, in-depth overview of the field of Fuzzy Logic. The basic principles of Fuzzy Logic are discussed in detail with various solved examples. The different approaches and solutions to the problems given in the book are well balanced and pertinent to the Fuzzy Logic research projects. The applications of Fuzzy Logic are also dealt to make the readers understand the concept of Fuzzy Logic. The solutions to the problems are programmed using MATLAB 6.0 and the simulated results are given. The MATLAB Fuzzy Logic toolbox is provided for easy reference.

John Locke on Inference and Fallacy, A Re-Appraisal

Directory of Open Access Journals (Sweden)

Mark Garrett Longaker

2014-12-01

Full Text Available John Locke, long associated with the “standard” approach to fallacies and the “logical” approach to valid inference, had both logical and dialectical reasons for favoring certain proofs and denigrating others. While the logical approach to argumentation stands forth in Locke’s philosophical writings (such as the Essay Concerning Human Understanding, a dialectical approach can be found in his contributions to public controversies regarding religion and toleration. Understanding Locke’s dialectical approach to argumentation not only makes his work more relevant to the contemporary discipline of informal logic, but this understanding also prompts a reconsideration of Locke’s rhetorical purpose. He approached argumentation dialectically (and logically because he wanted to appeal to a universal audience of free rational subjects, people not unlike the real historical audience whom Locke addressed: radical Whigs, latitudinarian Anglicans, early-Enlightenment philosophes.

Logics and falsifications a new perspective on constructivist semantics

CERN Document Server

Kapsner, Andreas

2014-01-01

This volume examines the concept of falsification as a central notion of semantic theories and its effects on logical laws. The point of departure is the general constructivist line of argument that Michael Dummett has offered over the last decades. From there, the author examines the ways in which falsifications can enter into a constructivist semantics, displays the full spectrum of options, and discusses the logical systems most suitable to each one of them. While the idea of introducing falsifications into the semantic account is Dummett's own, the many ways in which falsificationism departs quite radically from verificationism are here spelled out in detail for the first time. The volume is divided into three large parts. The first part provides important background information about Dummett’s program, intuitionism and logics with gaps and gluts. The second part is devoted to the introduction of falsifications into the constructive account, and shows that there is more than one way in which one can do ...

Strategies and arguments of ergonomic design for sustainability.

Science.gov (United States)

Marano, Antonio; Di Bucchianico, Giuseppe; Rossi, Emilio

2012-01-01

Referring to the discussion recently promoted by the Sub-Technical Committee n°4 "Ergonomics and design for sustainability", in this paper will be shown the early results of a theoretical and methodological study on Ergonomic design for sustainability. In particular, the research is based on the comparison between the common thematic structure characterizing Ergonomics, with the principles of Sustainable Development and with criteria adopted from other disciplines already oriented toward Sustainability. The paper identifies an early logical-interpretative model and describes possible and relevant Strategies of Ergonomic design for sustainability, which are connected in a series of specific Sustainable Arguments.

Computer-Supported Argumentative Writer : An authoring tool with built-in scaffolding and self-regulation for novice writers of argumentative texts

OpenAIRE

Benetos, Kalliopi

2006-01-01

Argumentative writing is a valued genre in a range of disciplines and curricula because it requires that writers develop relationships between ideas and build a deep and multifaceted understanding of the topic. Due to the multifaceted demands, and inherent structure and conventions of argumentative writing, it is also among the most difficult to master. The aim of this masters thesis is to create a prototype of an authoring tool that can help novices (13-19 years old) of argumentative essay w...

Modal Logics and Definability

OpenAIRE

Kuusisto, Antti

2013-01-01

In recent years, research into the mathematical foundations of modal logic has become increasingly popular. One of the main reasons for this is the fact that modal logic seems to adapt well to the requirements of a wide range of different fields of application. This paper is a summary of some of the author’s contributions to the understanding of modal definability theory.

Functions and generality of logic reflections on Dedekind's and Frege's logicisms

CERN Document Server

Benis-Sinaceur, Hourya; Sandu, Gabriel

2015-01-01

This book examines three connected aspects of Frege's logicism: the differences between Dedekind's and Frege's interpretation of the term 'logic' and related terms and reflects on Frege's notion of function, comparing its understanding and the role it played in Frege's and Lagrange's foundational programs. It concludes with an examination of the notion of arbitrary function, taking into account Frege's, Ramsey's and Russell's view on the subject. Composed of three chapters, this book sheds light on important aspects of Dedekind's and Frege's logicisms. The first chapter explains how, although he shares Frege's aim at substituting logical standards of rigor to intuitive imports from spatio-temporal experience into the deductive presentation of arithmetic, Dedekind had a different goal and used or invented different tools. The chapter highlights basic dissimilarities between Dedekind's and Frege's actual ways of doing and thinking. The second chapter reflects on Frege's notion of a function, in comparison with ...

MULTIMODAL CONSTRUCTION OF CHILDREN'S ARGUMENTS IN DISPUTES DURING PLAY

Directory of Open Access Journals (Sweden)

Rosemberg, Celia Renata

2013-09-01

Full Text Available Within the framework of a sociocultural theory of human development and learning (Vigotsky, 2009; Bruner, 1986; Nelson, 1996; Tomasello, 1998, 2003, this paper aims to investigate the multimodal construction of arguments produced by 5 year-old children during disputes in a kindergarten play situation. We considered the juxtaposition of information provided by resources from different semiotic fields (Goodwin, 2000, 2007. The corpus consists of the interactions in a group of children while they play with building blocks. This play situation was videotaped in a kindergarten classroom that is attended by an urban marginalized population of outer Buenos Aires, Argentina. The analysis makes use of the qualitative logic derived from the methodological tools of Conversation Analysis developed in previous research (Goodwin, 2000, 2007; Goodwin and Goodwin, 1990, 2000; Goodwin, Goodwin and Yaeger-Dror, 2002. The results show the different semiotic fields that overlap with the linguistic expression of the arguments or points of view that children maintain while quarrelling during play situations. This demonstrates the importance of attending to intonation, the use of space, the direction of gaze, gestures, and body positioning as they are components that contribute to the argumentative force of the utterances in disputes. These elements emerge as indicators of the emotions that parties experience in disputes which can not be disregarded when attempting to account for how argumentation occurs in real situations of interaction. This paper is written in Spanish.

Translating Dominant Institutional Logics in Practice

DEFF Research Database (Denmark)

Agger Nielsen, Jeppe; Jensen, Tina Blegind

In this paper we examine the proliferation of a new mobile technology in a structured setting of home care in Denmark, focusing on how actions at multiple levels interact to enable technology diffusion and institutionalization. The case study shows how a dominating field level logic...... that combining an institutional logic perspective with a translation perspective furthers our understanding of the malleability of institutional logics....

Modelling Scientific Argumentation in the Classroom : Teachers perception and practice

Science.gov (United States)

Probosari, R. M.; Sajidan; Suranto; Prayitno, B. A.; Widyastuti, F.

2017-02-01

The purposes of this study were to investigate teacher’s perception about scientific argumentation and how they practice it in their classroom. Thirty biology teachers in high school participated in this study and illustrated their perception of scientific argumentation through a questionnaire. This survey research was developed to measure teachers’ understanding of scientific argumentation, what they know about scientific argumentation, the differentiation between argument and reasoning, how they plan teaching strategies in order to make students’ scientific argumentation better and the obstacles in teaching scientific argumentation. The result conclude that generally, teachers modified various representation to accommodate student’s active participation, but most of them assume that argument and reasoning are similar. Less motivation, tools and limited science’s knowledge were considered as obstacles in teaching argumentation. The findings can be helpful to improving students’ abilities of doing scientific argumentation as a part of inquiry.

Understanding a sentence does not entail knowing its truth-conditions : Why the epistemological determination argument fails

NARCIS (Netherlands)

Cohnitz, Daniel; Kangilaski, Jaan

The determination argument is supposed to show that a sentence's meaning is at least a truth-condition. This argument is supposed to rest on innocent premises that even a deflationist about truth can accept. The argument comes in two versions: one is metaphysical and the other is epistemological. In

Toulmin's argument pattern as a "horizon of possibilities" in the study of argumentation in science education

Science.gov (United States)

Erduran, Sibel

2018-01-01

Kim and Roth (this issue) purport to draw on the social-psychological theory of L. S. Vygotsky in order to investigate social relations in children's argumentation in science topics. The authors argue that the argumentation framework offered by Stephen Toulmin is limited in addressing social relations. The authors thus criticize Toulmin's Argument Pattern (TAP) as an analytical tool and propose to investigate the genesis of evidence-related practices (especially burden of proof) in second- and third-grade children by studying dialogical interactions. In this paper, I illustrate how Toulmin's framework can contribute to (a) the study of "social relations", and (b) provide an example utilizing a theoretical framework on social relations, namely Engeström's Activity Theory framework, and (c) describe how we have used the Activity Theory along with TAP in order to understand the development of argumentation in the practices of science educators. Overall, I will argue that TAP is not inherently incapable of addressing social relational aspects of argumentation in science education but rather that science education researchers can transform theoretical tools such as Toulmin's framework intended for other purposes for use in science education research.

Improving Argumentation through Goal Instructions in Asynchronous Online Discussions

Science.gov (United States)

Prudchenko, Yekaterina

2014-01-01

Argumentation incorporated into class discussions can improve students' problem solving skills and enhance their epistemic and conceptual understanding. Research indicates students sometimes need scaffolding such as goal instructions to improve their argumentation skills. This study examined the effectiveness of different types of goal…

Logic and discrete mathematics a concise introduction

CERN Document Server

Conradie, Willem

2015-01-01

A concise yet rigorous introduction to logic and discrete mathematics. This book features a unique combination of comprehensive coverage of logic with a solid exposition of the most important fields of discrete mathematics, presenting material that has been tested and refined by the authors in university courses taught over more than a decade.  The chapters on logic - propositional and first-order - provide a robust toolkit for logical reasoning, emphasizing the conceptual understanding of the language and the semantics of classical logic as well as practical applications through the easy

On argumentation schemes and the natural classification of arguments

NARCIS (Netherlands)

Katzav, J.K.; Reed, C.

2004-01-01

We develop conceptions of arguments and of argument types that will, by serving as the basis for developing a natural classification of arguments, benefit work in artificial intelligence. Focusing only on arguments construed as the semantic entities that are the outcome of processes of reasoning, we

Piaget's Logic of Meanings: Still Relevant Today

Science.gov (United States)

Wavering, Michael James

2011-01-01

In his last book, "Toward a Logic of Meanings" (Piaget & Garcia, 1991), Jean Piaget describes how thought can be categorized into a form of propositional logic, a logic of meanings. The intent of this article is to offer this analysis by Piaget as a means to understand the language and teaching of science. Using binary propositions, conjunctions,…

Argumentation Key to Communicating Climate Change to the Public

Science.gov (United States)

Bleicher, R. E.; Lambert, J. L.

2012-12-01

Argumentation plays an important role in how we communicate climate change science to the public and is a key component integrated throughout the Next Generation Science Standards. A scientific argument can be described as a disagreement between explanations with data being used to justify each position. Argumentation is social process where two or more individuals construct and critique arguments (Kuhn & Udell, 2003; Nussbaum, 1997). Sampson, Grooms, and Walker's (2011) developed a framework for understanding the components of a scientific argument. The three components start with a claim (a conjecture, conclusion, explanation, or an answer to a research question). This claim must fit the evidence (observations that show trends over time, relationships between variables or difference between groups). The evidence must be justified with reasoning (explains how the evidence supports the explanation and whey it should count as support). In a scientific argument, or debate, the controversy focuses on how data were collected, what data can or should be included, and what inferences can be made based on a set of evidence. Toulmin's model (1969) also includes rebutting or presenting an alternative explanation supported by counter evidence and reasoning of why the alternative is not the appropriate explanation for the question of the problem. The process of scientific argumentation should involve the construction and critique of scientific arguments, one that involves the consideration of alternative hypotheses (Lawson, 2003). Scientific literacy depends as much on the ability to refute and recognize poor scientific arguments as much as it does on the ability to present an effective argument based on good scientific data (Osborne, 2010). Argument is, therefore, a core feature of science. When students learn to construct a sound scientific argument, they demonstrate critical thinking and a mastery of the science being taught. To present a convincing argument in support of

On argumentation schemes and the natural classification of arguments

OpenAIRE

Katzav, K.; Reed, C.

2004-01-01

We develop conceptions of arguments and of argument types that will, by serving as the basis for developing a natural classification of arguments, benefit work in artificial intelligence. Focusing only on arguments construed as the semantic entities that are the outcome of processes of reasoning, we outline and clarify our view that an argument is a proposition that represents a fact as both conveying some other fact and as doing so wholly. Further, we outline our view that, with respect to a...

Rational hypocrisy: a Bayesian analysis based on informal argumentation and slippery slopes.

Science.gov (United States)

Rai, Tage S; Holyoak, Keith J

2014-01-01

Moral hypocrisy is typically viewed as an ethical accusation: Someone is applying different moral standards to essentially identical cases, dishonestly claiming that one action is acceptable while otherwise equivalent actions are not. We suggest that in some instances the apparent logical inconsistency stems from different evaluations of a weak argument, rather than dishonesty per se. Extending Corner, Hahn, and Oaksford's (2006) analysis of slippery slope arguments, we develop a Bayesian framework in which accusations of hypocrisy depend on inferences of shared category membership between proposed actions and previous standards, based on prior probabilities that inform the strength of competing hypotheses. Across three experiments, we demonstrate that inferences of hypocrisy increase as perceptions of the likelihood of shared category membership between precedent cases and current cases increase, that these inferences follow established principles of category induction, and that the presence of self-serving motives increases inferences of hypocrisy independent of changes in the actions themselves. Taken together, these results demonstrate that Bayesian analyses of weak arguments may have implications for assessing moral reasoning. © 2014 Cognitive Science Society, Inc.

Introducing Argumentation About Climate Change Socioscientific Issues in a Disadvantaged School

Science.gov (United States)

Dawson, Vaille; Carson, Katherine

2018-03-01

Improving the ability of young people to construct arguments about controversial science topics is a desired outcome of science education. The purpose of this research was to evaluate the impact of an argumentation intervention on the socioscientific issue of climate change with Year 10 students in a disadvantaged Australian school. After participation in a professional development workshop on climate change science, socioscientific issues and argumentation, an early career teacher explicitly taught argumentation over four non-consecutive lessons as part of a 4 week (16 lesson) topic on Earth science. Thirty students completed a pre- and post-test questionnaire to determine their understanding of climate change science and their ability to construct an argument about a climate change socioscientific issue. Students' understanding of climate change improved significantly (p size. There was also a significant increase (p Qualitative data, comprising classroom observation field notes, lesson transcripts, work samples, and teacher and student interviews, were analysed for the extent to which the students' argumentation skills improved. At the end of the intervention, students became aware of the need to justify their decisions with scientific evidence. It is concluded that introducing argumentation about climate change socioscientific issues to students in a disadvantaged school can improve their argumentation skills.

Identifying fallacious arguments in a qualitative study of antipsychotic prescribing in dementia.

Science.gov (United States)

Donyai, Parastou

2017-10-01

Dementia can result in cognitive, noncognitive and behavioural symptoms which are difficult to manage. Formal guidelines for the care and management of dementia in the UK state that antipsychotics should only be prescribed where fully justified. This is because inappropriate use, particularly problematic in care-home settings, can produce severe side effects including death. The aim of this study was to explore the use of fallacious arguments in professionals' deliberations about antipsychotic prescribing in dementia in care-home settings. Fallacious arguments have the potential to become unremarkable discourses that construct and validate practices which are counter to guidelines. This qualitative study involved interviews with 28 care-home managers and health professionals involved in caring for patients with dementia. Potentially fallacious arguments were identified using qualitative content analysis and a coding framework constructed from existing explanatory models of fallacious reasoning. Fallacious arguments were identified in a range of explanations and reasons that participants gave for in answer to questions about initiating, reducing doses of and stopping antipsychotics in dementia. The dominant fallacy was false dichotomy. Appeal to popularity, tradition, consequence, emotion, or fear, and the slippery slope argument was also identified. Fallacious arguments were often formulated to present convincing cases whereby prescribing antipsychotics or maintaining existing doses (versus not starting medication or reducing the dose, for example) appeared as the only acceptable decision but this is not always the case. The findings could help health professionals to recognise and mitigate the effect of logic-based errors in decisions about the prescribing of antipsychotics in dementia. © 2016 Royal Pharmaceutical Society.

Logical gaps in the approximate solutions of the social learning game and an exact solution.

Science.gov (United States)

Dai, Wenjie; Wang, Xin; Di, Zengru; Wu, Jinshan

2014-01-01

After the social learning models were proposed, finding solutions to the games becomes a well-defined mathematical question. However, almost all papers on the games and their applications are based on solutions built either upon an ad-hoc argument or a twisted Bayesian analysis of the games. Here, we present logical gaps in those solutions and offer an exact solution of our own. We also introduce a minor extension to the original game so that not only logical differences but also differences in action outcomes among those solutions become visible.

Concepts and Contexts – Argumentative Forms of Framing

DEFF Research Database (Denmark)

Gabrielsen, Jonas; Nørholm Just, Sine; Bengtsson, Mette

2011-01-01

this argument we combine theories of framing with the classical rhetorical theory of the stases, more precisely status definitio and status translatio. Our focus is primarily theoretical, but we illustrate our points by means of examples taken from public debates on the value of real estate.......The notion of framing has become central in the field of argumentation. The question is, however, what we gain from studying the process of argumentation through framing, since framing is itself a broad concept in need of specification. Different traditions understand the term differently......, and it is necessary to determine what argumentative forms the concept of framing actually covers. In this paper we argue that framing refers to at least two different argumentative forms. One is an internal definition of the concepts in question; the other is an external shift in the context of the case. In making...

Within- and between-culture variation: individual differences and the cultural logics of honor, face, and dignity cultures.

Science.gov (United States)

Leung, Angela K-Y; Cohen, Dov

2011-03-01

The CuPS (Culture × Person × Situation) approach attempts to jointly consider culture and individual differences, without treating either as noise and without reducing one to the other. Culture is important because it helps define psychological situations and create meaningful clusters of behavior according to particular logics. Individual differences are important because individuals vary in the extent to which they endorse or reject a culture's ideals. Further, because different cultures are organized by different logics, individual differences mean something different in each. Central to these studies are concepts of honor-related violence and individual worth as being inalienable versus socially conferred. We illustrate our argument with 2 experiments involving participants from honor, face, and dignity cultures. The studies showed that the same "type" of person who was most helpful, honest, and likely to behave with integrity in one culture was the "type" of person least likely to do so in another culture. We discuss how CuPS can provide a rudimentary but integrated approach to understanding both within- and between-culture variation. (c) 2011 APA, all rights reserved

Embedding Logics into Product Logic

Czech Academy of Sciences Publication Activity Database

Baaz, M.; Hájek, Petr; Krajíček, Jan; Švejda, David

1998-01-01

Roč. 61, č. 1 (1998), s. 35-47 ISSN 0039-3215 R&D Projects: GA AV ČR IAA1030601 Grant - others:COST(XE) Action 15 Keywords : fuzzy logic * Lukasiewicz logic * Gödel logic * product logic * computational complexity * arithmetical hierarchy Subject RIV: BA - General Mathematics

Types, typologies, arguments

OpenAIRE

Plantin, Christian

2017-01-01

The concept of arguments schemes is fundamental for argumentation studies; but its implementation is not obvious. The first section of this contribution briefly starts from the concepts of argument scheme, typology of arguments schemes, and the foundational catalogue of 28 topoi from Aristotle's Rhetoric. The application of the "topical method" is first based on the knowledge of typologies of arguments, and then on the precise features defining an argument type. The practical question that re...

Show Me Your Opinion. Perceptual Cues in Creating and Reading Argument Diagrams

Science.gov (United States)

van Amelsvoort, Marije; Maes, Alfons

2016-01-01

In argument diagrams, perceptual cues are important to aid understanding. However, we do not know what perceptual cues are used and produced to aid understanding. We present two studies in which we investigate (1) which spatial, graphical and textual elements people spontaneously use in creating for-against argument diagrams, and (2) how people…

Types of arguments in parents-children discussions:: an argumentative analysis

OpenAIRE

Bova, Antonio; Arcidiacono, Francesco

2014-01-01

This study aims to single out the argumentative strategies most frequently used by parents to convince their children to accept their rules and prescriptions at mealtimes. The results of thestudy show that parents mostly put forward arguments based on the quality and quantity of food to persuade their childern to eat. Less frequently, the parents put forward other types of arguments such as the appeal to consistency, the arguments from expert opinion, and the argument from analogy. Whi...

Computer Supported Argument Visualisation: Modelling in Consultative Democracy Around Wicked Problems

Science.gov (United States)

Ohl, Ricky

In this case study, computer supported argument visualisation has been applied to the analysis and representation of the draft South East Queensland Regional Plan Consultation discourse, demonstrating how argument mapping can help deliver the transparency and accountability required in participatory democracy. Consultative democracy for regional planning falls into a category of problems known as “wicked problems”. Inherent in this environment is heterogeneous viewpoints, agendas and voices, built on disparate and often contradictory logic. An argument ontology and notation that was designed specifically to deal with consultative urban planning around wicked problems is the Issue Based Information System (IBIS) and IBIS notation (Rittel & Webber, 1984). The software used for argument visualisation in this case was Compendium, a derivative of IBIS. The high volume of stakeholders and discourse heterogeneity in this environment calls for a unique approach to argument mapping. The map design model developed from this research has been titled a “Consultation Map”. The design incorporates the IBIS ontology within a hybrid of mapping approaches, amalgamating elements from concept, dialogue, argument, debate, thematic and tree-mapping. The consultation maps developed from the draft South East Queensland Regional Plan Consultation provide a transparent visual record to give evidence of the themes of citizen issues within the consultation discourse. The consultation maps also link the elicited discourse themes to related policies from the SEQ Regional Plan providing explicit evidence of SEQ Regional Plan policy-decisions matching citizen concerns. The final consultation map in the series provides explicit links between SEQ Regional Plan policy items and monitoring activities reporting on the ongoing implementation of the SEQ Regional Plan. This map provides updatable evidence of and accountability for SEQ Regional Plan policy implementation and developments.

IMPROVING LEGAL ARGUMENT CRITICALLY IN THE LITIGATION MECHANISM IN INDONESIA (AN EMPIRICAL STUDY OF ENVIRONMENTAL VERDICTS

Directory of Open Access Journals (Sweden)

Edy Lisdiyono

2017-01-01

Full Text Available Legal argument is a debate or argument in explaining the issues between two or more people performed in court. Legal argument is one way to perform law finding with the purpose to avoid legal vacuum when the judge makes a legal reasoning in a verdict. In making a legal argument, it is at least performed by legal reasoning, logic, facts. However, some judges, in making a decision, did not use the legal arguments by legal reasoning and facts so that it resulted in debates and arguments. It is  interesting to study on how to build legal argument in the litigation mechanism in Indonesia. Some verdicts in Indonesia have been the debate among the public through social media, by both academic and non-academic communities, because they were not based on the legal facts revealed at the trials and not in favor of the public sense of justice. Some of the examples are the verdict in the case of the environmental lawsuits of Lapindo Brantas Mud in Sidoarjo, the case verdict in Palembang District Court on the lawsuit filed by the Ministry of Environment and Forestry on forest fires and land concessions of PT. Bumi Mekar Hijau in 2014. From the decisions, it turned out that the judges, in making the legal arguments for their decisions, had deviated from the analogy and were not based on the existing legal facts. In building legal arguments, it would have to be conducted by collecting data (evidence and clear fact so that its solutions do not deviate from the rules of law

Arguments for the Existence of God in the Francisco Suarez’ "Metaphysical Disputations"

Directory of Open Access Journals (Sweden)

Galina Vdovina

2017-12-01

Full Text Available The article considers arguments for the existence of God that are presented in Francisco Suarez’ treatise Metaphysical Disputations. The work of Suarez contains the most developed and detailed exposition of natural theology that exists in the scholastic tradition. Suarez explicitates the problem, formulating three questions: what is a being that we call God? Is it possible to prove or justify his existence? How is it possible? Suarez answers the first question by showing that we come to a concept of the prime and excellent being through a series of divisions in the concept of being. That prime being is infinite, absolute, necessary and uncreated. The second question is answered by the procedure of that division and its result. In his answer to the third question, Suarez distinguishes physical and metaphysical arguments. According to Suarez, the most significant physical proofs are the argument from motion and the argument from the rational soul. Nevertheless, he demonstrates that purely physical arguments cannot lead us to a being, which we call God. Only metaphysical argument from the principle, everything which is produced, is produces by something else, is really effective. The logic of the metaphysical proof is as follows: first, we have to demonstrate the necessary existence of the first non-produced thing: secondly, we are to show that such a thing can only be one. The first point is proved through the demonstration of an absolutely first cause in each series of causes, the second one is made evident through a demonstration of the impossibility to coexist simultaneously for two equally perfect first causes of equal causing power.

Resister's logic: the anti-vaccination arguments of Alfred Russel Wallace and their role in the debates over compulsory vaccination in England, 1870-1907.

Science.gov (United States)

Fichman, Martin; Keelan, Jennifer E

2007-09-01

In the 1880s, Alfred Russel Wallace, the celebrated co-discoverer of natural selection, launched himself into the centre of a politicised and polarised debate over the unpopular compulsory vaccination laws in England. Wallace never wavered in his belief that smallpox vaccination was useless and likely dangerous. Six years before his death, the anti-vaccinationists successfully secured a conscience clause that effectively dismantled the compulsory vaccination laws. Several other important Victorian scientists joined Wallace in the fight to repeal compulsory vaccination arguing that widely held views on the effectiveness of vaccination and evidence for immunity were inconclusive in the light of (then) contemporary standards of evidence. This article situates Wallace's anti-vaccination logic within the broader matrix of sociopolitical and cultural reform movements of the late Victorian era. Additionally it provides the first detailed analysis of his critique of vaccination science, in particular the role statistics played in his arguments. In this period, both pro-vaccinationists and anti-vaccinationists invested great efforts in collating and analysing statistical data sets that either supported or refuted the claims of vaccination's effectiveness. While each side presented 'controlled' case studies to support their assertions, without an unambiguous test to measure or demonstrate vaccination's effectiveness, the anti-vaccinationists continued to mount credible statistical critiques of vaccination science.

Cybernetic systems based on inductive logic

International Nuclear Information System (INIS)

Fry, Robert L.

2001-01-01

Recent work in the area of inductive logic suggests that cybernetics might be quantified and reduced to engineering practice. If so, then there are considerable implications for engineering, science, and other fields. This paper attempts to capture the essential ideas of cybernetics cast in the light of inductive logic. The described inductive logic extends conventional logic by adding a conjugate logical domain of questions to the logical domain of assertions intrinsic to Boolean Algebra with which most are familiar. This was first posited and developed by Richard Cox. Interestingly enough, these two logical domains, one of questions and the other of assertions, only exist relative to one another with each possessing natural measures of entropy and probability, respectively. Examples are given that highlight the utility of cybernetic approaches to neuroscience, algorithm design, system engineering, and the design and understanding of defensive and offensive systems. For example, the application of cybernetic approaches to defense systems suggests that these systems possess a wavefunction which like quantum mechanics, collapses when we 'look' through the eyes of the system sensors such as radars and optical sensors

Towards evidence-based critical thinking medicine? Uses of best evidence in flawless argumentations.

Science.gov (United States)

Jenicek, Milos

2006-08-01

Uses of informal logic and critical thinking methodology are increasingly taught, learnt and advantageously applied in such diverse domains as law, the military, business, and education. Health sciences are also following this trend. However, production and critical appraisal of evidence as already practiced in Evidence-Based Medicine must be coupled with equally rigorous uses in order to ensure appropriate health problem understanding and decision-making. Making most proposals and decisions in medicine is the conclusion of an argumentation process that lies behind any communication between health professionals working with patients, performing research or sharing ideas about health problems, their interpretations and solutions with numerous stakeholders in public life. Modern critical thinking and decision making in medicine is not instantly mastered, but is instead a learnt experience as anything else in professional and social interactions. The modern argument as outlined, illustrated and applied to health problems in this essay is an extension of a previously established way of thinking in Evidence-Based Medicine. Ideally, health professionals, their patients and all other stakeholders should speak the same language and it is up to us to make this possible. Evidence and critical thinking - based medicine might be a solution. As modern critical thinkers, we are at the forefront and we must see to it that patients and professional and general communities benefit from this more so even than from other remarkable historical and current contributions to the well-being of those under our care.

Students’ logical-mathematical intelligence profile

Science.gov (United States)

Arum, D. P.; Kusmayadi, T. A.; Pramudya, I.

2018-04-01

One of students’ characteristics which play an important role in learning mathematics is logical-mathematical intelligence. This present study aims to identify profile of students’ logical-mathematical intelligence in general and specifically in each indicator. It is also analyzed and described based on students’ sex. This research used qualitative method with case study strategy. The subjects involve 29 students of 9th grade that were selected by purposive sampling. Data in this research involve students’ logical-mathematical intelligence result and interview. The results show that students’ logical-mathematical intelligence was identified in the moderate level with the average score is 11.17 and 51.7% students in the range of the level. In addition, the level of both male and female students are also mostly in the moderate level. On the other hand, both male and female students’ logical-mathematical intelligence is strongly influenced by the indicator of ability to classify and understand patterns and relationships. Furthermore, the ability of comparison is the weakest indicator. It seems that students’ logical-mathematical intelligence is still not optimal because more than 50% students are identified in moderate and low level. Therefore, teachers need to design a lesson that can improve students’ logical-mathematical intelligence level, both in general and on each indicator.

That’s No Argument! The Dialectic of Non-Argumentation

NARCIS (Netherlands)

Krabbe, Erik C. W.; van Laar, Jan Albert

2015-01-01

What if in discussion the critic refuses to recognize an emotionally expressed (alleged) argument of her interlocutor as an argument, accusing him of having presented no argument at all. In this paper, we shall deal with this reproach, which taken literally amounts to a charge of having committed a

Perelman, argument ad hominem et ethos rhétorique Perelman, ad Hominem Argument, and Rhetorical Ethos

Directory of Open Access Journals (Sweden)

Michael Leff

2009-04-01

irrelevant, Perelman insists that argumentation inevitably does and ought to place stress on the specific persons engaged in an argument and that the relationship between speaker and what is spoken is always relevant and important. In taking this position, Perelman implicitly revives the classical conception of proof by character (ethos or “ethotic” argument, but despite an extended discussion of act and person in argument, The New Rhetoric does not give much consideration to the classical concept and confuses differing approaches to it within the tradition. The result is that Perelman treats the role of the speaker in argument only by reference to abstract techniques and does not recognize the importance of examining particular cases in order to thicken understanding of how ethotic argument works in the complex, situated context of its actual use. Consequently, Perelman’s account of the role of persons in argument should be supplement by reference to case studies, and to that end, I consider ethotic argument in W.E.B. Dubois’ famous essay “Of Mr. Booker T. Washington and Others.”

Argumentation in Science Class: Its Planning, Practice, and Effect on Student Motivation

Science.gov (United States)

Taneja, Anju

Studies have shown an association between argumentative discourse in science class, better understanding of science concepts, and improved academic performance. However, there is lack of research on how argumentation can increase student motivation. This mixed methods concurrent nested study uses Bandura's construct of motivation and concepts of argumentation and formative feedback to understand how teachers orchestrate argumentation in science class and how it affects motivation. Qualitative data was collected through interviews of 4 grade-9 science teachers and through observing teacher-directed classroom discourse. Classroom observations allowed the researcher to record the rhythm of discourse by characterizing teacher and student speech as teacher presentation (TP), teacher guided authoritative discussion (AD), teacher guided dialogic discussion (DD), and student initiation (SI). The Student Motivation Towards Science Learning survey was administered to 67 students before and after a class in which argumentation was used. Analysis of interviews showed teachers collaborated to plan argumentation. Analysis of discourse identified the characteristics of argumentation and provided evidence of students' engagement in argumentation in a range of contexts. Student motivation scores were tested using Wilcoxon signed rank tests and Mann-Whitney U-tests, which showed no significant change. However, one construct of motivation---active learning strategy---significantly increased. Quantitative findings also indicate that teachers' use of multiple methods in teaching science can affect various constructs of students' motivation. This study promotes social change by providing teachers with insight about how to engage all students in argumentation.

Developing the Evaluation Scale to Determine the Impact of Body Language in an Argument: Reliability & Validity Analysis

Science.gov (United States)

Karadag, Engin; Caliskan, Nihat; Yesil, Rustu

2008-01-01

In this research, it is aimed to develop a scale to observe the body language which is used during an argument. A sample group of 266 teacher candidates study at the departments of Class, Turkish or Social Sciences at the Faculty of Education was used in this study. A logical and statistical approach was pursued during the development of scale. An…

Argument Structure in Arabic and English: Re-assessing Purity and Redeeming Hybridity

Directory of Open Access Journals (Sweden)

Faisal Said Al-Maamari

2017-05-01

Full Text Available This study presents a contrastive rhetorical analysis of 20 argumentative Arabic and English editorials in argument structure. Samples were selected from two daily newspapers with equally wide distribution, and articles were written by their respective native writers. Both graphical and textual analyses captured the argument structure in terms of macro and micro arguments. A core finding is that the argument structure in the sampled editorials did not conform to the current predominant model of argument structure, which tended to polarize argument structure in terms of through or counter argumentation. The study contributes to the existing literature by defying the polarized traditional purity typology of argument structure frequently cited in the literature, and emphasizes a more dynamic hybrid model to understanding and analyzing arguments in general and in Arabic and English specifically. Additionally, the study of the professional genre of editorails has implications for academic writing and second language writing pedagogy by sensitizing foreign language learners to existing models of argument structure and possible ways to structure their arguments in the target language.

Computational logic: its origins and applications.

Science.gov (United States)

Paulson, Lawrence C

2018-02-01

Computational logic is the use of computers to establish facts in a logical formalism. Originating in nineteenth century attempts to understand the nature of mathematical reasoning, the subject now comprises a wide variety of formalisms, techniques and technologies. One strand of work follows the 'logic for computable functions (LCF) approach' pioneered by Robin Milner, where proofs can be constructed interactively or with the help of users' code (which does not compromise correctness). A refinement of LCF, called Isabelle, retains these advantages while providing flexibility in the choice of logical formalism and much stronger automation. The main application of these techniques has been to prove the correctness of hardware and software systems, but increasingly researchers have been applying them to mathematics itself.

Philosophy on Stage: Theatricality, Ritual and Logic in Ancient India

Directory of Open Access Journals (Sweden)

Juan Arnau

2013-05-01

Full Text Available The article analyses the public debates in ancient India, distinguishing the different modalities of these practices as they appear in the compendiums of logic (Nyāyasūtra and in the medical Sanskrit literature (Carakasamhitā. A special attention is paid to one of these kinds of debate, called vitandā, which allows a dialectic limited to refutation and dismissed the defence of the own point of view. This type of dialectic, exercised by different schools of thought in which the negative argument would acquire a fundamental role, would find its scope of development in religious traditions as Madhyamaka Buddhism and Advaita Vedanta. The justification of such practices, in which the logic is represented as in a theatre, will give way to an ironic philosophy which found many points of contact with contemporary thought.

Medicine, psychiatry and euthanasia: an argument against mandatory psychiatric review.

Science.gov (United States)

Parker, M

2000-04-01

The paper critically appraises the argument that requests for active assistance to die should be subject to mandatory psychiatric assessment. The argument for mandatory psychiatric assessment is usually supported by an appeal to the need for safeguards against errors and omissions in both the diagnosis of psychiatric conditions affecting the terminally ill and the exploration of the meanings of their requests. This intuitively appealing view is challenged through a broader analysis which examines connections between medicine's traditional adherence to the moral distinction between acts and omissions and the following issues: the historical relationship between medical practice and dying, the recent development of research into treatment-withdrawal decisions, the scientific status of psychiatry, the logic of rationality and decision-making competence. The analysis reveals a number of hitherto unexamined and unacknowledged influences which would make psychiatric review of requests for assisted death a much less objective and impartial process than is assumed. Mandatory psychiatric review is an instance of the medicalisation of death and dying which could abridge the freedom of certain individuals to make decisions about their deaths.

A LIBRARIAN’S ARGUMENT

Directory of Open Access Journals (Sweden)

Brigita Miloš

2013-01-01

Full Text Available Cognitive linguistics/stylistics enable specific insights into the sex / gender identity issues, primarily by their basic theoretical postulate – mind embodiment. The aim of this paper is to analyze how the concept of rape functions in one particular statement/argument. Noted controversies and disputes, stemming from critical reading, also function as a version of ‘other’ embodied understandings of the term in question – rape.

Intertwining lives and logics: Household and informal economies in Cape Town

Directory of Open Access Journals (Sweden)

Sophie Oldfield

2014-07-01

Full Text Available Enabling households to make ends meet, the practices of small, informal businesses are not simple, but bound up in the struggles of households and the social and economic relationships that weave local economies together. This paper draws on stories of local businesses in an impoverished Cape Town township to situate these diverse logics and strategies, the histories and aspirations that shape small business success and struggle. Drawing on interviews and mapping every informal sector business in the neighbourhood, I reflect on the specific difficulties of running a business in the context of poverty, including unreliable and inadequate incomes, difficulties of credit, as well as the challenges of operating business on a small scale. This material demonstrates the community-based, as well as livelihood, logics that motivate local business owners as well as sustain their livelihoods. The paper concludes with an argument that the neighbourhood economy, instead of a vehicle driven primarily to maximize profit, forms an intimate part of peoples’ lives. This more multifaceted and embedded analysis stretches overly narrow notions of the informal economy, its limits and logics.

Analysis of Arguments in the Public Debate on the Alphabet Change in bilingual Kazakhstan

Directory of Open Access Journals (Sweden)

Lyazzat Kimanova

2011-12-01

Full Text Available By focusing on an example of a public social debate on language policy, this article aims at showing the relevant contribution of argument analysis to the understanding of such debates. Argumentative discourse constitutes an essential condition for real democratic practice. Perelman & Olbrechts-Tyteca (1958: 73 point out that the commitment to argumentative practice offers an alternative to the use of violence. The relationship between argumentation and a democratic society is fundamental: argumentation is the substance of democracy, which differs from other social systems in that the only legitimate power is the power of the word. It is free will, which builds on the word alone, that enables us to live together in freedom. An important aspect of democracy, being based on a dialectic ideal, is its uncertain outcome: van Eemeren (2002: 71 characterizes democracy as «institutionalized uncertainty». Thus, insight into the functioning of argumentation contributes significantly to the understanding of democratic processes

A Textbook Argument: Definitions of Argument in Leading Composition Textbooks

Science.gov (United States)

Knoblauch, A. Abby

2011-01-01

This essay examines the definitions and practices of argument perpetuated by popular composition textbooks, illustrating how even those texts that appear to forward expansive notions of argument ultimately limit it to an intent to persuade. In doing so, they help perpetuate constricted practices of argument within undergraduate composition…

How Pragmatic Interpretations Arise from Conditionals: Profiling the Affirmation of the Consequent Argument with Reaction Time and EEG Measures

Science.gov (United States)

Bonnefond, Mathilde; Van der Henst, Jean-Baptiste; Gougain, Marion; Robic, Suzanne; Olsen, Matthew D.; Weiss, Oshri; Noveck, Ira

2012-01-01

Conditional reasoning consists in combining a conditional premise with a categorical premise and inferring a conclusion from them. Two well-known conditional arguments are Modus Ponens (MP: "If P then Q; P//"therefore Q), which is logically valid and Affirmation of the Consequent (AC: "If P then Q; Q//"therefore "P"), which is not. The latter is…

Fuzzy logic applications in engineering science

CERN Document Server

Harris, J

2006-01-01

Fuzzy logic is a relatively new concept in science applications. Hitherto, fuzzy logic has been a conceptual process applied in the field of risk management. Its potential applicability is much wider than that, however, and its particular suitability for expanding our understanding of processes and information in science and engineering in our post-modern world is only just beginning to be appreciated. Written as a companion text to the author's earlier volume "An Introduction to Fuzzy Logic Applications", the book is aimed at professional engineers and students and those with an interest in exploring the potential of fuzzy logic as an information processing kit with a wide variety of practical applications in the field of engineering science and develops themes and topics introduced in the author's earlier text.

Logic of the digital

CERN Document Server

Evens, Aden

2015-01-01

Building a foundational understanding of the digital, Logic of the Digital reveals a unique digital ontology. Beginning from formal and technical characteristics, especially the binary code at the core of all digital technologies, Aden Evens traces the pathways along which the digital domain of abstract logic encounters the material, human world. How does a code using only 0s and 1s give rise to the vast range of applications and information that constitutes a great and growing portion of our world? Evens' analysis shows how any encounter between the actual and the digital must cross an ontolo

Data Logic

DEFF Research Database (Denmark)

Nilsson, Jørgen Fischer

A Gentle introduction to logical languages, logical modeling, formal reasoning and computational logic for computer science and software engineering students......A Gentle introduction to logical languages, logical modeling, formal reasoning and computational logic for computer science and software engineering students...

A Tableau Prover for Natural Logic and Language

NARCIS (Netherlands)

Abzianidze, Lasha

2015-01-01

Modeling the entailment relation over sentences is one of the generic problems of natural language understanding. In order to account for this problem, we design a theorem prover for Natural Logic, a logic whose terms resemble natural language expressions. The prover is based on an analytic tableau

Architecture-based regulatory compliance argumentation

DEFF Research Database (Denmark)

Mihaylov, Boyan; Onea, Lucian; Hansen, Klaus Marius

2016-01-01

Standards and regulations are difficult to understand and map to software, which makes compliance with them challenging to argue for software products and development process. This is problematic since lack of compliance may lead to issues with security, safety, and even to economic sanctions....... An increasing number of applications (for example in healthcare) are expected to have to live up to regulatory requirements in the future, which will lead to more software development projects having to deal with such requirements. We present an approach that models regulations such that compliance arguments...... the approach on the migration of the telemedicine platform Net4Care to the cloud, where certain regulations (for example privacy) should be concerned. The approach has the potential to support simpler compliance argumentation with the eventual promise of safer and more secure applications....

Children's responses in argumentative discussions relating to parental rules and prescriptions

Directory of Open Access Journals (Sweden)

Antonio Bova

2015-01-01

Full Text Available This study sets out to investigate the types of responses by children aged between 3 and 7 years in argumentative discussions relating to parental rules and prescriptions. The data corpus is composed of 132 argumentative discussions selected from 30 video-recorded meals of 10 middle to upper-middle-class Swiss and Italian families. Data are presented through discursive excerpts of argumentative discussions and analysed by the pragma-dialectical ideal model of critical discussion. The findings show that when parents advance context-bound arguments such as the arguments of quality (e.g., very good, salty, or not good and quantity (e.g., too little, quite enough, or too much of food, the arguments advanced by children mirror the same types of arguments previously used by parents. On the other hand, when parents advance more complex, elaborated, and context-unbound arguments such as the appeal to consistency's argument, the argument from authority and the argument from analogy, the children typically did not advance any argument, but their response is an expression of further doubt or a mere opposition without providing any argument. Overall, the results of this study indicate that the types of children's responses are strictly connected to the type of argument previously advanced by their parents. This aspect is particularly relevant in terms of children's capacities to engage in argumentative exchanges and to react in rational ways during the confrontation with the parents. Further research in this direction is needed in order to better understand specific potentialities of language in the everyday process of socialization within the family context.

Differential roles of polar orbital prefrontal cortex and parietal lobes in logical reasoning with neutral and negative emotional content.

Science.gov (United States)

Eimontaite, Iveta; Goel, Vinod; Raymont, Vanessa; Krueger, Frank; Schindler, Igor; Grafman, Jordan

2018-05-14

To answer the question of how brain pathology affects reasoning about negative emotional content, we administered a disjunctive logical reasoning task involving arguments with neutral content (e.g. Either there are tigers or women in NYC, but not both; There are no tigers in NYC; There are women in NYC) and emotionally laden content (e.g. Either there are pedophiles or politicians in Texas, but not both; There are politicians in Texas; There are no pedophiles in Texas) to 92 neurological patients with focal lesions to various parts of the brain. A Voxel Lesion Symptom Mapping (VLSM) analysis identified 16 patients, all with lesions to the orbital polar prefrontal cortex (BA 10 & 11), as being selectively impaired in the emotional reasoning condition. Another 17 patients, all with lesions to the parietal cortex, were identified as being impaired in the neutral content condition. The reasoning scores of these two patient groups, along with 23 matched normal controls, underwent additional analysis to explore the effect of belief bias. This analysis revealed that the differences identified above were largely driven by trials where there was an incongruency between the believability of the conclusion and the validity of the argument (i.e. valid argument /false conclusion or invalid argument /true conclusion). Patients with lesions to polar orbital prefrontal cortex underperformed in incongruent emotional content trials and over performed in incongruent neutral content trials (compared to both normal controls and patients with parietal lobe lesions). Patients with lesions to parietal lobes underperformed normal controls (at a trend level) in neutral trials where there was a congruency between the believability of the conclusion and the validity of the argument (i.e. valid argument/true conclusion or invalid argument/false conclusion). We conclude that lesions to the polar orbital prefrontal cortex (i) prevent these patients from enjoying any emotionally induced cognitive

Fuzzy logic: A "simple" solution for complexities in neurosciences?

Science.gov (United States)

Godil, Saniya Siraj; Shamim, Muhammad Shahzad; Enam, Syed Ather; Qidwai, Uvais

2011-02-26

Fuzzy logic is a multi-valued logic which is similar to human thinking and interpretation. It has the potential of combining human heuristics into computer-assisted decision making, which is applicable to individual patients as it takes into account all the factors and complexities of individuals. Fuzzy logic has been applied in all disciplines of medicine in some form and recently its applicability in neurosciences has also gained momentum. This review focuses on the use of this concept in various branches of neurosciences including basic neuroscience, neurology, neurosurgery, psychiatry and psychology. The applicability of fuzzy logic is not limited to research related to neuroanatomy, imaging nerve fibers and understanding neurophysiology, but it is also a sensitive and specific tool for interpretation of EEGs, EMGs and MRIs and an effective controller device in intensive care units. It has been used for risk stratification of stroke, diagnosis of different psychiatric illnesses and even planning neurosurgical procedures. In the future, fuzzy logic has the potential of becoming the basis of all clinical decision making and our understanding of neurosciences.

Three-valued logics in modal logic

NARCIS (Netherlands)

Kooi, Barteld; Tamminga, Allard

2013-01-01

Every truth-functional three-valued propositional logic can be conservatively translated into the modal logic S5. We prove this claim constructively in two steps. First, we define a Translation Manual that converts any propositional formula of any three-valued logic into a modal formula. Second, we

¿Qué es lo lógico? La logicidad dentro y fuera de la lógica (What is Logical? Logicality Inside and Outside Logic

Directory of Open Access Journals (Sweden)

Fernando Soler Toscano

2012-12-01

Full Text Available Resumen: La pregunta por la logicidad busca los criterios que hacen que cierto objeto se pueda considerar un objeto lógico. Los diferentes criterios de logicidad posibles marcarán no solo las distintas formas de concebir la lógica como disciplina académica, sino también distintos modos de entender, en el lenguaje ordinario o en otras disciplinas, qué quiere decir que algo es o no lógico. Mostramos que las aportaciones de las lógicas no clásicas y la pragmática, así como del estudio de otras formas de inferencia distintas de la deducción, enriquecen la caracterización intuitiva de la lógica, lo cual resulta de un interés especial cuando se trata de aplicar la lógica al entrenamiento y evaluación del razonamiento humano.Abstract: The question of logicality searches for criteria that make that a given object can be considered a logical object. Different criteria of logicality establish not only the different possible ways of conceiving logic as an academic discipline, but also the different ways of understanding, in natural language or in other disciplines, what means that something is logical or not. We show that the contribution of non-classical logics and pragmatics, and the study of other kinds of inference different to deduction, enrich the intuitive characterization of logic, which is of particular interest when trying to apply the logic for training and evaluating human reasoning.

Argument Complexity: Teaching Undergraduates to Make Better Arguments

Science.gov (United States)

Kelly, Matthew A.; West, Robert L.

2017-01-01

The task of turning undergrads into academics requires teaching them to reason about the world in a more complex way. We present the Argument Complexity Scale, a tool for analysing the complexity of argumentation, based on the Integrative Complexity and Conceptual Complexity Scales from, respectively, political psychology and personality theory.…

Interaction patterns in crisis negotiations: persuasive arguments and cultural differences.

Science.gov (United States)

Giebels, Ellen; Taylor, Paul J

2009-01-01

This research examines cultural differences in negotiators' responses to persuasive arguments in crisis (hostage) negotiations over time. Using a new method of examining cue-response patterns, the authors examined 25 crisis negotiations in which police negotiators interacted with perpetrators from low-context (LC) or high-context (HC) cultures. Compared with HC perpetrators, LC perpetrators were found to use more persuasive arguments, to reciprocate persuasive arguments in the second half of negotiations, and to respond to persuasive arguments in a compromising way. Further analyses found that LC perpetrators were more likely to communicate threats, especially in the first half of the negotiations, but that HC perpetrators were more likely to reciprocate them. The implications of these findings for our understanding of intercultural interaction are discussed. (PsycINFO Database Record (c) 2009 APA, all rights reserved).

Logic programming extensions of Horn clause logic

Directory of Open Access Journals (Sweden)

Ron Sigal

1988-11-01

Full Text Available Logic programming is now firmly established as an alternative programming paradigm, distinct and arguably superior to the still dominant imperative style of, for instance, the Algol family of languages. The concept of a logic programming language is not precisely defined, but it is generally understood to be characterized buy: a declarative nature; foundation in some well understood logical system, e.g., first order logic.

State–time spectrum of signal transduction logic models

International Nuclear Information System (INIS)

MacNamara, Aidan; Terfve, Camille; Henriques, David; Bernabé, Beatriz Peñalver; Saez-Rodriguez, Julio

2012-01-01

Despite the current wealth of high-throughput data, our understanding of signal transduction is still incomplete. Mathematical modeling can be a tool to gain an insight into such processes. Detailed biochemical modeling provides deep understanding, but does not scale well above relatively a few proteins. In contrast, logic modeling can be used where the biochemical knowledge of the system is sparse and, because it is parameter free (or, at most, uses relatively a few parameters), it scales well to large networks that can be derived by manual curation or retrieved from public databases. Here, we present an overview of logic modeling formalisms in the context of training logic models to data, and specifically the different approaches to modeling qualitative to quantitative data (state) and dynamics (time) of signal transduction. We use a toy model of signal transduction to illustrate how different logic formalisms (Boolean, fuzzy logic and differential equations) treat state and time. Different formalisms allow for different features of the data to be captured, at the cost of extra requirements in terms of computational power and data quality and quantity. Through this demonstration, the assumptions behind each formalism are discussed, as well as their advantages and disadvantages and possible future developments. (paper)

On the validity of language: speaking, knowing and understanding in medical geography.

Science.gov (United States)

Scarpaci, J L

1993-09-01

This essay examines methodological problems concerning the conceptualization and operationalization of phenomena central to medical geography. Its main argument is that qualitative research can be strengthened if the differences between instrumental and apparent validity are better understood than the current research in medical geography suggests. Its premise is that our definitions of key terms and concepts must be reinforced throughout the design of research should our knowledge and understanding be enhanced. In doing so, the paper aims to move the methodological debate beyond the simple dichotomies of quantitative vs qualitative approaches and logical positivism vs phenomenology. Instead, the argument is couched in a postmodernist hermeneutic sense which questions the validity of one discourse of investigation over another. The paper begins by discussing methods used in conceptualizing and operationalizing variables in quantitative and qualitative research design. Examples derive from concepts central to a geography of health-care behavior and well-being. The latter half of the essay shows the uses and misuses of validity studies in selected health services research and the current debate on national health insurance.

Intuitionistic hybrid logic

DEFF Research Database (Denmark)

Braüner, Torben

2011-01-01

Intuitionistic hybrid logic is hybrid modal logic over an intuitionistic logic basis instead of a classical logical basis. In this short paper we introduce intuitionistic hybrid logic and we give a survey of work in the area.......Intuitionistic hybrid logic is hybrid modal logic over an intuitionistic logic basis instead of a classical logical basis. In this short paper we introduce intuitionistic hybrid logic and we give a survey of work in the area....

The Effect of Logical Thinking and Two Cognitive Styles on Understanding the Structure of Matter: An Analysis with the Random Walk Method

Science.gov (United States)

Stamovlasis, Dimitrios; Tsitsipis, Georgios; Papageorgiou, George

2010-01-01

This work uses the concepts and tools of complexity theory to examine the effect of logical thinking and two cognitive styles, such as, the degree of field dependence/independence and the convergent/divergent thinking on students' understanding of the structure of matter. Students were categorized according to the model they adopted for the…

Principles of logic and the use of digital geographic information systems

Science.gov (United States)

Robinove, Charles Joseph

1986-01-01

Digital geographic information systems allow many different types of data to be spatially and statistically analyzed. Logical operations can be performed on individual or multiple data planes by algorithms that can be implemented in computer systems. Users and creators of the systems should fully understand these operations. This paper describes the relationships of layers and features in geographic data bases and the principles of logic that can be applied by geographic information systems and suggests that a thorough knowledge of the data that are entered into a geographic data base and of the logical operations will produce results that are most satisfactory to the user. Methods of spatial analysis are reduced to their primitive logical operations and explained to further such understanding.

Multiple Institutional Logics in Inter-Institutional Temporary Organizations

DEFF Research Database (Denmark)

Pemsel, Sofia; Söderlund, Jonas

for the planning and construction of a new super hospital in the capital of Sweden. Our empirical data demonstrates the important role institutional logics contribute with in understanding logics behind actions as well as emerging conflicts in practice throughout the project process. The paper identifies four......The idea of multiple institutional logics currently draws more and more attention as many organizational actors are forced to operate in ever more complex, temporary and vivid collaborations. We draw on findings from a unique case study of a temporary organization that carried the responsibility...

The Argumentative Connective "Meme" in French: An Experimental Study in Eight- to Ten-Year-Old Children.

Science.gov (United States)

Bassano, Dominique; Champaud, Christian

1989-01-01

Examines how children understand the argumentative function of the French connective meme (even). Two completion tasks, related to the argumentative properties of the morpheme, were used: 1) to infer the conclusion of an "even" sentence, and 2) to infer the argument position. (34 references) (Author/CB)

Classical logic and logicism in human thought

OpenAIRE

Elqayam, Shira

2012-01-01

This chapter explores the role of classical logic as a theory of human reasoning. I distinguish between classical logic as a normative, computational and algorithmic system, and review its role is theories of human reasoning since the 1960s. The thesis I defend is that psychological theories have been moving further and further away from classical logic on all three levels. I examine some prominent example of logicist theories, which incorporate logic in their psychological account, includin...

Big Argumentation?

Directory of Open Access Journals (Sweden)

Daniel Faltesek

2013-08-01

Full Text Available Big Data is nothing new. Public concern regarding the mass diffusion of data has appeared repeatedly with computing innovations, in the formation before Big Data it was most recently referred to as the information explosion. In this essay, I argue that the appeal of Big Data is not a function of computational power, but of a synergistic relationship between aesthetic order and a politics evacuated of a meaningful public deliberation. Understanding, and challenging, Big Data requires an attention to the aesthetics of data visualization and the ways in which those aesthetics would seem to depoliticize information. The conclusion proposes an alternative argumentative aesthetic as the appropriate response to the depoliticization posed by the popular imaginary of Big Data.

Argumentation Schema and the Myside Bias in Written Argumentation

Science.gov (United States)

Wolfe, Christopher R.; Britt, M. Anne; Butler, Jodie A.

2009-01-01

This article describes a cognitive argumentation schema for written arguments and presents three empirical studies on the "myside" bias--the tendency to ignore or exclude evidence against one's position. Study 1 examined the consequences of conceding, rebutting, and denying other-side information. Rebuttal led to higher ratings of…

Fuzzy logic: A “simple” solution for complexities in neurosciences?

Science.gov (United States)

Godil, Saniya Siraj; Shamim, Muhammad Shahzad; Enam, Syed Ather; Qidwai, Uvais

2011-01-01

Background: Fuzzy logic is a multi-valued logic which is similar to human thinking and interpretation. It has the potential of combining human heuristics into computer-assisted decision making, which is applicable to individual patients as it takes into account all the factors and complexities of individuals. Fuzzy logic has been applied in all disciplines of medicine in some form and recently its applicability in neurosciences has also gained momentum. Methods: This review focuses on the use of this concept in various branches of neurosciences including basic neuroscience, neurology, neurosurgery, psychiatry and psychology. Results: The applicability of fuzzy logic is not limited to research related to neuroanatomy, imaging nerve fibers and understanding neurophysiology, but it is also a sensitive and specific tool for interpretation of EEGs, EMGs and MRIs and an effective controller device in intensive care units. It has been used for risk stratification of stroke, diagnosis of different psychiatric illnesses and even planning neurosurgical procedures. Conclusions: In the future, fuzzy logic has the potential of becoming the basis of all clinical decision making and our understanding of neurosciences. PMID:21541006

Using the Cognitive Apprenticeship Web-Based Argumentation System to Improve Argumentation Instruction

Science.gov (United States)

Tsai, Chun-Yen; Jack, Brady Michael; Huang, Tai-Chu; Yang, Jin-Tan

2012-01-01

This study investigated how the instruction of argumentation skills could be promoted by using an online argumentation system. This system entitled "Cognitive Apprenticeship Web-based Argumentation" (CAWA) system was based on cognitive apprenticeship model. One hundred eighty-nine fifth grade students took part in this study. A quasi-experimental…

What is "the patient perspective" in patient engagement programs? Implicit logics and parallels to feminist theories.

Science.gov (United States)

Rowland, Paula; McMillan, Sarah; McGillicuddy, Patti; Richards, Joy

2017-01-01

Public and patient involvement (PPI) in health care may refer to many different processes, ranging from participating in decision-making about one's own care to participating in health services research, health policy development, or organizational reforms. Across these many forms of public and patient involvement, the conceptual and theoretical underpinnings remain poorly articulated. Instead, most public and patient involvement programs rely on policy initiatives as their conceptual frameworks. This lack of conceptual clarity participates in dilemmas of program design, implementation, and evaluation. This study contributes to the development of theoretical understandings of public and patient involvement. In particular, we focus on the deployment of patient engagement programs within health service organizations. To develop a deeper understanding of the conceptual underpinnings of these programs, we examined the concept of "the patient perspective" as used by patient engagement practitioners and participants. Specifically, we focused on the way this phrase was used in the singular: "the" patient perspective or "the" patient voice. From qualitative analysis of interviews with 20 patient advisers and 6 staff members within a large urban health network in Canada, we argue that "the patient perspective" is referred to as a particular kind of situated knowledge, specifically an embodied knowledge of vulnerability. We draw parallels between this logic of patient perspective and the logic of early feminist theory, including the concepts of standpoint theory and strong objectivity. We suggest that champions of patient engagement may learn much from the way feminist theorists have constructed their arguments and addressed critique.

Logical labyrinths

CERN Document Server

Smullyan, Raymond

2008-01-01

This book features a unique approach to the teaching of mathematical logic by putting it in the context of the puzzles and paradoxes of common language and rational thought. It serves as a bridge from the author's puzzle books to his technical writing in the fascinating field of mathematical logic. Using the logic of lying and truth-telling, the author introduces the readers to informal reasoning preparing them for the formal study of symbolic logic, from propositional logic to first-order logic, a subject that has many important applications to philosophy, mathematics, and computer science. T

Three Arguments for Lotteries

OpenAIRE

STONE, PETER

2010-01-01

PUBLISHED Philosophers and social scientists have offered a variety of arguments for making certain types of decisions by lot. This paper examines three such arguments. These arguments identify indeterminacy, fairness and incentive effects as the major reasons for using lotteries to make decisions. These arguments are central to Jon Elster?s study of lottery use, Solomonic judgments (1989), and so the paper focuses upon their treatment in this work. Upon closer examination, all three argum...

The Problem of Evil: Theodicy and Argumentation

Directory of Open Access Journals (Sweden)

Shokhin Vladimir

2016-09-01

Full Text Available The paper departs from differing of two modalities of the attitude of the theistic reason to the problem of evil, i.e. building of universally valid explanatonary models (theodicy and apologies in the particular contexts (defense. The first one contradicts to the foundations of theistic world-view inasmuch as the biblical texts persuade one that causes of evil are particular and not universal and are far sometimes to be in the scope of a finite reason. In addition, logical problems with mutual correlation of the main theodicies are demonstrated. The modality of defense seems much more epistemically justified and actual, but here by no means all persuasive resources of controversy are used. The author suggests his own answers to some atheistic challenges, in the fi rst place unmasking double standards in the corresponding argumentation unavoidable for any wishful thinking and contraposes to the idea of multitude of gratuitous evils that of infinite profusion of undeserved boons.

Argumentative processes on a opinion article of the Portuguese Language Olympics

Directory of Open Access Journals (Sweden)

Gilton Sampaio de Souza

2017-09-01

Full Text Available This study aims to analyze the different types of arguments, considering them central parts of argumentative processes, in opinion articles of the Portuguese Language Olympiad written on the topic “Where I live.” To analyze the arguments in the selected articles we adopted the assumptions of the New Rhetoric (PERELMAN; OLBRECHTS-TYTECA, 2005, associated with the studies of Bakhtin (2003, 2010 and of Souza (2003, 2008, 2009, among others. We selected five articles awarded in different competitions (2008, 2010, 2012, which are in public domain, available on the official site of the Olympics. Most of the articles have their theses made by the arguments that support the actual structure, highlighting the relations of cause/effect and fact/consequence. Based on the established connection between the facts, speakers/ writers seek to understand these relationships and at the same time, explain and justify arguments and controversies involving issues related to their experience in the community.

A Reinforcement Learning Approach to Improve the Argument Selection Effectiveness in Argumentation-based Negotiation

OpenAIRE

Amandi, Analia Adriana; Monteserin, Ariel José

2016-01-01

Argument selection is considered the essence of the strategy in argumentation-based negotiation. An agent, which is arguing during a negotiation, must decide what arguments are the best to persuade the opponent. In fact, in each negotiation step, the agent must select an argument from a set of candidate arguments by applying some selection policy. Following this policy, the agent observes some factors of the negotiation context, for instance: trust in the opponent and expected utility of the...

Stacking up against Alternative Conceptions: Using Uno Cards to Introduce Discourse and Argumentation

Science.gov (United States)

Dunac, Patricia S.; Demi, Kadir

2013-01-01

We engaged secondary science students in a teacher and student constructed Uno card game (UCG) to change their conceptual understanding of the various energy transformations. The paper outlines how we incorporated Toulmin's argumentation pattern (Toulmin 1958 "The Uses of Argument"(Cambridge: Cambridge University Press)) in the UCG,…

Argumentation in undergraduate chemistry laboratories

Science.gov (United States)

Walker, Joi Phelps

To address the need for reform in undergraduate science education a new instructional model called Argument-Driven Inquiry (ADI) was developed and then implemented in a undergraduate chemistry course at a community college in the southeastern United States (Sampson, Walker, & Grooms, 2009; Walker, Sampson, & Zimmerman, in press). The ADI instructional model is designed to give a more central place to argumentation and the role of argument in the social construction of scientific knowledge. This research investigated the growth in the quality of the student generated arguments and the scientific argumentation that took place over the course of a semester. Students enrolled in two sections of General Chemistry I laboratory at the community college participated in this study. The students worked in collaborative groups of three or four. The students were given a variation of the same performance task three times during the semester in order to measure individual ability to use evidence and justify their choice of evidence with appropriate rationale. Five ADI investigations took place during the semester and the laboratory reports for each were collected from each student and the argument section of each report was scored. All the student groups were video recorded five times during the semester as they generated and evaluated arguments and the quality of the group argumentation was assessed using an instrument called the Assessment of Scientific Argumentation in the Classroom (ASAC) observation protocol. As time was the independent variable in this study a repeated measure ANOVA was used to evaluate the significance of student improvement in each area (argumentation, written argument and performance task) over the course of the semester (Trochim, 1999). In addition, a multiple regression analysis was conducted to evaluate how well the ASAC scores predicted individual scores on both the performance task and the written arguments (Green & Salkind, 2005). There was

Construction of Argumentative Discourse in Foucaltian Perspective

Directory of Open Access Journals (Sweden)

Isabel Cristina Michelan de Azevedo

2016-12-01

Full Text Available This article draws upon the argumentative scheme described by New Rhetoric in order to discuss how the organization of reasonings by association and dissociation can be analyzed in Foucault’s studies (2008 [1969], 2004 [1971] on the constitution of discourse in society, aiming to promote a reflection about the possibilities of analysis of high school students productions and about the organization of argument teaching in basic education. Through an interpretative methodology (ERICKSON, 1986, we seek to understand the discursive movements gathered from productions made during the National Secondary Education Examination in 2004 and to indicate alternatives to develop pedagogical practices committed to the formation of a critical subject. Illustrative analyzes indicate that students prepare reflections authorized by certain discursive formation, task that requires the definition of an identity and the preparing of arguments aligned to the political choices discursively adopted. Thus, it becomes evident the need to diversify the teaching and learning processes when one want to expand the possibilities of the subject to take any stance relative to other positions.

FUZZY LOGIC IN LEGAL EDUCATION

Directory of Open Access Journals (Sweden)

Z. Gonul BALKIR

2011-04-01

Full Text Available The necessity of examination of every case within its peculiar conditions in social sciences requires different approaches complying with the spirit and nature of social sciences. Multiple realities require different and various perceptual interpretations. In modern world and social sciences, interpretation of perception of valued and multi-valued have been started to be understood by the principles of fuzziness and fuzzy logic. Having the verbally expressible degrees of truthness such as true, very true, rather true, etc. fuzzy logic provides the opportunity for the interpretation of especially complex and rather vague set of information by flexibility or equivalence of the variables’ of fuzzy limitations. The methods and principles of fuzzy logic can be benefited in examination of the methodological problems of law, especially in the applications of filling the legal loopholes arising from the ambiguities and interpretation problems in order to understand the legal rules in a more comprehensible and applicable way and the efficiency of legal implications. On the other hand, fuzzy logic can be used as a technical legal method in legal education and especially in legal case studies and legal practice applications in order to provide the perception of law as a value and the more comprehensive and more quality perception and interpretation of value of justice, which is the core value of law. In the perception of what happened as it has happened in legal relationships and formations, the understanding of social reality and sociological legal rules with multi valued sense perspective and the their applications in accordance with the fuzzy logic’s methods could create more equivalent and just results. It can be useful for the young lawyers and law students as a facilitating legal method especially in the materialization of the perception and interpretation of multi valued and variables. Using methods and principles of fuzzy logic in legal

Piloting a logic-based framework for understanding organisational change process for a health IT implementation.

Science.gov (United States)

Diment, Kieren; Garrety, Karin; Yu, Ping

2011-01-01

This paper describes how a method for evaluating organisational change based on the theory of logical types can be used for classifying organisational change processes to understand change after the implementation of an electronic documentation system in a residential aged care facility. In this instance we assess the organisational change reflected by care staff's perceptions of the benefits of the new documentation system at one site, at pre-implementation, and at 12 months post-implementation. The results show how a coherent view from the staff as a whole of the personal benefits, the benefits for others and the benefits for the organization create a situation of positive feedback leading to embeddedness of the documentation system into the site, and a broader appreciation of the potential capabilities of the electronic documentation system.

Argumentativeness and Resistance to Persuasion.

Science.gov (United States)

Levine, Timothy R.; Badger, Eugenia E.

1993-01-01

Examines college students' level of argumentativeness in relation to persuasion. Finds that highly argumentative individuals experienced more attitude change than their less argumentative counterparts. Shows that topic had no effect upon attitude change and that topic did not interact with argumentativeness. (SR)

Argumentation Theory. [A Selected Annotated Bibliography].

Science.gov (United States)

Benoit, William L.

Materials dealing with aspects of argumentation theory are cited in this annotated bibliography. The 50 citations are organized by topic as follows: (1) argumentation; (2) the nature of argument; (3) traditional perspectives on argument; (4) argument diagrams; (5) Chaim Perelman's theory of rhetoric; (6) the evaluation of argument; (7) argument…

The principle of procreative beneficence: old arguments and a new challenge.

Science.gov (United States)

Hotke, Andrew

2014-06-01

In the last ten years, there have been a number of attempts to refute Julian Savulescu's Principle of Procreative Beneficence; a principle which claims that parents have a moral obligation to have the best child that they can possibly have. So far, no arguments against this principle have succeeded at refuting it. This paper tries to explain the shortcomings of some of the more notable arguments against this principle. I attempt to break down the argument for the principle and in doing so, I explain what is needed to properly refute it. This helps me show how and why the arguments of Rebecca Bennett, Sarah Stoller and others fail to refute the principle. Afterwards, I offer a new challenge to the principle. I attack what I understand to be a fundamental premise of the argument, a premise which has been overlooked in the literature written about this principle. I argue that there is no reason to suppose, as Savulescu does, that morality requires us to do what we have most reason to do. If we reject this premise, as I believe we have reason to do, the argument for Procreative Beneficence fails. © 2012 John Wiley & Sons Ltd.

Value Creation Logics and Internationalization of Service Firms

DEFF Research Database (Denmark)

Ørberg Jensen, Peter D.; Petersen, Bent

2014-01-01

be based on a thorough understanding of the fundamental nature of these firms. Design/methodology/approach - Theoretical study. Findings - We put forward propositions concerning the pace of internationalization and the default foreign operation modes in service firms. Research limitations...... implications - We suggest that managers in service firms should consider primarily the nature of the value creation logic(s) in their firms when deciding and designing an internationalization strategy. Originality/value - The study presents a novel theoretical approach and a set of propositions on service firm....../implications - The use of value creation logics can be a useful complement to the conventional approaches to the study of service firms’ internationalization. However, the fact that most firms encompass more than one value creation logic complicates the use of firm databases and industry statistics. Practical...

Sidgwick’s Argument for Utilitarianism and his Moral Epistemology: A Reply to David Phillips

OpenAIRE

Skelton, Anthony

2014-01-01

David Phillips’s Sidgwickian Ethics is a penetrating contribution to the scholarly and philosophical understanding of Henry Sidgwick’s The Methods of Ethics. This note focuses on Phillips’s understanding of (aspects of) Sidgwick’s argument for utilitarianism and the moral epistemology to which he subscribes. In § I, I briefly outline the basic features of the argument that Sidgwick provides for utilitarianism, noting some disagreements with Phillips along the way. In § II, I raise some object...

The deconstruction of safety arguments through adversarial counter-argument

International Nuclear Information System (INIS)

Armstrong, James M.; Paynter, Stephen E.

2007-01-01

The project Deconstructive Evaluation of Risk In Dependability Arguments and Safety Cases (DERIDASC) has recently experimented with techniques borrowed from literary theory as safety case analysis techniques [Armstrong. Danger: Derrida at work. Interdiscipl Sci Rev 2003;28(2):83-94. ; Armstrong J, Paynter S. Safe systems: construction, destruction, and deconstruction. In: Redmill F, Anderson T, editors. Proceedings of the 11th safety critical systems symposium, Bristol, UK. Berlin: Springer; 2003. p. 62-76. ISBN:1-85233-696-X. ]. This paper introduces our high-level framework for 'deconstructing' safety arguments. Our approach is quite general and should be applicable to different types of safety argumentation framework. As one example, we outline how the approach would work in the context of the Goal Structure Notation (GSN)

Mastery of Scientific Argumentation on the Concept of Neutralization in Chemistry: A Malaysian Perspective

Science.gov (United States)

Heng, Lee Ling; Surif, Johari; Seng, Cher Hau; Ibrahim, Nor Hasniza

2015-01-01

Purpose: Argumentative practices are central to science education, and have recently been emphasised to promote students' reasoning skills and to develop student's understanding of scientific concepts. This study examines the mastery of scientific argumentation, based on the concept of neutralisation, among secondary level science students, when…

Rich preference-based argumentation frameworks

OpenAIRE

Amgoud , Leila; Vesic , Srdjan

2014-01-01

International audience; An argumentation framework is seen as a directed graph whose nodes are arguments and arcs are attacks between the arguments. Acceptable sets of arguments, called extensions, are computed using a semantics. Existing semantics are solely based on the attacks and do not take into account other important criteria like the intrinsic strengths of arguments. The contribution of this paper is three fold. First, we study how preferences issued from differences in strengths of a...

Argumentation and Game Theory

Science.gov (United States)

Rahwan, Iyad; Larson, Kate

In a large class of multi-agent systems, agents are self-interested in the sense that each agent is interested only in furthering its individual goals, which may or may not coincide with others’ goals. When such agents engage in argument, they would be expected to argue strategically in such a way that makes it more likely for their argumentative goals to be achieved. What we mean by arguing strategically is that instead of making arbitrary arguments, an agent would carefully choose its argumentative moves in order to further its own objectives.

A Logic Model for Evaluating the Academic Health Department.

Science.gov (United States)

Erwin, Paul Campbell; McNeely, Clea S; Grubaugh, Julie H; Valentine, Jennifer; Miller, Mark D; Buchanan, Martha

2016-01-01

Academic Health Departments (AHDs) are collaborative partnerships between academic programs and practice settings. While case studies have informed our understanding of the development and activities of AHDs, there has been no formal published evaluation of AHDs, either singularly or collectively. Developing a framework for evaluating AHDs has potential to further aid our understanding of how these relationships may matter. In this article, we present a general theory of change, in the form of a logic model, for how AHDs impact public health at the community level. We then present a specific example of how the logic model has been customized for a specific AHD. Finally, we end with potential research questions on the AHD based on these concepts. We conclude that logic models are valuable tools, which can be used to assess the value and ultimate impact of the AHD.

The schematic structure of a genre and the logical-semantic relations in an example of argument genre

Directory of Open Access Journals (Sweden)

Angela Maria Rossi

2017-12-01

Full Text Available From the focus on genre from the School of Sydney (ROSE; MARTIN, 2012 and the Systemic Functional Grammar (HALLIDAY; MATTHIESSEN, 2014, this article aimed to verify how the logic-semantical relation contribute to the organization of the Scheme Structure of a sample of the discussion genre. As predominant, it was verified hypotactical and paratactical relations of intensification, and simplexes.

Den gode argumentations anatomi

DEFF Research Database (Denmark)

Kock, Christian Erik J

2013-01-01

God argumentation har tre dimensioner: Den er faktuelt retvisende, den er relevant, og den er vægtig. Desværre slipper politikerne ofte af sted med mangelfuld argumentation fordi de forklæder den godt. Derfor får du her de vigtigste redskaber til at spotte uskikkene i politisk argumentation...

Instantons in Self-Organizing Logic Gates

Science.gov (United States)

Bearden, Sean R. B.; Manukian, Haik; Traversa, Fabio L.; Di Ventra, Massimiliano

2018-03-01

Self-organizing logic is a recently suggested framework that allows the solution of Boolean truth tables "in reverse"; i.e., it is able to satisfy the logical proposition of gates regardless to which terminal(s) the truth value is assigned ("terminal-agnostic logic"). It can be realized if time nonlocality (memory) is present. A practical realization of self-organizing logic gates (SOLGs) can be done by combining circuit elements with and without memory. By employing one such realization, we show, numerically, that SOLGs exploit elementary instantons to reach equilibrium points. Instantons are classical trajectories of the nonlinear equations of motion describing SOLGs and connect topologically distinct critical points in the phase space. By linear analysis at those points, we show that these instantons connect the initial critical point of the dynamics, with at least one unstable direction, directly to the final fixed point. We also show that the memory content of these gates affects only the relaxation time to reach the logically consistent solution. Finally, we demonstrate, by solving the corresponding stochastic differential equations, that, since instantons connect critical points, noise and perturbations may change the instanton trajectory in the phase space but not the initial and final critical points. Therefore, even for extremely large noise levels, the gates self-organize to the correct solution. Our work provides a physical understanding of, and can serve as an inspiration for, models of bidirectional logic gates that are emerging as important tools in physics-inspired, unconventional computing.

Defining Rhetorical Argumentation

DEFF Research Database (Denmark)

Kock, Christian Erik J

2013-01-01

This article argues for a definition of rhetorical argumentation based on the theme of the argumentation, i.e., the issue in dispute - rather than its aim (e.g., to ‘win’) or its means (e.g., emotional appeals). The principal thinkers in the rhetorical tradition, from Aristotle onwards, saw...... rhetoric as practical reasoning, i.e., reasoning on proposals for action or choice, not on propositions that may be either true or false. Citing several contemporary philosophers, the article argues that such a definition acquits rhetorical argumentation of any culpable unconcern with truth and explains...

The Institutional Logic of Images of the Poor and Welfare Recipients

DEFF Research Database (Denmark)

Larsen, Christian Albrekt

The article investigates how the poor and welfare recipients are depicted in British, Danish and Swedish newspapers. The study was inspired by American media studies that have documented a negative stereotypic way of portraying the poor and welfare recipients; especially in the case...... they are African-Americans. The article argues that there is an institutional welfare-regime logic behind the way the poor and welfare recipients are depicted in the mass media. It is not only a matter of race. This argument is substantiated by showing that the poor and welfare recipients are a) also depicted...

Effects of Advance Organizer Lessons on Children's Use and Understanding of the Causal and Logical "Because"

Science.gov (United States)

Lawton, Joseph T.

1977-01-01

Tests Ausubel's (1960) subsumption theory of learning in the context of children's use of causal and logical connectives. Predicts that the acquisition of prior cognitive structure organizers would facilitate the learning and retention of subsequently presented concepts and logical operations and lead to a decrease of syncretic reasoning and…

On Logic and Standards for Structuring Documents

Science.gov (United States)

Eyers, David M.; Jones, Andrew J. I.; Kimbrough, Steven O.

The advent of XML has been widely seized upon as an opportunity to develop document representation standards that lend themselves to automated processing. This is a welcome development and much good has come of it. That said, present standardization efforts may be criticized on a number of counts. We explore two issues associated with document XML standardization efforts. We label them (i) the dynamic point and (ii) the logical point. Our dynamic point is that in many cases experience has shown that the search for a final, or even reasonably permanent, document representation standard is futile. The case is especially strong for electronic data interchange (EDI). Our logical point is that formalization into symbolic logic is materially helpful for understanding and designing dynamic document standards.

Hrozné zlo a jeho dopad na filozofické chápanie Boha ( Horrendous Evil and its Implications for the Philosophical Understanding of God

Directory of Open Access Journals (Sweden)

Ľuboš Rojka

2017-12-01

Full Text Available The argument from evil in the contemporary analytic philosophy of religion changed from the logical problem to the evidential problem of evil, and recently to the problem of horrendous evil. D. Z. Phillips refuses instrumentalist solutions to the previous forms of the argument, because the problem of horrendous evil shows the absurdity of instrumentalist solutions, which imply a personal concept of God. The Thomistic concept of God is not acceptable either, because it is just an abstract concept. He suggests understanding of God as love, which does not interfere in worldly affairs. M. M. Adams responds to several objections raised by Phillips and proposes a better solution through the concept of being a morally good person. A critical analysis of the debate favors the concept of a personal God as it is used in the majoritarian analytical philosophy of religion.

Argumentation Skills: A Peer Assessment Approach to Discussions in the EFL Classroom

Directory of Open Access Journals (Sweden)

Diego Fernando Ubaque Casallas

2016-07-01

Full Text Available This paper presents an exploratory action research study carried out by two English as a foreign language teachers in a private, non-profit institution in Bogota, Colombia, with a group of 12 learners in a B1 English course. These students faced difficulties elaborating on their ideas when discussing issues in class. The study placed emphasis on the use of argumentation outlines and peer assessment to boost learners’ argumentative abilities. Audio-taped conversations and open-ended interviews were used to understand the impact on the pedagogical intervention. Findings revealed that argumentation outlines and peer assessment can promote learners’ awareness and ability to engage in argumentation processes. Moreover, peer assessment appears to be an essential tool for enhancing personal and collaborative learning, as well as for promoting learner reflection and agency.

Manipulating potential wells in Logical Stochastic Resonance to obtain XOR logic

International Nuclear Information System (INIS)

Storni, Remo; Ando, Hiroyasu; Aihara, Kazuyuki; Murali, K.; Sinha, Sudeshna

2012-01-01

Logical Stochastic Resonance (LSR) is the application of Stochastic Resonance to logic computation, namely the phenomenon where a nonlinear system driven by weak signals representing logic inputs, under optimal noise, can yield logic outputs. We extend the existing results, obtained in the context of bistable systems, to multi-stable dynamical systems, allowing us to obtain XOR logic, in addition to the AND (NAND) and OR (NOR) logic observed in earlier studies. This strategy widens the scope of LSR from the application point of view, as XOR forms the basis of ubiquitous bit-by-bit addition, and conceptually, showing the ability to yield non-monotonic input–output logic associations. -- Highlights: ► We generalize Logical Stochastic Resonance from bistable to multi-stable systems. ► We propose a tristable dynamical system formed of piecewise linear functions. ► The system can correctly reproduce XOR logic behavior using the LSR principle. ► The system yields different logic behavior without the need to change the dynamics.

Classical Mathematical Logic The Semantic Foundations of Logic

CERN Document Server

Epstein, Richard L

2011-01-01

In Classical Mathematical Logic, Richard L. Epstein relates the systems of mathematical logic to their original motivations to formalize reasoning in mathematics. The book also shows how mathematical logic can be used to formalize particular systems of mathematics. It sets out the formalization not only of arithmetic, but also of group theory, field theory, and linear orderings. These lead to the formalization of the real numbers and Euclidean plane geometry. The scope and limitations of modern logic are made clear in these formalizations. The book provides detailed explanations of all proo

Personalisation - An Emergent Institutional Logic in Healthcare?; Comment on “(Re Making the Procrustean Bed? Standardization and Customization as Competing Logics in Healthcare”

Directory of Open Access Journals (Sweden)

Ewan Ferlie

2018-01-01

Full Text Available This commentary on the recent think piece by Mannion and Exworthy reviews their core arguments, highlighting their suggestion that recent forces for personalization have emerged which may counterbalance the strong standardization wave which has been evident in many healthcare settings and systems over the last two decades. These forces for personalization can take very different forms. The commentary explores the authors’ suggestion that these themes can be fruitfully examined theoretically through an institutional logics (ILs literature, which has recently been applied by some scholars to healthcare settings. This commentary outlines key premises of that theoretical tradition. Finally, the commentary makes suggestions for taking this IL influenced research agenda further, along with some issues to be addressed.

Logical studies of paraconsistent reasoning in science and mathematics

CERN Document Server

Verdée, Peter

2016-01-01

This book covers work written by leading scholars from different schools within the research area of paraconsistency. The authors critically investigate how contemporary paraconsistent logics can be used to better understand human reasoning in science and mathematics. Offering a variety of perspectives, they shed a new light on the question of whether paraconsistent logics can function as the underlying logics of inconsistent but useful scientific and mathematical theories. The great variety of paraconsistent logics gives rise to various, interrelated questions, such as what are the desiderata a paraconsistent logic should satisfy, is there prospect of a universal approach to paraconsistent reasoning with axiomatic theories, and to what extent is reasoning about sets structurally analogous to reasoning about truth. Furthermore, the authors consider paraconsistent logic’s status as either a normative or descriptive discipline (or one which falls in between) and which inconsistent but non-trivial axiomatic th...

Transforming equality logic to propositional logic

NARCIS (Netherlands)

Zantema, H.; Groote, J.F.

2003-01-01

Abstract We investigate and compare various ways of transforming equality formulas to propositional formulas, in order to be able to solve satisfiability in equality logic by means of satisfiability in propositional logic. We propose equality substitution as a new approach combining desirable

Graduate Courses in Argumentation Theory.

Science.gov (United States)

Benoit, William L.; Follert, Vincent F.

1986-01-01

Reports results of a survey of graduate courses in argumentation theory. Includes data on types of courses, theorists, historical and basic concepts in argument, everyday argument, resources (books and articles), etc. (PD)

Logic in the curricula of Computer Science

Directory of Open Access Journals (Sweden)

Margareth Quindeless

2014-12-01

Full Text Available The aim of the programs in Computer Science is to educate and train students to understand the problems and build systems that solve them. This process involves applying a special reasoning to model interactions, capabilities, and limitations of the components involved. A good curriculum must involve the use of tools to assist in these tasks, and one that could be considered as a fundamental is the logic, because with it students develop the necessary reasoning. Besides, software developers analyze the behavior of the program during the designed, the depuration, and testing; hardware designers perform minimization and equivalence verification of circuits; designers of operating systems validate routing protocols, programing, and synchronization; and formal logic underlying all these activities. Therefore, a strong background in applied logic would help students to develop or potentiate their ability to reason about complex systems. Unfortunately, few curricula formed and properly trained in logic. Most includes only one or two courses of Discrete Mathematics, which in a few weeks covered truth tables and the propositional calculus, and nothing more. This is not enough, and higher level courses in which they are applied and many other logical concepts are needed. In addition, students will not see the importance of logic in their careers and need to modify the curriculum committees or adapt the curriculum to reverse this situation.

Structural Logical Relations

DEFF Research Database (Denmark)

Schürmann, Carsten; Sarnat, Jeffrey

2008-01-01

Tait's method (a.k.a. proof by logical relations) is a powerful proof technique frequently used for showing foundational properties of languages based on typed lambda-calculi. Historically, these proofs have been extremely difficult to formalize in proof assistants with weak meta-logics......, such as Twelf, and yet they are often straightforward in proof assistants with stronger meta-logics. In this paper, we propose structural logical relations as a technique for conducting these proofs in systems with limited meta-logical strength by explicitly representing and reasoning about an auxiliary logic...

Molecular logic gates: the past, present and future.

Science.gov (United States)

Erbas-Cakmak, Sundus; Kolemen, Safacan; Sedgwick, Adam C; Gunnlaugsson, Thorfinnur; James, Tony D; Yoon, Juyoung; Akkaya, Engin U

2018-04-03

The field of molecular logic gates originated 25 years ago, when A. P. de Silva published a seminal article in Nature. Stimulated by this ground breaking research, scientists were inspired to join the race to simulate the workings of the fundamental components of integrated circuits using molecules. The rules of this game of mimicry were flexible, and have evolved and morphed over the years. This tutorial review takes a look back on and provides an overview of the birth and growth of the field of molecular logics. Spinning-off from chemosensor research, molecular logic gates quickly proved themselves to be more than intellectual exercises and are now poised for many potential practical applications. The ultimate goal of this vein of research became clearer only recently - to "boldly go where no silicon-based logic gate has gone before" and seek out a new deeper understanding of life inside tissues and cells.

BDI Logics

NARCIS (Netherlands)

Meyer, J.J.Ch.; Broersen, J.M.; Herzig, A.

2015-01-01

This paper presents an overview of so-called BDI logics, logics where the notion of Beliefs, Desires and Intentions play a central role. Starting out from the basic ideas about BDI by Bratman, we consider various formalizations in logic, such as the approach of Cohen and Levesque, slightly

Describing the What and Why of Students' Difficulties in Boolean Logic

Science.gov (United States)

Herman, Geoffrey L.; Loui, Michael C.; Kaczmarczyk, Lisa; Zilles, Craig

2012-01-01

The ability to reason with formal logic is a foundational skill for computer scientists and computer engineers that scaffolds the abilities to design, debug, and optimize. By interviewing students about their understanding of propositional logic and their ability to translate from English specifications to Boolean expressions, we characterized…

Many-valued logics

CERN Document Server

Bolc, Leonard

1992-01-01

Many-valued logics were developed as an attempt to handle philosophical doubts about the "law of excluded middle" in classical logic. The first many-valued formal systems were developed by J. Lukasiewicz in Poland and E.Post in the U.S.A. in the 1920s, and since then the field has expanded dramatically as the applicability of the systems to other philosophical and semantic problems was recognized. Intuitionisticlogic, for example, arose from deep problems in the foundations of mathematics. Fuzzy logics, approximation logics, and probability logics all address questions that classical logic alone cannot answer. All these interpretations of many-valued calculi motivate specific formal systems thatallow detailed mathematical treatment. In this volume, the authors are concerned with finite-valued logics, and especially with three-valued logical calculi. Matrix constructions, axiomatizations of propositional and predicate calculi, syntax, semantic structures, and methodology are discussed. Separate chapters deal w...

Conventions and Institutional Logics

DEFF Research Database (Denmark)

Westenholz, Ann

Two theoretical approaches – Conventions and Institutional Logics – are brought together and the similarities and differences between the two are explored. It is not the intention to combine the approaches, but I would like to open both ‘boxes’ and make them available to each other with the purpose...... of creating a space for dialog. Both approaches were developed in the mid-1980s as a reaction to rational-choice economic theory and collectivistic sociological theory. These two theories were oversimplifying social life as being founded either in actor-micro level analyses or in structure-macro level...... analyses. The theoretical quest of both Conventions and Institutional Logics has been to understand the increasing indeterminacy, uncertainty and ambiguity in people’s lives where a sense of reality, of value, of moral, of feelings is not fixed. Both approaches have created new theoretical insights...

A halting-stage in the evolution of logical theory

DEFF Research Database (Denmark)

Christensen, Martin Ejsing

2018-01-01

This paper analyzes the way in which the American pragmatist John Dewey’s engaged critically with Hermann Lotze’s logic in a series of papers in the 1903 anthology Studies in Logical Theory. The first part of the paper describes the backdrop for Dewey’s critical engagement with Lotze, namely, his...... attempt to distinguish his newly developed instrumentalist understanding of logic from the absolute idealism that had played an important role in his earlier thinking. The next part of the paper then describes the instrumental position from which Dewey approached Lotze’s thinking, while the final part...... of the paper examines Dewey’s critical analysis of Lotze’s thinking about logic. Here the conclusion will be that even though Dewey saw Lotze as “one of the most vigorous and acute of modern logicians”, he also thought that Lotze represented “a halting-stage in the evolution of logical theory” in so far as his...

How Do Higher-Education Students Use Their Initial Understanding to Deal with Contextual Logic-Based Problems in Discrete Mathematics?

Science.gov (United States)

Lubis, Asrin; Nasution, Andrea Arifsyah

2017-01-01

Mathematical reasoning in logical context has now received much attention in the mathematics curriculum documents of many countries, including Indonesia. In Indonesia, students start formally learning about logic when they pursue to senior-high school. Before, they previously have many experiences to deal with logic, but the earlier assignments do…

Product Lukasiewicz Logic

Czech Academy of Sciences Publication Activity Database

Horčík, Rostislav; Cintula, Petr

2004-01-01

Roč. 43, - (2004), s. 477-503 ISSN 1432-0665 R&D Projects: GA AV ČR IAA1030004; GA ČR GA201/02/1540 Grant - others:GA CTU(CZ) project 0208613; net CEEPUS(SK) SK-042 Institutional research plan: CEZ:AV0Z1030915 Keywords : fuzzy logic * many-valued logic * Lukasiewicz logic * Lpi logic * Takeuti-Titani logic * MV-algebras * product MV-algebras Subject RIV: BA - General Mathematics Impact factor: 0.295, year: 2004

From rational creatures to the rational Creator: ancient and patristic analogies of the “fine-tuning” argument

Directory of Open Access Journals (Sweden)

Alexey Fokin

2017-12-01

Full Text Available In this article the author deals with the proofs of the existence of God, based on the fact of the presence of rational beings in the world. These proofs can be found in Greek and Roman Classical philosophy and early Patristics, and can be viewed as an analogue of the modern “fine-tuning argument”. The author considers the origins and development of this argument in the Greek and Roman philosophy: in Socrates, Plato, Cicero, Sextus Empiricus, and especially the Stoics, who gave to the argument a logical form, based on the relationship between “the parts and the whole”: if the world as a whole produces and contains rational beings as its parts, it should also be rational or contain a rational principle that generates all its parts and governs them, just as human soul governs human body. The correction of this argument was proposed by Sextus Empiricus, who introduced the concept of "spermatic logoi", or rational principles, to explain the generation of the rational beings by the world, so that if the world contains the spermatic logoi of rational and living beings, then the world as a whole is also rational. The author also investigates the reception of the argument based on the existence of rational beings in the world in Latin Patristics: in Minucius Felix, Tertullian and especially Lactantius, in whom this argument has reached the climax of its development. At the same time it was shown, that the ancient argument has undergone a transformation from the postulation of the rationality of the world as a whole or its equation with God himself to a genuine proof of the existence of the one God who is the Creator both of the world and human beings, superior to the both as the all-powerful and transcendent Mind.

Against Logical Form

Directory of Open Access Journals (Sweden)

P N Johnson-Laird

2010-10-01

Full Text Available An old view in logic going back to Aristotle is that an inference is valid in virtue of its logical form. Many psychologists have adopted the same point of view about human reasoning: the first step is to recover the logical form of an inference, and the second step is to apply rules of inference that match these forms in order to prove that the conclusion follows from the premises. The present paper argues against this idea. The logical form of an inference transcends the grammatical forms of the sentences used to express it, because logical form also depends on context. Context is not readily expressed in additional premises. And the recovery of logical form leads ineluctably to the need for infinitely many axioms to capture the logical properties of relations. An alternative theory is that reasoning depends on mental models, and this theory obviates the need to recover logical form.

Determining a Core Curriculum: The Limitations of Transcendental Deductions.

Science.gov (United States)

Wellington, J.J.

1981-01-01

Suggests that educational philosphers have adopted Immanuel Kant's argument that 12 categories are necessary for a complete understanding of the natural and moral worlds. Concludes that using Kantian arguments to determine curriculum is logically invalid. The key to educational philosophy lies in inquiry into the nature of thought and…

Characteristics of Effective Argumentation.

Science.gov (United States)

Frana, Adrian W.

1989-01-01

Examines how the 1988 Presidential Debates provide a resource for effective instruction in public argument. Provides several examples of effective (and ineffective) argumentative speaking taken from the debates. (MM)

Superconductor fluxoid logic

International Nuclear Information System (INIS)

Andronov, A.A.; Kurin, V.V.; Levichev, M.Yu.; Ryndyk, D.A.; Vostokov, V.I.

1993-01-01

In recent years there has been much interest in superconductor logical devices. Our paper is devoted to the analysis of some new possibilities in this field. The main problems here are: minimization of time of logical operations and reducing of device scale. Josephson systems are quite appropriate for this purpose because of small size, short characteristic time and also small energy losses. Two different types of Josephson logic have been investigated during last years. The first type is based on hysteretic V-A characteristic of a single Josephson junction. Superconducting and resistive (with nonzero voltage) states are considered as logical zero and logical unit. The second one - rapid single flux quantum logic, has been developed recently and is based on SQUID-like bistability. Different logical states are the states with different number of magnetic flux quanta inside closed superconducting contour. Information is represented by voltage pulses with fixed ''area'' (∫ V(t)/dt). This pulses are generated when logical state of SQUID-like elementary cell changes. The fundamental role of magnetic flux quantization in this type of logic leads to the necessity of large enough self-inductance of superconductor contour and thus to limitations on minimal device dimensions. (orig.)

Advances in Modal Logic

DEFF Research Database (Denmark)

Modal logic is a subject with ancient roots in the western logical tradition. Up until the last few generations, it was pursued mainly as a branch of philosophy. But in recent years, the subject has taken new directions with connections to topics in computer science and mathematics. This volume...... is the proceedings of the conference of record in its fi eld, Advances in Modal Logic. Its contributions are state-of-the-art papers. The topics include decidability and complexity results for specifi c modal logics, proof theory of modal logic, logics for reasoning about time and space, provability logic, dynamic...... epistemic logic, and the logic of evidence....

Environmental Argumentation as Sociocultural Activity

Science.gov (United States)

Oliveira, Alandeom W.; Akerson, Valarie L.; Oldfield, Martha

2012-01-01

While environmental argumentation has recently received much attention from science educators, little consideration has been given to how personal identities and social relationships can either support or constrain student argumentation. This study attends to this issue by examining environmental argumentation as a sociocultural activity (how…

Mathematical logic

CERN Document Server

Kleene, Stephen Cole

1967-01-01

Undergraduate students with no prior instruction in mathematical logic will benefit from this multi-part text. Part I offers an elementary but thorough overview of mathematical logic of 1st order. Part II introduces some of the newer ideas and the more profound results of logical research in the 20th century. 1967 edition.

Indeterministic Temporal Logic

Directory of Open Access Journals (Sweden)

Trzęsicki Kazimierz

2015-09-01

Full Text Available The questions od determinism, causality, and freedom have been the main philosophical problems debated since the beginning of temporal logic. The issue of the logical value of sentences about the future was stated by Aristotle in the famous tomorrow sea-battle passage. The question has inspired Łukasiewicz’s idea of many-valued logics and was a motive of A. N. Prior’s considerations about the logic of tenses. In the scheme of temporal logic there are different solutions to the problem. In the paper we consider indeterministic temporal logic based on the idea of temporal worlds and the relation of accessibility between them.

Arguments that take Counterconsiderations into Account

Directory of Open Access Journals (Sweden)

Jan Albert van Laar

2014-09-01

Full Text Available This paper examines arguments that take counter- considerations into account, and it does so from a dialogical point of view. According to my account, a counterconsideration is part of a critical reaction from a real or imagined opponent, and an arguer may take it into account in his argument in at least six fully responsive ways. Conductive arguments (or: pro and con arguments, balance of con-siderations arguments will be characterized as one of these types. In this manner, the paper aims to show how conducive, and related kinds of argument can be understood dialogically.

Mathematical logic as a mean of solving the problems of power supply for buildings and constructions

Science.gov (United States)

Pryadko, Igor; Nozdrina, Ekaterina; Boltaevsky, Andrey

2017-10-01

The article analyzes the questions of application of mathematical logic in engineering design associated with machinery and construction. The aim of the work is to study the logical working-out of Russian electrical engineer V.I. Shestakov. These elaborations are considered in connection with the problem of analysis and synthesis of relay contact circuits of the degenerate (A) class which the scientist solved. The article proposes to use Shestakov’s elaborations for optimization of buildings and constructions of modern high-tech. In the second part of the article the events are actualized in association with the development of problems of application of mathematical logic in the analysis and synthesis of electric circuits, relay and bridging. The arguments in favor of the priority of the authorship of the elaborations of Russian electrical engineer V. I. Shestakov, K. Shannon - one of the founders of computer science, and Japanese engineer A. Nakashima are discussed. The issue of contradiction between V. I. Shestakov and representatives of the school of M. A. Gavrilov is touched on.

Classical Logic and Quantum Logic with Multiple and Common Lattice Models

Directory of Open Access Journals (Sweden)

Mladen Pavičić

2016-01-01

Full Text Available We consider a proper propositional quantum logic and show that it has multiple disjoint lattice models, only one of which is an orthomodular lattice (algebra underlying Hilbert (quantum space. We give an equivalent proof for the classical logic which turns out to have disjoint distributive and nondistributive ortholattices. In particular, we prove that both classical logic and quantum logic are sound and complete with respect to each of these lattices. We also show that there is one common nonorthomodular lattice that is a model of both quantum and classical logic. In technical terms, that enables us to run the same classical logic on both a digital (standard, two-subset, 0-1-bit computer and a nondigital (say, a six-subset computer (with appropriate chips and circuits. With quantum logic, the same six-element common lattice can serve us as a benchmark for an efficient evaluation of equations of bigger lattice models or theorems of the logic.

Social argumentation in online synchronous communication

Science.gov (United States)

Angiono, Ivan

In education, argumentation has an increasing importance because it can be used to foster learning in various fields including philosophy, history, sciences, and mathematics. Argumentation is also at the heart of scientific inquiry. Many educational technology researchers have been interested in finding out how technologies can be employed to improve students' learning of argumentation. Therefore, many computer-based tools or argumentation systems have been developed to assist students in their acquisition of argumentation skills. While the argumentation systems incorporating online debating tools present a good resource in formal settings, there is limited research revealing what argumentative skills students are portraying in informal online settings without the presence of a moderator. This dissertation investigates the nature of argumentative practices in a massively multiplayer online game where the system successfully incorporates the authentic use of online synchronous communication tools and the patterns that emerge from the interplay between a number of contextual variables including synchronicity, interest, authenticity, and topical knowledge.

The King and Prisoner Puzzle: A Way of Introducing the Components of Logical Structures

Science.gov (United States)

Roh, Kyeong Hah; Lee, Yong Hah; Tanner, Austin

2016-01-01

The purpose of this paper is to provide issues related to student understanding of logical components that arise when solving word problems. We designed a logic problem called the King and Prisoner Puzzle--a linguistically simple, yet logically challenging problem. In this paper, we describe various student solutions to the puzzle and discuss the…

Argumentative Men: Expectations of Success.

Science.gov (United States)

Schullery, Nancy M.

1999-01-01

Considers how argumentativeness is linked with several managerial qualities, such as group leadership, better decision-making, and enhanced credibility. Surveys nearly 300 full-time employed men. Shows that men at all levels exhibit the full range of argumentativeness. Finds the mean argumentativeness of supervisors at all levels is significantly…

Propositional Logics of Dependence

NARCIS (Netherlands)

Yang, F.; Väänänen, J.

2016-01-01

In this paper, we study logics of dependence on the propositional level. We prove that several interesting propositional logics of dependence, including propositional dependence logic, propositional intuitionistic dependence logic as well as propositional inquisitive logic, are expressively complete

Abductive Logic Grammars

DEFF Research Database (Denmark)

Christiansen, Henning; Dahl, Veronica

2009-01-01

By extending logic grammars with constraint logic, we give them the ability to create knowledge bases that represent the meaning of an input string. Semantic information is thus defined through extra-grammatical means, and a sentence's meaning logically follows as a by-product of string rewriting....... We formalize these ideas, and exemplify them both within and outside first-order logic, and for both fixed and dynamic knowledge bases. Within the latter variety, we consider the usual left-to-right derivations that are traditional in logic grammars, but also -- in a significant departure from...

The shortest argument for the existence of God in Islamic philosophy

Directory of Open Access Journals (Sweden)

Halilović Seid

2014-01-01

Full Text Available The first cognitive frameworks of the undoubtedly most famous argument for the existence of God in Islamic philosophy were set by the notable Ibn Sina. Having proved the existence of God by considering existence itself, in his famous philosophical book al-Isharat he wrote that in that way he offered the 'argument of the veracious'. In the following stages of the development of this argument this syntagm will become one of the most popular scientific names in the history of philosophical and rational thought in Muslims. Numerous representatives of various schools of philosophy, dogmatic theology and doctrinal gnosis in Islam thoroughly analyzed the text of this part of the al-Isharat book and sometimes formulated new versions of the 'argument of the veracious'. In this paper we will focus on the basic cognitive milestones in the development of this argument and with a view to acquiring this we will use the method of detailed content analysis of the works of those Muslim philosophers who contributed significantly to that intellectual process. Given that scientific destiny of the 'argument of the veracious' quite attractively illustrates the various stages of the development of entire Islamic philosophy, we will try to show that in each new period Islamic philosophical heritage grew a more vital and dominant scientific discipline. On the other hand, we will conclude that throughout history Islamic philosophy and 'arguments of the veracious' have become more reminiscent of subtle intuition of Muslim gnostics and innermost spheres of the original understanding of the sacred Islamic texts and traditions.

Applications of Logic Coverage Criteria and Logic Mutation to Software Testing

Science.gov (United States)

Kaminski, Garrett K.

2011-01-01

Logic is an important component of software. Thus, software logic testing has enjoyed significant research over a period of decades, with renewed interest in the last several years. One approach to detecting logic faults is to create and execute tests that satisfy logic coverage criteria. Another approach to detecting faults is to perform mutation…

Argumentation in Miranda v. Arizona.

Science.gov (United States)

Benoit, William L.

1991-01-01

Investigates the argumentation advanced in briefs, oral arguments, and the Supreme Court's opinion in the case of Miranda versus Arizona. Considers the background of the case, analyzes the argumentation and its influences on the court, and stresses the importance of viewing the Supreme Court as an active participant in the decision-making process.…

Arguments from Developmental Order.

Science.gov (United States)

Stöckle-Schobel, Richard

2016-01-01

In this article, I investigate a special type of argument regarding the role of development in theorizing about psychological processes and cognitive capacities. Among the issues that developmental psychologists study, discovering the ontogenetic trajectory of mechanisms or capacities underpinning our cognitive functions ranks highly. The order in which functions are developed or capacities are acquired is a matter of debate between competing psychological theories, and also philosophical conceptions of the mind - getting the role and the significance of the different steps in this order right could be seen as an important virtue of such theories. Thus, a special kind of strategy in arguments between competing philosophical or psychological theories is using developmental order in arguing for or against a given psychological claim. In this article, I will introduce an analysis of arguments from developmental order, which come in two general types: arguments emphasizing the importance of the early cognitive processes and arguments emphasizing the late cognitive processes. I will discuss their role in one of the central tools for evaluating scientific theories, namely in making inferences to the best explanation. I will argue that appeal to developmental order is, by itself, an insufficient criterion for theory choice and has to be part of an argument based on other core explanatory or empirical virtues. I will end by proposing a more concerted study of philosophical issues concerning (cognitive) development, and I will present some topics that also pertain to a full-fledged 'philosophy of development.'

ERISTIC ARGUMENTATION IN ADVERTISING

Directory of Open Access Journals (Sweden)

Skirmantė Biržietienė

2014-10-01

Full Text Available Advertising may be examined as a particular form of rhetoric the aims of which are the same as of rhetoric, namely to affect mind, will, feelings, and to persuade. The theory of rhetoric, the main object of which is discourse not only in narrow meaning (as verbal expression of ideas (i.e. to say text, but also in broad meaning – as a communicative act between the addresser and the addressee since its interdisciplinary nature provides the right tools to explore the advertising discourse. The theory of rhetoric is successfully applied in development of advertising discourse, because it helps to foresee the communicative act between the addresser and the addressee. Advertising and rhetoric are combined by many common elements, but the same goal is the most important: both, rhetoric and advertising seek for persuasion through verbal and non-verbal measures. The paper deals with the analysis of the inventive level of advertising discourse, i.e., eristic arguments, spread of ways of proofing / persuasion. Eristic argumentation is a dominant argumentation type in advertising. This method of persuasion is a way to create truth visibility although it is just superficial. The most typical schemes of eristic argumentation used in advertising are as follows: argumentum ad vanitatem (appeal to the vanity of the addressee, argumentum ad verecundiam (appeal to the authority, argumentum baculinum (method of “whip” argument, argumentum ad novitatem (appeal to novelty. The article shows the usage of eristic arguments in Lithuanian commercial ads.

Stochastic coalgebraic logic

CERN Document Server

Doberkat, Ernst-Erich

2009-01-01

Combining coalgebraic reasoning, stochastic systems and logic, this volume presents the principles of coalgebraic logic from a categorical perspective. Modal logics are also discussed, including probabilistic interpretations and an analysis of Kripke models.

Towards an arithmetical logic the arithmetical foundations of logic

CERN Document Server

Gauthier, Yvon

2015-01-01

This book offers an original contribution to the foundations of logic and mathematics, and focuses on the internal logic of mathematical theories, from arithmetic or number theory to algebraic geometry. Arithmetical logic is the term used to refer to the internal logic of classical arithmetic, here called Fermat-Kronecker arithmetic, and combines Fermat’s method of infinite descent with Kronecker’s general arithmetic of homogeneous polynomials. The book also includes a treatment of theories in physics and mathematical physics to underscore the role of arithmetic from a constructivist viewpoint. The scope of the work intertwines historical, mathematical, logical and philosophical dimensions in a unified critical perspective; as such, it will appeal to a broad readership from mathematicians to logicians, to philosophers interested in foundational questions. Researchers and graduate students in the fields of philosophy and mathematics will benefit from the author’s critical approach to the foundations of l...

Meta-Logical Reasoning in Higher-Order Logic

DEFF Research Database (Denmark)

Villadsen, Jørgen; Schlichtkrull, Anders; Hess, Andreas Viktor

The semantics of first-order logic (FOL) can be described in the meta-language of higher-order logic (HOL). Using HOL one can prove key properties of FOL such as soundness and completeness. Furthermore, one can prove sentences in FOL valid using the formalized FOL semantics. To aid...

Connections among quantum logics

International Nuclear Information System (INIS)

Lock, P.F.; Hardegree, G.M.

1985-01-01

In this paper, a theory of quantum logics is proposed which is general enough to enable us to reexamine a previous work on quantum logics in the context of this theory. It is then easy to assess the differences between the different systems studied. The quantum logical systems which are incorporated are divided into two groups which we call ''quantum propositional logics'' and ''quantum event logics''. The work of Kochen and Specker (partial Boolean algebras) is included and so is that of Greechie and Gudder (orthomodular partially ordered sets), Domotar (quantum mechanical systems), and Foulis and Randall (operational logics) in quantum propositional logics; and Abbott (semi-Boolean algebras) and Foulis and Randall (manuals) in quantum event logics, In this part of the paper, an axiom system for quantum propositional logics is developed and the above structures in the context of this system examined. (author)

The Social Nature of Argumentative Practices: The Philosophy of Argument and Audience Reception

OpenAIRE

Paula Olmos

2018-01-01

Abstract: This article reviews Christopher W. Tindale’s The Philosophy of Argument and Audience Reception (Cambridge, 2015). Résumé: Cet article est une critique de The Philosophy of Argument and Audience Reception (Cambridge, 2015) de Christopher W. Tindale.

Paraconsistent Computational Logic

DEFF Research Database (Denmark)

Jensen, Andreas Schmidt; Villadsen, Jørgen

2012-01-01

In classical logic everything follows from inconsistency and this makes classical logic problematic in areas of computer science where contradictions seem unavoidable. We describe a many-valued paraconsistent logic, discuss the truth tables and include a small case study....

Arguments from Developmental Order

Directory of Open Access Journals (Sweden)

Richard eStöckle-Schobel

2016-05-01

Full Text Available In this article, I investigate a special type of argument regarding the role of development in theorising about psychological processes and cognitive capacities. Among the issues that developmental psychologists study, discovering the ontogenetic trajectory of mechanisms or capacities underpinning our cognitive functions ranks highly. The order in which functions are developed or capacities are acquired is a matter of debate between competing psychological theories, and also philosophical conceptions of the mind – getting the role and the significance of the different steps in this order right could be seen as an important virtue of such theories.Thus, a special kind of strategy in arguments between competing philosophical or psychological theories is using developmental order in arguing for or against a given psychological claim. In this article, I will introduce an analysis of arguments from developmental order, which come in two general types: arguments emphasising the importance of the early cognitive processes and arguments emphasising the late cognitive processes. I will discuss their role in one of the central tools for evaluating scientific theories, namely in making inferences to the best explanation. I will argue that appeal to developmental order is, by itself, an insufficient criterion for theory choice and has to be part of an argument based on other core explanatory or empirical virtues. I will end by proposing a more concerted study of philosophical issues concerning (cognitive development, and I will present some topics that also pertain to a full-fledged ‘philosophy of development’.

The Connection and Distinction between the Design Argument with the Teleological Argument and the Best Creational System

Directory of Open Access Journals (Sweden)

Farah Ramin

2011-09-01

Full Text Available The design argument faced with big different writings in its Western background so that these writings have essential difference with each others. The design argument is posteriori demonstration for the existence of God which by analogy or induction and partial or general instances of the order in nature tries to affirm the intelligent designer.  Since the concepts of design and end have firm connection with each other in the Western writings of this design but the concepts of purposiveness of divine acts, purposiveness of nature and its best system is assumed the same with each other and obvious confusion has been made between the design argument with the teleological argument and the best creational system. The aim of the article is to consider order in the world based upon the united components of a system (design argument, final cause (teleological argument and best system (best creational system argument and also to manifest the connection and distinction of these three reasoning. 

Some Clarifications about the Argumentative Theory of Reasoning. A Reply to Santibáñez Yañez (2012.

Directory of Open Access Journals (Sweden)

Hugo Mercier

2012-06-01

Full Text Available In “Mercier and Sperber’s Argumentative Theory of Reasoning: From Psychology of Reasoning to Argumentation Studies” (2012 Santibáñez Yañez offers constructive comments and criticisms of the argumentative theory of reasoning. The purpose of this reply is twofold. First, it seeks to clarify two points broached by Yanez: (1 the relation between reasoning (in this specific theory and dual process accounts in general and (2 the benefits that can be derived from reasoning and argumentation (again, in this specific theory. Second, it suggests one domain—the categorization of arguments—in which argumentation studies and the argumentative theory of reasoning could usefully complement each other to yield a better understanding of the processes of argumentation.

Verification and Planning Based on Coinductive Logic Programming

Science.gov (United States)

Bansal, Ajay; Min, Richard; Simon, Luke; Mallya, Ajay; Gupta, Gopal

2008-01-01

Coinduction is a powerful technique for reasoning about unfounded sets, unbounded structures, infinite automata, and interactive computations [6]. Where induction corresponds to least fixed point's semantics, coinduction corresponds to greatest fixed point semantics. Recently coinduction has been incorporated into logic programming and an elegant operational semantics developed for it [11, 12]. This operational semantics is the greatest fix point counterpart of SLD resolution (SLD resolution imparts operational semantics to least fix point based computations) and is termed co- SLD resolution. In co-SLD resolution, a predicate goal p( t) succeeds if it unifies with one of its ancestor calls. In addition, rational infinite terms are allowed as arguments of predicates. Infinite terms are represented as solutions to unification equations and the occurs check is omitted during the unification process. Coinductive Logic Programming (Co-LP) and Co-SLD resolution can be used to elegantly perform model checking and planning. A combined SLD and Co-SLD resolution based LP system forms the common basis for planning, scheduling, verification, model checking, and constraint solving [9, 4]. This is achieved by amalgamating SLD resolution, co-SLD resolution, and constraint logic programming [13] in a single logic programming system. Given that parallelism in logic programs can be implicitly exploited [8], complex, compute-intensive applications (planning, scheduling, model checking, etc.) can be executed in parallel on multi-core machines. Parallel execution can result in speed-ups as well as in larger instances of the problems being solved. In the remainder we elaborate on (i) how planning can be elegantly and efficiently performed under real-time constraints, (ii) how real-time systems can be elegantly and efficiently model- checked, as well as (iii) how hybrid systems can be verified in a combined system with both co-SLD and SLD resolution. Implementations of co-SLD resolution

Focus, accent, and argument structure: effects on language comprehension.

Science.gov (United States)

Birch, S; Clifton, C

1995-01-01

Four experiments investigated the effect of syntactic argument structure on the evaluation and comprehension of utterances with different patterns of pitch accents. Linguistic analyses of the relation between focus and prosody note that it is possible for certain accented constituents within a broadly focused phrase to project focus to the entire phrase. We manipulated focus requirements and accent in recorded question-answer pairs and asked listeners to make linguistic judgments of prosodic appropriateness (Experiments 1 and 3) or to make judgments based on meaningful comprehension (Experiments 2 and 4). Naive judgments of prosodic appropriateness were generally consistent with the linguistic analyses, showing preferences for utterances in which contextually new noun phrases received accent and old noun phrases did not, but suggested that an accented new argument NP was not fully effective in projecting broad focus to the entire VP. However, the comprehension experiments did demonstrate that comprehension of a sentence with broad VP focus was as efficient when only a lexical argument NP received accent as when both NP and verb received accent. Such focus projection did not occur when the argument NP was an "independent quantifier" such as nobody or everything. The results extend existing demonstrations that the ease of understanding spoken discourse depends on appropriate intonational marking of focus to cases where certain structurally-defined words can project focus-marking to an entire phrase.

Dispositional logic

Science.gov (United States)

Le Balleur, J. C.

1988-01-01

The applicability of conventional mathematical analysis (based on the combination of two-valued logic and probability theory) to problems in which human judgment, perception, or emotions play significant roles is considered theoretically. It is shown that dispositional logic, a branch of fuzzy logic, has particular relevance to the common-sense reasoning typical of human decision-making. The concepts of dispositionality and usuality are defined analytically, and a dispositional conjunctive rule and dispositional modus ponens are derived.

Logic and structure

CERN Document Server

Dalen, Dirk

1983-01-01

A book which efficiently presents the basics of propositional and predicate logic, van Dalen’s popular textbook contains a complete treatment of elementary classical logic, using Gentzen’s Natural Deduction. Propositional and predicate logic are treated in separate chapters in a leisured but precise way. Chapter Three presents the basic facts of model theory, e.g. compactness, Skolem-Löwenheim, elementary equivalence, non-standard models, quantifier elimination, and Skolem functions. The discussion of classical logic is rounded off with a concise exposition of second-order logic. In view of the growing recognition of constructive methods and principles, one chapter is devoted to intuitionistic logic. Completeness is established for Kripke semantics. A number of specific constructive features, such as apartness and equality, the Gödel translation, the disjunction and existence property have been incorporated. The power and elegance of natural deduction is demonstrated best in the part of proof theory cal...

Understanding Understanding Mathematics. Artificial Intelligence Memo No. 488.

Science.gov (United States)

Michener, Edwina Rissland

This document is concerned with the important extra-logical knowledge that is often outside of traditional discussions in mathematics, and looks at some of the ingredients and processes involved in the understanding of mathematics. The goal is to develop a conceptual framework in which to talk about mathematical knowledge and to understand the…

Zero expression of arguments in Old Danish

DEFF Research Database (Denmark)

Heltoft, Lars

2014-01-01

arguments in Scanic are semantically different from pronouns, and therefore pronouns and zero arguments are not variants. At one level, zero arguments and pronouns are similar with respect to function, namely to supply means for establishing co-reference in text; however, they are not semantically...... equivalent. By reducing these two categories to one single underlying category, such as pro, one would miss this point. On the contrary, zero arguments are arguably full-bodied signs with their own content, thus corresponding to Melčuk’s Zero Sign Introduction Principle.......Old Scandinavian (represented here by Old Danish) allowed zero arguments (null-arguments) in any nominal (argument) position, that is: for NPs as subjects, objects and in PPs. In generative grammar, zero arguments are held to be variants of pronouns, but in this article, I shall claim that zero...

The Relevance of Hegel's Logic

Directory of Open Access Journals (Sweden)

John W Burbidge

2007-12-01

Full Text Available Hegel defines his Logic as the science that thinks about thinking.nbsp; But when we interpret that work as outlining what happens when we reason we are vulnerable to Fregersquo;s charge of psychologism.nbsp; I use Hegelrsquo;s tripartite distinction among understanding, dialectical and speculative reason as operations of pure thought to suggest how thinking can work with objective concepts.nbsp; In the last analysis, however, our ability to move from the subjective contingency of representations and ideas to the pure concepts we think develops from mechanical memory, which separates sign from sense so hat we can focus simply on the latter.nbsp; By becoming aware of the connections that underlie our thinking processes we may be able to both move beyond the abstractions of symbolic logic and clarify what informal logicians call relevance.

Nominalized clauses, clausal arguments and agreement

OpenAIRE

Picallo, M. Carme

2001-01-01

Strict minimalist assumptions require adopting the hypothesis that argument clauses and nominalized clauses are assigned Phi features. The data examined suggest that the interpretable Phi content of these arguments is specified as [-P, -N, -G]. We conclude that all arguments (of the clausal or of the nominal types) are subject to the operation Agree with a functional category. All arguments behave alike as far as abstract computational operations is concerned. The computational component is b...

The Binomial Coefficient for Negative Arguments

OpenAIRE

Kronenburg, M. J.

2011-01-01

The definition of the binomial coefficient in terms of gamma functions also allows non-integer arguments. For nonnegative integer arguments the gamma functions reduce to factorials, leading to the well-known Pascal triangle. Using a symmetry formula for the gamma function, this definition is extended to negative integer arguments, making the symmetry identity for binomial coefficients valid for all integer arguments. The agreement of this definition with some other identities and with the bin...

Integrating Scientific Argumentation to Improve Undergraduate Writing and Learning in a Global Environmental Change Course

Energy Technology Data Exchange (ETDEWEB)

Koffman, Bess G. [School of Earth and Climate Sciences, 5790 Bryand Global Sciences Center, University of Maine, Orono, Maine 04469, USA; Department of Earth Sciences, 6105 Sherman Fairchild Hall, Dartmouth College, Hanover, New Hampshire 03755, USA; Kreutz, Karl J. [School of Earth and Climate Sciences, 5790 Bryand Global Sciences Center, University of Maine, Orono, Maine 04469, USA; Climate Change Institute, 300 Bryand Global Sciences Center, University of Maine, Orono, Maine 04469, USA; Trenbath, Kim [Maine Center for Research in STEM Education, 5727 Estabrooke Hall, University of Maine, Orono, Maine, 04469, USA; National Renewable Energy Laboratory, 15013 Denver West Parkway, Golden, Colorado 80401, USA

2017-08-01

We present a strategy for using scientific argumentation in an early undergraduate laboratory course to teach disciplinary writing practices and to promote critical thinking, knowledge transformation, and understanding of the scientific method. The approach combines targeted writing instruction; data analysis and interpretation; formulation of a hypothesis; and construction of an argument. Students submit and receive feedback on two drafts of two different argumentation essays, providing the opportunity for guided practice. Each written argument is intended to draw on several weeks' course material, including short lectures, discussions, readings, and problem sets. Thus our aim with these writing assignments is to help students synthesize content and concepts, deepening their learning. We have found that this inquiry-based approach to writing engages students in course material, and significantly improves both writing and learning. We observed the greatest improvement among students with the lowest initial scores, suggesting that lower-achieving students benefitted disproportionately from this approach. Students have responded positively to the use of writing in the course, many stating on course evaluations that this is the first time they have received instruction in scientific writing. They have also pointed to a greater 'big-picture' understanding of the course gained through writing. We describe the course and our curriculum, and provide suggestions for implementation as well as rubrics used to evaluate problem sets and student argumentation essays.

Rethinking the Argumentative Essay

Science.gov (United States)

Schneer, David

2014-01-01

This article investigates the construction of the argumentative essay as it is commonly presented in academic writing textbooks and classrooms for English language learners. The author first examines the traditional three-stage structure (thesis-argument-conclusion) and then problematizes it within a genre-based approach to academic writing. He…

First-Order Hybrid Logic

DEFF Research Database (Denmark)

Braüner, Torben

2011-01-01

Hybrid logic is an extension of modal logic which allows us to refer explicitly to points of the model in the syntax of formulas. It is easy to justify interest in hybrid logic on applied grounds, with the usefulness of the additional expressive power. For example, when reasoning about time one...... often wants to build up a series of assertions about what happens at a particular instant, and standard modal formalisms do not allow this. What is less obvious is that the route hybrid logic takes to overcome this problem often actually improves the behaviour of the underlying modal formalism....... For example, it becomes far simpler to formulate proof-systems for hybrid logic, and completeness results can be proved of a generality that is simply not available in modal logic. That is, hybridization is a systematic way of remedying a number of known deficiencies of modal logic. First-order hybrid logic...

Metamathematics of fuzzy logic

CERN Document Server

Hájek, Petr

1998-01-01

This book presents a systematic treatment of deductive aspects and structures of fuzzy logic understood as many valued logic sui generis. Some important systems of real-valued propositional and predicate calculus are defined and investigated. The aim is to show that fuzzy logic as a logic of imprecise (vague) propositions does have well-developed formal foundations and that most things usually named `fuzzy inference' can be naturally understood as logical deduction.

Equational type logic

NARCIS (Netherlands)

Manca, V.; Salibra, A.; Scollo, Giuseppe

1990-01-01

Equational type logic is an extension of (conditional) equational logic, that enables one to deal in a single, unified framework with diverse phenomena such as partiality, type polymorphism and dependent types. In this logic, terms may denote types as well as elements, and atomic formulae are either

Henkin and Hybrid Logic

DEFF Research Database (Denmark)

Blackburn, Patrick Rowan; Huertas, Antonia; Manzano, Maria

2014-01-01

Leon Henkin was not a modal logician, but there is a branch of modal logic that has been deeply influenced by his work. That branch is hybrid logic, a family of logics that extend orthodox modal logic with special proposition symbols (called nominals) that name worlds. This paper explains why...... Henkin’s techniques are so important in hybrid logic. We do so by proving a completeness result for a hybrid type theory called HTT, probably the strongest hybrid logic that has yet been explored. Our completeness result builds on earlier work with a system called BHTT, or basic hybrid type theory...... is due to the first-order perspective, which lies at the heart of Henin’s best known work and hybrid logic....

Institutional Logics in Action

DEFF Research Database (Denmark)

Lounsbury, Michael; Boxenbaum, Eva

2013-01-01

This double volume presents state-of-the-art research and thinking on the dynamics of actors and institutional logics. In the introduction, we briefly sketch the roots and branches of institutional logics scholarship before turning to the new buds of research on the topic of how actors engage...... institutional logics in the course of their organizational practice. We introduce an exciting line of new works on the meta-theoretical foundations of logics, institutional logic processes, and institutional complexity and organizational responses. Collectively, the papers in this volume advance the very...... prolific stream of research on institutional logics by deepening our insight into the active use of institutional logics in organizational action and interaction, including the institutional effects of such (inter)actions....

Greek, Indian and Arabic logic

CERN Document Server

Gabbay, Dov M

2004-01-01

Greek, Indian and Arabic Logic marks the initial appearance of the multi-volume Handbook of the History of Logic. Additional volumes will be published when ready, rather than in strict chronological order. Soon to appear are The Rise of Modern Logic: From Leibniz to Frege. Also in preparation are Logic From Russell to Gödel, Logic and the Modalities in the Twentieth Century, and The Many-Valued and Non-Monotonic Turn in Logic. Further volumes will follow, including Mediaeval and Renaissance Logic and Logic: A History of its Central. In designing the Handbook of the History of Logic, the Editors have taken the view that the history of logic holds more than an antiquarian interest, and that a knowledge of logic's rich and sophisticated development is, in various respects, relevant to the research programmes of the present day. Ancient logic is no exception. The present volume attests to the distant origins of some of modern logic's most important features, such as can be found in the claim by the authors of t...

The scientific argumentation profile of physics teacher candidate in Surabaya

Science.gov (United States)

Ain, T. N.; Wibowo, H. A. C.; Rohman, A.; Deta, U. A.

2018-03-01

The ability of scientific argumentation is an essential factor that must be mastered by physics teacher candidate as a requirement in explaining good and accurate scientific concepts. In the process of arguing, students develop explanations or persuade colleagues to support their hypotheses, express doubts, ask questions, relate alternative answers, and confirm what is unknown to develop the ability to provide rational and scientific explanations. The design of this research is descriptive qualitative with the subject of research is 20 undergraduate students of Physics Education Department in Surabaya. The research instrument consists of four casuistic questions related to the concept of kinematics. The argumentation pattern of physics teacher candidate is coded using Toulmin's argumentation pattern. The results show that the student’s ability in providing scientific argument is at the level of providing claims with the support of a weak warrant. The students are not able to provide excellent rebuttals. In each case given, the student can give a good claim statement in answering the questions. However, the concept used to support the claim is not correct. This case causes the warrant used to support the claim is weak. Students also do not analyse other facts that affect the system. Students have not reached a higher level because the understanding of physics is not deep enough.

Real Islamic Logic

NARCIS (Netherlands)

Bergstra, J.A.

2011-01-01

Four options for assigning a meaning to Islamic Logic are surveyed including a new proposal for an option named "Real Islamic Logic" (RIL). That approach to Islamic Logic should serve modern Islamic objectives in a way comparable to the functionality of Islamic Finance. The prospective role of RIL

Embryos, individuals, and persons: an argument against embryo creation and research.

Science.gov (United States)

Tollefsen, C

2001-01-01

One strategy for arguing that it should be legally permissible to create human embryos, or to use spare human embryos, for scientific research purposes involves the claim that such embryos cannot be persons because they are not human individuals while twinning may yet take place. Being a human individual is considered to be by most people a necessary condition for being a human person. I argue first that such an argument against the personhood of embryos must be rationally conclusive if their destruction in public places such as laboratories is to be countenanced. I base this argument on a popular understanding of the role that the notion of privacy plays in abortion laws. I then argue that such arguments against personhood are not rationally conclusive. The claim that the early embryos is not a human individual is not nearly as obvious as some assert.

Galactic punctuated equilibrium: how to undermine Carter's anthropic argument in astrobiology.

Science.gov (United States)

Cirković, Milan M; Vukotić, Branislav; Dragićević, Ivana

2009-06-01

A new strategy by which to defeat Carter's "anthropic" argument against extraterrestrial life and intelligence is presented. Our approach is based on relaxing hidden uniformitarian assumptions and considering instead a dynamical succession of evolutionary regimes governed by both global (Galaxy-wide) and local (planet- or planetary system-limited) regulation mechanisms. Notably, our increased understanding of the nature of supernovae, gamma-ray bursts, and strong coupling between the Solar System and the Galaxy, and the theories of "punctuated equilibria" and "macroevolutionary regimes" are in full accordance with the regulation-mechanism picture. The application of this particular strategy highlights the limits of application of Carter's argument and indicates that, in the real universe, its applicability conditions are not satisfied. We conclude that drawing far-reaching conclusions about the scarcity of extraterrestrial intelligence and the prospects of our efforts to detect it on the basis of this argument is unwarranted.

The argument from moral psychology

OpenAIRE

Milevski, Voin

2015-01-01

The argument from moral psychology is one of the strongest arguments that non-cognitivists use against cognitivism-the metaethical position according to which our moral judgements express beliefs. According to this argument, once we put together the Humean theory of motivation and motivational internalism, we yield the conclusion that cognitivism cannot represent the correct view about the semantic function of moral discourse. I will first attempt to show that a neurological syndrome, called ...

Improving practical reasoning and argumentation

OpenAIRE

Baumtrog, Michael David

2015-01-01

This thesis justifies the need for and develops a new integrated model of practical reasoning and argumentation. After framing the work in terms of what is reasonable rather than what is rational (chapter 1), I apply the model for practical argumentation analysis and evaluation provided by Fairclough and Fairclough (2012) to a paradigm case of unreasonable individual practical argumentation provided by mass murderer Anders Behring Breivik (chapter 2). The application shows that by following t...

Social values as arguments: similar is convincing

Science.gov (United States)

Maio, Gregory R.; Hahn, Ulrike; Frost, John-Mark; Kuppens, Toon; Rehman, Nadia; Kamble, Shanmukh

2014-01-01

Politicians, philosophers, and rhetors engage in co-value argumentation: appealing to one value in order to support another value (e.g., “equality leads to freedom”). Across four experiments in the United Kingdom and India, we found that the psychological relatedness of values affects the persuasiveness of the arguments that bind them. Experiment 1 found that participants were more persuaded by arguments citing values that fulfilled similar motives than by arguments citing opposing values. Experiments 2 and 3 replicated this result using a wider variety of values, while finding that the effect is stronger among people higher in need for cognition and that the effect is mediated by the greater plausibility of co-value arguments that link motivationally compatible values. Experiment 4 extended the effect to real-world arguments taken from political propaganda and replicated the mediating effect of argument plausibility. The findings highlight the importance of value relatedness in argument persuasiveness. PMID:25147529

Social Values as Arguments: Similar is Convincing

Directory of Open Access Journals (Sweden)

Gregory R Maio

2014-08-01

Full Text Available Politicians, philosophers, and rhetors engage in co-value argumentation: appealing to one value in order to support another value (e.g., equality leads to freedom. Across four experiments in the United Kingdom and India, we found that the psychological relatedness of values affects the persuasiveness of the arguments that bind them. Experiment 1 found that participants were more persuaded by arguments citing values that fulfilled similar motives than by arguments citing opposing values. Experiments 2 and 3 replicated this result using a wider variety of values, while finding that the effect is stronger among people higher in need for cognition and that the effect is mediated by the greater plausibility of co-value arguments that link motivationally compatible values. Experiment 4 extended the effect to real-world arguments taken from political propaganda and replicated the mediating effect of argument plausibility. The findings highlight the importance of value relatedness in argument persuasiveness.

Reconsidering Kantian arguments against organ selling.

Science.gov (United States)

Alpinar-Şencan, Zümrüt

2016-03-01

Referring to Kant's arguments addressing the moral relationship between our bodies and ourselves is quite common in contemporary debate about organ selling, although he does not provide us with any specific arguments related to this debate. It is widely argued that the most promising way to show the moral impermissibility of organ selling is to mount an argument on Kantian grounds. This paper asks whether it is possible to argue coherently against organ selling in a Kantian framework. It will be shown that by mounting the argument on Kantian grounds no compelling argument can be given against sale of organs, either because the arguments apply to donation of organs, too, or the arguments are not convincing for other independent reasons. In the first section, it will be argued that donation and selling are not distinguishable in a Kantian framework, since the concern about commodification of the body and its parts shall be raised by both actions. In the second section, some contemporary accounts inspired by Kant will be presented and discussed separately. It will be argued that the reasons for promoting organ donation while arguing against selling clash with each other in an unconvincing way.

Arguments from parallel reasoning

NARCIS (Netherlands)

van Laar, Jan Albert; Ribeiro, H.J.

2014-01-01

Argumentation is a co-production by a proponent and an opponent who engage in a critical examination of their difference of opinion, aiming to resolve it on the merits of both sides, or so I assume in this paper. I shall investigate the consequences of this view for a particular type of argument

Some relationships between logic programming and multiple-valued logic

International Nuclear Information System (INIS)

Rine, D.C.

1986-01-01

There have been suggestions in the artificial intelligence literature that investigations into relationships between logic programming and multiple-valued logic may be helpful. This paper presents some of these relationships through equivalent algebraic evaluations

Les visées de l’argumentation et leurs corrélats langagiers : une approche discursive The Aims of Argumentation and their Linguistic Correlates: A Discursive Approach

Directory of Open Access Journals (Sweden)

Raphaël Micheli

2012-10-01

Full Text Available Le présent article a pour objectif de contribuer au débat théorique et méthodologique portant sur la définition qu’il convient d’octroyer à la notion d’« argumentation » et sur les conditions qui président à l’observabilité des processus argumentatifs dans les discours. On tente de montrer comment une approche discursive peut traiter deux problèmes souvent débattus dans le champ des études argumentatives. (1 Peut-on, sur le plan pragmatique, identifier une (ou plusieurs visée(s permettant de saisir ce que l’argumentation, en tant que « fait de discours », a de spécifique par rapport à d’autres faits de discours ? (2 Peut-on corréler les visées identifiées sur le plan pragmatique avec des formes relativement stables qui assurent le caractère « reconnaissable » de l’argumentation dans la matérialité langagière ? C’est ainsi la double question des visées de l’argumentation et de leurs corrélats langagiers qui est au centre du propos : l’enjeu est de formuler une série de propositions méthodologiques, en discutant quelques contributions récentes qui ont marqué l’approche discursive de l’argumentation dans l’espace francophone.This paper aims at contributing to the theoretical and methodological debate bearing on the definition of “argumentation” and the observation of argumentative processes in linguistic data. It shows how a discursiveapproach can deal with two issues that are often discussed in the field of argumentation studies. (1 On a pragmatic level, is it possible to identify one (or several aim(s allowing to understand what is specific to the verbal activity of argumentation, as opposed to other verbal activities? (2 Is it possible to correlate such pragmatic aims with forms, so as to account for argumentation in the materiality of language? The paper thus deals both with the aims of argumentation, and with their linguistic correlates: its objective is to put forward a

The students’ mathematical argumentation in geometry

Science.gov (United States)

Sukirwan; Darhim; Herman, T.; Prahmana, R. C. I.

2017-12-01

The main objective of this research is to analyze the student's mathematical argumentation when dealing with geometry. The method is used qualitative method with grounded theory to know how the students provide an explanation or an answer against claims so that the quality of the vernacular students will be drawn up with clear from how students compose a series of arguments. The results showed that there were still many students basically experiencing constraints in argumentation, but the quality of the reasoning appears to be a variation of the argument appeared, include: inductive, algebra, visual and perceptual. In addition, the starting point of the students composes a series of arguments generally starts from claims that arise in a matter. Proof of claim further builds upon the relationship between the characteristics of data with mathematical objects that appear in the acquired mathematical knowledge from previous students. Relationship spelled out in a series of statements and reasons which support the claims through the fourth argument.

Teaching science as argument: Prospective elementary teachers' knowledge

Science.gov (United States)

Barreto-Espino, Reizelie

For the past two decades there has been increasing emphasis on argumentation in school science. In 2007, the National Research Council published a synthesis report that emphasizes the centrality of constructing, evaluating, and using scientific explanations. Participating in argumentation is seen as fundamental to children's science learning experiences. These new expectations increase challenges for elementary teachers since their understanding of and experiences with science are overwhelmingly inconsistent with teaching science as argument. These challenges are further amplified when dealing with prospective elementary teachers. The current study was guided by the following research questions: (1) What are the ways in which preservice elementary teachers appropriate components of "teaching science as argument" during their student teaching experience? (2) To what extent do components from prospective elementary teachers' reflections influence planning for science teaching? (3) What elements from the context influence preservice elementary teachers' attention to teaching science as argument? This study followed a multi-participant case study approach and analyses were informed by grounded theory. Three participants were selected from a larger cohort of prospective elementary teachers enrolled in an innovative Elementary Professional Development School (PDS) partnership at a large Northeast University. Cross-case analysis allowed for the development of five key assertions: (1) The presence of opportunities for interacting with phenomena and collecting first hand data helped participants increase their emphasis on evidence-based explanations. (2) Participants viewed science talks as an essential mechanism for engaging students in the construction of evidence-based explanations and as being fundamental to meaning-making. (3) Participants demonstrated attention to scientific subject matter during instruction rather than merely focusing on activities and/or inquiry

People Like Logical Truth: Testing the Intuitive Detection of Logical Value in Basic Propositions.

Directory of Open Access Journals (Sweden)

Hiroko Nakamura

Full Text Available Recent studies on logical reasoning have suggested that people are intuitively aware of the logical validity of syllogisms or that they intuitively detect conflict between heuristic responses and logical norms via slight changes in their feelings. According to logical intuition studies, logically valid or heuristic logic no-conflict reasoning is fluently processed and induces positive feelings without conscious awareness. One criticism states that such effects of logicality disappear when confounding factors such as the content of syllogisms are controlled. The present study used abstract propositions and tested whether people intuitively detect logical value. Experiment 1 presented four logical propositions (conjunctive, biconditional, conditional, and material implications regarding a target case and asked the participants to rate the extent to which they liked the statement. Experiment 2 tested the effects of matching bias, as well as intuitive logic, on the reasoners' feelings by manipulating whether the antecedent or consequent (or both of the conditional was affirmed or negated. The results showed that both logicality and matching bias affected the reasoners' feelings, and people preferred logically true targets over logically false ones for all forms of propositions. These results suggest that people intuitively detect what is true from what is false during abstract reasoning. Additionally, a Bayesian mixed model meta-analysis of conditionals indicated that people's intuitive interpretation of the conditional "if p then q" fits better with the conditional probability, q given p.

Argumentation, rationality, and psychology of reasoning

Directory of Open Access Journals (Sweden)

David Godden

2015-05-01

Full Text Available This paper explicates an account of argumentative rationality by articulating the common, basic idea of its nature, and then identifying a collection of assumptions inherent in it. Argumentative rationality is then contrasted with dual-process theories of reasoning and rationality prevalent in the psychology of reasoning. It is argued that argumentative rationality properly corresponds only with system-2 reasoning in dual-process theories. This result challenges the prescriptive force of argumentative norms derives if they derive at all from their descriptive accuracy of our cognitive capacities. In response, I propose an activity-based account of reasoning which retains the assumptions of argumentative rationality while recontextualizing the relationship between reasoning as a justificatory activity and the psychological states and processes underlying that activity.

Quantum theory and the schism in physics from the postscript to the logic of scientific discovery

CERN Document Server

Popper, Karl Raimund

1982-01-01

Quantum Theory and the Schism in Physics is one of the three volumes of Karl Popper's Postscript to the Logic of scientific Discovery. The Postscript is the culmination of Popper's work in the philosophy of physics and a new famous attack on subjectivist approaches to philosophy of science.Quantum Theory and the Schism in Physics is the third volume of the Postscript. It may be read independently, but it also forms part of Popper's interconnected argument in the Postscript. It presents Popper's classic statement on quantum physics a

Attorney Argumentation and Supreme Court Opinions.

Science.gov (United States)

Benoit, William L.

1989-01-01

Investigates the relationship between argumentation advanced by attorneys in four Supreme Court cases and the reasoning proffered by the Court in its decisions in those cases. Finds attorney argumentation sometimes irrelevant to the Court's reasoning and sometimes adopted by the Court. Offers a perspective on argumentation and decision making to…

In Celebration of Past, Present and Future

DEFF Research Database (Denmark)

Hasle, Per Frederik Vilhelm; Jakobsen, David; Øhrstrøm, Peter

2018-01-01

of determinism led him to a reconstruction of the famous Diodorean Master Argument which had for centuries been regarded as a strong argument in favour of determinism. In his further analysis of the problem, he made extensive use of tense-logic and the idea of branching time suggested to him by Saul Kripke....... However, in Past, Present and Future Prior also stresses that time as such should not simply be understood in terms of branching time diagrams. Such diagrams should be seen not as direct representations of time but rather as figures helpful for understanding a deeper tense-logical structure....

Concurrent weighted logic

DEFF Research Database (Denmark)

Xue, Bingtian; Larsen, Kim Guldstrand; Mardare, Radu Iulian

2015-01-01

We introduce Concurrent Weighted Logic (CWL), a multimodal logic for concurrent labeled weighted transition systems (LWSs). The synchronization of LWSs is described using dedicated functions that, in various concurrency paradigms, allow us to encode the compositionality of LWSs. To reflect these......-completeness results for this logic. To complete these proofs we involve advanced topological techniques from Model Theory....

Revisiting the argument from fetal potential

Directory of Open Access Journals (Sweden)

Manninen Bertha

2007-05-01

Full Text Available Abstract One of the most famous, and most derided, arguments against the morality of abortion is the argument from potential, which maintains that the fetus' potential to become a person and enjoy the valuable life common to persons, entails that its destruction is prima facie morally impermissible. In this paper, I will revisit and offer a defense of the argument from potential. First, I will criticize the classical arguments proffered against the importance of fetal potential, specifically the arguments put forth by philosophers Peter Singer and David Boonin, by carefully unpacking the claims made in these arguments and illustrating why they are flawed. Secondly, I will maintain that fetal potential is morally relevant when it comes to the morality of abortion, but that it must be accorded a proper place in the argument. This proper place, however, cannot be found until we first answer a very important and complex question: we must first address the issue of personal identity, and when the fetus becomes the type of being who is relevantly identical to a future person. I will illustrate why the question of fetal potential can only be meaningfully addressed after we have first answered the question of personal identity and how it relates to the human fetus.

Social Argumentation in Online Synchronous Communication

Science.gov (United States)

Alagoz, Esra

2013-01-01

The ability to argue well is a valuable skill for students in both formal and informal learning environments. While many studies have explored the argumentative practices in formal environments and some researchers have developed tools to enhance the argumentative skills, the social argumentation that is occurring in informal spaces has yet to be…

Action Type Deontic Logic

DEFF Research Database (Denmark)

Bentzen, Martin Mose

2014-01-01

A new deontic logic, Action Type Deontic Logic, is presented. To motivate this logic, a number of benchmark cases are shown, representing inferences a deontic logic should validate. Some of the benchmark cases are singled out for further comments and some formal approaches to deontic reasoning...... are evaluated with respect to the benchmark cases. After that follows an informal introduction to the ideas behind the formal semantics, focussing on the distinction between action types and action tokens. Then the syntax and semantics of Action Type Deontic Logic is presented and it is shown to meet...

Quantifiers for quantum logic

OpenAIRE

Heunen, Chris

2008-01-01

We consider categorical logic on the category of Hilbert spaces. More generally, in fact, any pre-Hilbert category suffices. We characterise closed subobjects, and prove that they form orthomodular lattices. This shows that quantum logic is just an incarnation of categorical logic, enabling us to establish an existential quantifier for quantum logic, and conclude that there cannot be a universal quantifier.

The effectiveness of argumentation in tutorial dialogues with an Intelligent Tutoring System for genetic risk of breast cancer

Science.gov (United States)

Cedillos-Whynott, Elizabeth M.; Wolfe, Christopher R.; Widmer, Colin L.; Brust-Renck, Priscila G.; Weil, Audrey; Reyna, Valerie F.

2017-01-01

BRCA Gist is an Intelligent Tutoring System that helps women understand issues related to genetic testing and breast cancer risk. In two laboratory experiments and a field experiment with community and web-based samples, an avatar asked 120 participants to produce arguments for and against genetic testing for breast cancer risk. Two raters assessed the number of argumentation elements (claim, reason, backing, etc.) found in response to prompts soliciting arguments for and against genetic testing for breast cancer risk (IRR=.85). When asked to argue for genetic testing, 53.3 % failed to meet the minimum operational definition of making an argument, a claim supported by one or more reasons. When asked to argue against genetic testing, 59.3 % failed to do so. Of those who failed to generate arguments most simply listed disconnected reasons. However, participants who provided arguments against testing (40.7 %) performed significantly higher on a posttest of declarative knowledge. In each study we found positive correlations between the quality of arguments against genetic testing (i.e., number of argumentation elements) and genetic risk categorization scores. Although most interactions did not contain two or more argument elements, when more elements of arguments were included in the argument against genetic testing interaction, participants had greater learning outcomes. Apparently, many participants lack skills in making coherent arguments. These results suggest an association between argumentation ability (knowing how to make complex arguments) and subsequent learning. Better education in developing arguments may be necessary for people to learn from generating arguments within Intelligent Tutoring Systems and other settings. PMID:26511370

Do Institutional Logics Predict Interpretation of Contract Rules at the Dental Chair-side?

DEFF Research Database (Denmark)

Harris, Rebecca; Brown, Stephen; Holt, Robin

2014-01-01

understands opportunism as fully rational, individual responses selecting maximally efficient outcomes from a set of possibilities. We take a more emotive and collective view of contracting, exploring the influence of institutional logics in relation to the opportunistic behaviour of dentists. Following...... earlier qualitative work where we identified four institutional logics in English general dental practice, and six dental contract areas where there was scope for opportunism; in 2013 we surveyed 924 dentists to investigate these logics and whether they had predictive purchase over dentists' chair...

Argument Strength and the Persuasiveness of Stories

Science.gov (United States)

Schreiner, Constanze; Appel, Markus; Isberner, Maj-Britt; Richter, Tobias

2017-01-01

ABSTRACT Stories are a powerful means to change people’s attitudes and beliefs. The aim of the current work was to shed light on the role of argument strength (argument quality) in narrative persuasion. The present study examined the influence of strong versus weak arguments on attitudes in a low or high narrative context. Moreover, baseline attitudes, interindividual differences in working memory capacity, and recipients’ transportation were examined. Stories with strong arguments were more persuasive than stories with weak arguments. This main effect was qualified by a two-way interaction with baseline attitude, revealing that argument strength had a greater impact on individuals who initially were particularly doubtful toward the story claim. Furthermore, we identified a three-way interaction showing that argument strength mattered most for recipients who were deeply transported into the story world in stories that followed a typical narrative structure. These findings provide an important specification of narrative persuasion theory. PMID:29805322

Logic delays of 5-μm resistor coupled Josephson logic

International Nuclear Information System (INIS)

Sone, J.; Yoshida, T.; Tahara, S.; Abe, H.

1982-01-01

Logic delays of resistor coupled Josephson logic (RCJL) have been investigated. An experimental circuit with a cascade chain of ten RCJL OR gates was fabricated using Pb-alloy Josephson IC technology with 5-μm minimum linewidth. Logic delay was measured to be as low as 10.8 ps with power dissipation of 11.7 μW. This demonstrates a switching operation faster than those reported for other Josephson gate designs. Comparison with computer-simulation results is also presented

Radiation tolerant combinational logic cell

Science.gov (United States)

Maki, Gary R. (Inventor); Gambles, Jody W. (Inventor); Whitaker, Sterling (Inventor)

2009-01-01

A system has a reduced sensitivity to Single Event Upset and/or Single Event Transient(s) compared to traditional logic devices. In a particular embodiment, the system includes an input, a logic block, a bias stage, a state machine, and an output. The logic block is coupled to the input. The logic block is for implementing a logic function, receiving a data set via the input, and generating a result f by applying the data set to the logic function. The bias stage is coupled to the logic block. The bias stage is for receiving the result from the logic block and presenting it to the state machine. The state machine is coupled to the bias stage. The state machine is for receiving, via the bias stage, the result generated by the logic block. The state machine is configured to retain a state value for the system. The state value is typically based on the result generated by the logic block. The output is coupled to the state machine. The output is for providing the value stored by the state machine. Some embodiments of the invention produce dual rail outputs Q and Q'. The logic block typically contains combinational logic and is similar, in size and transistor configuration, to a conventional CMOS combinational logic design. However, only a very small portion of the circuits of these embodiments, is sensitive to Single Event Upset and/or Single Event Transients.

Nursing Teaching Strategies by Encouraging Students’ Questioning, Argumentation and Explanation

Directory of Open Access Journals (Sweden)

Dayse Neri de Souza

2014-12-01

Full Text Available Nursing students need to develop competences in the field of explanation, argumentation and questioning as they are pivotal to foster a relationship with their patients and achieve a greater humanisation of care. The objective of this paper is to analyse the perception of 1st-year nursing students with regard to the humanisation of care provided to patients by encouraging them to discuss real-life episodes. The study is qualitative and content analysis used the students’ questions, explanations and argumentation as core discourses. Among other conclusions, results point towards the importance of promoting activities that encourage the different nursing students’ discourses and the ability to understand the humanisation and dehumanisation patterns arising from the real-life episodes used as case study.

Unrealistic Assumptions in Economics: an Analysis under the Logic of Socioeconomic Processes

Directory of Open Access Journals (Sweden)

Leonardo Ivarola

2014-11-01

Full Text Available The realism of assumptions is an ongoing debate within the philosophy of economics. One of the most referenced papers in this matter belongs to Milton Friedman. He defends the use of unrealistic assumptions, not only because of a pragmatic issue, but also the intrinsic difficulties of determining the extent of realism. On the other hand, realists have criticized (and still do today the use of unrealistic assumptions - such as the assumption of rational choice, perfect information, homogeneous goods, etc. However, they did not accompany their statements with a proper epistemological argument that supports their positions. In this work it is expected to show that the realism of (a particular sort of assumptions is clearly relevant when examining economic models, since the system under study (the real economies is not compatible with logic of invariance and of mechanisms, but with the logic of possibility trees. Because of this, models will not function as tools for predicting outcomes, but as representations of alternative scenarios, whose similarity to the real world will be examined in terms of the verisimilitude of a class of model assumptions

Erotetic epistemic logic

Czech Academy of Sciences Publication Activity Database

Peliš, Michal

2017-01-01

Roč. 26, č. 3 (2017), s. 357-381 ISSN 1425-3305 R&D Projects: GA ČR(CZ) GC16-07954J Institutional support: RVO:67985955 Keywords : epistemic logic * erotetic implication * erotetic logic * logic of questions Subject RIV: AA - Philosophy ; Religion OBOR OECD: Philosophy, History and Philosophy of science and technology http://apcz.umk.pl/czasopisma/index.php/LLP/article/view/LLP.2017.007

L'argumentation dans la langue (Argumentation in Language)

Science.gov (United States)

Anscombre, J. C.; Ducrot, O.

1976-01-01

Questions the current distinction between semantics and pragmatics, and develops a theory of "argumentative scales" (Ducrot 1973), as well as a semantic model with three components and a revision of the notion of "illocutionary." (Text is in French.) (CDSH/AM)

Rhétorique et argumentation : approches croisées Current Approaches to Rhetoric and Argumentation

Directory of Open Access Journals (Sweden)

Roselyne Koren

2009-04-01

Full Text Available 1. Considérations théoriques (Ruth AmossyL’intérêt croissant qui se manifeste aujourd’hui pour l’argumentation dans les études francophones n’est pas sans appeler quelques clarifications. Ducrot, qui a joué un rôle déterminant dans le regain des études argumentatives en France, s’y est récemment employé en différenciant nettement ce qu’il appelle « l’argumentation linguistique » et « l’argumentation rhétorique ». La première, dont il est l’un des promoteurs et le tenant, se définit contre « ...

The Football of Logic

Directory of Open Access Journals (Sweden)

Schang Fabien

2017-03-01

Full Text Available An analogy is made between two rather different domains, namely: logic, and football (or soccer. Starting from a comparative table between the two activities, an alternative explanation of logic is given in terms of players, ball, goal, and the like. Our main thesis is that, just as the task of logic is preserving truth from premises to the conclusion, footballers strive to keep the ball as far as possible until the opposite goal. Assuming this analogy may help think about logic in the same way as in dialogical logic, but it should also present truth-values in an alternative sense of speech-acts occurring in a dialogue. The relativity of truth-values is focused by this way, thereby leading to an additional way of logical pluralism.

The Logic of Practice in the Practice of Logics

DEFF Research Database (Denmark)

Raviola, Elena; Dubini, Paola

2016-01-01

of logics through a six months full-time ethnographic study at Il Sole-24 Ore, the largest Italian financial newspaper, between 2007 and 2008. An original conceptual framework is developed to analyse how the logic of journalism is enacted vis-à-vis that of advertising in a setting in which an old technology...... for news production – print newspaper – coexists with a new one – website – and thus encounters between new and old technological possibilities make workings of institutional logics particularly visible. The findings point out different mechanisms of institutional work dealing with actions that, made...

Understanding "Failed" Markets: Conflicting Logics and Dissonance in Attempts to Price the Priceless Child

NARCIS (Netherlands)

Vermeulen, P.A.M.; Ansari, S.; Lounsbury, M.; Gehman, J.; Lounsbury, M.; Greenwood, R.

2017-01-01

While scholars have developed increasingly well-developed accounts of institutional change, little attention has been paid to how change is resisted and, in particular, how efforts to marketize fail. We draw on the institutional logics perspective to guide analysis of an empirical case of the failed

Promoting Argumentation in Middle School Science Classrooms: A Project SEPIA Evaluation.

Science.gov (United States)

Duschl, Richard A.; Ellenbogen, Kirsten; Erduran, Sibel

Effective argumentation is the distinguishing feature of a classroom that employs discovery teaching and student inquiry methodologies. In the long term, the objective of the program is to understand how to design learning environments and curriculum, instruction, and assessment models that promote student self-reflection. The study evaluates the…

Improving the argumentative skills of high school students through teacher’s questioning techniques and argumentative assessment

Science.gov (United States)

Kristianti, T. P.; Ramli, M.; Ariyanto, J.

2018-05-01

This research aims to know how students’ argumentative skills improved by applying teacher’s questioning techniques and argumentative assessment through collaborative action research between college student who did teaching practicum, biology teacher as tutor teacher, and lecturers. The action research was done in three cycles involving one class consisted of 36 eleventh graders. Lesson plans were developed collaboratively, and teaching practices were by the student teacher. In the reflective phase prior to the first cycle, learning processes were dominated by the teacher, hence students did not have sufficient opportunity to argue. Students were divided into two, 14 students were grouped as low achievement (LA) and 22 students were the high achievement (HA). Teacher questions and students’ responses were furtherly coded and interpreted following the validated rubric of level of argumentation. A divergent essay as an argumentative assessment was also tested to students at the end of each cycle. At the end of the third cycle, HA and LA students showed a significant change in argumentative skills responded the teacher’s questions. However, only four LA students who actively argued. Students from HA groups also showed the improvement on the level of argumentation, where they move from level 1 to 3.

The biased use of argument evaluation criteria in motivated reasoning; Does argument quality depend on the evaluators' standpoint?

NARCIS (Netherlands)

Hoeken, J.A.L.; Van Vugt, M.

2016-01-01

People without a background in argumentation theory possess several criteria to distinguish strong from weak arguments. The fact that people have these criteria does not imply that they will use them to objectively assess the quality of an argument. Research on motivated reasoning suggests that

A fast-slow logic system

International Nuclear Information System (INIS)

Kawashima, Hideo.

1977-01-01

A fast-slow logic system has been made for use in multi-detector experiments in nuclear physics such as particle-gamma and particle-particle coincidence experiments. The system consists of a fast logic system and a slow logic system. The fast logic system has a function of fast coincidences and provides timing signals for the slow logic system. The slow logic system has a function of slow coincidences and a routing control of input analog signals to the ADCs. (auth.)

Teaching of History: argumentation and the construction of meaning

Directory of Open Access Journals (Sweden)

Patricia Bastos de Azevedo

2011-06-01

Full Text Available The aim of this article is to discuss the construction of meaning through argumentation in the teaching of History. The field research was carried out in a municipal school in Niterói – RJ. The research included 30 hours of recordings of History classes of a group of the 4th cycle of Elementary Education (also called 8th year of Elementary Education. The data analysis articulated the theoretical elements related to curriculum, language and culture. It can be pointed out a possibility of theoretical approximation of these three fields of knowledge relating them to the concrete space of the History class. The challenge is to create a dialogue among the theories from the curriculum, language and culture fields, aiming to understand the construction of meaning in the teaching of History by means of argumentation.

A practical introduction to fuzzy logic using LISP

CERN Document Server

Argüelles Mendez, Luis

2016-01-01

This book makes use of the LISP programming language to provide readers with the necessary background to understand and use fuzzy logic to solve simple to medium-complexity real-world problems. It introduces the basics of LISP required to use a Fuzzy LISP programming toolbox, which was specifically implemented by the author to “teach” the theory behind fuzzy logic and at the same time equip readers to use their newly-acquired knowledge to build fuzzy models of increasing complexity. The book fills an important gap in the literature, providing readers with a practice-oriented reference guide to fuzzy logic that offers more complexity than popular books yet is more accessible than other mathematical treatises on the topic. As such, students in first-year university courses with a basic tertiary mathematical background and no previous experience with programming should be able to easily follow the content. The book is intended for students and professionals in the fields of computer science and engineering, ...

Logic for Physicists

Science.gov (United States)

Pereyra, Nicolas A.

2018-06-01

This book gives a rigorous yet 'physics-focused' introduction to mathematical logic that is geared towards natural science majors. We present the science major with a robust introduction to logic, focusing on the specific knowledge and skills that will unavoidably be needed in calculus topics and natural science topics in general (rather than taking a philosophical-math-fundamental oriented approach that is commonly found in mathematical logic textbooks).

Logic of likelihood

International Nuclear Information System (INIS)

Wall, M.J.W.

1992-01-01

The notion of open-quotes probabilityclose quotes is generalized to that of open-quotes likelihood,close quotes and a natural logical structure is shown to exist for any physical theory which predicts likelihoods. Two physically based axioms are given for this logical structure to form an orthomodular poset, with an order-determining set of states. The results strengthen the basis of the quantum logic approach to axiomatic quantum theory. 25 refs

Conductive Arguments: Why is This Still a Thing?

Directory of Open Access Journals (Sweden)

Kevin Possin

2016-12-01

Full Text Available Conductive arguments, as a separate category of reasoning, has experienced a revival.  In 2010, the University of Windsor’s Centre for Research in Reasoning, Argumentation, and Rhetoric dedicated a two-day symposium to the topic and later published the proceedings.  In this article, I argue against the existence of conductive arguments as a usefully distinct type of argument.  Some of what are deemed conductive arguments are simply inductive arguments and some are best construed as subsets of the constituents of what is commonly called a position paper.

Microelectromechanical reprogrammable logic device

KAUST Repository

Hafiz, Md Abdullah Al; Kosuru, Lakshmoji; Younis, Mohammad I.

2016-01-01

on the electrothermal frequency modulation scheme of a single microelectromechanical resonator, capable of performing all the fundamental 2-bit logic functions as well as n-bit logic operations. Logic functions are performed by actively tuning the linear resonance

GOAL Agents Instantiate Intention Logic

OpenAIRE

Hindriks, Koen; van der Hoek, Wiebe

2008-01-01

It is commonly believed there is a big gap between agent logics and computational agent frameworks. In this paper, we show that this gap is not as big as believed by showing that GOAL agents instantiate Intention Logic of Cohen and Levesque. That is, we show that GOAL agent programs can be formally related to Intention Logic.We do so by proving that the GOAL Verification Logic can be embedded into Intention Logic. It follows that (a fragment of) Intention Logic can be used t...

Argumentation not emotion

International Nuclear Information System (INIS)

Koerber, H.

1984-01-01

The controversy about the introduction and extension of the peaceful use of nuclear energy has been going on in the Federal Republic of Germany and other countries for a number of years. The intensity with which it was conducted has changed frequently, varying topics were discussed, and shifting aims formed the object of resistance. Often emotion took the place of sober pro and con. There was increasing repression of points made, both on the part of the opponents of nuclear energy and its advocates. Endeavours to free the controversy from emotion are a prerequisite of sober analysis and a balanced judgement on questions of the energy supply of this country. The call for points is to be complied with by this book. To the emotional contentions and statements made in the course of the nuclear energy discussion the author opposes sober arguments. To corroborate the argumentation and make it verifiable a compilation of facts was appended, which corresponds to the main part of the book, provides further information and establishes connections to related problems. A register of important technical terms and their definitions and a bibliography round off the information and argumentation potential. The book is addressed to all - opponents and supporters alike - who want to deal unemotionally with the pro and con of nuclear energy. It provides useful aids for argumentation and the framing of opinions to anybody participating in the discussion at the level of politics, economy, education and society. Last not least it is helpful as a source of information and reference book on questions of energy supply. (orig.) [de

Noise-based logic: Binary, multi-valued, or fuzzy, with optional superposition of logic states

Energy Technology Data Exchange (ETDEWEB)

Kish, Laszlo B. [Texas A and M University, Department of Electrical and Computer Engineering, College Station, TX 77843-3128 (United States)], E-mail: laszlo.kish@ece.tamu.edu

2009-03-02

A new type of deterministic (non-probabilistic) computer logic system inspired by the stochasticity of brain signals is shown. The distinct values are represented by independent stochastic processes: independent voltage (or current) noises. The orthogonality of these processes provides a natural way to construct binary or multi-valued logic circuitry with arbitrary number N of logic values by using analog circuitry. Moreover, the logic values on a single wire can be made a (weighted) superposition of the N distinct logic values. Fuzzy logic is also naturally represented by a two-component superposition within the binary case (N=2). Error propagation and accumulation are suppressed. Other relevant advantages are reduced energy dissipation and leakage current problems, and robustness against circuit noise and background noises such as 1/f, Johnson, shot and crosstalk noise. Variability problems are also non-existent because the logic value is an AC signal. A similar logic system can be built with orthogonal sinusoidal signals (different frequency or orthogonal phase) however that has an extra 1/N type slowdown compared to the noise-based logic system with increasing number of N furthermore it is less robust against time delay effects than the noise-based counterpart.

Noise-based logic: Binary, multi-valued, or fuzzy, with optional superposition of logic states

International Nuclear Information System (INIS)

Kish, Laszlo B.

2009-01-01

A new type of deterministic (non-probabilistic) computer logic system inspired by the stochasticity of brain signals is shown. The distinct values are represented by independent stochastic processes: independent voltage (or current) noises. The orthogonality of these processes provides a natural way to construct binary or multi-valued logic circuitry with arbitrary number N of logic values by using analog circuitry. Moreover, the logic values on a single wire can be made a (weighted) superposition of the N distinct logic values. Fuzzy logic is also naturally represented by a two-component superposition within the binary case (N=2). Error propagation and accumulation are suppressed. Other relevant advantages are reduced energy dissipation and leakage current problems, and robustness against circuit noise and background noises such as 1/f, Johnson, shot and crosstalk noise. Variability problems are also non-existent because the logic value is an AC signal. A similar logic system can be built with orthogonal sinusoidal signals (different frequency or orthogonal phase) however that has an extra 1/N type slowdown compared to the noise-based logic system with increasing number of N furthermore it is less robust against time delay effects than the noise-based counterpart

Noise-based logic: Binary, multi-valued, or fuzzy, with optional superposition of logic states

Science.gov (United States)

Kish, Laszlo B.

2009-03-01

A new type of deterministic (non-probabilistic) computer logic system inspired by the stochasticity of brain signals is shown. The distinct values are represented by independent stochastic processes: independent voltage (or current) noises. The orthogonality of these processes provides a natural way to construct binary or multi-valued logic circuitry with arbitrary number N of logic values by using analog circuitry. Moreover, the logic values on a single wire can be made a (weighted) superposition of the N distinct logic values. Fuzzy logic is also naturally represented by a two-component superposition within the binary case ( N=2). Error propagation and accumulation are suppressed. Other relevant advantages are reduced energy dissipation and leakage current problems, and robustness against circuit noise and background noises such as 1/f, Johnson, shot and crosstalk noise. Variability problems are also non-existent because the logic value is an AC signal. A similar logic system can be built with orthogonal sinusoidal signals (different frequency or orthogonal phase) however that has an extra 1/N type slowdown compared to the noise-based logic system with increasing number of N furthermore it is less robust against time delay effects than the noise-based counterpart.

'You are inferior!' Revisiting the expressivist argument.

Science.gov (United States)

Hofmann, Bjørn

2017-09-01

According to the expressivist argument the choice to use biotechnologies to prevent the birth of individuals with specific disabilities is an expression of disvalue for existing people with this disability. The argument has stirred a lively debate and has recently received renewed attention. This article starts with presenting the expressivist argument and its core elements. It then goes on to present and examine the counter-arguments before it addresses some aspects that have gained surprisingly little attention. The analysis demonstrates that the expressivist argument has a wide range of underpinnings and that counter-arguments tend to focus on only a few of these. It also reveals an important aspect that appears to have been ignored, i.e., that people do not select foetuses based on chromosomes or other biological traits, but based on characteristics of living persons with specific disabilities. This makes it more difficult to undermine the claim that negative selection of foetuses expresses a disvaluing of persons with such disabilities. It leaves the expressivist argument with a strong bite still. © 2017 John Wiley & Sons Ltd.

Family Arguments

Science.gov (United States)

... Spread the Word Shop AAP Find a Pediatrician Family Life Medical Home Family Dynamics Adoption & Foster Care ... Life Listen Español Text Size Email Print Share Family Arguments Page Content Article Body We seem to ...

Rhetoric and Essentially Contested Arguments

Science.gov (United States)

Garver, Eugene

1978-01-01

Draws a connection between Gallie's essentially contested concepts and Aristotle's account of rhetorical argument by presenting a definition of Essentially Contested Argument which is used as the connecting term between rhetoric and essentially contested concepts and by demonstrating the value of making this connection. (JF)

Reprogrammable Logic Gate and Logic Circuit Based on Multistimuli-Responsive Raspberry-like Micromotors.

Science.gov (United States)

Zhang, Lina; Zhang, Hui; Liu, Mei; Dong, Bin

2016-06-22

In this paper, we report a polymer-based raspberry-like micromotor. Interestingly, the resulting micromotor exhibits multistimuli-responsive motion behavior. Its on-off-on motion can be regulated by the application of stimuli such as H2O2, near-infrared light, NH3, or their combinations. Because of the versatility in motion control, the current micromotor has great potential in the application field of logic gate and logic circuit. With use of different stimuli as the inputs and the micromotor motion as the output, reprogrammable OR and INHIBIT logic gates or logic circuit consisting of OR, NOT, and AND logic gates can be achieved.

Argumentation skill profile using “Toulmin Argumentation Pattern” analysis of high school student at Subang on topic hydrostatic pressure

Science.gov (United States)

Syerliana, L.; Muslim; Setiawan, W.

2018-05-01

This study aims to know profile of argumentation skill high school student at Kabupaten Subang. To achieve this goal, researcher conducted a descriptive study to analysis student test results of argumentation skill of 35 students XII SMAN. Data collection using argumentation test which has validation by expert and then it is analyzed using TAP (Toulmin Argumentation Pattern) which consist of some components such a data, claim, warrant, backing, and rebuttal on the topic of hydrostatic pressure. The method used in this research is descriptive method. The result of this research show the student’s scientific argumentation skill is still low, this is proven by 54% average claim score, 38% data, 29% warrant, 35% backing and 35% rebuttal. These findings will serve as a basis for further research on innovative learning models that can improve students’ argumentation skill.

Disentangling The Thick Concept Argument

DEFF Research Database (Denmark)

Blomberg, Olle

2007-01-01

Critics argue that non-cognitivism cannot adequately account for the existence and nature of some thick moral concepts. They use the existence of thick concepts as a lever in an argument against non-cognitivism, here called the Thick Concept Argument (TCA). While TCA is frequently invoked...

Conference Trends in Logic XI

CERN Document Server

Wansing, Heinrich; Willkommen, Caroline; Recent Trends in Philosophical Logic

2014-01-01

This volume presents recent advances in philosophical logic with chapters focusing on non-classical logics, including paraconsistent logics, substructural logics, modal logics of agency and other modal logics. The authors cover themes such as the knowability paradox, tableaux and sequent calculi, natural deduction, definite descriptions, identity, truth, dialetheism, and possible worlds semantics.   The developments presented here focus on challenging problems in the specification of fundamental philosophical notions, as well as presenting new techniques and tools, thereby contributing to the development of the field. Each chapter contains a bibliography, to assist the reader in making connections in the specific areas covered. Thus this work provides both a starting point for further investigations into philosophical logic and an update on advances, techniques and applications in a dynamic field.   The chapters originate from papers presented during the Trends in Logic XI conference at the Ruhr University ...

Logic analysis and verification of n-input genetic logic circuits

DEFF Research Database (Denmark)

Baig, Hasan; Madsen, Jan

2017-01-01

. In this paper, we present an approach to analyze and verify the Boolean logic of a genetic circuit from the data obtained through stochastic analog circuit simulations. The usefulness of this analysis is demonstrated through different case studies illustrating how our approach can be used to verify the expected......Nature is using genetic logic circuits to regulate the fundamental processes of life. These genetic logic circuits are triggered by a combination of external signals, such as chemicals, proteins, light and temperature, to emit signals to control other gene expressions or metabolic pathways...... accordingly. As compared to electronic circuits, genetic circuits exhibit stochastic behavior and do not always behave as intended. Therefore, there is a growing interest in being able to analyze and verify the logical behavior of a genetic circuit model, prior to its physical implementation in a laboratory...

Craig and Kalam Cosmological Argument

Directory of Open Access Journals (Sweden)

Gholamhosein Tavacoly

2011-08-01

Full Text Available Among different arguments for the existence of God the Kalam cosmological argument is a very famous one which is elaborated by Professor William lane Craig. Craig claims that the universe began to exist , then he continues to say: everything that begins to exist has a cause and therefore the universe has a cause. But how do we know that the universe began to exist? This premise forms the most important part of Craig’s contention, and he bolsters it by four arguments, the first two are driven from philosophy and the other two, which he prefers to name them “confirmations from sciences” are driven from sciences the first one evokes to big bang theory and the seconds to the second principle of thermodynamic which are respectively adopted from cosmology and physics.   In this essay we are going to survey Craig’s arguments and estimate their value and weight.

Craig and Kalam Cosmological Argument

Directory of Open Access Journals (Sweden)

Gholamhosein Tavacoly

2011-09-01

Full Text Available   Among different arguments for the existence of God the Kalam cosmological argument is a very famous one which is elaborated by Professor William lane Craig. Craig claims that the universe began to exist , then he continues to say: everything that begins to exist has a cause and therefore the universe has a cause. But how do we know that the universe began to exist? This premise forms the most important part of Craig’s contention, and he bolsters it by four arguments, the first two are driven from philosophy and the other two, which he prefers to name them “confirmations from sciences” are driven from sciences the first one evokes to big bang theory and the seconds to the second principle of thermodynamic which are respectively adopted from cosmology and physics.   In this essay we are going to survey Craig’s arguments and estimate their value and weight.

Craig and Kalam Cosmological Argument

Directory of Open Access Journals (Sweden)

Tavacoli, Gh

2011-01-01

Full Text Available Among different arguments for the existence of God the Kalam cosmological argument is a very famous one which is elaborated by Professor William lane Craig. Craig claims that the universe began to exist, then he continues to say: everything that begins to exist has a cause and therefore the universe has a cause. But how do we know that the universe began to exist? This premise forms the most important part of Craig’s contention, and he bolsters it by four arguments, the first two are driven from philosophy and the other two, which he prefers to name them “confirmations from sciences” are driven from sciences; the first one evokes to big bang theory and the seconds to the second principle of thermodynamic which are respectively adopted from cosmology and physics.In this essay we are going to survey Craig’s arguments and estimate their value and weight.

Prospects of luminescence based molecular scale logic gates and logic circuits

International Nuclear Information System (INIS)

Speiser, Shammai

2016-01-01

In recent years molecular electronics has emerged as a rapidly growing research field. The aim of this review is to introduce this subject as a whole with special emphasis on molecular scale potential devices and applications. As a particular example we will discuss all optical molecular scale logic gates and logic circuits based on molecular fluorescence and electronic excitation transfer processes. Charge and electronic energy transfers (ET and EET) are well-studied examples whereby different molecules can signal their state from one (the donor, D) to the other (the acceptor, A). We show how a half-adder logic circuit can be implemented on one molecule that can communicate its logic output as input to another half-adder molecule. This is achieved as an electronic energy transfer from a donor to an acceptor, thus implementing a molecular full adder. We discuss a specific pair, the rhodamine–azulene, for which there is considerable spectroscopic data, but the scheme is general enough to allow a wide choice of D and A pairs. We present results based on this pair, in which, for the first time, an all optical half-adder and full-adder logic circuits are implemented. - Highlights: • Molecular scale logic • Photoquenching • Full adder

Prospects of luminescence based molecular scale logic gates and logic circuits

Energy Technology Data Exchange (ETDEWEB)

Speiser, Shammai, E-mail: speiser@technion.ac.il

2016-01-15

In recent years molecular electronics has emerged as a rapidly growing research field. The aim of this review is to introduce this subject as a whole with special emphasis on molecular scale potential devices and applications. As a particular example we will discuss all optical molecular scale logic gates and logic circuits based on molecular fluorescence and electronic excitation transfer processes. Charge and electronic energy transfers (ET and EET) are well-studied examples whereby different molecules can signal their state from one (the donor, D) to the other (the acceptor, A). We show how a half-adder logic circuit can be implemented on one molecule that can communicate its logic output as input to another half-adder molecule. This is achieved as an electronic energy transfer from a donor to an acceptor, thus implementing a molecular full adder. We discuss a specific pair, the rhodamine–azulene, for which there is considerable spectroscopic data, but the scheme is general enough to allow a wide choice of D and A pairs. We present results based on this pair, in which, for the first time, an all optical half-adder and full-adder logic circuits are implemented. - Highlights: • Molecular scale logic • Photoquenching • Full adder.

Analyzing Argumentation In Rich, Natural Contexts

Directory of Open Access Journals (Sweden)

Anita Reznitskaya

2008-02-01

Full Text Available The paper presents the theoretical and methodological aspects of research on the development of argument- ation in elementary school children. It presents a theoretical framework detailing psychological mechanisms responsible for the acquisition and transfer of argumentative discourse and demonstrates several applications of the framework, described in sufficient detail to guide future empirical investigations of oral, written, individual, or group argumentation performance. Software programs capable of facilitating data analysis are identified and their uses illustrated. The analytic schemes can be used to analyze large amounts of verbal data with reasonable precision and efficiency. The conclusion addresses more generally the challenges for and possibilities of empirical study of the development of argumentation.

Application of linear logic to simulation

Science.gov (United States)

Clarke, Thomas L.

1998-08-01

Linear logic, since its introduction by Girard in 1987 has proven expressive and powerful. Linear logic has provided natural encodings of Turing machines, Petri nets and other computational models. Linear logic is also capable of naturally modeling resource dependent aspects of reasoning. The distinguishing characteristic of linear logic is that it accounts for resources; two instances of the same variable are considered differently from a single instance. Linear logic thus must obey a form of the linear superposition principle. A proportion can be reasoned with only once, unless a special operator is applied. Informally, linear logic distinguishes two kinds of conjunction, two kinds of disjunction, and also introduces a modal storage operator that explicitly indicates propositions that can be reused. This paper discuses the application of linear logic to simulation. A wide variety of logics have been developed; in addition to classical logic, there are fuzzy logics, affine logics, quantum logics, etc. All of these have found application in simulations of one sort or another. The special characteristics of linear logic and its benefits for simulation will be discussed. Of particular interest is a connection that can be made between linear logic and simulated dynamics by using the concept of Lie algebras and Lie groups. Lie groups provide the connection between the exponential modal storage operators of linear logic and the eigen functions of dynamic differential operators. Particularly suggestive are possible relations between complexity result for linear logic and non-computability results for dynamical systems.

Quantum logics with existence property

International Nuclear Information System (INIS)

Schindler, C.

1991-01-01

A quantum logic (σ-orthocomplete orthomodular poset L with a convex, unital, and separating set Δ of states) is said to have the existence property if the expectation functionals on lin(Δ) associated with the bounded observables of L form a vector space. Classical quantum logics as well as the Hilbert space logics of traditional quantum mechanics have this property. The author shows that, if a quantum logic satisfies certain conditions in addition to having property E, then the number of its blocks (maximal classical subsystems) must either be one (classical logics) or uncountable (as in Hilbert space logics)

Similarity Arguments in the Genetic Modification Debate

DEFF Research Database (Denmark)

Christiansen, Andreas

2017-01-01

In the ethical debate on genetic modification (GM), it is common to encounter the claim that some anti-GM argument would also apply an established, ethically accepted technology, and that the anti-GM argument is therefore unsuccessful. The paper discusses whether this argumentative strategy, the ...

Flat Coalgebraic Fixed Point Logics

Science.gov (United States)

Schröder, Lutz; Venema, Yde

Fixed point logics are widely used in computer science, in particular in artificial intelligence and concurrency. The most expressive logics of this type are the μ-calculus and its relatives. However, popular fixed point logics tend to trade expressivity for simplicity and readability, and in fact often live within the single variable fragment of the μ-calculus. The family of such flat fixed point logics includes, e.g., CTL, the *-nesting-free fragment of PDL, and the logic of common knowledge. Here, we extend this notion to the generic semantic framework of coalgebraic logic, thus covering a wide range of logics beyond the standard μ-calculus including, e.g., flat fragments of the graded μ-calculus and the alternating-time μ-calculus (such as ATL), as well as probabilistic and monotone fixed point logics. Our main results are completeness of the Kozen-Park axiomatization and a timed-out tableaux method that matches ExpTime upper bounds inherited from the coalgebraic μ-calculus but avoids using automata.

Humanist Principles Underlying Philosophy of Argument

Directory of Open Access Journals (Sweden)

George Boger

2008-02-01

Full Text Available This discussion reviews the thinking of some prominent philosophers of argument to extract principles common to their thinking. It shows that a growing concern with dialogical pragmatics is better appreciated as a part of applied ethics than of applied epistemology. The discussion concludes by indicating a possible consequence for philosophy of argument and invites further discussion by asking whether argumentation philosophy has an implicit, underlying moral, or even political, posture.

Definitional Arguments in Children’s Speech

Directory of Open Access Journals (Sweden)

Rebecca Schar

2017-07-01

Full Text Available Based on the debate on children’s ability to produce argumentative discourse in different edu­cational settings, this paper provides further support for the fact that small children are able to support their opinions with arguments. In particular, the paper makes a case in point on children’s appeal to definitional loci, when supporting their standpoints. The analysis of their reasoning’s implicit components shows how children apply different definitional arguments.

Modelling group decision simulation through argumentation

OpenAIRE

Marreiros, Goreti; Novais, Paulo; Machado, José; Ramos, Carlos; Neves, José

2007-01-01

Group decision making plays an important role in today’s organisations. The impact of decision making is so high and complex, that rarely the decision making process is made individually. In Group Decision Argumentation, there is a set of participants, with different profiles and expertise levels, that exchange ideas or engage in a process of argumentation and counter-argumentation, negotiate, cooperate, collaborate or even discuss techniques and/or methodologies for problem solving. In this ...

A Viewpoint Approach to Structured Argumentation

OpenAIRE

Tamani, Nouredine; Croitoru, Madalina; Buche, Patrice

2013-01-01

We introduce in this paper a viewpoint-based argumentation approach in the context of the EcoBioCap project, which requirements are different actor arguments expressed over several criteria, describing the objects of a domain, to support/oppose contradictory goals. A viewpoint is an ASPIC+ argumentation system defined over a subset of rules corresponding to a single criterion. Concepts of conflict between viewpoints, independent viewpoints, and collection of independent viewpoints are the bas...

Regulatory Anatomy: How "Safety Logics" Structure European Transplant Medicine.

Science.gov (United States)

Hoeyer, Klaus

2015-07-01

This article proposes the term "safety logics" to understand attempts within the European Union (EU) to harmonize member state legislation to ensure a safe and stable supply of human biological material for transplants and transfusions. With safety logics, I refer to assemblages of discourses, legal documents, technological devices, organizational structures, and work practices aimed at minimizing risk. I use this term to reorient the analytical attention with respect to safety regulation. Instead of evaluating whether safety is achieved, the point is to explore the types of "safety" produced through these logics as well as to consider the sometimes unintended consequences of such safety work. In fact, the EU rules have been giving rise to complaints from practitioners finding the directives problematic and inadequate. In this article, I explore the problems practitioners face and why they arise. In short, I expose the regulatory anatomy of the policy landscape.

Type-2 fuzzy logic uncertain systems’ modeling and control

CERN Document Server

Antão, Rómulo

2017-01-01

This book focuses on a particular domain of Type-2 Fuzzy Logic, related to process modeling and control applications. It deepens readers’understanding of Type-2 Fuzzy Logic with regard to the following three topics: using simpler methods to train a Type-2 Takagi-Sugeno Fuzzy Model; using the principles of Type-2 Fuzzy Logic to reduce the influence of modeling uncertainties on a locally linear n-step ahead predictor; and developing model-based control algorithms according to the Generalized Predictive Control principles using Type-2 Fuzzy Sets. Throughout the book, theory is always complemented with practical applications and readers are invited to take their learning process one step farther and implement their own applications using the algorithms’ source codes (provided). As such, the book offers avaluable referenceguide for allengineers and researchers in the field ofcomputer science who are interested in intelligent systems, rule-based systems and modeling uncertainty.

Teacher Professional Development as a Scientific Problem in Comparative Pedagogics

Science.gov (United States)

Avshenyuk, Natalia; Kostina, Lyudmyla

2014-01-01

Cogent argument for better understanding of the take-up of teacher professional development through understanding the definition itself has been presented. The main constituents of the definition with reference to different sources of information in psychology, philosophy and pedagogics have been analyzed. To make the research more logical, the…

MEMS Logic Using Mixed-Frequency Excitation

KAUST Repository

Ilyas, Saad

2017-06-22

We present multi-function microelectromechanical systems (MEMS) logic device that can perform the fundamental logic gate AND, OR, universal logic gates NAND, NOR, and a tristate logic gate using mixed-frequency excitation. The concept is based on exciting combination resonances due to the mixing of two or more input signals. The device vibrates at two steady states: a high state when the combination resonance is activated and a low state when no resonance is activated. These vibration states are assigned to logical value 1 or 0 to realize the logic gates. Using ac signals to drive the resonator and to execute the logic inputs unifies the input and output wave forms of the logic device, thereby opening the possibility for cascading among logic devices. We found that the energy consumption per cycle of the proposed logic resonator is higher than those of existing technologies. Hence, integration of such logic devices to build complex computational system needs to take into consideration lowering the total energy consumption. [2017-0041

Inferential Role and the Ideal of Deductive Logic

Directory of Open Access Journals (Sweden)

Thomas Hofweber

2010-11-01

Full Text Available Although there is a prima facie strong case for a close connection between the meaning and inferential role of certain expressions, this connection seems seriously threatened by the semantic and logical paradoxes which rely on these inferential roles. Some philosophers have drawn radical conclusions from the paradoxes for the theory of meaning in general, and for which sentences in our language are true. I criticize these overreactions, and instead propose to distinguish two conceptions of inferential role. This distinction is closely tied to two conceptions of deductive logic, and it is the key, I argue, for understanding first the connection between meaning and inferential role, and second what the paradoxes show more generally.

Amplifying genetic logic gates.

Science.gov (United States)

Bonnet, Jerome; Yin, Peter; Ortiz, Monica E; Subsoontorn, Pakpoom; Endy, Drew

2013-05-03

Organisms must process information encoded via developmental and environmental signals to survive and reproduce. Researchers have also engineered synthetic genetic logic to realize simpler, independent control of biological processes. We developed a three-terminal device architecture, termed the transcriptor, that uses bacteriophage serine integrases to control the flow of RNA polymerase along DNA. Integrase-mediated inversion or deletion of DNA encoding transcription terminators or a promoter modulates transcription rates. We realized permanent amplifying AND, NAND, OR, XOR, NOR, and XNOR gates actuated across common control signal ranges and sequential logic supporting autonomous cell-cell communication of DNA encoding distinct logic-gate states. The single-layer digital logic architecture developed here enables engineering of amplifying logic gates to control transcription rates within and across diverse organisms.

Sociology and the public understanding of science: from rationalization to rhetoric.

Science.gov (United States)

Locke, S

2001-03-01

This paper contributes to the reappraisal of sociological theories of modernity inspired by the sociology of scientific knowledge (SSK). As much as these theories rely on received ideas about the nature of science that SSK has called into doubt, so do they rely on ideas about the public understanding of science. Public understanding of science has been assumed to conform to the monolithic logic and perception of science associated with rationalization, leading to an impoverished view of the cognitive outlook of the modern individual. Rationalization has become the basis for the construction of theoretical critique of science divorced from any clear reference to public understanding, with the result that theory has encountered considerable problems in accounting for public scepticism towards science. However, rather than question rationalization, the more typical strategy has been to propose radical changes in the modernization process, such as postmodernism and the risk society. Against this, an alternative view of public understanding is advanced drawn from SSK and rhetorical psychology. The existence of the sociological critique of science, and SSK in particular, suggests that the meaning of science in modernity is not monolithic but multiple, arising out of a central dilemma over the universal form of knowledge-claims and their necessarily particular, human and social grounding. This dilemma plays out not only in intellectual discourses about science, but also in the public's understanding of science. This argument is used to call for further sociological research into public understanding and to encourage sociologists to recognize the central importance of the topic to a proper understanding of modernity.

Querying Natural Logic Knowledge Bases

DEFF Research Database (Denmark)

Andreasen, Troels; Bulskov, Henrik; Jensen, Per Anker

2017-01-01

This paper describes the principles of a system applying natural logic as a knowledge base language. Natural logics are regimented fragments of natural language employing high level inference rules. We advocate the use of natural logic for knowledge bases dealing with querying of classes...... in ontologies and class-relationships such as are common in life-science descriptions. The paper adopts a version of natural logic with recursive restrictive clauses such as relative clauses and adnominal prepositional phrases. It includes passive as well as active voice sentences. We outline a prototype...... for partial translation of natural language into natural logic, featuring further querying and conceptual path finding in natural logic knowledge bases....

Argumentation as a Strategy for Increasing Preservice Teachers' Understanding of Climate Change, a Key Global Socioscientific Issue

Science.gov (United States)

Lambert, Julie L.; Bleicher, Robert E.

2017-01-01

Findings of this study suggest that scientific argumentation can play an effective role in addressing complex socioscientific issues (i.e. global climate change). This research examined changes in preservice teachers' knowledge and perceptions about climate change in an innovative undergraduate-level elementary science methods course. The…

Modelling Mathematical Argumentation: The Importance of Qualification

Science.gov (United States)

Inglis, Matthew; Mejia-Ramos, Juan; Simpson, Adrian

2007-01-01

In recent years several mathematics education researchers have attempted to analyse students' arguments using a restricted form of Toulmina's ["The Uses of Argument," Cambridge University Press, UK, 1958] argumentation scheme. In this paper we report data from task-based interviews conducted with highly talented postgraduate mathematics students,…

Exotic species as models to understand biocultural adaptation: Challenges to mainstream views of human-nature relations.

Directory of Open Access Journals (Sweden)

Aline Dourado Sena Gama

Full Text Available A central argument in the research on traditional knowledge, which persists in the scientific literature, is that the entrance of exotic plants in local medical systems is directly associated with acculturation. However, this logic has put an end for a long period to efforts to understand why such species have so successfully entered socio-ecological systems or even their real role in such systems. This study provides evidence that (1 in some socio-environmental contexts, exotic medicinal species usually confer greater adaptive advantages to local populations, and (2 despite their general importance, exotic species only excel in medical systems when cost-benefit ratio is favorable to them. Thus, in order to avoid the loss of knowledge about native plants and to ensure biocultural conservation, it is necessary to create strategies to amplify the advantages of these species.

Questions and dependency in intuitionistic logic

NARCIS (Netherlands)

Ciardelli, Ivano; Iemhoff, Rosalie; Yang, Fan

2017-01-01

In recent years, the logic of questions and dependencies has been investigated in the closely related frameworks of inquisitive logic and dependence logic. These investigations have assumed classical logic as the background logic of statements, and added formulas expressing questions and

Logic Meeting

CERN Document Server

Tugué, Tosiyuki; Slaman, Theodore

1989-01-01

These proceedings include the papers presented at the logic meeting held at the Research Institute for Mathematical Sciences, Kyoto University, in the summer of 1987. The meeting mainly covered the current research in various areas of mathematical logic and its applications in Japan. Several lectures were also presented by logicians from other countries, who visited Japan in the summer of 1987.

Een Scotistisch argument voor dualisme

NARCIS (Netherlands)

de Ridder, G.J.; van Woudenberg, R.

2010-01-01

In his recent book Waar geest is, is vrijheid [Where there is mind, there is freedom], Guus Labooy sets forth an original and intriguing argument, inspired by the work of John Duns Scotus, for substance dualism in the philosophy of mind. In this paper we argue that his argument, although worthy of

What is mathematical logic?

CERN Document Server

Crossley, J N; Brickhill, CJ; Stillwell, JC

2010-01-01

Although mathematical logic can be a formidably abstruse topic, even for mathematicians, this concise book presents the subject in a lively and approachable fashion. It deals with the very important ideas in modern mathematical logic without the detailed mathematical work required of those with a professional interest in logic.The book begins with a historical survey of the development of mathematical logic from two parallel streams: formal deduction, which originated with Aristotle, Euclid, and others; and mathematical analysis, which dates back to Archimedes in the same era. The streams beg

Introduction to mathematical logic

CERN Document Server

Mendelson, Elliott

2015-01-01

The new edition of this classic textbook, Introduction to Mathematical Logic, Sixth Edition explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. The text also discusses the major results of Gödel, Church, Kleene, Rosser, and Turing.The sixth edition incorporates recent work on Gödel's second incompleteness theorem as well as restoring an appendix on consistency proofs for first-order arithmetic. This appendix last appeared in the first edition. It is offered in th

A Logic for Choreographies

DEFF Research Database (Denmark)

Lopez, Hugo Andres; Carbone, Marco; Hildebrandt, Thomas

2010-01-01

We explore logical reasoning for the global calculus, a coordination model based on the notion of choreography, with the aim to provide a methodology for specification and verification of structured communications. Starting with an extension of Hennessy-Milner logic, we present the global logic (GL...... ), a modal logic describing possible interactions among participants in a choreography. We illustrate its use by giving examples of properties on service specifications. Finally, we show that, despite GL is undecidable, there is a significant decidable fragment which we provide with a sound and complete proof...

That’s No Argument! The Ultimate Criticism?

NARCIS (Netherlands)

Krabbe, Erik C. W.; van Laar, Jan Albert; Garssen, Bart J.; Godden, David; Mitchell, Gordon; Snoeck Henkemans, A. Francisca

What if in discussion the critic refuses to recognize an emotionally expressed (alleged) argument of her interlocutor as an argument? In this paper, we shall deal with this reproach, which taken literally amounts to a charge of having committed a fallacy of non-argumentation. As such it is a very

Co-payments in the NHS: an analysis of the normative arguments.

Science.gov (United States)

Weale, Albert; Clark, Sarah

2010-04-01

During 2008, some forms of patient co-payments - in particular, patients paying privately for additional medicines as part of an episode of care in the National Health Service - became controversial in political and policy terms in the UK. In response, the UK Government published a report, the Richards' Review, examining the issues. Richards offered a particular policy solution, but also touched on fundamental principles of social value. Using the methods of normative policy analysis, we seek to understand these principles of social value, accepting the Richards' framework according to which the relevant arguments can be grouped under the broad headings of equity and autonomy. None of the arguments on either side are decisive, and, in part, the policy decision turns on uncertain empirical conjectures.

Incorporating Argumentation through Forensic Science

Science.gov (United States)

Wheeler, Lindsay B.; Maeng, Jennifer L.; Smetana, Lara K.

2014-01-01

This article outlines how to incorporate argumentation into a forensic science unit using a mock trial. Practical details of the mock trial include: (1) a method of scaffolding students' development of their argument for the trial, (2) a clearly outlined set of expectations for students during the planning and implementation of the mock…

Fuzzy Logic and Arithmetical Hierarchy III

Czech Academy of Sciences Publication Activity Database

Hájek, Petr

2001-01-01

Roč. 68, č. 1 (2001), s. 129-142 ISSN 0039-3215 R&D Projects: GA AV ČR IAA1030004 Institutional research plan: AV0Z1030915 Keywords : fuzzy logic * basic fuzzy logic * Lukasiewicz logic * Godel logic * product logic * arithmetical hierarchy Subject RIV: BA - General Mathematics

Modern logic and quantum mechanics

International Nuclear Information System (INIS)

Garden, R.W.

1984-01-01

The book applies the methods of modern logic and probabilities to ''interpreting'' quantum mechanics. The subject is described and discussed under the chapter headings: classical and quantum mechanics, modern logic, the propositional logic of mechanics, states and measurement in mechanics, the traditional analysis of probabilities, the probabilities of mechanics and the model logic of predictions. (U.K.)

Semantic theory for logic programming

Energy Technology Data Exchange (ETDEWEB)

Brown, F M

1981-01-01

The author axiomatizes a number of meta theoretic concepts which have been used in logic programming, including: meaning, logical truth, nonentailment, assertion and erasure, thus showing that these concepts are logical in nature and need not be defined as they have previously been defined in terms of the operations of any particular interpreter for logic programs. 10 references.

Peter Singer's argument for utilitarianism.

Science.gov (United States)

Buckle, Stephen

2005-01-01

The paper begins by situating Singer within the British meta-ethical tradition. It sets out the main steps in his argument for utilitarianism as the 'default setting' of ethical thought. It argues that Singer's argument depends on a hierarchy of reasons, such that the ethical viewpoint is understood to be an adaptation--an extension--of a fundamental self-interest. It concludes that the argument fails because it is impossible to get from this starting-point in self-interest to his conception of the ethical point of view. The fundamental problem is its mixing the immiscible: the Humean subordination of reason to interest with the Kantian conception of reason as universal and authoritative.

Logic and Learning

DEFF Research Database (Denmark)

Hendricks, Vincent Fella; Gierasimczuk, Nina; de Jong, Dick

2014-01-01

Learning and learnability have been long standing topics of interests within the linguistic, computational, and epistemological accounts of inductive in- ference. Johan van Benthem’s vision of the “dynamic turn” has not only brought renewed life to research agendas in logic as the study of inform......Learning and learnability have been long standing topics of interests within the linguistic, computational, and epistemological accounts of inductive in- ference. Johan van Benthem’s vision of the “dynamic turn” has not only brought renewed life to research agendas in logic as the study...... of information processing, but likewise helped bring logic and learning in close proximity. This proximity relation is examined with respect to learning and belief revision, updating and efficiency, and with respect to how learnability fits in the greater scheme of dynamic epistemic logic and scientific method....

Magnonic logic circuits

International Nuclear Information System (INIS)

Khitun, Alexander; Bao Mingqiang; Wang, Kang L

2010-01-01

We describe and analyse possible approaches to magnonic logic circuits and basic elements required for circuit construction. A distinctive feature of the magnonic circuitry is that information is transmitted by spin waves propagating in the magnetic waveguides without the use of electric current. The latter makes it possible to exploit spin wave phenomena for more efficient data transfer and enhanced logic functionality. We describe possible schemes for general computing and special task data processing. The functional throughput of the magnonic logic gates is estimated and compared with the conventional transistor-based approach. Magnonic logic circuits allow scaling down to the deep submicrometre range and THz frequency operation. The scaling is in favour of the magnonic circuits offering a significant functional advantage over the traditional approach. The disadvantages and problems of the spin wave devices are also discussed.

A Quantum Computational Semantics for Epistemic Logical Operators. Part I: Epistemic Structures

Science.gov (United States)

Beltrametti, Enrico; Dalla Chiara, Maria Luisa; Giuntini, Roberto; Leporini, Roberto; Sergioli, Giuseppe

2014-10-01

Some critical open problems of epistemic logics can be investigated in the framework of a quantum computational approach. The basic idea is to interpret sentences like "Alice knows that Bob does not understand that π is irrational" as pieces of quantum information (generally represented by density operators of convenient Hilbert spaces). Logical epistemic operators ( to understand, to know…) are dealt with as (generally irreversible) quantum operations, which are, in a sense, similar to measurement-procedures. This approach permits us to model some characteristic epistemic processes, that concern both human and artificial intelligence. For instance, the operation of "memorizing and retrieving information" can be formally represented, in this framework, by using a quantum teleportation phenomenon.

Supporting middle school students' construction of evidence-based arguments: Impact of and student interactions with computer-based argumentation scaffolds

Science.gov (United States)

Belland, Brian Robert

Middle school students have difficulty creating evidence-based arguments (EBAs) during problem-based learning (PBL) units due to challenges (a) adequately representing the unit's central problem (Ge & Land, 2004; Liu & Bera, 2005), (b) determining and obtaining the most relevant evidence (Pedersen & Liu, 2002-2003), and (c) synthesizing gathered information to construct a sound argument (Cho & Jonassen, 2002). I designed and developed the Connection Log to support middle school students in this process. This study addressed (1) the Connection Log's impact on (a) argument evaluation ability, and (b) group argument quality and (2) how and why middle school science students used the Connection Log. Four sections of a 7th-grade science class participated. Student groups selected a stakeholder position related to the Human Genome Project (HGP) and needed to decide on and promote a plan to use $3 million to further their position as pertains to the HGP. I randomly assigned one higher-achieving and one lower-achieving class to Connection Log or no Connection Log conditions. Students completed an argument evaluation test, and impact on argument evaluation ability was determined using nested ANOVA. Two graduate students, blind to treatment conditions, rated group arguments, and impact on group argument quality was determined using nested MANOVA. To determine how and why students used the Connection Log, I videotaped and interviewed one small group from each class in the experimental condition. I coded transcripts and generated themes, triangulating the two data sources with informal observations during all class sessions and what students wrote in the Connection Log. I detected no significant differences on claim, evidence, or connection of claim to evidence ratings of debate performances. However, students used the Connection Log to counter different difficulties, and I found a significant main effect of the Connection Log on argument evaluation ability, as well as a

Van Inwagen on the Cosmological Argument | Brueckner ...

African Journals Online (AJOL)

In his book Metaphysics, Peter van Inwagen constructs a version of the Cosmological Argument which does not depend on the Principle of Sufficient Reason. He goes on to reject the argument. In this paper, I construct an alternative version of the Cosmological Argument that uses some of van Inwagen's insights and yet is ...

Relativistic quantum logic

International Nuclear Information System (INIS)

Mittelstaedt, P.

1983-01-01

on the basis of the well-known quantum logic and quantum probability a formal language of relativistic quantum physics is developed. This language incorporates quantum logical as well as relativistic restrictions. It is shown that relativity imposes serious restrictions on the validity regions of propositions in space-time. By an additional postulate this relativistic quantum logic can be made consistent. The results of this paper are derived exclusively within the formal quantum language; they are, however, in accordance with well-known facts of relativistic quantum physics in Hilbert space. (author)

Competing and coexisting logics in the changing field of English general medical practice.

Science.gov (United States)

McDonald, Ruth; Cheraghi-Sohi, Sudeh; Bayes, Sara; Morriss, Richard; Kai, Joe

2013-09-01

Recent reforms, which change incentive and accountability structures in the English National Health Service, can be conceptualised as trying to shift the dominant institutional logic in the field of primary medical care (general medical practice) away from medical professionalism towards a logic of "population based medicine". This paper draws on interviews with primary care doctors, conducted during 2007-2009 and 2011-2012. It contrasts the approach of active management of populations, in line with recent reforms with responses to patients with medically unexplained symptoms. Our data suggest that rather than one logic becoming dominant, different dimensions of organisational activity reflect different logics. Although some aspects of organisational life are relatively untouched by the reforms, this is not due to 'resistance' on the part of staff within these organisations to attempts to 'control' them. We suggest that a more helpful way of understanding the data is to see these different aspects of work as governed by different institutional logics. Copyright © 2012 Elsevier Ltd. All rights reserved.

Another argument against fundamental scalars

International Nuclear Information System (INIS)

Joglekar, S.D.

1990-01-01

An argument, perhaps not as strong, which is based on the inclusion of interaction with external gravity into a theory describing strong, electromagnetic and weak interactions is presented. The argument is related to the basis of the common belief which favours a renormalizable action against a non-renormalizable action as a candidate for a fundamental theory. (author). 12 refs

Implementing conventional logic unconventionally: photochromic molecular populations as registers and logic gates.

Science.gov (United States)

Chaplin, J C; Russell, N A; Krasnogor, N

2012-07-01

In this paper we detail experimental methods to implement registers, logic gates and logic circuits using populations of photochromic molecules exposed to sequences of light pulses. Photochromic molecules are molecules with two or more stable states that can be switched reversibly between states by illuminating with appropriate wavelengths of radiation. Registers are implemented by using the concentration of molecules in each state in a given sample to represent an integer value. The register's value can then be read using the intensity of a fluorescence signal from the sample. Logic gates have been implemented using a register with inputs in the form of light pulses to implement 1-input/1-output and 2-input/1-output logic gates. A proof of concept logic circuit is also demonstrated; coupled with the software workflow describe the transition from a circuit design to the corresponding sequence of light pulses. Copyright © 2012 Elsevier Ireland Ltd. All rights reserved.

Fuzzy logic of quasi-truth an algebraic treatment

CERN Document Server

Di Nola, Antonio; Turunen, Esko

2016-01-01

This book presents the first algebraic treatment of quasi-truth fuzzy logic and covers the algebraic foundations of many-valued logic. It offers a comprehensive account of basic techniques and reports on important results showing the pivotal role played by perfect many-valued algebras (MV-algebras). It is well known that the first-order predicate Łukasiewicz logic is not complete with respect to the canonical set of truth values. However, it is complete with respect to all linearly ordered MV –algebras. As there are no simple linearly ordered MV-algebras in this case, infinitesimal elements of an MV-algebra are allowed to be truth values. The book presents perfect algebras as an interesting subclass of local MV-algebras and provides readers with the necessary knowledge and tools for formalizing the fuzzy concept of quasi true and quasi false. All basic concepts are introduced in detail to promote a better understanding of the more complex ones. It is an advanced and inspiring reference-guide for graduate s...

A Logic for Choreographies

Directory of Open Access Journals (Sweden)

Marco Carbone

2011-10-01

Full Text Available We explore logical reasoning for the global calculus, a coordination model based on the notion of choreography, with the aim to provide a methodology for specification and verification of structured communications. Starting with an extension of Hennessy-Milner logic, we present the global logic (GL, a modal logic describing possible interactions among participants in a choreography. We illustrate its use by giving examples of properties on service specifications. Finally, we show that, despite GL is undecidable, there is a significant decidable fragment which we provide with a sound and complete proof system for checking validity of formulae.

Relational Parametricity and Separation Logic

DEFF Research Database (Denmark)

Birkedal, Lars; Yang, Hongseok

2008-01-01

Separation logic is a recent extension of Hoare logic for reasoning about programs with references to shared mutable data structures. In this paper, we provide a new interpretation of the logic for a programming language with higher types. Our interpretation is based on Reynolds's relational...... parametricity, and it provides a formal connection between separation logic and data abstraction. Udgivelsesdato: 2008...

Two Forms of Philosophical Argument or Critique

Science.gov (United States)

Marshall, James D.

2004-01-01

In this paper the author looks at two forms of philosophical argument or critique. These are derived by himself from the work of the late Kantian scholar, Stephan Korner who, in his book "What is Philosophy?" (1969), draws a number of distinctions between different forms of "philosophical" argument or critique. The two forms of derived argument,…

Heterogeneous logics of competition

DEFF Research Database (Denmark)

Mossin, Christiane

2015-01-01

of competition are only realized as particular forms of social organization by virtue of interplaying with other kinds of logics, like legal logics. (2) Competition logics enjoy a peculiar status in-between constructedness and givenness; although competition depends on laws and mechanisms of socialization, we...... still experience competition as an expression of spontaneous human activities. On the basis of these perspectives, a study of fundamental rights of EU law, springing from the principle of ‘free movement of people’, is conducted. The first part of the empirical analysis seeks to detect the presence...... of a presumed logic of competition within EU law, whereas the second part focuses on particular legal logics. In this respect, the so-called ‘real link criterion’ (determining the access to transnational social rights for certain groups of unemployed people) is given special attention. What is particularly...

The problem with logic in the logical problem of language acquisition

NARCIS (Netherlands)

Hendriks, P; Gleitman, LR; Joshi, AK

2000-01-01

This paper discusses the motivation behind the nativist position with respect to linguistic knowledge. In particular, the discussion focusses on the argument from the "poverty of the stimulus", which is generally assumed to be the most important argument in favor of a nativist position. On the basis

Learning Gene Expression Through Modelling and Argumentation. A Case Study Exploring the Connections Between the Worlds of Knowledge

Science.gov (United States)

Puig, Blanca; Ageitos, Noa; Jiménez-Aleixandre, María Pilar

2017-12-01

There is emerging interest on the interactions between modelling and argumentation in specific contexts, such as genetics learning. It has been suggested that modelling might help students understand and argue on genetics. We propose modelling gene expression as a way to learn molecular genetics and diseases with a genetic component. The study is framed in Tiberghien's (2000) two worlds of knowledge, the world of "theories & models" and the world of "objects & events", adding a third component, the world of representations. We seek to examine how modelling and argumentation interact and connect the three worlds of knowledge while modelling gene expression. It is a case study of 10th graders learning about diseases with a genetic component. The research questions are as follows: (1) What argumentative and modelling operations do students enact in the process of modelling gene expression? Specifically, which operations allow connecting the three worlds of knowledge? (2) What are the interactions between modelling and argumentation in modelling gene expression? To what extent do these interactions help students connect the three worlds of knowledge and modelling gene expression? The argumentative operation of using evidence helps students to relate the three worlds of knowledge, enacted in all the connections. It seems to be a relationship among the number of interactions between modelling and argumentation, the connections between world of knowledge and students' capacity to develop a more sophisticated representation. Despite this is a case study, this approach of analysis reveals potentialities for a deeper understanding of learning genetics though scientific practices.

Basic logic and quantum entanglement

International Nuclear Information System (INIS)

Zizzi, P A

2007-01-01

As it is well known, quantum entanglement is one of the most important features of quantum computing, as it leads to massive quantum parallelism, hence to exponential computational speed-up. In a sense, quantum entanglement is considered as an implicit property of quantum computation itself. But... can it be made explicit? In other words, is it possible to find the connective 'entanglement' in a logical sequent calculus for the machine language? And also, is it possible to 'teach' the quantum computer to 'mimic' the EPR 'paradox'? The answer is in the affirmative, if the logical sequent calculus is that of the weakest possible logic, namely Basic logic. - A weak logic has few structural rules. But in logic, a weak structure leaves more room for connectives (for example the connective 'entanglement'). Furthermore, the absence in Basic logic of the two structural rules of contraction and weakening corresponds to the validity of the no-cloning and no-erase theorems, respectively, in quantum computing

Logic regression and its extensions.

Science.gov (United States)

Schwender, Holger; Ruczinski, Ingo

2010-01-01

Logic regression is an adaptive classification and regression procedure, initially developed to reveal interacting single nucleotide polymorphisms (SNPs) in genetic association studies. In general, this approach can be used in any setting with binary predictors, when the interaction of these covariates is of primary interest. Logic regression searches for Boolean (logic) combinations of binary variables that best explain the variability in the outcome variable, and thus, reveals variables and interactions that are associated with the response and/or have predictive capabilities. The logic expressions are embedded in a generalized linear regression framework, and thus, logic regression can handle a variety of outcome types, such as binary responses in case-control studies, numeric responses, and time-to-event data. In this chapter, we provide an introduction to the logic regression methodology, list some applications in public health and medicine, and summarize some of the direct extensions and modifications of logic regression that have been proposed in the literature. Copyright © 2010 Elsevier Inc. All rights reserved.

Using Abductive Research Logic: "The Logic of Discovery", to Construct a Rigorous Explanation of Amorphous Evaluation Findings

Science.gov (United States)

Levin-Rozalis, Miri

2010-01-01

Background: Two kinds of research logic prevail in scientific research: deductive research logic and inductive research logic. However, both fail in the field of evaluation, especially evaluation conducted in unfamiliar environments. Purpose: In this article I wish to suggest the application of a research logic--"abduction"--"the logic of…

Connections among quantum logics

International Nuclear Information System (INIS)

Lock, P.F.; Hardegree, G.M.

1985-01-01

This paper gives a brief introduction to the major areas of work in quantum event logics: manuals (Foulis and Randall) and semi-Boolean algebras (Abbott). The two theories are compared, and the connection between quantum event logics and quantum propositional logics is made explicit. In addition, the work on manuals provides us with many examples of results stated in Part I. (author)

Symmetries in Genetic Systems and the Concept of Geno-Logical Coding

Directory of Open Access Journals (Sweden)

Sergey V. Petoukhov

2016-12-01

Full Text Available The genetic code of amino acid sequences in proteins does not allow understanding and modeling of inherited processes such as inborn coordinated motions of living bodies, innate principles of sensory information processing, quasi-holographic properties, etc. To be able to model these phenomena, the concept of geno-logical coding, which is connected with logical functions and Boolean algebra, is put forward. The article describes basic pieces of evidence in favor of the existence of the geno-logical code, which exists in p­arallel with the known genetic code of amino acid sequences but which serves for transferring inherited processes along chains of generations. These pieces of evidence have been received due to the analysis of symmetries in structures of molecular-genetic systems. The analysis has revealed a close connection of the genetic system with dyadic groups of binary numbers and with other mathematical objects, which are related with dyadic groups: Walsh functions (which are algebraic characters of dyadic groups, bit-reversal permutations, logical holography, etc. These results provide a new approach for mathematical modeling of genetic structures, which uses known mathematical formalisms from technological fields of noise-immunity coding of information, binary analysis, logical holography, and digital devices of artificial intellect. Some opportunities for a development of algebraic-logical biology are opened.

Safety logic systems of PFBR

International Nuclear Information System (INIS)

Sambasivan, S. Ilango

2004-01-01

Full text : PFBR is provided with two independent, fast acting and diverse shutdown systems to detect any abnormalities and to initiate safety action. Each system consists of sensors, signal processing systems, logics, drive mechanisms and absorber rods. The absorber rods of the first system are Control and Safety Rods (CSR) and that of the second are called as Diverse Safety Rods (DSR). There are nine CSR and three DSR. While CSR are used for startup, control of reactor power, controlled shutdown and SCRAM, the DSR are used only for SCRAM. The respective drive mechanisms are called as CSRDM and DSRDM. Each of these two systems is capable of executing the shutdown satisfactorily with single failure criteria. Two independent safety logic systems based on diverse principles have been designed for the two shut down systems. The analog outputs of the sensors of Core Monitoring Systems comprising of reactor flux monitoring, core temperature monitoring, failed fuel detection and core flow monitoring systems are processed and converted into binary signals depending on their instantaneous values. Safety logic systems receive the binary signals from these core-monitoring systems and process them logically to protect the reactor against postulated initiating events. Neutronic and power to flow (P/Q) signals form the inputs to safety logic system-I and temperature signals are inputs to the safety logic system II. Failed fuel detection signals are processed by both the shut down systems. The two logic systems to actuate the safety rods are also based on two diverse designs and implemented with solid-state devices to meet all the requirements of safety systems. Safety logic system I that caters to neutronic and P/Q signals is designed around combinational logic and has an on-line test facility to detect struck at faults. The second logic system is based on dynamic logic and hence is inherently safe. This paper gives an overview of the two logic systems that have been

A Paraconsistent Higher Order Logic

DEFF Research Database (Denmark)

Villadsen, Jørgen

2004-01-01

of paraconsistent logics in knowledge-based systems, logical semantics of natural language, etc. Higher order logics have the advantages of being expressive and with several automated theorem provers available. Also the type system can be helpful. We present a concise description of a paraconsistent higher order...... of the logic is examined by a case study in the domain of medicine. Thus we try to build a bridge between the HOL and MVL communities. A sequent calculus is proposed based on recent work by Muskens. Many non-classical logics are, at the propositional level, funny toys which work quite good, but when one wants...

Characterizing the changes in teaching practice during first semester implementation of an argument-based inquiry approach in a middle school science classroom

Science.gov (United States)

Pinney, Brian Robert John

classroom video with transcripts, teacher interview, researcher field notes, student journals, teacher lesson plans from previous years, and a student questionnaire. Data analysis used a basic qualitative approach. The results showed (1) only the first time period had a true big idea, while the other two units contained topics, (2) each semester contained a similar use for the given big idea, though its role in the class was reduced after the opening activity, (3) the types of teacher questions shifted toward students explaining their comprehension of ideas and more students were involved in discussing each idea and for more turns of talk than in earlier time periods, (4) understanding science term definitions became more prominent later in the semester, with more stating science terms occurring earlier in the semester, (5) no significant changes were seen to the use of argument or claims and evidence throughout the study. The findings have informed theory and practice about science argumentation, the practice of whole-class dialogue, and the understanding of practice along four aspects: (1) apparent lack of understanding about big ideas and how to utilize them as the central organizing feature of a unit, (2) independent development of dialogue and argument, (3) apparent lack of understanding about the structure of argument and use of basic terminology with argument and big ideas, (4) challenges of ABI implementation. This study provides insight into the importance of prolonged and persistent professional development with ABI in teaching practice.

Breaking the fault tree circular logic

International Nuclear Information System (INIS)

Lankin, M.

2000-01-01

Event tree - fault tree approach to model failures of nuclear plants as well as of other complex facilities is noticeably dominant now. This approach implies modeling an object in form of unidirectional logical graph - tree, i.e. graph without circular logic. However, genuine nuclear plants intrinsically demonstrate quite a few logical loops (circular logic), especially where electrical systems are involved. This paper shows the incorrectness of existing practice of circular logic breaking by elimination of part of logical dependencies and puts forward a formal algorithm, which enables the analyst to correctly model the failure of complex object, which involves logical dependencies between system and components, in form of fault tree. (author)

An Argument for Design Space Reflection

DEFF Research Database (Denmark)

Dove, Graham; Halskov, Kim; Hansen, Nicolai Brodersen

2016-01-01

We argue that documenting, revisiting and reflecting on the design space of a project provides three important benefits. First it increases our awareness of the constraints introduced by particular design choices. Second, this qualifies our understanding of the way a design space has been filtered...... by design activities. Third we are prompted to challenge these constraints and reconsider disregarded opportunities. To support this argument, we revisit key activities from two projects in our interaction design lab’s portfolio, selected because of the detailed documentation available. We also introduce...... SnapShot, the web-based tool we are developing for this method of design space reflection. Based on these examples, we present a critical discussion and outline areas of future research....

Indexical Hybrid Tense Logic

DEFF Research Database (Denmark)

Blackburn, Patrick Rowan; Jørgensen, Klaus Frovin

2012-01-01

In this paper we explore the logic of now, yesterday, today and tomorrow by combining the semantic approach to indexicality pioneered by Hans Kamp [9] and refined by David Kaplan [10] with hybrid tense logic. We first introduce a special now nominal (our @now corresponds to Kamp’s original now...... operator N) and prove completeness results for both logical and contextual validity. We then add propositional constants to handle yesterday, today and tomorrow; our system correctly treats sentences like “Niels will die yesterday” as contextually unsatisfiable. Building on our completeness results for now......, we prove completeness for the richer language, again for both logical and contextual validity....

Reversible logic gates on Physarum Polycephalum

International Nuclear Information System (INIS)

Schumann, Andrew

2015-01-01

In this paper, we consider possibilities how to implement asynchronous sequential logic gates and quantum-style reversible logic gates on Physarum polycephalum motions. We show that in asynchronous sequential logic gates we can erase information because of uncertainty in the direction of plasmodium propagation. Therefore quantum-style reversible logic gates are more preferable for designing logic circuits on Physarum polycephalum

Logical entropy of quantum dynamical systems

Directory of Open Access Journals (Sweden)

Ebrahimzadeh Abolfazl

2016-01-01

Full Text Available This paper introduces the concepts of logical entropy and conditional logical entropy of hnite partitions on a quantum logic. Some of their ergodic properties are presented. Also logical entropy of a quantum dynamical system is dehned and ergodic properties of dynamical systems on a quantum logic are investigated. Finally, the version of Kolmogorov-Sinai theorem is proved.

A beginner's guide to mathematical logic

CERN Document Server

Smullyan, Raymond M

2014-01-01

Combining stories of great philosophers, quotations, and riddles with the fundamentals of mathematical logic, this new textbook for first courses in mathematical logic was written by the subject's creative master. Raymond Smullyan offers clear, incremental presentations of difficult logic concepts with creative explanations and unique problems related to proofs, propositional logic and first-order logic, undecidability, recursion theory, and other topics.

From Logical to Distributional Models

Directory of Open Access Journals (Sweden)

Anne Preller

2014-12-01

Full Text Available The paper relates two variants of semantic models for natural language, logical functional models and compositional distributional vector space models, by transferring the logic and reasoning from the logical to the distributional models. The geometrical operations of quantum logic are reformulated as algebraic operations on vectors. A map from functional models to vector space models makes it possible to compare the meaning of sentences word by word.

Logic reversibility and thermodynamic irreversibility demonstrated by DNAzyme-based Toffoli and Fredkin logic gates.

Science.gov (United States)

Orbach, Ron; Remacle, Françoise; Levine, R D; Willner, Itamar

2012-12-26

The Toffoli and Fredkin gates were suggested as a means to exhibit logic reversibility and thereby reduce energy dissipation associated with logic operations in dense computing circuits. We present a construction of the logically reversible Toffoli and Fredkin gates by implementing a library of predesigned Mg(2+)-dependent DNAzymes and their respective substrates. Although the logical reversibility, for which each set of inputs uniquely correlates to a set of outputs, is demonstrated, the systems manifest thermodynamic irreversibility originating from two quite distinct and nonrelated phenomena. (i) The physical readout of the gates is by fluorescence that depletes the population of the final state of the machine. This irreversible, heat-releasing process is needed for the generation of the output. (ii) The DNAzyme-powered logic gates are made to operate at a finite rate by invoking downhill energy-releasing processes. Even though the three bits of Toffoli's and Fredkin's logically reversible gates manifest thermodynamic irreversibility, we suggest that these gates could have important practical implication in future nanomedicine.

The dynamics of interaction of reflexive subjects operating with the two-valued versus many-valued logic.

Science.gov (United States)

Sawa, Koji; Igamberdiev, Abir U

2017-12-01

In this paper we aim to approach a model of interacting subjects with the opposite types of reflexion that belong to the Western (W) and Eastern (E) reflexive modes according to Vladimir Lefebvre (1992). The model represents an expansion of the previously developed model of the Double Homunculus (Sawa and Igamberdiev, 2016) that describes reflexive agents as holding "the image of the self in the image of the self". A dialogue model between the two homunculus agents estimating their own reflexion in the opposite ways (generating the two-valued versus many-valued logic and loosely approximated as belonging to the W and E Lefebvre's types) is evolved. At the same time, the argument also unveils the relationship between a difference equation which is the key notion of the model and an emergence of logic. This can be a powerful tool for describing intercommunication of reflexive agents in the social environment as well as interactions between the entire social systems of different types. Copyright © 2017 Elsevier Ltd. All rights reserved.

Argumentative Bluff in Eristic Discussion : An Analysis and Evaluation

NARCIS (Netherlands)

van Laar, Jan Albert

How does the analysis and evaluation of argumentation depend on the dialogue type in which the argumentation has been put forward? This paper focuses on argumentative bluff in eristic discussion. Argumentation cannot be presented without conveying the pretence that it is dialectically reasonable, as

An Algebraic View of Super-Belnap Logics

Czech Academy of Sciences Publication Activity Database

Albuquerque, H.; Přenosil, Adam; Rivieccio, U.

2017-01-01

Roč. 105, č. 6 (2017), s. 1051-1086 ISSN 0039-3215 R&D Projects: GA ČR GBP202/12/G061 Grant - others:EU(XE) PIRSES- GA-2012-31898 Institutional support: RVO:67985807 Keywords : Super-Belnap logics * Four-valued logic * Paraconsistent logic * Belnap–Dunn logic * FDE * Logic of Paradox * Kleene logic * Exactly True logic * De Morgan algebras * Abstract Algebraic Logic * Leibniz filters * Strong versions of logics Subject RIV: BA - General Mathematics OBOR OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8) Impact factor: 0.589, year: 2016

Evaluating arguments during instigations of defence motivation and accuracy motivation.

Science.gov (United States)

Liu, Cheng-Hong

2017-05-01

When people evaluate the strength of an argument, their motivations are likely to influence the evaluation. However, few studies have specifically investigated the influences of motivational factors on argument evaluation. This study examined the effects of defence and accuracy motivations on argument evaluation. According to the compatibility between the advocated positions of arguments and participants' prior beliefs and the objective strength of arguments, participants evaluated four types of arguments: compatible-strong, compatible-weak, incompatible-strong, and incompatible-weak arguments. Experiment 1 revealed that participants possessing a high defence motivation rated compatible-weak arguments as stronger and incompatible-strong ones as weaker than participants possessing a low defence motivation. However, the strength ratings between the high and low defence groups regarding both compatible-strong and incompatible-weak arguments were similar. Experiment 2 revealed that when participants possessed a high accuracy motivation, they rated compatible-weak arguments as weaker and incompatible-strong ones as stronger than when they possessed a low accuracy motivation. However, participants' ratings on both compatible-strong and incompatible-weak arguments were similar when comparing high and low accuracy conditions. The results suggest that defence and accuracy motivations are two major motives influencing argument evaluation. However, they primarily influence the evaluation results for compatible-weak and incompatible-strong arguments, but not for compatible-strong and incompatible-weak arguments. © 2016 The British Psychological Society.

Logic Programming: PROLOG.

Science.gov (United States)

Lopez, Antonio M., Jr.

1989-01-01

Provides background material on logic programing and presents PROLOG as a high-level artificial intelligence programing language that borrows its basic constructs from logic. Suggests the language is one which will help the educator to achieve various goals, particularly the promotion of problem solving ability. (MVL)

Basic logic and quantum entanglement

Energy Technology Data Exchange (ETDEWEB)

Zizzi, P A [Dipartimento di Matematica Pura ed Applicata, Via Trieste 63, 35121 Padova (Italy)

2007-05-15

As it is well known, quantum entanglement is one of the most important features of quantum computing, as it leads to massive quantum parallelism, hence to exponential computational speed-up. In a sense, quantum entanglement is considered as an implicit property of quantum computation itself. But... can it be made explicit? In other words, is it possible to find the connective 'entanglement' in a logical sequent calculus for the machine language? And also, is it possible to 'teach' the quantum computer to 'mimic' the EPR 'paradox'? The answer is in the affirmative, if the logical sequent calculus is that of the weakest possible logic, namely Basic logic. - A weak logic has few structural rules. But in logic, a weak structure leaves more room for connectives (for example the connective 'entanglement'). Furthermore, the absence in Basic logic of the two structural rules of contraction and weakening corresponds to the validity of the no-cloning and no-erase theorems, respectively, in quantum computing.

Design Argumentation in Academic Design Education

DEFF Research Database (Denmark)

Dalsgaard, Peter; Dindler, Christian; Fritsch, Jonas

2013-01-01

We explore design argumentation as a resource when teaching interaction design in a university setting. We propose that design argumentation can help bridge between practice-based design education and theoretical issues from university curricula. In this paper, we outline the idea of design...

Implicational (semilinear) logics III: completeness properties

Czech Academy of Sciences Publication Activity Database

Cintula, Petr; Noguera, Carles

2018-01-01

Roč. 57, 3-4 (2018), s. 391-420 ISSN 0933-5846 R&D Projects: GA ČR GA13-14654S EU Projects: European Commission(XE) 689176 - SYSMICS Institutional support: RVO:67985807 ; RVO:67985556 Keywords : abstract algebraic logic * protoalgebraic logics * implicational logics * disjunctional logics * semilinear logics * non-classical logics * completeness theorems * rational completeness Subject RIV: BA - General Mathematics; BA - General Mathematics (UTIA-B) OBOR OECD: Computer science s, information science , bioinformathics (hardware development to be 2.2, social aspect to be 5.8) Impact factor: 0.394, year: 2016

Implicational (semilinear) logics III: completeness properties

Czech Academy of Sciences Publication Activity Database

Cintula, Petr; Noguera, Carles

2018-01-01

Roč. 57, 3-4 (2018), s. 391-420 ISSN 0933-5846 R&D Projects: GA ČR GA13-14654S EU Projects: European Commission(XE) 689176 - SYSMICS Institutional support: RVO:67985807 ; RVO:67985556 Keywords : abstract algebraic logic * protoalgebraic logics * implicational logics * disjunctional logics * semilinear logics * non-classical logics * completeness theorems * rational completeness Subject RIV: BA - General Mathematics; BA - General Mathematics (UTIA-B) OBOR OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8) Impact factor: 0.394, year: 2016

Microelectromechanical reprogrammable logic device

Science.gov (United States)

Hafiz, M. A. A.; Kosuru, L.; Younis, M. I.

2016-01-01

In modern computing, the Boolean logic operations are set by interconnect schemes between the transistors. As the miniaturization in the component level to enhance the computational power is rapidly approaching physical limits, alternative computing methods are vigorously pursued. One of the desired aspects in the future computing approaches is the provision for hardware reconfigurability at run time to allow enhanced functionality. Here we demonstrate a reprogrammable logic device based on the electrothermal frequency modulation scheme of a single microelectromechanical resonator, capable of performing all the fundamental 2-bit logic functions as well as n-bit logic operations. Logic functions are performed by actively tuning the linear resonance frequency of the resonator operated at room temperature and under modest vacuum conditions, reprogrammable by the a.c.-driving frequency. The device is fabricated using complementary metal oxide semiconductor compatible mass fabrication process, suitable for on-chip integration, and promises an alternative electromechanical computing scheme. PMID:27021295

Microelectromechanical reprogrammable logic device

KAUST Repository

Hafiz, Md Abdullah Al

2016-03-29

In modern computing, the Boolean logic operations are set by interconnect schemes between the transistors. As the miniaturization in the component level to enhance the computational power is rapidly approaching physical limits, alternative computing methods are vigorously pursued. One of the desired aspects in the future computing approaches is the provision for hardware reconfigurability at run time to allow enhanced functionality. Here we demonstrate a reprogrammable logic device based on the electrothermal frequency modulation scheme of a single microelectromechanical resonator, capable of performing all the fundamental 2-bit logic functions as well as n-bit logic operations. Logic functions are performed by actively tuning the linear resonance frequency of the resonator operated at room temperature and under modest vacuum conditions, reprogrammable by the a.c.-driving frequency. The device is fabricated using complementary metal oxide semiconductor compatible mass fabrication process, suitable for on-chip integration, and promises an alternative electromechanical computing scheme.

Teaching General Education Students How to Write Scientific Arguments Using Real Earth Data

Science.gov (United States)

Kelly, G. J.; Prothero, W. A.

2003-12-01

Writing activities can improve student understanding of scientific content and processes. We have studied student writing to identify the challenges that students face in composing scientific arguments and to clarify features that constitute quality in scientific writing. We have applied argumentation analysis for the assessment of students' use of evidence in a general education oceanography course. Argumentation analysis refers to the systematic examination of ways that conclusions are supported with evidence. The student writers were supported by an interactive CD-ROM, "Our Dynamic Planet," which provided students with "point and click" access to real earth data and allowed them to solve many problems associated with plate tectonics. Plate boundary types (using quakes, volcanoes, elevation profiles, and heat flow) and plate motion can be determined (seafloor age, island ages/hot spots) with this technology. First, we discuss the structure of scientific argument and how this structure can be made accessible to undergraduate students. Second, we present examples of argumentation analysis applied to student writing. These examples demonstrate how use of large scale geological data sets can be used to support student writing. Third, we present results from a series of studies to show ways that students adhere to the genre conventions of geological writing through use of theoretical claims, multiple lines of evidence, and cohesive terms. These results, combined with our evidence-based orientation to instruction, formed the basis for modifications in the course instruction. These instructional modifications include providing detailed examples of data based observations and interpretations, heuristics for assessing other students' arguments, and quick write exercises with similar but simplified writing tasks. More information about the CD-ROM may be found at http://oceanography.geol.ucsb.edu/.

The Optimum Level of Argumentativeness for Employed Women.

Science.gov (United States)

Schullery, Nancy M.

1998-01-01

Examines the relationship between argumentativeness and women's supervisory level in organizations. Finds no simple relationship between supervisory level and argumentativeness for women, but indicates that moderation in argumentativeness increases with supervisory level. Notes implications for pedagogy: would-be female executives should be…

Understanding the perceived logic of care by vaccine-hesitant and vaccine-refusing parents: A qualitative study in Australia.

Directory of Open Access Journals (Sweden)

Paul R Ward

Full Text Available In terms of public health, childhood vaccination programs have benefits that far outweigh risks. However, some parents decide not to vaccinate their children. This paper explores the ways in which such parents talked about the perceived risks and benefits incurred by vaccinating (or not vaccinating their children. Between 2013-2016 we undertook 29 in-depth interviews with non-vaccinating and/or 'vaccine hesitant' parents in Australia. Interviews were conducted in an open and non-judgmental manner, akin to empathic neutrality. Interviews focused on parents talking about the factors that shaped their decisions not to (or partially vaccinate their children. All interviews were transcribed and analysed using both inductive and deductive processes. The main themes focus on parental perceptions of: 1. their capacity to reason; 2. their rejection of Western medical epistemology; and 3. their participation in labour intensive parenting practices (which we term salutogenic parenting. Parents engaged in an ongoing search for information about how best to parent their children (capacity to reason, which for many led to questioning/distrust of traditional scientific knowledge (rejection of Western medical epistemology. Salutogenic parenting spontaneously arose in interviews, whereby parents practised health promoting activities which they saw as boosting the natural immunity of their children and protecting them from illness (reducing or negating the perceived need for vaccinations. Salutogenic parenting practices included breastfeeding, eating organic and/or home-grown food, cooking from scratch to reduce preservative consumption and reducing exposure to toxins. We interpret our data as a 'logic of care', which is seen by parents as internally consistent, logically inter-related and inter-dependent. Whilst not necessarily sharing the parents' reasoning, we argue that an understanding of their attitudes towards health and well-being is imperative for any

Analysis and evaluation of argumentative discourse

NARCIS (Netherlands)

van Eemeren, F.H.; Garssen, B.; van Eemeren, F.H.

2015-01-01

Although Renkema’s Introduction to Discourse Studies (2004: Chap. 12) provides a useful introduction to the study of argumentation, this brief account does not provide a full characterization of the field. Among the dominant approaches to argumentative discourse a general distinction can be made

A Comparative Study of Argument from Primordial Nature and Argument from General Consensus on the Demonstration of Existence of God

Directory of Open Access Journals (Sweden)

Hamidreza Abdoli Mehrjardi

2014-08-01

Full Text Available Historical evidences suggest that human beings have been always in search of God in some form. Some believe that man is born with this divine sense. This ubiquitous quality of human beings is called primordial nature (fitrah. Many scholars have tried to demonstrate the existence of God through this shared quality of human individuals. In Islamic thought this latter intellectual effort has been designated as "argument from primordial nature" and in western theological and philosophical thought it is known as "argument from general consensus". Although these arguments have some differences in their general settings and attitudes; but they both resort to human general divine attitude to demonstrate the existence of God. In this essay we have sought to propound the views of those scholars who have dealt with this argument at length. Reflecting on the general form of the expositions shows that the expositions of argument from primordial nature and argument from general consensus cannot demonstrate the existence of God without basing themselves on the principle of causation or human existential poverty. Via comparative assessment of these two arguments we have turned to the critiques which have been leveled against them and laid bare their similarities and differences. Of course there are some differences between the argument from primordial nature in Islam and the argument from general consensus in west. This essay seeks to assay the key expositions which have been offered of these arguments in Islamic and western philosophies. It seems that among Moslem philosophers, Mulla Sadra from the early generation, Allameh Tabtabaei, Imam Khomeini, Jawadi Amuli and Mutahari from later generation, have paid more attention to this argument. Among western scholars one can mention William James, Charles Hodge, James Joyce, Paul Tillich and Seneca who have made more direct remarks on this argument. John Locke is also against this argument. This is why we have

THE RATIONALE OF LAW. THE ROLE AND IMPORTANCE OF THE LOGICAL METHOD OF INTERPRETATION OF LEGAL NORMS

Directory of Open Access Journals (Sweden)

Mihai BĂDESCU

2017-05-01

Full Text Available The interpretation of law was and remains an indispensable postulation, inherent and the most significant in the application of the law. Through interpretation the aim is to clarify the obscure text, to rectify the imperfection of the text of the legal norm, to remedy its shortcomings, and in consequence, to specify the exact meaning of the legal norm. Interpretation concerns itself with emphasizing the authentic meaning of the normative texts, finding the spirit of the lawmaker-author, the authentic legal sense of the actions that occurred, of the conduct of the perpetrator, and the significant legal connection of these meanings. The necessity of interpreting legal norms is justified by several considerations, out of which the most important remains the one regarding the act that the lawmaker cannot and need not provide everything in the normative text. The unity between the spirit and the letter of the law, the continuity of interpretation, the useful effect of the legal norm are just a few of the principles that need to be taken into account in interpretation. Be it official (obligatory, or unofficial (doctrinary, interpretation remains an extremely important stage in the application of the law: the literature of specialty consecrates five important methods of interpretation (grammatical, historical, systematical, teleological, and logical. The latter method allows for the formulation by the interpreter of certain rational assessments, done through operations of generalization, of logical analysis of the text, of analogy, through applying formal logic. The present study will mainly deal with this method, analyzing the main logical arguments used in interpretation.

Fallacies in ethical argumentation on abortion

Directory of Open Access Journals (Sweden)

Simona Mazilu

2007-01-01

Full Text Available This paper represents a case study of the types of fallacies that may occur in the argumentation stage of an ethical dispute over abortion. The theoretical framework I use is the pragma-dialectical theory of argumentation (van Eemeren and Grootendorst 1992, 2004 which conceives of fallacies as violations of the rules for critical discussion. I will focus on the fallacies resulting from the violation of the relevance rule in two fragments of argumentative texts illustrating opposing positions on abortion. I claim that these fallacies function as winning strategies in the ethical dispute in case.

A Canonical Approach to the Argument/Adjunct Distinction

Directory of Open Access Journals (Sweden)

Diana Forker

2014-01-01

Full Text Available This paper provides an account of the argument/adjunct distinction implementing the 'canonical approach'. I identify five criteria (obligatoriness, latency, co-occurrence restrictions, grammatical relations, and iterability and seven diagnostic tendencies that can be used to distinguish canonical arguments from canonical adjuncts. I then apply the criteria and tendencies to data from the Nakh-Daghestanian language Hinuq. Hinuq makes extensive use of spatial cases for marking adjunct-like and argument-like NPs. By means of the criteria and tendencies it is possible to distinguish spatial NPs that come close to canonical arguments from those that are canonical adjuncts, and to place the remaining NPs bearing spatial cases within the argument-adjunct continuum.

A sociocultural historical examination of youth argumentation across the settings of their lives: Implications for science education

Science.gov (United States)

Bricker, Leah A.

In this dissertation, I examine youth argumentative practices as employed over time and across settings. Specifically, I examine youth perspective on argumentation and their own argumentative practices, the relationship between argumentation and learning, and the relationship between argumentation and youth, family, and community cultures. The theoretical framework I employ enables me to analyze argumentation as a set of practices employed in situated activity systems and framed by culturally-influenced ways of understanding activity associated with argumentative practice. I utilize data from a long-term team ethnography of youth science and technology learning across settings and time. Research fieldwork was conducted across dozens of social settings over the course of three years. Data includes approximately 700 hours of participant observations and interviews with thirteen upper elementary and middle school young people, as well as 128 of their parents, extended family members, peers, and teachers. Findings highlight the multitude of meanings youth associate with argumentation as it occurs in their lives (e.g., at home, in classrooms, in neighborhoods), as well as the detailed accounts of their argumentative practices and how these practices are differentially used across the social settings youth frequent. Additionally, findings highlight how historically rooted cultural practices help to frame youth perspectives on argumentation and their argumentative practices. Findings also include details about the specific communicative features of youth argumentation (e.g., linguistic elements such as discourse markers, evidentials, and indexicals, as well as non-verbal gestures) and how communicative features relate to youth learning across settings and over time. I use this dissertation in part to dialogue with the science education community, which currently argues that youth in science classrooms should learn how to argue scientifically. Designs of learning

Coherent quantum logic

International Nuclear Information System (INIS)

Finkelstein, D.

1987-01-01

The von Neumann quantum logic lacks two basic symmetries of classical logic, that between sets and classes, and that between lower and higher order predicates. Similarly, the structural parallel between the set algebra and linear algebra of Grassmann and Peano was left incomplete by them in two respects. In this work a linear algebra is constructed that completes this correspondence and is interpreted as a new quantum logic that restores these invariances, and as a quantum set theory. It applies to experiments with coherent quantum phase relations between the quantum and the apparatus. The quantum set theory is applied to model a Lorentz-invariant quantum time-space complex

Logical database design principles

CERN Document Server

Garmany, John; Clark, Terry

2005-01-01

INTRODUCTION TO LOGICAL DATABASE DESIGNUnderstanding a Database Database Architectures Relational Databases Creating the Database System Development Life Cycle (SDLC)Systems Planning: Assessment and Feasibility System Analysis: RequirementsSystem Analysis: Requirements Checklist Models Tracking and Schedules Design Modeling Functional Decomposition DiagramData Flow Diagrams Data Dictionary Logical Structures and Decision Trees System Design: LogicalSYSTEM DESIGN AND IMPLEMENTATION The ER ApproachEntities and Entity Types Attribute Domains AttributesSet-Valued AttributesWeak Entities Constraint

Argumentation and indigenous knowledge: socio-historical influences in contextualizing an argumentation model in South African schools

Science.gov (United States)

Gallard Martínez, Alejandro J.

2011-09-01

This forum considers argumentation as a means of science teaching in South African schools, through the integration of indigenous knowledge (IK). It addresses issues raised in Mariana G. Hewson and Meshach B. Ogunniyi's paper entitled: Argumentation-teaching as a method to introduce indigenous knowledge into science classrooms: opportunities and challenges. As well as Peter Easton's: Hawks and baby chickens: cultivating the sources of indigenous science education; and, Femi S. Otulaja, Ann Cameron and Audrey Msimanga's: Rethinking argumentation-teaching strategies and indigenous knowledge in South African science classrooms. The first topic addressed is that implementation of argumentation in the science classroom becomes a complex endeavor when the tensions between students' IK, the educational infrastructure (allowance for teacher professional development, etc.) and local belief systems are made explicit. Secondly, western styles of debate become mitigating factors because they do not always adequately translate to South African culture. For example, in many instances it is more culturally acceptable in South Africa to build consensus than to be confrontational. Thirdly, the tension between what is "authentic science" and what is not becomes an influencing factor when a tension is created between IK and western science. Finally, I argue that the thrust of argumentation is to set students up as "scientist-students" who will be considered through a deficit model by judging their habitus and cultural capital. Explicitly, a "scientist-student" is a student who has "learned," modeled and thoroughly assimilated the habits of western scientists, evidently—and who will be judged by and held accountable for their demonstration of explicit related behaviors in the science classroom. I propose that science teaching, to include argumentation, should consist of "listening carefully" (radical listening) to students and valuing their language, culture, and learning as a model

The Impact of Argumentativeness on Resistance to Persuasion.

Science.gov (United States)

Kazoleas, Dean

1993-01-01

Examines the impact of argumentativeness on cognitive responses and attitude change of undergraduate college students. Finds that argumentative individuals generate greater numbers of counterarguments and are more resistant to persuasion. Indicates that attitude change for the highly argumentative individual is a function of both positive and…

Proposal for the Formalization of Dialectical Logic

Directory of Open Access Journals (Sweden)

José Luis Usó-Doménech

2016-12-01

Full Text Available Classical logic is typically concerned with abstract analysis. The problem for a synthetic logic is to transcend and unify available data to reconstruct the object as a totality. Three rules are proposed to pass from classic logic to synthetic logic. We present the category logic of qualitative opposition using examples from various sciences. This logic has been defined to include the neuter as part of qualitative opposition. The application of these rules to qualitative opposition, and, in particular, its neuter, demonstrated that a synthetic logic allows the truth of some contradictions. This synthetic logic is dialectical with a multi-valued logic, which gives every proposition a truth value in the interval [0,1] that is the square of the modulus of a complex number. In this dialectical logic, contradictions of the neuter of an opposition may be true.

Modern logic 1850-1950, East and West

CERN Document Server

Fuller, Mark

2016-01-01

This book presents diverse topics in mathematical logic such as proof theory, meta-mathematics, and applications of logic to mathematical structures. The collection spans the first 100 years of modern logic and is dedicated to the memory of Irving Anellis, founder of the journal 'Modern Logic', whose academic work was essential in promoting the algebraic tradition of logic, as represented by Charles Sanders Peirce. Anellis’s association with the Russian logic community introduced their school of logic to a wider audience in the USA, Canada and Western Europe. In addition, the collection takes a historical perspective on proof theory and the development of logic and mathematics in Eastern Logic, the Soviet Union and Russia. The book will be of interest to historians and philosophers in logic and mathematics, and the more specialized papers will also appeal to mathematicians and logicians.

Value Creation Logics and Internationalization of Service Firms

DEFF Research Database (Denmark)

Ørberg Jensen, Peter D.; Petersen, Bent

2014-01-01

While mainstream theories in international business and management are founded either explicitly or implicitly on studies of manufacturing firms, prior attempts to develop theory on the internationalization of service firms are sparse and have yet to establish solid and comprehensive frameworks...... on a thorough understanding of the fundamental nature of these firms. We put forward ten propositions concerning the pace of internationalization in service firms and the dominant foreign operation modes. The use of value creation logics can be a useful complement to the conventional approaches to the study...... of service firms’ internationalization. However, the fact that most firms encompass more than one value creation logic complicates the use of firm databases and industry statistics. The study presents a novel theoretical approach and a set of propositions on service firm internationalization founded...

Lectures on Logic and Computation

DEFF Research Database (Denmark)

The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers fo...

Strong Completeness for Markovian Logics

DEFF Research Database (Denmark)

Kozen, Dexter; Mardare, Radu Iulian; Panangaden, Prakash

2013-01-01

In this paper we present Hilbert-style axiomatizations for three logics for reasoning about continuous-space Markov processes (MPs): (i) a logic for MPs defined for probability distributions on measurable state spaces, (ii) a logic for MPs defined for sub-probability distributions and (iii) a log...

Friendly Alternatives to the Argumentative Essay.

Science.gov (United States)

Costanzo, William V.

Many teachers would like to counter what Deborah Tannen calls "The Argument Culture." They recognize that teaching students traditional principles of argument may perpetuate the kind of adversarial thinking that erupts all too often: in aggressive newspaper headlines, on confrontational television shows, in court rooms, and in school…