WorldWideScience

Sample records for understand logical arguments

  1. Logically Incorrect Arguments

    Czech Academy of Sciences Publication Activity Database

    Svoboda, Vladimír; Peregrin, Jaroslav

    2016-01-01

    Roč. 30, č. 3 (2016), s. 263-287 ISSN 0920-427X R&D Projects: GA ČR(CZ) GA13-21076S Institutional support: RVO:67985955 Keywords : argumentation * logical form * incorrect argument * correct arguments Subject RIV: AA - Philosophy ; Religion Impact factor: 0.689, year: 2016

  2. Drawing Analogies between Logic Programming and Natural Language Argumentation Texts to Scaffold Learners' Understanding

    Science.gov (United States)

    Ragonis, Noa; Shilo, Gila

    2014-01-01

    The paper presents a theoretical investigational study of the potential advantages that secondary school learners may gain from learning two different subjects, namely, logic programming within computer science studies and argumentation texts within linguistics studies. The study suggests drawing an analogy between the two subjects since they both…

  3. An Argumentation Framework based on Paraconsistent Logic

    Science.gov (United States)

    Umeda, Yuichi; Takahashi, Takehisa; Sawamura, Hajime

    Argumentation is the most representative of intelligent activities of humans. Therefore, it is natural to think that it could have many implications for artificial intelligence and computer science as well. Specifically, argumentation may be considered a most primitive capability for interaction among computational agents. In this paper we present an argumentation framework based on the four-valued paraconsistent logic. Tolerance and acceptance of inconsistency that this logic has as its logical feature allow for arguments on inconsistent knowledge bases with which we are often confronted. We introduce various concepts for argumentation, such as arguments, attack relations, argument justification, preferential criteria of arguments based on social norms, and so on, in a way proper to the four-valued paraconsistent logic. Then, we provide the fixpoint semantics and dialectical proof theory for our argumentation framework. We also give the proofs of the soundness and completeness.

  4. Understanding Social Media Logic

    Directory of Open Access Journals (Sweden)

    José van Dijck

    2013-08-01

    Full Text Available Over the past decade, social media platforms have penetrated deeply into the mech­anics of everyday life, affecting people's informal interactions, as well as institutional structures and professional routines. Far from being neutral platforms for everyone, social media have changed the conditions and rules of social interaction. In this article, we examine the intricate dynamic between social media platforms, mass media, users, and social institutions by calling attention to social media logic—the norms, strategies, mechanisms, and economies—underpin­ning its dynamics. This logic will be considered in light of what has been identified as mass me­dia logic, which has helped spread the media's powerful discourse outside its institutional boundaries. Theorizing social media logic, we identify four grounding principles—programmabil­ity, popularity, connectivity, and datafication—and argue that these principles become increas­ingly entangled with mass media logic. The logic of social media, rooted in these grounding principles and strategies, is gradually invading all areas of public life. Besides print news and broadcasting, it also affects law and order, social activism, politics, and so forth. Therefore, its sustaining logic and widespread dissemination deserve to be scrutinized in detail in order to better understand its impact in various domains. Concentrating on the tactics and strategies at work in social media logic, we reassess the constellation of power relationships in which social practices unfold, raising questions such as: How does social media logic modify or enhance ex­isting mass media logic? And how is this new media logic exported beyond the boundaries of (social or mass media proper? The underlying principles, tactics, and strategies may be relat­ively simple to identify, but it is much harder to map the complex connections between plat­forms that distribute this logic: users that employ them, technologies that

  5. Law and logic : a review from an argumentation perspective

    NARCIS (Netherlands)

    Prakken, H.; Sartor, Giovanni

    2015-01-01

    This article reviews legal applications of logic, with a particularly marked concern for logical models of legal argument. We argue that the law is a rich test bed and important application field for logic-based AI research. First applications of logic to the representation of legal regulations are

  6. Argument schemes, topoi, and laws of logic

    NARCIS (Netherlands)

    Wagemans, J.H.M.; van Eemeren, F.H.; Garssen, B.; Godden, D.; Mitchell, G.

    2011-01-01

    In a pragma-dialectical reconstruction of argumentative discourse, argumentation schemes are used to analyze the way in which the acceptability of the argument is transferred to that of the standpoint. In some contexts, the analytical armamentarium that is needed to reconstruct such an Acceptability

  7. Explicit argumentation instruction to facilitate conceptual understanding and argumentation skills

    Science.gov (United States)

    Seda Cetin, Pinar

    2014-01-01

    Background: Argumentation is accepted by many science educators as a major component of science education. Many studies have investigated students' conceptual understanding and their engagement in argumentative activities. However, studies conducted in the subject of chemistry are very rare. Purpose: The present study aimed to investigate the effects of argumentation-based chemistry lessons on pre-service science teachers' understanding of reaction rate concepts, their quality of argumentation, and their consideration of specific reaction rate concepts in constructing an argument. Moreover, students' perceptions of argumentation lessons were explored. Sample: There were 116 participants (21 male and 95 female), who were pre-service first-grade science teachers from a public university. The participants were recruited from the two intact classes of a General Chemistry II course, both of which were taught by the same instructor. Design and methods: In the present study, non-equivalent control group design was used as a part of quasi-experimental design. The experimental group was taught using explicit argumentation activities, and the control group was instructed using traditional instruction. The data were collected using a reaction rate concept test, a pre-service teachers' survey, and the participants' perceptions of the argumentation lessons questionnaire. For the data analysis, the Wilcoxon Signed Rank Test, the Mann-Whitney U-test and qualitative techniques were used. Results: The results of the study indicated that an argumentation-based intervention caused significantly better acquisition of scientific reaction rate-related concepts and positively impacted the structure and complexity of pre-service teachers' argumentation. Moreover, the majority of the participants reported positive feelings toward argumentation activities. Conclusions: As students are encouraged to state and support their view in the chemistry classroom when studying reaction rate, it was

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

  9. The Abuses of Argument: Understanding Fallacies on Toulmin’s Layout of Argument

    Directory of Open Access Journals (Sweden)

    Andrew Pineau

    2013-12-01

    Full Text Available This paper provides a preliminary account of fallacies on Toulmin’s model of argument, one that improves upon previous attempts to understand fallacies on this argument scheme. To do this Johnson and Blair’s (1983 taxonomy of three basic fallacies (irrelevant reason, hasty conclusion and problematic premise is examined using Toulmin’s layout.

  10. A Formal Semantics for Concept Understanding relying on Description Logics

    DEFF Research Database (Denmark)

    Badie, Farshad

    2017-01-01

    In this research, Description Logics (DLs) will be employed for logical description, logical characterisation, logical modelling and ontological description of concept understanding in terminological systems. It’s strongly believed that using a formal descriptive logic could support us in reveali...

  11. On the Formal Modeling of Games of Language and Adversarial Argumentation : A Logic-Based Artificial Intelligence Approach

    OpenAIRE

    Eriksson Lundström, Jenny S. Z.

    2009-01-01

    Argumentation is a highly dynamical and dialectical process drawing on human cognition. Successful argumentation is ubiquitous to human interaction. Comprehensive formal modeling and analysis of argumentation presupposes a dynamical approach to the following phenomena: the deductive logic notion, the dialectical notion and the cognitive notion of justified belief. For each step of an argumentation these phenomena form networks of rules which determine the propositions to be allowed to make se...

  12. Using Instruments to Understand Argument Structure: Evidence for Gradient Representation

    Science.gov (United States)

    Rissman, Lilia; Rawlins, Kyle; Landau, Barbara

    2015-01-01

    The arguments of a verb are commonly assumed to correspond to the event participants specified by the verb. That is, drink has two arguments because drink specifies two participants: someone who drinks and something that gets drunk. This correspondence does not appear to hold, however, in the case of instrumental participants, e.g. John drank the soda with a straw. Verbs such as slice and write have been argued to specify an instrumental participant, even though instruments do not pattern like arguments given other criteria. In this paper, we investigated how instrumental verbs are represented, testing the hypothesis that verbs such as slice encode three participants in the same way that dative verbs such as lend encode three participants. In two experiments English-speakers reported their judgments about the number of participants specified by a verb, e.g. that drink specifies two participants. These judgments indicate that slice does not encode three distinct arguments. Nonetheless, some verbs were systematically more likely to elicit the judgment that the instrument is specified by the verb, a pattern that held across individual subjects. To account for these findings, we propose that instruments are not independent verbal arguments but are represented in a gradient away: an instrument may be a more or less salient part of the force exerted by an agent. These results inform our understanding of the relationship between argument structure and event representation, raising questions concerning the role of arguments in language processing and learning. PMID:26057832

  13. A Case Study of Preservice Science Teachers with Different Argumentation Understandings: Their Views and Practices of Using Representations in Argumentation

    Science.gov (United States)

    Namdar, Bahadir

    2017-01-01

    Representations are fundamental tools to support argumentation in science learning. However, little is known about how preservice science teachers (PSTs) with different argumentation understandings view and use representations in argumentation. Therefore, the purpose of this case study was to explore the views and practices of PSTs' use of…

  14. Poetic Logic: The Metaphoric Form as a Foundation for a Theory of Tropological Argument.

    Science.gov (United States)

    Fritch, John E.; Leeper, Karla K.

    1993-01-01

    Focuses on the function of metaphor in argument. Compares the positions of Kenneth Burke and Paul Ricoeur on the function and evaluation of argument, concluding that Ricoeur's position supplements Burke's view of tropological argument. (NH)

  15. Argumentation in elementary science education: addressing methodological issues and conceptual understanding

    Science.gov (United States)

    Kaya, Ebru

    2017-11-01

    In this review essay I respond to issues raised in Mijung Kim and Wolff-Michael Roth's paper titled "Dialogical argumentation in elementary science classrooms", which presents a study dealing with dialogical argumentation in early elementary school classrooms. Since there is very limited research on lower primary school students' argumentation in school science, their paper makes a contribution to research on children's argumentation skills. In this response, I focus on two main issues to extend the discussion in Kim and Roth's paper: (a) methodological issues including conducting a quantitative study on children's argumentation levels and focusing on children's written argumentation in addition to their dialogical argumentation, and (b) investigating children's conceptual understanding along with their argumentation levels. Kim and Roth emphasize the difficulty in determining the level of children's argumentation through the Toulmin's Argument Pattern and lack of high level arguments by children due to their difficulties in writing texts. Regarding these methodological issues, I suggest designing quantitative research on coding children's argument levels because such research could potentially provide important findings on children's argumentation. Furthermore, I discuss alternative written products including posters, figures, or pictures generated by children in order to trace children's arguments, and finally articulating argumentation and conceptual understanding of children.

  16. Popperian epidemiology and the logic of bi-conditional modus tollens arguments for refutational analysis of randomised controlled trials.

    Science.gov (United States)

    Koch, Elard; Otarola, Alvaro; Romero, Tomas; Kirschbaum, Aida; Ortuzar, Esteban

    2006-01-01

    Popperian epidemiology is a biomedical science tool based on the hypothesis-deductive method and the falsifiability of scientific hypotheses. This article explores the applicability of the refutationist logic tools in the analysis of a randomised controlled trial (RCT), the randomised Aldactone evaluation study (RALES). This was carried out by using bi-conditional modus-tollens arguments of the type (i) P-then-Q(n) and (ii) Q(n)-If-X(P), X(P) being a set of potential falsifiers of Q(n) as part of the explicit falsity-content of P. In this model, P is the main hypothesis and Q(n) one or more logical predictions to be tested. The X(P) argument represents inclusion criteria, exclusion criteria and conditional criteria of the RCT so every P-then-X(P) argument should be fulfilled in canonical form to corroborate P-then-Q(n). Thus, falsifiability of a RCT would be determined by the empirical content of the conditional argument Q(n)-If-X(P) and its external validity would be determined by the empirical content of X(P). In this way it would be possible to mathematically assess the external validity of a RCT if the observational predicates of the X(P) argument in a given population are known. According to this popperian model, applicability of the RCT results to clinical practice implies transferring of all its empirical content, in other words, the totality of its truth and falsity contents. Thus, to ignore the explicit falsity-content of a RCT such as RALES may jeopardise its potential benefits in clinical practice as suggested by recent studies.

  17. 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…

  18. Designing and Understanding Forensic Bayesian Networks using Argumentation

    NARCIS (Netherlands)

    Timmer, S.T.

    2017-01-01

    The rise of forensic evidence in court has confronted the legal domain with a number of difficulties. It appears that a communication gap may exist between forensic and legal experts.Judges, lawyers and other legal experts are accustomed to argumentative reasoning, whereas forensic experts usually

  19. Designing and Understanding Forensic Bayesian Networks using Argumentation

    OpenAIRE

    Timmer, S.T.

    2017-01-01

    The rise of forensic evidence in court has confronted the legal domain with a number of difficulties. It appears that a communication gap may exist between forensic and legal experts.Judges, lawyers and other legal experts are accustomed to argumentative reasoning, whereas forensic experts usually quantify uncertainty with probabilities. This has resulted in a heated discussion among legal scholars about the role of numerical analyses of evidence in court. It has been argued that the source o...

  20. Understanding the composite practice that forms when classrooms take up the practice of scientific argumentation

    Science.gov (United States)

    Kuhn Berland, Leema

    Traditional classroom practices communicate epistemic commitments and goals that might be contrary to those needed for meaningful participation in scientific inquiry practices. In this dissertation, I explore how traditional classroom practices influence students' participation in the practice of scientific argumentation. I address this through a two-pronged approach. First, given that students do not typically engage in collaborative knowledge-building through scientific argumentation, I used the best-practices put forth by relevant research to support teachers in facilitating this practice. Second, I worked with four classes as they enacted a unit designed to foster scientific argumentation. I observed the emergent class discussions and engaged in discourse analysis in which I related the interaction patterns found in non-argumentative class discussions to those that occurred in lessons designed to foster scientific argumentation. Examining the argumentative discussions reveals that each class transformed the practice in different ways. Comparing these interactions to those of the non-argumentative suggests that students used the goals and beliefs that guided their typical classroom practices to interpret the activity structures for and teacher's framings of the new practice of scientific argumentation. In this dissertation, I present a research methodology for understanding the relationship between typical classroom practices and student adaptations of new scientific practices; design strategies for supporting scientific argumentation; and a framework for understanding how and why classroom communities adapt the practice of scientific argumentation.

  1. A Description Logic Based Knowledge Representation Model for Concept Understanding

    DEFF Research Database (Denmark)

    Badie, Farshad

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

  2. The Logics of Public Authority: Understanding Power, Politics and Security in Afghanistan, 2002–2014

    Directory of Open Access Journals (Sweden)

    Marika Theros

    2018-01-01

    Full Text Available This paper applies the three logics of public authority – the political marketplace, moral populism and civicness – to the case of Afghanistan in 2001–2013. It shows how the logic of the political marketplace offers an apt interpretation of the Karzai regime, while the logic of moral populism is more relevant as a way of categorizing the Taliban. Based on a civil society dialogue project, the paper discusses the way that civil society actors characterize the situation and envisage a logic of civicness. The paper argues that the mutually reinforcing nature of the two dominant logics explains pervasive and rising insecurity that has been exacerbated by external interventions. The implication of the argument is that security requires a different logic of authority that could underpin legitimate and inclusive institutions.

  3. Using Scientific Argumentation in a Science Methods Course to Improve Preservice Teachers' Understanding of Climate Change

    Science.gov (United States)

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

    2014-12-01

    Given that K-12 students have numerous alternative conceptions, it is critical that teachers have an understanding of the fundamental science underlying climate change (Feldman et al., 2010). Many teachers, however, do not demonstrate adequate understanding of these concepts (Daskolia et al., 2006). Argumentation has been identified as a mechanism for conceptual change (Mercer et al., 2004). Even with several educational initiatives promoting and supporting the use of argumentation as an instructional practice, teachers often struggle to implement argumentation in the classroom (Sampson & Blanchard, 2012). To remedy both issues above, we have designed an innovative methods course to provide background in climate change knowledge and argumentation instruction. In our methods course, we utilize Climate Science Investigations (CSI), an online, interactive series of modules and teaching resources funded by a NASA grant to support teachers learning about the basic science concepts underlying climate change. A key assignment is to develop and present an evidence-based scientific argument. The teachers were assigned a typical question and claim of climate skeptics and asked to conduct research on the scientific findings to prepare a counter-argument (rebuttal). This study examined changes in 60 preservice teachers' knowledge and perceptions about climate change after participation in the course. The teachers' understanding of fundamental concepts increased significantly. Their perceptions about climate change became more aligned to those of climate scientists. Findings suggest that scientific argumentation can play an effective role in the preparation of science educators. In addition to reporting findings in more detail, methods course activities, particularly in argumentation, will be shared in our presentation.

  4. 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…

  5. 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.…

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

  7. Ones and zeros understanding Boolean algebra digital circuits and the logic of sets

    CERN Document Server

    Gregg, John

    1998-01-01

    "Ones and Zeros explains, in lay terms, Boolean algebra, the suprisingly simple system of mathematical logic used in digital computer circuitry. Ones and Zeros follows the development of this logic system from its origins in Victorian England to its rediscovery in this century as the foundation of all modern computing machinery. Readers will learn about the interesting history of the development of symbolic logic in particular, and the often misunderstood process of mathematical invention and scientific discovery, in general. Ones and Zeros also features practical exercises with answers, real-world examples of digital circuit design, and a reading list." "Ones and Zeros will be of particular interest to software engineers who want to gain a comprehensive understanding of computer hardware." "Outstanding features include: a history of mathematical logic, an explanation of the logic of digital circuits, and hands-on exercises and examples."--Jacket.

  8. Teaching Logic at the University of Zimbabwe: Challenges for ...

    African Journals Online (AJOL)

    Logic provides a base for understanding and appreciating the discipline of philosophy, and a degree in philosophy is not complete without this component. As a course, logic provides the principles of reasoning that are required for sound argumentation. Since philosophy is about the argument, that is, defending and ...

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

  10. An Applied Relevance Theory of the Making and Understanding of Rhetorical Arguments.

    Science.gov (United States)

    Campbell, J. L.

    1992-01-01

    Relevance theory in linguistic pragmatics is applied to the field of rhetorical argument. The applied theory allows for multiple coincidental relevances (strategic, rational, and worldly) during the communication of arguments corresponding to horizons of awareness with regard to which arguments are made and understood. (32 references) (LB)

  11. An Attention-Grabbing Approach to Introducing Students to Argumentation in Science

    Science.gov (United States)

    Wojdak, Jeremy M.

    2010-01-01

    Argumentation and basic logic are foundations of scientific inquiry, and thus should be foundations of science education. Students often are uninterested in formal logic, and do not understand the connection to science or society. I describe a way to engage students in the study of argumentation and to help develop student's ability to critically…

  12. 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…

  13. One logician’s perspective on argumentation [in Chinese

    NARCIS (Netherlands)

    van Benthem, J.

    2011-01-01

    Logic is often considered a technical subject, far removed from the concrete reasoning and discussion that we all practice in daily life. Understanding and improving that ordinary reasoning is then seen as the task of argumentation theory, which has operated independently from logic for a long time.

  14. Application of Two-Valued and Fuzzy Logics Teaching in Understanding the Precise and Approximate Concepts

    Science.gov (United States)

    Bayekolaei, Mehraneh Delaviz; Nor, Norjoharuddeen Bin Mohd; Sohaei, Reza; Berneti, Abdul Karim Maleki; Zerafat, Romina; Saravi, Hanieh Rasouli

    2015-01-01

    This research aimed to examine the application of two-valued and fuzzy logics teaching in better understanding the precise approximate concepts of chapter 4 of Sixth grade mathematics. Participants of this study were 30 Sixth grade mathematics students from an elementary school in Sari (a city in the north of Iran) in the academic year of…

  15. Challenges to understanding spatial patterns of disease: philosophical alternatives to logical positivism.

    Science.gov (United States)

    Mayer, J D

    1992-08-01

    Most studies of disease distribution, in medical geography and other related disciplines, have been empirical in nature and rooted in the assumptions of logical positivism. However, some of the more newly articulated philosophies of the social sciences, and of social theory, have much to add in the understanding of the processes and mechanisms underlying disease distribution. This paper represents a plea for creative synthesis between logical positivism and realism or structuration, and uses specific examples to suggest how disease distribution, as a surface phenomenon, can be explained using deeper analysis.

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

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

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

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

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

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

  2. Analogy: Justification for Logic.

    Science.gov (United States)

    Sacksteder, William

    1979-01-01

    Presents and defends the thesis that it is analogy which provides justification for any logic, and for any argument to the extent that it depends on logic for justification. Analogy acquires inept support from logic, but logic acquires adroit support from analogy. (JMF)

  3. Fregego krytyka dowodu ontologicznego (FREGE'S CRITICISM OF THE ONTOLOGICAL ARGUMENT

    Directory of Open Access Journals (Sweden)

    Arkadiusz Gut

    2005-06-01

    Full Text Available The paper reconstructs Frege's criticism of the ontological argument for the existence of God on the basis of various remarks scattered in his writings. The material is organized in such a way as to: (a reveal a logical structure of the argument; (b show and discern various presupposition of a logical, semantical and ontological character; and (c indicate some essential weaknesses of the ontological argument. It is argued that Frege's critical commentaries on this argument are essentially connected to four solutions, stating that: (1 the difference between a name and a predicate is categorical; (2 the existential judgement possesses a different logical structure than the singular judgement; (3 in the characteristic of concepts marks and properties should be distinguished; (4 the ascription of number contains the statement about a concept. In order to make Frege's argumentation as understandable as possible it is confronted with Kant's criticism of ontological argument. The analysis carried on in the above-described way reveals a number of shortcomings which discredit the ontological argument. For example, the paper shows that the analysis of predication of oneness (Einzigkeit does not lead to the affirmation of God's existence. Moreover, it shows that in that argument the term God is used in two different semantic roles; that some theses that should constitute the argument's conclusion, are already assumed; and that sense-condition and truth-conditions are not distinguished.Other author's publications:

  4. The analysis and evaluation of legal argumentation: approaches from legal theory and argumentation theory

    NARCIS (Netherlands)

    Feteris, E.; Kloosterhuis, H.

    2009-01-01

    In the past thirty years legal argumentation has become an important interdisciplinary field of interest. The study of legal argumentation draws its data, assumptions and methods from disciplines such as legal theory, legal philosophy, logic, argumentation theory, rhetoric, linguistics, literary

  5. 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…

  6. Towards a Formal Occurrence Logic based on Predicate Logic

    DEFF Research Database (Denmark)

    Badie, Farshad; Götzsche, Hans

    2015-01-01

    argumentation based on formal Occurrence Logic concerning events and occurrences, and illustrate the relations between Predicate Logic and Occurrence Logic. The relationships (and dependencies) is conducive to an approach that can analyse the occurrences of ”logical statements based on different logical...

  7. University Students' Understanding of Chemistry Processes and the Quality of Evidence in Their Written Arguments

    Science.gov (United States)

    Seung, Eulsun; Choi, Aeran; Pestel, Beverly

    2016-01-01

    We have developed a process-oriented chemistry laboratory curriculum for non-science majors. The purpose of this study is both to explore university students' understanding of chemistry processes and to evaluate the quality of evidence students use to support their claims regarding chemistry processes in a process-oriented chemistry laboratory…

  8. Understanding employee motivation and organizational performance: Arguments for a set-theoretic approach

    Directory of Open Access Journals (Sweden)

    Michael T. Lee

    2016-09-01

    Full Text Available Empirical evidence demonstrates that motivated employees mean better organizational performance. The objective of this conceptual paper is to articulate the progress that has been made in understanding employee motivation and organizational performance, and to suggest how the theory concerning employee motivation and organizational performance may be advanced. We acknowledge the existing limitations of theory development and suggest an alternative research approach. Current motivation theory development is based on conventional quantitative analysis (e.g., multiple regression analysis, structural equation modeling. Since researchers are interested in context and understanding of this social phenomena holistically, they think in terms of combinations and configurations of a set of pertinent variables. We suggest that researchers take a set-theoretic approach to complement existing conventional quantitative analysis. To advance current thinking, we propose a set-theoretic approach to leverage employee motivation for organizational performance.

  9. 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…

  10. A Study of Geometric Understanding via Logical Reasoning in Hong Kong

    Science.gov (United States)

    Poon, Kin-Keung; Leung, Chi-Keung

    2016-01-01

    The purposes of the study reported herein were to identify the common mistakes in geometry made by junior secondary school students in Hong Kong, and to compare the students' performance in geometry with their results in a logic test. A geometry test and a logic test were developed and administered to a sample of 554 students aged between 13 and…

  11. 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”.

  12. Formalising arguments about the burden of persuasion.

    NARCIS (Netherlands)

    Prakken, H.; Sartor, G.

    2007-01-01

    This paper presents an argument-based logic for reasoning about allocations of the burden of persuasion. The logic extends the system of Prakken (2001), which in turn modified the system of Prakken & Sartor (1996) with the possibility to distribute the burden of proof over both sides in an argument

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

  14. 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…

  15. One reason, several logics

    Directory of Open Access Journals (Sweden)

    Evandro Agazzi

    2011-06-01

    Full Text Available Humans have used arguments for defending or refuting statements long before the creation of logic as a specialized discipline. This can be interpreted as the fact that an intuitive notion of "logical consequence" or a psychic disposition to articulate reasoning according to this pattern is present in common sense, and logic simply aims at describing and codifying the features of this spontaneous capacity of human reason. It is well known, however, that several arguments easily accepted by common sense are actually "logical fallacies", and this indicates that logic is not just a descriptive, but also a prescriptive or normative enterprise, in which the notion of logical consequence is defined in a precise way and then certain rules are established in order to maintain the discourse in keeping with this notion. Yet in the justification of the correctness and adequacy of these rules commonsense reasoning must necessarily be used, and in such a way its foundational role is recognized. Moreover, it remains also true that several branches and forms of logic have been elaborated precisely in order to reflect the structural features of correct argument used in different fields of human reasoning and yet insufficiently mirrored by the most familiar logical formalisms.

  16. Two logics of NGO advocacy: understanding inside and outside lobbying on EU environmental policies

    DEFF Research Database (Denmark)

    Junk, Wiebke Marie

    2016-01-01

    Contributions by non-governmental organizations (NGOs) to European governance supposedly enhance participatory democracy. It matters for this democratic surplus how NGOs foster relationships to both policy-makers and publics by engaging in inside and outside lobbying on European Union policies....... This article investigates the factors that explain this lobbying behaviour. It contrasts organization-level hypotheses on the NGOs’ relational and resource characteristics with issue-level hypotheses on the complexity, salience and beneficiary group of the policy issue. Expectations are formulated under...... the assumption that different logics of influence and reputation drive inside and outside lobbying by NGOs. The findings suggest that issue-level characteristics have more explanatory power than organization-level factors. More salient, less complex issues and issues involving a public good have significantly...

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

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

  19. Toulmin and the Ethics of Argument Fields: Teaching Writing and Argument.

    Science.gov (United States)

    Stygall, Gail

    1987-01-01

    Proposes Toulmin approach to logic as an organic process alternative to the battlefield model of argumentation. Shows that in a Toulmin four part argument structure--data, warrant, backing and claim--the argument field from which the warrant and the backing arise determines the data available to support the claim. Thus the relativity of multiple…

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

  1. Formalized arguments | Ochulor | Sophia: An African Journal of ...

    African Journals Online (AJOL)

    This importance, the paper opines, informed the decision of Nigerian Universities commission to popularize logic through making "Philosophy and Logic" a compulsory General Studies Course in Nigerian Universities. Formalized arguments, the paper argues, are the primary concerns of logic and logic itself "is sometimes ...

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

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

    Science.gov (United States)

    Ward, Paul R; Attwell, Katie; Meyer, Samantha B; Rokkas, Philippa; Leask, Julie

    2017-01-01

    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 efforts to

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

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

  6. Logical Characterisation of Ontology Construction using Fuzzy Description Logics

    DEFF Research Database (Denmark)

    Badie, Farshad; Götzsche, Hans

    Ontologies based on Description Logics (DLs) have proved to be effective in formally sharing knowledge across semantic technologies, e.g. Semantic Web, Natural Language Processing, Text Analytics, Business intelligence. Our main goal is analysing ontology construction considering vagueness. We have...... had the extension of ontologies with Fuzzy Logic capabilities which plan to make proper backgrounds for ontology driven reasoning and argumentation on vague and imprecise domains. This presentation conceptualises learning from fuzzy classes using the Inductive Logic Programming framework. Then......, employs Description Logics in characterising and analysing fuzzy statements. And finally, provides a conceptual framework describing fuzzy concept learning in ontologies using the Inductive Logic Programming....

  7. What are Institutional Logics

    DEFF Research Database (Denmark)

    Berg Johansen, Christina; Waldorff, Susanne Boch

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

  8. Practical Argumentation, alias Rhetoric: From Argument Mining to Argument Assessment?

    DEFF Research Database (Denmark)

    Kock, Christian Erik J

    dimensions are typically incommensurable. This makes a step from descriptive argument mining to normative argument assessment problematic. Subjectivity is necessarily and legitimately involved, and scalar computation of argument merit is impossible. On the other hand, normative assessment of practical...

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

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

  11. The Role of Green Chemistry Activities in Fostering Secondary School Students' Understanding of Acid-Base Concepts and Argumentation Skills

    Science.gov (United States)

    Karpudewan, Mageswary; Roth, Wolff Michael; Sinniah, Devananthini

    2016-01-01

    In a world where environmental degradation is taking on alarming levels, understanding, and acting to minimize, the individual environmental impact is an important goal for many science educators. In this study, a green chemistry curriculum--combining chemistry experiments with everyday, environmentally friendly substances with a student-centered…

  12. 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…

  13. Analogical Argument Schemes and Complex Argument Structure

    Directory of Open Access Journals (Sweden)

    Andre Juthe

    2015-09-01

    Full Text Available This paper addresses several issues in argumentation theory. The over-arching goal is to discuss how a theory of analogical argument schemes fits the pragma-dialectical theory of argument schemes and argument structures, and how one should properly reconstruct both single and complex argumentation by analogy. I also propose a unified model that explains how formal valid deductive argumentation relates to argument schemes in general and to analogical argument schemes in particular. The model suggests “scheme-specific-validity” i.e. that there are contrasting species of validity for each type of argument scheme that derive from one generic conception of validity.

  14. Persuasive argumentation as a cultural practice

    Directory of Open Access Journals (Sweden)

    Paweł Gałkowski

    2014-06-01

    Full Text Available In this article author traces relation between argumentation and cultural practice. The first part focuses on definition of argumentation in informal logic tradition. In particular, it discusses argument in terms of verbal and social activity involving the use of everyday language. Author claims that there is no argumentation beyond language. The second part explains persuasive argumentation as a form of cultural practice. The persuasive arguments found in “social practice” can be understood as a social activity, analysable within the context of a given cultural system. Author refers to an approach taking the argumentative expression as a certain type of communicative practice, directed towards respecting, recognising or accepting specific actions. The inclusion of persuasive argumentation in the “circuit of cultural activities” to be studied makes it possible to compare this type of argumentation with other social practices, and to posit a clear historical dimension in the study of argumentation. It also makes it possible to view persuasive argumentation as one of many cultural activities aimed at changing or perpetuating behaviours, attitudes, thinking, etc. The third part of the paper concerns the problem of humanistic interpretation of persuasive argumentation. Author attempts to develop this intuition, at the same time demonstrating the problems that arise from this approach. In conclusion, author tries to analyze argumentation in terms of culture theory and humanistic interpretation.

  15. Understanding social media logic

    NARCIS (Netherlands)

    van Dijck, J.; Poell, T.

    2013-01-01

    Over the past decade, social media platforms have penetrated deeply into the mech­anics of everyday life, affecting people's informal interactions, as well as institutional structures and professional routines. Far from being neutral platforms for everyone, social media have changed the conditions

  16. Understanding Social Media Logic

    OpenAIRE

    José van Dijck; Thomas Poell

    2013-01-01

    Over the past decade, social media platforms have penetrated deeply into the mech­anics of everyday life, affecting people's informal interactions, as well as institutional structures and professional routines. Far from being neutral platforms for everyone, social media have changed the conditions and rules of social interaction. In this article, we examine the intricate dynamic between social media platforms, mass media, users, and social institutions by calling attention to social media log...

  17. Enhancing the Diagramming Method in Informal Logic

    OpenAIRE

    Dale JACQUETTE

    2011-01-01

    The argument diagramming method developed by Monroe C. Beardsley in his (1950) book Practical Logic, which has since become the gold standard for diagramming arguments in informal logic, makes it possible to map the relation between premises and conclusions of a chain of reasoning in relatively complex ways. The method has since been adapted and developed in a number of directions by many contemporary informal logicians and argumentation theorists. It has proved useful in practical applicatio...

  18. Structure and pragmatics in informal argument: circularity and question-begging.

    Science.gov (United States)

    Brem, Sarah K.

    2003-04-01

    Most everyday arguments are informal, as contrasted with the formal arguments of logic and mathematics. Whereas formal argument is well understood, the nature of informal argument is more elusive. A recent study by Rips (2002) provides further evidence regarding the roles of structure and pragmatics in informal argument.

  19. Arguments densos

    OpenAIRE

    Lopez de la Vieja, Mª Teresa

    1999-01-01

    Aquest article tracta de l'ús cognitiu dels textos literaris. Seguint els suggeriments d'una Novel·la, Der Vater eines Mörders, d'A Andersch, tractem d'elucidar la funció cognitiva, fins i tot argumentativa, de la literatura. Alguns arguments poden donar soportea aquest model: a) En la majoria dels casos, la filosofia moral no té a la seva disposició informació sobre situacions extremes i, d'altra banda, la filosofia no hauria de negligir aquestes experiències; b) La possibilitat de re...

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

  1. L'argumentation ecrite pas a pas (Written Argumentation Step by Step).

    Science.gov (United States)

    Colombier, Pierre

    1988-01-01

    Outlines a series of progressive exercises designed to train students in written persuasive discourse in French. The technique involves observation of advertising, study of premises, arguments, and conclusions, pragmatic text analysis, training in logical construction, and development of argumentative strategies. (MSE)

  2. Diagonal arguments

    Directory of Open Access Journals (Sweden)

    Jaroslav Peregrin

    2017-11-01

    Full Text Available It is a trivial fact that if we have a square table filled with numbers, we can always form a column which is not yet contained in the table. Despite its apparent triviality, this fact can lead us the most of the path-breaking results of logic in the second half of the nineteenth and the first half of the twentieth century. We explain how this fact can be used to show that there are more sequences of natural numbers than there are natural numbers, that there are more real numbers than natural numbers and that every set has more subsets than elements (all results due to Cantor; we indicate how this fact can be seen as underlying the celebrated Russell’s paradox; and we show how it can be employed to expose the most fundamental result of mathematical logic of the twentieth century, Gödel’s incompleteness theorem. Finally, we show how this fact yields the unsolvability of the halting problem for Turing machines.

  3. Enhancing the Diagramming Method in Informal Logic

    Directory of Open Access Journals (Sweden)

    Dale JACQUETTE

    2011-12-01

    Full Text Available The argument diagramming method developed by Monroe C. Beardsley in his (1950 book Practical Logic, which has since become the gold standard for diagramming arguments in informal logic, makes it possible to map the relation between premises and conclusions of a chain of reasoning in relatively complex ways. The method has since been adapted and developed in a number of directions by many contemporary informal logicians and argumentation theorists. It has proved useful in practical applications and especially pedagogically in teaching basic logic and critical reasoning skills at all levels of scientific education. I propose in this essay to build on Beardsley diagramming techniques to refine and supplement their structural tools for visualizing logical relationships in a number of categories not originally accommodated by Beardsley diagramming, including circular reasoning, reductio ad absurdum arguments, and efforts to dispute and contradict arguments, with applications and analysis.

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

  5. Is Logic in the Mind or in the World? Why a Philosophical Question can Affect the Understanding of Intelligence

    Science.gov (United States)

    Sommer, Hanns; Schreiber, Lothar

    2012-05-01

    Dreyfus' call ‘to make artificial intelligence (AI) more Heideggerian‘ echoes Heidegger's affirmation that pure calculations produce no ‘intelligence’ (Dreyfus, 2007). But what exactly is it that AI needs more than mathematics? The question in the title gives rise to a reexamination of the basic principles of cognition in Husserl's Phenomenology. Using Husserl's Phenomenological Method, a formalization of these principles is presented that provides the principal idea of cognition, and as a consequence, a ‘natural logic’. Only in a second step, mathematics is obtained from this natural logic by abstraction. The limitations of pure reasoning are demonstrated for fundamental considerations (Hilbert's ‘finite Einstellung’) as well as for the task of solving practical problems. Principles will be presented for the design of general intelligent systems, which make use of a natural logic.

  6. Heterogeneous logics of competition

    DEFF Research Database (Denmark)

    Mossin, Christiane

    2015-01-01

    The purpose of the article is to demonstrate that in order to understand competition as a socially organizing phenomenon, we should not examine competition in isolation, but as constellations of heterogeneous logics. More precisely, the article is based on two main theoretical points: (1) Logics...... 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...

  7. Modeling non-monotonic properties under propositional argumentation

    Science.gov (United States)

    Wang, Geng; Lin, Zuoquan

    2013-03-01

    In the field of knowledge representation, argumentation is usually considered as an abstract framework for nonclassical logic. In this paper, however, we'd like to present a propositional argumentation framework, which can be used to closer simulate a real-world argumentation. We thereby argue that under a dialectical argumentation game, we can allow non-monotonic reasoning even under classical logic. We introduce two methods together for gaining nonmonotonicity, one by giving plausibility for arguments, the other by adding "exceptions" which is similar to defaults. Furthermore, we will give out an alternative definition for propositional argumentation using argumentative models, which is highly related to the previous reasoning method, but with a simple algorithm for calculation.

  8. Trust arguments

    International Nuclear Information System (INIS)

    Gelman, S.M.

    1995-01-01

    Full text: Public Information Centre of JSC Mashinastroitelny Zavod ('Elemash ' was founded in 1990. Before that any information about the enterprise (being, by the way' manufacturer of nuclear fuel for 20 NPPs, of Russia and a number of foreign countries) were forbidden to be given in mass medial conventional conversations outside the factory and even in the families of the employees. This caused the most fantastic ideas about materials and technologies used here as well as their impact on the environment in Electrostal (50 km on the east of Moscow) where the enterprise is situated. Since the moment of its creation the Centre is not only informing the population about the technological and ecological peculiarities of nuclear fuel manufacturing, but also forms positive attitude both, towards the activity of the enterprise atomic energy as a whole. During the 4 years of its existence te Center was visited by more than 5.000 people; the majority of them are schoolchildren students with whom we are in close contact because we realize that the 'pro-nuclear' orientation of the mentality should be founded in the early age when humans world outlook is-formed. In the more aged group the majority are the workers of the factories nearby, military and retired people and reporters of te town's newspapers. We've good amount of demonstration materials, which speak in favour of the atomic energy and enterprises of the nuclear fuel cycle engaged in it. These are NPPs schemes, mock-ups of nuclear reactors, assemblies manufactured by the factory and a wide variety of films on nuclear energy. Video films made in the main workshops are of peculiar interest; automation of the technology process, providing not only for nuclear fuel quality but also for high level of nuclear and radiation safety during its production. We pay attention not only to traditional arguments in favour of the atomic energy, but draw attention of the public to the fact that a factory engaged in the nuclear fuel

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

  10. Extending Value Logic Thinking to Value Logic Portfolios

    DEFF Research Database (Denmark)

    Ritter, Thomas; Andersen, Poul Houman

    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...... and for research into strategic management....

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

  12. Fuzzy Logic Engine

    Science.gov (United States)

    Howard, Ayanna

    2005-01-01

    The Fuzzy Logic Engine is a software package that enables users to embed fuzzy-logic modules into their application programs. Fuzzy logic is useful as a means of formulating human expert knowledge and translating it into software to solve problems. Fuzzy logic provides flexibility for modeling relationships between input and output information and is distinguished by its robustness with respect to noise and variations in system parameters. In addition, linguistic fuzzy sets and conditional statements allow systems to make decisions based on imprecise and incomplete information. The user of the Fuzzy Logic Engine need not be an expert in fuzzy logic: it suffices to have a basic understanding of how linguistic rules can be applied to the user's problem. The Fuzzy Logic Engine is divided into two modules: (1) a graphical-interface software tool for creating linguistic fuzzy sets and conditional statements and (2) a fuzzy-logic software library for embedding fuzzy processing capability into current application programs. The graphical- interface tool was developed using the Tcl/Tk programming language. The fuzzy-logic software library was written in the C programming language.

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

  14. The Effects of an Argument-Based Inquiry Approach on Improving Critical Thinking and the Conceptual Understanding of Optics among Pre-Service Science Teachers

    Science.gov (United States)

    Memis, Esra Kabatas

    2016-01-01

    The aim of this study was to investigate the effect of the university-level application of an Argument-Based Inquiry Approach, as compared to the traditional laboratory teaching method, on the ability of students to learn about optics and to demonstrate critical thinking. In this quasi-experimental study, pretest-posttest scores and CCDTI were…

  15. Precautionary Logic and a Policy of Moderation

    NARCIS (Netherlands)

    N.T. Arnoldussen (Tobias)

    2009-01-01

    textabstractThe term ‘precautionary logic’ denotes a kind of argumentation that urges us to take far-reaching preventative measures. This form of argumentation appeals to a number of presuppositions about society, the environment, and human behaviour. Precautionary logic appeals to a sense of

  16. Legal Logic? Or can we do without?

    NARCIS (Netherlands)

    Soeteman, A.

    2004-01-01

    In this paper the thesis is argued that there is no need for a special legal logic to deal with the defeasibility of legal arguments. An important argument for this thesis is that legal judgements ask for a complete justification and that such a complete justification requires a deductively valid

  17. Understanding Prescriptive Texts: Rules and Logic as Elaborated by the Mīmāṃsā School

    Directory of Open Access Journals (Sweden)

    Elisa Freschi,

    2017-06-01

    Full Text Available The Mīmāṃsā school of Indian philosophy elaborated complex ways of interpreting the prescriptive portions of the Vedic sacred texts. The present article is the result of the collaboration of a group of scholars of logic, computer science, European philosophy and Indian philosophy and aims at the individuation and analysis of the deontic system which is applied but never explicitly discussed in Mīmāṃsā texts. The article outlines the basic distinction between three sorts of principles —hermeneutic, linguistic and deontic. It proposes a mathematical formalization of the deontic principles and uses it to discuss a well-known example of seemingly conflicting statements, namely the prescription to undertake the malefic Śyena sacrifice and the prohibition to perform any harm.

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

  19. A SEM Model in Assessing the Effect of Convergent, Divergent and Logical Thinking on Students' Understanding of Chemical Phenomena

    Science.gov (United States)

    Stamovlasis, D.; Kypraios, N.; Papageorgiou, G.

    2015-01-01

    In this study, structural equation modeling (SEM) is applied to an instrument assessing students' understanding of chemical change. The instrument comprised items on understanding the structure of substances, chemical changes and their interpretation. The structural relationships among particular groups of items are investigated and analyzed using…

  20. 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…

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

  2. 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…

  3. 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)

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

  5. Non-Discriminating Arguments and Their Uses

    DEFF Research Database (Denmark)

    Christiansen, Henning; Gallagher, John Patrick

    2009-01-01

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

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

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

  8. Copies of classical logic in intuitionistic logic

    OpenAIRE

    Gaspar, Jaime

    2012-01-01

    Classical logic (the logic of non-constructive mathematics) is stronger than intuitionistic logic (the logic of constructive mathematics). Despite this, there are copies of classical logic in intuitionistic logic. All copies usually found in the literature are the same. This raises the question: is the copy unique? We answer negatively by presenting three different copies.

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

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

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

  12. Some Reflections on Logic and Transcendence

    DEFF Research Database (Denmark)

    Øhrstrøm, Peter

    2010-01-01

    of naturalism and even the existence of God provided that certain basic assumptions are taken for granted. In this paper, I shall consider these arguments, and I shall show that there are valid versions of these arguments. However, it will also be demonstrated that it will be possible for the atheist to find......It is sometimes argued that the very existence of a notion of validity of logical inference on which all rational persons should agree is an indication of the existence of something transcendent. It has also been argued that logic can be used in order to demonstrate the problematic status...... a way out, since all the arguments pointing to the existence of something transcendent are based on premises, which may in principle be rejected. The atheist must, however, take the validity of these arguments into account, when he seeks to establish his worldview – assuming that he wants his worldview...

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

  14. Fuzzy logic

    CERN Document Server

    Smets, P

    1995-01-01

    We start by describing the nature of imperfect data, and giving an overview of the various models that have been proposed. Fuzzy sets theory is shown to be an extension of classical set theory, and as such has a proeminent role or modelling imperfect data. The mathematic of fuzzy sets theory is detailled, in particular the role of the triangular norms. The use of fuzzy sets theory in fuzzy logic and possibility theory,the nature of the generalized modus ponens and of the implication operator for approximate reasoning are analysed. The use of fuzzy logic is detailled for application oriented towards process control and database problems.

  15. Separation Logic

    DEFF Research Database (Denmark)

    Reynolds, John C.

    2002-01-01

    In joint work with Peter O'Hearn and others, based on early ideas of Burstall, we have developed an extension of Hoare logic that permits reasoning about low-level imperative programs that use shared mutable data structure. The simple imperative programming language is extended with commands (not...... with the inductive definition of predicates on abstract data structures, this extension permits the concise and flexible description of structures with controlled sharing. In this paper, we will survey the current development of this program logic, including extensions that permit unrestricted address arithmetic...

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

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

  18. THE ARGUMENTATION IN GALATIANS

    African Journals Online (AJOL)

    cation of these criteria in the production, analysis and evaluation of argumentative discourse (Van Eemeren et al. 1996:22). When analysing a text such as .... 4 There are a number of older works that con- sider Paul's argumentation but these often limit their analysis to aspects of style, for example the use of parallelisms, ...

  19. Defining Rhetorical Argumentation

    DEFF Research Database (Denmark)

    Kock, Christian Erik J

    2013-01-01

    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...... certain peculiar properties of it that tend to be under-theorized in argumentation theory....

  20. Thermodynamical Arguments against Evolution

    Science.gov (United States)

    Rosenhouse, Jason

    2017-01-01

    The argument that the second law of thermodynamics contradicts the theory of evolution has recently been revived by anti-evolutionists. In its basic form, the argument asserts that whereas evolution implies that there has been an increase in biological complexity over time, the second law, a fundamental principle of physics, shows this to be…

  1. 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)....

  2. Japanese Logic Puzzles and Proof

    Science.gov (United States)

    Wanko, Jeffrey J.

    2009-01-01

    An understanding of proof does not start in a high school geometry course. Rather, attention to logical reasoning throughout a student's school experience can help the development of proof readiness. In the spirit of problem solving, the author has begun to use some Japanese logic puzzles other than sudoku to help students develop additional…

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

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

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

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

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

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

  9. Argumentation in socio-scientific discussions

    Directory of Open Access Journals (Sweden)

    Mírian Rejane Magalhães Mendes

    2013-12-01

    Full Text Available This study aimed to understand the development of the argument in socio-scientific discussions in Chemistry lessons. Were investigated classes of three teachers in public schools in high school of the Federal District – Brazil to identify the occurrence of argumentative situations,actions favorable to the development of the arguments made by the teachers, and the presence of scientific knowledge on the composition of the arguments developed. The monitoring of the classes involved videotaping lessons; field notes; interview in focus groups with students and individually with each one of the teachers; and the application of a questionnaire for the teachers. The results showed that the teachers have established an opportune environment to argumentative practice when promoted socio-scientific discussions, facilitate the verbalization, and use strategies aimed at the participation of students as interlocutors in discussion and interaction. On the other hand, it was found that the argumentative situations identified were not very significant and that the teachers had difficulties in developing specific verbal actions directed to the establishment of the argumentation and for the mobilization of scientific knowledge in the construction of arguments.

  10. The argument of mathematics

    CERN Document Server

    Aberdein, Andrew

    2014-01-01

    This book presents a comprehensive investigation into the relationship between argumentation theory and the philosophy of mathematical practice. It offers large array of examples ranging from the history of mathematics to formal proof verification.

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

  12. 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,…

  13. Playing Games in Logic and Reasoning in Liberal Arts Mathematics and Getting Students' Work Published

    Science.gov (United States)

    Garrison, Laura A.

    2005-01-01

    This paper describes two classroom activities and a project that supplement a Liberal Arts Mathematics course's coverage of logic and reasoning. The first classroom activity introduces the writing of inductive and deductive arguments, and the second activity involves analyzing a guest speaker's arguments. The project consists of using logic and…

  14. Why teach an introductory course in Mathematical Logic in the Philosophy curriculum?

    OpenAIRE

    Oller, Carlos; Couló, Ana

    2015-01-01

    This paper tries to justify the relevance of an introductory course in Mathematical Logic in the Philosophy curriculum for analyzing philosophical arguments in natural language. It is argued that the representation of the structure of natural language arguments in Freeman's diagramming system can provide an intuitive foundation for the inferential processes involved in the use of First Order Logic natural deduction rules.

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

  16. CRITO: Informal Logic, Critical Thinking, and the Argumentative Essay.

    Science.gov (United States)

    Johnson, David Kenneth

    The critical thinker is one who is, according to Harvey Siegel, "appropriately moved by reasons." This characterization of critical thinking combines a "reason assessment" component (the principled assessment of reasons and their ability to warrant beliefs, claims and actions) and a "critical attitude" component (the…

  17. Choreographies, Logically

    DEFF Research Database (Denmark)

    Carbone, Marco; Montesi, Fabrizio; Schürmann, Carsten

    2014-01-01

    In Choreographic Programming, a distributed system is programmed by giving a choreography, a global description of its interactions, instead of separately specifying the behaviour of each of its processes. Process implementations in terms of a distributed language can then be automatically...... projected from a choreography. We present Linear Compositional Choreographies (LCC), a proof theory for reasoning about programs that modularly combine choreographies with processes. Using LCC, we logically reconstruct a semantics and a projection procedure for programs. For the first time, we also obtain...... a procedure for extracting choreographies from process terms....

  18. Logical Behaviorism

    OpenAIRE

    Malcolm, Norman; Altuner, Ilyas

    2014-01-01

    The paper deals exclusively with the doctrine called ‘Logical Behaviorism’. Although this position does not vogue it enjoyed in the 1930s and 1940s, it will always possess a compelling attraction for anyone who is perplexed by the psychological concepts, who has become aware of worthlessness of an appeal to introspection as an account of how we learn those concepts, and he has no inclination to identify mind with brain. There, of course, are other forms of behaviorism, and of reductionism, wh...

  19. Logical consecutions in discrete linear temporal logic

    OpenAIRE

    Rybakov, V. V.

    2005-01-01

    We investigate logical consequence in temporal logics in terms of logical consecutions, i.e., inference rules. First, we discuss the question: what does it mean for a logical consecution to be ’correct’ in a propositional logic. We consider both valid and admissible consecutions in linear temporal logics and discuss the distinction between these two notions. The linear temporal logic LDTL, consisting of all formulas valid in the frame 〈 , ≤, ≥ 〉 of all integer numbers, is the prime object of...

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

  1. Kalam cosmological argument

    Directory of Open Access Journals (Sweden)

    Đurić Drago

    2011-01-01

    Full Text Available In this paper it will be presented polemics about kalam cosmological argument developed in medieval islamic theology and philosophy. Main moments of that polemics was presented for a centuries earlier in Philoponus criticism of Aristotle’s thesis that the world is eternal, and of impossibilty of actual infinity. Philoponus accepts the thesis that actual infinity is impossible, but he thinks that, exactly because of that, world cannot be eternal. Namely, according to Philoponus, something can­not come into being if its existence requires the preexistence of an infinite number of other things, one arising out of the other. Philoponus and his fellowers in medieval islamic theology (Al-Kindi and Al-Ghazali, called kalam theologians, have offered arguments against the conception of a temporally infinite universe, under­stood as a succesive causal chain. On other side, medieval islamic thinkers, called falasifah /philosophers/ or aristotelians (Al-Farabi, Avicenna, and Averroës, have offered arguments in favor of Aristotele’s conception of the eternity of the universe. Decisive problem in disccusion between kalam i falsafa medieval muslim thinkers was the problem of infinity. They have offered very interesting arguments and counterarguments about concept of infinity. In this paper it will be presented some of the crucial moments of that arguments.

  2. Quantum logic

    International Nuclear Information System (INIS)

    Mittelstaedt, P.

    1979-01-01

    The subspaces of Hilbert space constitute an orthocomplemented quasimodular lattice Lsub(q) for which neither a two-valued function nor generalized truth function exist. A generalisation of the dialogic method can be used as an interpretation of a lattice Lsub(qi), which may be considered as the intuitionistic part of Lsub(q). Some obvious modifications of the dialogic method are introduced which come from the possible incommensurability of propositions about quantum mechanical systems. With the aid of this generalized dialogic method a propositional calculus Qsub(eff) is derived which is similar to the calculus of effective (intuitionistic) logic, but contains a few restrictions which are based on the incommensurability of quantum mechanical propositions. It can be shown within the framework of the calculus Qsub(eff) that the value-definiteness of the elementary propositions which are proved by quantum mechanical propositions is inherited by all finite compund propositions. In this way one arrives at the calculus Q of full quantum logic which incorporates the principle of excluded middle for all propositions and which is a model for the lattice Lsub(q). (Auth.)

  3. Icelandic Morphosyntax and Argument Structure

    Science.gov (United States)

    Wood, Jim

    2012-01-01

    This dissertation is about the elements that build verbs, the elements that introduce arguments, and how these elements interact to determine the interpretation of arguments and events. A theory of argument structure is a theory how arguments are introduced syntactically, interpreted semantically, and marked morphologically, and how this…

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

  5. Nanomagnetic Logic

    Science.gov (United States)

    Carlton, David Bryan

    The exponential improvements in speed, energy efficiency, and cost that the computer industry has relied on for growth during the last 50 years are in danger of ending within the decade. These improvements all have relied on scaling the size of the silicon-based transistor that is at the heart of every modern CPU down to smaller and smaller length scales. However, as the size of the transistor reaches scales that are measured in the number of atoms that make it up, it is clear that this scaling cannot continue forever. As a result of this, there has been a great deal of research effort directed at the search for the next device that will continue to power the growth of the computer industry. However, due to the billions of dollars of investment that conventional silicon transistors have received over the years, it is unlikely that a technology will emerge that will be able to beat it outright in every performance category. More likely, different devices will possess advantages over conventional transistors for certain applications and uses. One of these emerging computing platforms is nanomagnetic logic (NML). NML-based circuits process information by manipulating the magnetization states of single-domain nanomagnets coupled to their nearest neighbors through magnetic dipole interactions. The state variable is magnetization direction and computations can take place without passing an electric current. This makes them extremely attractive as a replacement for conventional transistor-based computing architectures for certain ultra-low power applications. In most work to date, nanomagnetic logic circuits have used an external magnetic clocking field to reset the system between computations. The clocking field is then subsequently removed very slowly relative to the magnetization dynamics, guiding the nanomagnetic logic circuit adiabatically into its magnetic ground state. In this dissertation, I will discuss the dynamics behind this process and show that it is greatly

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

  7. Argumentation and Public Relations.

    Science.gov (United States)

    Stovall, Richard L.

    Issue management oriented public relations provides an excellent pedagogical device for anyone interested in the application of argumentation. This can be illustrated by a case study in which a commercial metals company was wrongly accused of improperly disposing of toxic waste at a particular site. To counter the bad publicity that followed the…

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

  9. Human behaviour, benign or malevolent: understanding the human psyche, performing therapy, based on affective mentalization and Matte-Blanco's bi-logic

    OpenAIRE

    Murtagh, Fionn; Iurato, Giuseppe

    2016-01-01

    International audience; The key concept of Ignacio Matte Blanco’s bi-logic is the unavoidable but variable presence of primary process (symmetric thought) in the secondary one (asymmetric thought) ruling consciousness, for every human being. This variable and dynamic presence allows us, by therapeutic intervention, to convert suitably the symmetric thought into the asymmetric one. The former erupts into the latter by means of affectivity which, accordingly, should be suitably treated to be ri...

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

  11. 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’.

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

  13. The Logic of Life

    Science.gov (United States)

    Pascal, Robert; Pross, Addy

    2016-11-01

    In this paper we propose a logical connection between the physical and biological worlds, one resting on a broader understanding of the stability concept. We propose that stability manifests two facets - time and energy, and that stability's time facet, expressed as persistence, is more general than its energy facet. That insight leads to the logical formulation of the Persistence Principle, which describes the general direction of material change in the universe, and which can be stated most simply as: nature seeks persistent forms. Significantly, the principle is found to express itself in two mathematically distinct ways: in the replicative world through Malthusian exponential growth, and in the `regular' physical/chemical world through Boltzmann's probabilistic considerations. By encompassing both `regular' and replicative worlds, the principle appears to be able to help reconcile two of the major scientific theories of the 19th century - the Second Law of Thermodynamics and Darwin's theory of evolution - within a single conceptual framework.

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

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

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

  17. The parenthood argument.

    Science.gov (United States)

    Simkulet, William

    2018-01-01

    Don Marquis is well known for his future like ours theory (FLO), according to which the killing beings like us is seriously morally wrong because it deprives us of a future we can value. According to Marquis, human fetuses possess a future they can come to value, and thus according to FLO have a right to life. Recently Mark Brown has argued that even if FLO shows fetuses have a right to life, it fails to show that fetuses have a right to use their mother's body, evoking Judith Jarvis Thomson's famous violinist case. In the wake of Brown's conclusion, Marquis presents a new argument-the parenthood argument (PA)-which he believes shows that abortion is seriously morally wrong. Here I argue that the PA fails to show abortion is seriously morally wrong for the same reasons FLO fails to show abortion is seriously morally wrong. © 2017 John Wiley & Sons Ltd.

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

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

  20. Collaborative argumentation in academic education

    NARCIS (Netherlands)

    Veerman, A.; Andriessen, J.; Kanselaar, G.

    2002-01-01

    The general purpose of this research is to discover principles for the design of educational tasks that provoke collaborative argumentation. The specific research question concentrates on the relationship between question asking and argumentation and is examined in three different collaborative

  1. The Case against Conditional Argumentation.

    Science.gov (United States)

    Herbeck, Dale A.

    Despite literally tens of thousands of rounds of debate competition over a number of years, little insight into argumentation theory has resulted. Debate as practiced by college debating teams has become a laboratory for perfecting itself. Permitting the divergence of debate from argumentation forfeits an ideal opportunity to study argumentation.…

  2. Integration of Semantic Web Reasoning and Argument-based Reasoning

    Science.gov (United States)

    Wakaki, Toshiko; Sawamura, Hajime; Fukumoto, Taro; Mukai, Takanori; Nitta, Katsumi

    Though many kinds of multi-agent systems based on argumentation have been proposed where only rule-based knowledge is taken into account, they have been unable to handle the ontological knowledge so far. In our daily life, however, there are a lot of human argumentation where both ontological and rule knowledges are used. For example, in e-commerce, a seller and a buyer usually use ontologies about products along with their respective strategic rules for buying and selling. Recent progress of the Semantic Web technology provides expressive ontology languages. In this paper, we demonstrate integration of the Semantic Web reasoning and argument-based reasoning. We have implemented the integrated system such that Logic of Multiple-valued Argumentation-based agent system (specialized to two values {f, t }) can be accessible to the Semantic Web reasoning established as the description logic reasoning system, given ontologies expressed by OWL DL or its notational variant the DL SHOIN(D). An interesting argumentation result using both ontologies and rules about the university curriculum is shown as an example executed by our system.

  3. Arguments against nuclear engineering

    International Nuclear Information System (INIS)

    Hahn, L.

    1991-01-01

    The arguments put forward are: data from risk studies concerning the frequency of occurrence of core meltdown in LWR type reactors, the frequency of containment failures and resulting off-site emissions, in-plant accident management, and the hazard of hydrogen explosions. Yet unresolved problems are stated to be: the presentation of results of the German Risk Study (part DRS-B), the way accident management is dealt with, the evaluation standards applied to safety deficits, the hydrogen problem, the biological effects of low-dose radiation, the qualification of radwaste repositories, the information policy of public authorities, and the regime of governmental control and supervision. (HP) [de

  4. Statistics As Principled Argument

    CERN Document Server

    Abelson, Robert P

    2012-01-01

    In this illuminating volume, Robert P. Abelson delves into the too-often dismissed problems of interpreting quantitative data and then presenting them in the context of a coherent story about one's research. Unlike too many books on statistics, this is a remarkably engaging read, filled with fascinating real-life (and real-research) examples rather than with recipes for analysis. It will be of true interest and lasting value to beginning graduate students and seasoned researchers alike. The focus of the book is that the purpose of statistics is to organize a useful argument from quantitative

  5. Regulating biorisks: developing a coherent policy logic (part II).

    Science.gov (United States)

    Lentzos, Filippa

    2007-03-01

    This is the second of two articles that empirically details the working practices of regulators charged with overseeing biological research. The first article considered how regulators from the Biological Agents Unit of the UK Health and Safety Executive went about implementing the British legislation controlling work with biological agents and genetically modified organisms prior to the terrorist attacks of 11 September 2001 and the ensuing anthrax letters in the U.S. This second article continues the investigation of the Biological Agents Unit's working practices by considering how its activities have changed and adapted to the new, post-9/11 policy and regulatory environment. The main argument put forward in the articles is that an understanding of the implementation processes--that is, the strategies adopted by regulatory agencies and the styles employed by agency regulators in their interactions with those regulated--is critical to developing a coherent policy logic for the emerging regulatory regime around biorisks.

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

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

  8. Logical formalization and the formalization of logic(s)

    Czech Academy of Sciences Publication Activity Database

    Peregrin, Jaroslav; Svoboda, Vladimír

    2016-01-01

    Roč. 59, č. 233 (2016), s. 55-80 ISSN 0024-5836 R&D Projects: GA ČR(CZ) GA13-21076S Institutional support: RVO:67985955 Keywords : logical formalization * logical analysis * reflective equilibrium Subject RIV: AA - Philosophy ; Religion

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

  10. 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…

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

  12. Many-valued Logic and Fuzzy Logic

    Czech Academy of Sciences Publication Activity Database

    Hájek, Petr

    2011-01-01

    Roč. 27, č. 2 (2011), s. 315-324 ISSN 0970-7794 R&D Projects: GA ČR GEICC/08/E018 Institutional research plan: CEZ:AV0Z10300504 Keywords : many valued logic * fuzzy logic Subject RIV: BA - General Mathematics

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

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

  15. Students' Strengths and Weaknesses in Evaluating Technical Arguments as Revealed through Implementing Calibrated Peer Review™ in a Bioengineering Laboratory

    Science.gov (United States)

    Volz, Tracy; Saterbak, Ann

    2009-01-01

    In engineering fields, students are expected to construct technical arguments that demonstrate a discipline's expected use of logic, evidence, and conventions. Many undergraduate bioengineering students struggle to enact the appropriate argument structures when they produce technical posters. To address this problem we implemented Calibrated Peer…

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

  17. 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…

  18. Continuous Markovian Logics

    DEFF Research Database (Denmark)

    Mardare, Radu Iulian; Cardelli, Luca; Larsen, Kim Guldstrand

    2012-01-01

    Continuous Markovian Logic (CML) is a multimodal logic that expresses quantitative and qualitative properties of continuous-time labelled Markov processes with arbitrary (analytic) state-spaces, henceforth called continuous Markov processes (CMPs). The modalities of CML evaluate the rates...

  19. Event Logic Assistant (Elan)

    National Research Council Canada - National Science Library

    Bickford, Mark

    2008-01-01

    .... This report describes the design of an Event Logic Assistant (Elan) that provides powerful automated support for applying event logic to the design and implementation of high-assurance distributed protocols...

  20. Error Reporting Logic

    National Research Council Canada - National Science Library

    Jaspan, Ciera; Quan, Trisha; Aldrich, Jonathan

    2008-01-01

    ... it. In this paper, we introduce error reporting logic (ERL), an algorithm and tool that produces succinct explanations for why a target system violates a specification expressed in first order predicate logic...

  1. Semiotic foundations of logic

    OpenAIRE

    Shalack, V.

    2013-01-01

    The article offers a look at the combinatorial logic as the logic of signs operating in the most general sense. For this it is proposed slightly reformulate it in terms of introducing and replacement of the definitions.

  2. Fuzzy logic controller optimization

    Science.gov (United States)

    Sepe, Jr., Raymond B; Miller, John Michael

    2004-03-23

    A method is provided for optimizing a rotating induction machine system fuzzy logic controller. The fuzzy logic controller has at least one input and at least one output. Each input accepts a machine system operating parameter. Each output produces at least one machine system control parameter. The fuzzy logic controller generates each output based on at least one input and on fuzzy logic decision parameters. Optimization begins by obtaining a set of data relating each control parameter to at least one operating parameter for each machine operating region. A model is constructed for each machine operating region based on the machine operating region data obtained. The fuzzy logic controller is simulated with at least one created model in a feedback loop from a fuzzy logic output to a fuzzy logic input. Fuzzy logic decision parameters are optimized based on the simulation.

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

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

  5. Resistive Threshold Logic

    OpenAIRE

    James, A. P.; Francis, L. R. V. J.; Kumar, D.

    2013-01-01

    We report a resistance based threshold logic family useful for mimicking brain like large variable logic functions in VLSI. A universal Boolean logic cell based on an analog resistive divider and threshold logic circuit is presented. The resistive divider is implemented using memristors and provides output voltage as a summation of weighted product of input voltages. The output of resistive divider is converted into a binary value by a threshold operation implemented by CMOS inverter and/or O...

  6. 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 ins...... 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....

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

  8. Logical Stochastic Resonance

    Indian Academy of Sciences (India)

    andoh

    1Indian Institute of Science Education and Research, Mohali. 2The Institute of Mathematical Sciences, Chennai ... Bottomline of this work: One can obtain very reliable Logic Circuit. Elements by exploiting nonlinearity in the presence of ... with the truth tables of the basic logic operations. Sudeshna Sinha. Logical Stochastic ...

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

  10. 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…

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

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

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

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

  15. The Significance of the Prior-Smart Correspondence for the Rise of Tense-Logic

    DEFF Research Database (Denmark)

    Jakobsen, David

    2017-01-01

    relations under the scope of operators. When Prior, however, disclosed the invention of tense-logic to Smart, it is clear from the correspondence that Smart did not find Prior’s tensed operators convincing. Indeed, it turns out that Smart warned Prior against presenting tense-logic at the John Locke...... Lectures. Two questions are raised with regard to Smart’s warning: Why did Smart warn Prior against presenting tense-logic at the John Locke Lectures, and why was Prior’s tense-logic so well received? An argument is tentatively given based on the novelty of Prior’s tense-logical operators to account...

  16. An application specific informal logic for interest prohibition theory

    NARCIS (Netherlands)

    Bergstra, J.A.; Middelburg, C.A.

    2011-01-01

    Interest prohibition theory concerns theoretical aspects of interest prohibition. We attempt to lay down some aspects of interest prohibition theory wrapped in a larger framework of informal logic. The reason for this is that interest prohibition theory has to deal with a variety of arguments which

  17. Bivalence, Classical Logic and the Problem of Contingent Statements

    African Journals Online (AJOL)

    The main objective of this paper is to argue that the principle of bivalence is right, contrary to the view of some philosophers. To fulfil this objective, the paper examined some arguments raised in Philosophy of Logic about the principle of bivalence starting from Aristotle‟s challenge to the principle of bivalence based on the ...

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

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

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

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

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

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

  4. Collaborative argumentation in academic education

    NARCIS (Netherlands)

    Kanselaar, G.; Veerman, A.L.; Andriessen, J.E.B.

    2002-01-01

    The general purpose of this research is todiscover principles for the design ofeducational tasks that provoke collaborativeargumentation. The specific research questionconcentrates on the relationship betweenquestion asking and argumentation and isexamined in three different collaborativelearning

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

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

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

  8. Logic of likelihood

    Energy Technology Data Exchange (ETDEWEB)

    Wall, M.J.W.

    1992-07-01

    The notion of {open_quotes}probability{close_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.

  9. Fictional Separation Logic

    DEFF Research Database (Denmark)

    Jensen, Jonas Buhrkal; Birkedal, Lars

    2012-01-01

    , separation means physical separation. In this paper, we introduce \\emph{fictional separation logic}, which includes more general forms of fictional separating conjunctions P * Q, where "*" does not require physical separation, but may also be used in situations where the memory resources described by P and Q...... overlap. We demonstrate, via a range of examples, how fictional separation logic can be used to reason locally and modularly about mutable abstract data types, possibly implemented using sophisticated sharing. Fictional separation logic is defined on top of standard separation logic, and both the meta...

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

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

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

  13. The deconstruction of safety arguments through adversarial counter-argument

    Energy Technology Data Exchange (ETDEWEB)

    Armstrong, James M. [BAE Systems Systems Engineering Innovation Centre (SEIC), University of Loughborough (United Kingdom)]. E-mail: J.M.Armstrong@lboro.ac.uk; Paynter, Stephen E. [MBDA UK Ltd, Filton, Bristol (United Kingdom)]. E-mail: stephen.paynter@mbda.co.uk

    2007-11-15

    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)

  14. 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)

  15. Limitations of Passively Mapping Logical Network Topologies

    OpenAIRE

    Ayodeji J. Akande; Colin Fidge; Ernest Foo

    2017-01-01

    Understanding logical network connectivity is essential in network topology mapping especially in a fast growing network where knowing what is happening on the network is critical for security purposes and where knowing how network resources are being used is highly important. Mapping logical communication topology is important for network auditing, network maintenance and governance, network optimization, and network security. However, the process of capturing network traffic to generate the...

  16. Criteria for logical formalization

    Czech Academy of Sciences Publication Activity Database

    Peregrin, Jaroslav; Svoboda, Vladimír

    2013-01-01

    Roč. 190, č. 14 (2013), s. 2897-2924 ISSN 0039-7857 R&D Projects: GA ČR(CZ) GAP401/10/1279 Institutional support: RVO:67985955 Keywords : logic * logical form * formalization * reflective equilibrium Subject RIV: AA - Philosophy ; Religion Impact factor: 0.637, year: 2013

  17. Description logics of context

    CSIR Research Space (South Africa)

    Klarman, S

    2013-05-01

    Full Text Available We introduce Description Logics of Context (DLCs) - an extension of Description Logics (DLs) for context-based reasoning. Our approach descends from J. McCarthy's tradition of treating contexts as formal objects over which one can quantify...

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

  19. The logic of ACP

    NARCIS (Netherlands)

    A. Ponse (Alban); M.B. van der Zwaag

    2002-01-01

    textabstractWe distinguish two interpretations for the truth value `undefined' in Kleene's three-valued logic. Combining these two interpretations leads to a four-valued propositional logic that characterizes two particular ingredients of process algebra: ``choice' and ``inaction'. We study two

  20. Linear Logical Voting Protocols

    DEFF Research Database (Denmark)

    DeYoung, Henry; Schürmann, Carsten

    2012-01-01

    . In response, we promote linear logic as a high-level language for both specifying and implementing voting protocols. Our linear logical specifications of the single-winner first-past-the-post (SW- FPTP) and single transferable vote (STV) protocols demonstrate that this approach leads to concise...

  1. Logical Stochastic Resonance

    Indian Academy of Sciences (India)

    andoh

    Our motivation stems from an issue that is receiving considerable attention today: As computational devices and platforms continue to shrink in size .... Changing C changes the symmetry of the potential wells : leads to different logical responses. Morphing Logic Gate. In effect, we are able to obtain the basic ingredients of ...

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

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

  4. Advocacy and Argumentation in the Public Arena: A Guide for Social Workers

    Science.gov (United States)

    Lens, Vicki

    2005-01-01

    Whether translating research findings for public consumption, or arguing for a policy position that reflects social work values, social workers engaged in cause advocacy need rhetorical skills. The author draws from the disciplines of linguistics, logic, and communications and provides a framework for making arguments in the public arena. The…

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

  6. Fuzziness in abacus logic

    Science.gov (United States)

    Malhas, Othman Qasim

    1993-10-01

    The concept of “abacus logic” has recently been developed by the author (Malhas, n.d.). In this paper the relation of abacus logic to the concept of fuzziness is explored. It is shown that if a certain “regularity” condition is met, concepts from fuzzy set theory arise naturally within abacus logics. In particular it is shown that every abacus logic then has a “pre-Zadeh orthocomplementation”. It is also shown that it is then possible to associate a fuzzy set with every proposition of abacus logic and that the collection of all such sets satisfies natural conditions expected in systems of fuzzy logic. Finally, the relevance to quantum mechanics is discussed.

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

  8. Optical logic: an overview

    Science.gov (United States)

    Caulfield, H. John

    2005-05-01

    Progress of optical logic has been anything but uniform or even monotonic. The hope for "all optical computers" was largely abandoned after devastating critiques by Keyes. Over time, optical logic transformed into a very viable niche activity by the needs of optical communication for "all optical" logic and the advent of a critical component: the SOA or Semiconductor Optical Amplifier. I argue that a new phase in this uneven history can be defined - linear (single photon, not multiple entangled photon) quantum optical logic. These can perform conservative, reversible logic operations without energy or time penalties, but cascading requires the irreversible act of measurement, so only single devices or single layers can deliver those advantages.

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

  10. Uncertainty arguments in environmental issues

    Energy Technology Data Exchange (ETDEWEB)

    Thompson, P.B.

    A large part of environmental policy is based upon scientific studies of the likely health, safety, and ecological consequences of human actions and practices. These studies, however, are frequently vulnerable to epistemological and methodological criticisms which challenge their validity. Epistemological criticisms can be used in ethical and political philosophy arguments to challenge the applicability of scientific knowledge to environmental policy, and, in turn, to challenge the democratic basis of specific environmental policies themselves. Uncertainty arguments thus draw upon philosophy of science, epistemology, ethics, and political philosophy to establish conclusions of practical relevance to environmental quality. A theory of how and when uncertainty arguments ought to be given credence in environmental decision making requires an account of how scientific research ought to integrated into environmental policy generally, plus an account of how public environmental policy is to be set in a democracy.

  11. 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......, it is unfortunately rarely articulated. In this paper, TCA is first reconstructed on the basis of John McDowell’s formulation of the argument (from 1981), and then evaluated in the light of several possible non-cognitivist responses. In general, TCA assumes too much about what a non-cognitivist is (or must be......) committed to. There are several non-cognitivist theories, and only some fit the view attacked by TCA. Furthermore, TCA rests on a contestable intuition about a thought experiment, here called the External Standpoint Experiment (ESE). It is concluded that TCA is remarkably weak, given how frequently...

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

  13. Cybernetic systems based on inductive logic

    Science.gov (United States)

    Fry, Robert L.

    2001-05-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. .

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

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

  16. Architecture-based regulatory compliance argumentation

    DEFF Research Database (Denmark)

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

    2016-01-01

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

  17. 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).

  18. Parsing Argumentation Structures in Persuasive Essays

    OpenAIRE

    Stab, Christian; Gurevych, Iryna

    2016-01-01

    In this article, we present a novel approach for parsing argumentation structures. We identify argument components using sequence labeling at the token level and apply a new joint model for detecting argumentation structures. The proposed model globally optimizes argument component types and argumentative relations using integer linear programming. We show that our model considerably improves the performance of base classifiers and significantly outperforms challenging heuristic baselines. Mo...

  19. Logic in elementary mathematics

    CERN Document Server

    Exner, Robert M

    2011-01-01

    This applications-related introductory treatment explores facets of modern symbolic logic useful in the exposition of elementary mathematics. The authors convey the material in a manner accessible to those trained in standard elementary mathematics but lacking any formal background in logic. Topics include the statement calculus, proof and demonstration, abstract mathematical systems, and the restricted predicate calculus. The final chapter draws upon the methods of logical reasoning covered in previous chapters to develop solutions of linear and quadratic equations, definitions of order and

  20. Logic and Learning

    DEFF Research Database (Denmark)

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

    2014-01-01

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

  1. A multiplicity logic unit

    International Nuclear Information System (INIS)

    Bialkowski, J.; Moszynski, M.; Zagorski, A.

    1981-01-01

    The logic diagram principle of operation and some details of the design of the multiplicity logic unit are presented. This unit was specially designed to fulfil the requirements of a multidetector arrangement for gamma-ray multiplicity measurements. The unit is equipped with 16 inputs controlled by a common coincidence gate. It delivers a linear output pulse with the height proportional to the multiplicity of coincidences and logic pulses corresponding to 0, 1, ... up to >= 5-fold coincidences. These last outputs are used to steer the routing unit working with the multichannel analyser. (orig.)

  2. 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......, CWL contains modal operators indexed with rational numbers to predicate over the numerical labels of LWSs as well as a binary modal operator that encodes properties concerning the (de-) composition of LWSs. We develop a Hilbert-style axiomatic system for CWL and we prove weak- and strong......-completeness results for this logic. To complete these proofs we involve advanced topological techniques from Model Theory....

  3. Logical inference and evaluation

    International Nuclear Information System (INIS)

    Perey, F.G.

    1981-01-01

    Most methodologies of evaluation currently used are based upon the theory of statistical inference. It is generally perceived that this theory is not capable of dealing satisfactorily with what are called systematic errors. Theories of logical inference should be capable of treating all of the information available, including that not involving frequency data. A theory of logical inference is presented as an extension of deductive logic via the concept of plausibility and the application of group theory. Some conclusions, based upon the application of this theory to evaluation of data, are also given

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

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

  6. Topological arguments for Kolmogorov complexity

    Directory of Open Access Journals (Sweden)

    Alexander Shen

    2012-08-01

    Full Text Available We present several application of simple topological arguments in problems of Kolmogorov complexity. Basically we use the standard fact from topology that the disk is simply connected. It proves to be enough to construct strings with some nontrivial algorithmic properties.

  7. Eight Arguments against Double Effect

    DEFF Research Database (Denmark)

    Di Nucci, Ezio

    I offer eight arguments against the Doctrine of Double Effect, a normative principle according to which in pursuing the good it is sometimes morally permissible to bring about some evil as a side-effect or merely foreseen consequence: the same evil would not be morally justified as an intended...

  8. Feminist Responses to Rogerian Argument.

    Science.gov (United States)

    Lassner, Phyllis

    1990-01-01

    Discusses a course in which female students were instructed to compose argumentative compositions in the empathic style of Carl Rogers. Reports that students disliked the style, believing it pretended to accept minority opinions while making women feel as if they had to change their views to belong to the majority culture. (SG)

  9. Obesitas: argument voor weigeren fertiliteitsbehandeling?

    NARCIS (Netherlands)

    Koning, Aafke M. H.; Mol, Ben Willem; Dondorp, Wybo J.

    2014-01-01

    Obesity can lead to anovulation and subfertility. Around the world fertility treatment is withheld from women above a certain BMI, ranging from 25 to 40 kg/m2. The proponents of this policy use three different arguments to justify their restrictions: risks to the woman, health and wellbeing of the

  10. Enabling Concise and Modular Specifications in Separation Logic

    DEFF Research Database (Denmark)

    Jensen, Jonas Buhrkal

    2014-01-01

    logics and examples of using these logics to verify challenging programs. The article Modular Verification of Linked Lists with Views via Separation Logic reports on verification of a practical data structure with separation logic. The challenges identified in this work has served as motivation for later...... simple verification of simple programs. Fictional Separation Logic allows multiple notions of disjointness to coexist in a verification framework, thereby extending the utility of the frame rule. Using techniques developed in the previous article, the exact meaning of disjointness can be made abstract......Separation logic is an extension of Hoare logic for reasoning about programs that use pointers or references to potentially-shared data. The problem with such programs, both in formal proofs and in informal understanding of them, is to know not only what data they change but also to know what data...

  11. Advances in temporal logic

    CERN Document Server

    Fisher, Michael; Gabbay, Dov; Gough, Graham

    2000-01-01

    Time is a fascinating subject that has captured mankind's imagination from ancient times to the present. It has been, and continues to be studied across a wide range of disciplines, from the natural sciences to philosophy and logic. More than two decades ago, Pnueli in a seminal work showed the value of temporal logic in the specification and verification of computer programs. Today, a strong, vibrant international research community exists in the broad community of computer science and AI. This volume presents a number of articles from leading researchers containing state-of-the-art results in such areas as pure temporal/modal logic, specification and verification, temporal databases, temporal aspects in AI, tense and aspect in natural language, and temporal theorem proving. Earlier versions of some of the articles were given at the most recent International Conference on Temporal Logic, University of Manchester, UK. Readership: Any student of the area - postgraduate, postdoctoral or even research professor ...

  12. Logic for physical space

    DEFF Research Database (Denmark)

    Aiello, Marco; Bezhanishvili, Guram; Bloch, Isabelle

    2012-01-01

    Since the early days of physics, space has called for means to represent, experiment, and reason about it. Apart from physicists, the concept of space has intrigued also philosophers, mathematicians and, more recently, computer scientists. This longstanding interest has left us with a plethora...... of mathematical tools developed to represent and work with space. Here we take a special look at this evolution by considering the perspective of Logic. From the initial axiomatic efforts of Euclid, we revisit the major milestones in the logical representation of space and investigate current trends. In doing so......, we do not only consider classical logic, but we indulge ourselves with modal logics. These present themselves naturally by providing simple axiomatizations of different geometries, topologies, space-time causality, and vector spaces....

  13. Analysis and logic

    CERN Document Server

    Henson, C Ward; Kechris, Alexander S; Odell, Edward; Finet, Catherine; Michaux, Christian; Cassels, J W S

    2003-01-01

    This volume comprises articles from four outstanding researchers who work at the cusp of analysis and logic. The emphasis is on active research topics; many results are presented that have not been published before and open problems are formulated.

  14. Interval Temporal Logics

    DEFF Research Database (Denmark)

    Monica, Dario Della; Goranko, Valentin; Montanari, Angelo

    2011-01-01

    We discuss a family of modal logics for reasoning about relational structures of intervals over (usually) linear orders, with modal operators associated with the various binary relations between such intervals, known as Allen’s interval relations. The formulae of these logics are evaluated...... at intervals rather than points and the main eect of that semantic feature is substantially higher expressiveness and computational complexity of the interval logics as compared to point-based ones. Without purporting to provide a comprehensive survey of the field, we take the reader to a journey through...... the main developments in it over the past 10 years and outline some landmark results on expressiveness and (un)decidability of the satisfiability problem for the family of interval logics....

  15. Rhetoric, logic, and experiment in the quantum nonlocality debate

    Science.gov (United States)

    Graft, Donald A.

    2017-09-01

    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.

  16. Intellectual Capital Statements -When Rhetoric meets Logic

    DEFF Research Database (Denmark)

    Krag, Lotte

    This article discusses the transversal lines between science and rhetoric and how it is possible to create reliable accounting statements by using rhetoric and not only traditional logic arguments. The underlying assumption in accounting - namely that it is possible to describe a firm completely ...... rhetoric and thus should be analyzed accordingly instead of being compared with traditional accounting. Finally, the case of Byggeplandata is used as an illustration of how rhetoric is applied in an intellectual capital statement.......This article discusses the transversal lines between science and rhetoric and how it is possible to create reliable accounting statements by using rhetoric and not only traditional logic arguments. The underlying assumption in accounting - namely that it is possible to describe a firm completely...... through numbers - is not sufficient. To give a nuanced description of a firm it is necessary to supplement the traditional accounting statement with descriptions based on other means than just numbers. The article describes the differences in ways of seeing the world through the rhetorical concepts...

  17. Characterization of quantum logics

    International Nuclear Information System (INIS)

    Lahti, P.J.

    1980-01-01

    The quantum logic approach to axiomatic quantum mechanics is used to analyze the conceptual foundations of the traditional quantum theory. The universal quantum of action h>0 is incorporated into the theory by introducing the uncertainty principle, the complementarity principle, and the superposition principle into the framework. A characterization of those quantum logics (L,S) which may provide quantum descriptions is then given. (author)

  18. A Conceptual Space Logic

    DEFF Research Database (Denmark)

    Nilsson, Jørgen Fischer

    1999-01-01

    Conceptual spaces have been proposed as topological or geometric means for establishing conceptual structures and models. This paper, after briey reviewing conceptual spaces, focusses on the relationship between conceptual spaces and logical concept languages with operations for combining concepts...... to form concepts. Speci cally is introduced an algebraic concept logic, for which conceptual spaces are installed as semantic domain as replacement for, or enrichment of, the traditional....

  19. Logic and declarative language

    CERN Document Server

    Downward, M

    2004-01-01

    Logic has acquired a reputation for difficulty, perhaps because many of the approaches adopted have been more suitable for mathematicians than computer scientists. This book shows that the subject is not inherently difficult and that the connections between logic and declarative language are straightforward. Many exercises have been included in the hope that these will lead to a much greater confidence in manual proofs, therefore leading to a greater confidence in automated proofs.

  20. 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.”

  1. A belief revision approach for argumentation-based negotiation agents

    Directory of Open Access Journals (Sweden)

    Pilotti Pablo

    2015-09-01

    Full Text Available Negotiation is an interaction that happens in multi-agent systems when agents have conflicting objectives and must look for an acceptable agreement. A typical negotiating situation involves two agents that cannot reach their goals by themselves because they do not have some resources they need or they do not know how to use them to reach their goals. Therefore, they must start a negotiation dialogue, taking also into account that they might have incomplete or wrong beliefs about the other agent’s goals and resources. This article presents a negotiating agent model based on argumentation, which is used by the agents to reason on how to exchange resources and knowledge in order to achieve their goals. Agents that negotiate have incomplete beliefs about the others, so that the exchange of arguments gives them information that makes it possible to update their beliefs. In order to formalize their proposals in a negotiation setting, the agents must be able to generate, select and evaluate arguments associated with such offers, updating their mental state accordingly. In our approach, we will focus on an argumentation-based negotiation model between two cooperative agents. The arguments generation and interpretation process is based on belief change operations (expansions, contractions and revisions, and the selection process is a based on a strategy. This approach is presented through a high-level algorithm implemented in logic programming. We show various theoretical properties associated with this approach, which have been formalized and proved using Coq, a formal proof management system. We also illustrate, through a case study, the applicability of our approach in order to solve a slightly modified version of the well-known home improvement agents problem. Moreover, we present various simulations that allow assessing the impact of belief revision on the negotiation process.

  2. 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…

  3. Philosophical Foundations of Intuitionistic Logic

    Directory of Open Access Journals (Sweden)

    L Nabavi

    2013-02-01

    Full Text Available Intuitionistic logic, as a non-classical logic, encompasses the principles of logical reasoning which were used by L. E. J. Brouwer in developing his intuitionistic mathematics. Brouwer rejected the principle of the excluded middle on the basis of his philosophy. In his philosophical view, logic is the application of mathematics to the language of mathematics. In other words, logic studies the patterns that characterize valid inference. The resulting linguistic system of logic may be studied mathematically, even independently of the mathematical activities that it was originally abstracted from. In this paper, the philosophical basis of Brouwer’s view about Logic and Mathematics is explained.

  4. Philosophical Foundations of Intuitionistic Logic

    Directory of Open Access Journals (Sweden)

    L Nabavi

    2013-03-01

    Full Text Available Intuitionistic logic, as a non-classical logic, encompasses the principles of logical reasoning which were used by L. E. J. Brouwer in developing his intuitionistic mathematics. Brouwer rejected the principle of the excluded middle on the basis of his philosophy. In his philosophical view, logic is the application of mathematics to the language of mathematics. In other words, logic studies the patterns that characterize valid inference. The resulting linguistic system of logic may be studied mathematically, even independently of the mathematical activities that it was originally abstracted from. In this paper, the philosophical basis of Brouwer’s view about Logic and Mathematics is explained.

  5. 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...... logic with countable infinite indeterminacy, where each basic formula can get its own indeterminate truth value (or as we prefer: truth code). The meaning of the logical operators is new and rather different from traditional many-valued logics as well as from logics based on bilattices. The adequacy...

  6. The probabilistic no miracles argument.

    Science.gov (United States)

    Sprenger, Jan

    This paper develops a probabilistic reconstruction of the No Miracles Argument (NMA) in the debate between scientific realists and anti-realists. The goal of the paper is to clarify and to sharpen the NMA by means of a probabilistic formalization. In particular, I demonstrate that the persuasive force of the NMA depends on the particular disciplinary context where it is applied, and the stability of theories in that discipline. Assessments and critiques of "the" NMA, without reference to a particular context, are misleading and should be relinquished. This result has repercussions for recent anti-realist arguments, such as the claim that the NMA commits the base rate fallacy (Howson (2000), Magnus and Callender ( Philosophy of Science , 71 :320-338, 2004)). It also helps to explain the persistent disagreement between realists and anti-realists.

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

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

  9. Non-logic devices in logic processes

    CERN Document Server

    Ma, Yanjun

    2017-01-01

    This book shows readers how to design semiconductor devices using the most common and lowest cost logic CMOS processes.  Readers will benefit from the author’s extensive, industrial experience and the practical approach he describes for designing efficiently semiconductor devices that typically have to be implemented using specialized processes that are expensive, time-consuming, and low-yield. The author presents an integrated picture of semiconductor device physics and manufacturing techniques, as well as numerous practical examples of device designs that are tried and true.

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

  11. RHETORICAL STRUCTURE OF ARGUMENTATIVE ANSWER

    Directory of Open Access Journals (Sweden)

    Juliano Desiderato ANTONIO

    2014-12-01

    Full Text Available The aim of this paper is to describe the rhetorical structure of the argumentative answer genre in a corpus formed by 15 compositions of the winter vestibular of Universidade Estadual de Maringá. The instrument of analysis used in the investigation was RST (Rhetorical Structure Theory. The initial statement was considered the central unit of the argumentative answer. Most of the writers held evidence relation between the central unit (nucleus and the expansion (satellite. Evidence relation is interpersonal and the aim of the writers is to convince their addressees (in this case the compositions evaluation committee that their point is correct. Within the initial statement, the relation with higher frequency was contrast. Our hypothesis is that the selection of texts of the test influenced the applicants to present positive and negative aspects of the internet. In the higher level of the expansion text span, list is the most frequent relation because the applicants present various arguments with the same status. Contrast was the second relation with highest frequency in this same level. Our hypothesis is that the selection of texts of the test influenced the applicants to present positive and negative aspects of the internet as it happened in the initial statement. Within the 15 compositions, 12 had a conclusion. This part was considered a satellite of the span formed by the initial statement and its expansion. The relation held was homonymous.

  12. Uncertain Reasoning in Justification Logic

    OpenAIRE

    Kokkinis, Ioannis

    2016-01-01

    This thesis studies the combination of two well known formal systems for knowledge representation: probabilistic logic and justification logic. Our aim is to design a formal framework that allows the analysis of epistemic situations with incomplete information. In order to achieve this we introduce two probabilistic justification logics, which are defined by adding probability operators to the minimal justification logic J. We prove soundness and completeness theorems for our logics and estab...

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

  14. Connections among quantum logics. Pt. 1. Quantum propositional logics

    Energy Technology Data Exchange (ETDEWEB)

    Lock, P.F. (Saint Lawrence Univ., Canton, New York (USA). Dept. of Mathematics); Hardegree, G.M. (Massachusetts Univ., Amherst (USA). Dept. of Philosophy)

    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.

  15. On the likelihood of normalisation in combinatory logic

    OpenAIRE

    Bendkowski, Maciej; Grygiel, Katarzyna; Zaionc, Marek

    2016-01-01

    We present a quantitative basis-independent analysis of combinatory logic. Using a general argument regarding plane binary trees with labelled leaves, we generalise the results of David et al. and Bendkowski et al. to all Turing-complete combinator bases proving, inter alia, that asymptotically almost no combinator is strongly normalising nor typeable. We exploit the structure of recently discovered normal-order reduction grammars showing that for each positive $n$, the set of $\\mathbf{S} \\ma...

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

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

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

  19. Zero expression of arguments in Old Danish

    DEFF Research Database (Denmark)

    Heltoft, Lars

    2014-01-01

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

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

  1. Logical reasoning with diagrams

    CERN Document Server

    Allwein, Gerard

    1996-01-01

    PART A: Theoretical Issues. 1. Visual Information and Valid Reasoning, Jon Barwise and John Etchemendy. 2. Operational Constraints in Diagrammatic Reasoning, Atsushi Shimojima. 3. Diagrams and the Concept of Logical System, Jon Barwise and Eric Hammer. PART B: Case Studies. 4. Situation-Theoretic Account of Valid Reasoning with Venn Diagrams, Sun-Joo Shin. 5. Towards a Model Theory of Venn Diagrams, eric Hammer and Norman Danner. 6. Peircean Graphs for Propositional Logic, Eric Hammer. 7. A Diagrammatic Subsystem of Hilbert''s Geometry, Isabel Luengo. PART C: Heterogenous Systems. 8. Heterogenous Logic, Jon Barwise and John Etchemendy. 9. Toward the Rigorous Use of Diagrams in Reasoning about Hardware, Steven D. Johnson, Jon Barwise, and Gerard Allwein. 10. Exploiting the Potential of Diagrams in Guiding Hardware Reasoning, Kathi D. Fisler

  2. Fuzzy logic control

    Directory of Open Access Journals (Sweden)

    Zoltan Erdei

    2011-12-01

    Full Text Available In this paper the authors present the usefulness of fuzzy logic in controlling engineering processes or applications. Although fuzzy logic does not represent a novelty for the scientific and engineering field, it enjoys a great appreciation from those involved in the two domains. The fact that fuzzy logic uses sentences kindred with the natural language make it easier to comprehend that a complex mathematical model required by the classic control theory. In MatLab software there are dedicated toolboxes to this subject that make the design of a fuzzy controller a facile one. In the paper design methods of a fuzzy controller are being presented both in Simulink and MatLab.

  3. VHDL for logic synthesis

    CERN Document Server

    Rushton, Andrew

    2011-01-01

    Many engineers encountering VHDL (very high speed integrated circuits hardware description language) for the first time can feel overwhelmed by it. This book bridges the gap between the VHDL language and the hardware that results from logic synthesis with clear organisation, progressing from the basics of combinational logic, types, and operators; through special structures such as tristate buses, register banks and memories, to advanced themes such as developing your own packages, writing test benches and using the full range of synthesis types. This third edition has been substantially rewritten to include the new VHDL-2008 features that enable synthesis of fixed-point and floating-point hardware. Extensively updated throughout to reflect modern logic synthesis usage, it also contains a complete case study to demonstrate the updated features. Features to this edition include: * a common VHDL subset which will work across a range of different synthesis systems, targeting a very wide range of technologies...

  4. Duration Calculus: Logical Foundations

    DEFF Research Database (Denmark)

    Hansen, Michael Reichhardt; Chaochen, Zhou

    1997-01-01

    The Duration Calculus (abbreviated DC) represents a logical approach to formal design of real-time systems, where real numbers are used to model time and Boolean valued functions over time are used to model states and events of real-time systems. Since it introduction, DC has been applied to many...... case studies and it has been extended in several directions. The aim of this paper is to provide a thorough presentation of the logic.......The Duration Calculus (abbreviated DC) represents a logical approach to formal design of real-time systems, where real numbers are used to model time and Boolean valued functions over time are used to model states and events of real-time systems. Since it introduction, DC has been applied to many...

  5. Fuzzy logic in management

    CERN Document Server

    Carlsson, Christer; Fullér, Robert

    2004-01-01

    Fuzzy Logic in Management demonstrates that difficult problems and changes in the management environment can be more easily handled by bringing fuzzy logic into the practice of management. This explicit theme is developed through the book as follows: Chapter 1, "Management and Intelligent Support Technologies", is a short survey of management leadership and what can be gained from support technologies. Chapter 2, "Fuzzy Sets and Fuzzy Logic", provides a short introduction to fuzzy sets, fuzzy relations, the extension principle, fuzzy implications and linguistic variables. Chapter 3, "Group Decision Support Systems", deals with group decision making, and discusses methods for supporting the consensus reaching processes. Chapter 4, "Fuzzy Real Options for Strategic Planning", summarizes research where the fuzzy real options theory was implemented as a series of models. These models were thoroughly tested on a number of real life investments, and validated in 2001. Chapter 5, "Soft Computing Methods for Reducing...

  6. Effects of Dyadic Interaction on Argumentative Reasoning.

    Science.gov (United States)

    Kuhn, Deanna; Shaw, Victoria; Felton, Mark

    1997-01-01

    Tested hypothesis that thinking about a topic enhances later reasoning quality about that topic. Found that, when young adolescents and adults discussed capital punishment, their range of different arguments increased, they shifted from one-sided to two-sided arguments, arguments were based within a framework of alternatives, and they were more…

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

  8. 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,…

  9. 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…

  10. 32 CFR 150.16 - Oral arguments.

    Science.gov (United States)

    2010-07-01

    ... 32 National Defense 1 2010-07-01 2010-07-01 false Oral arguments. 150.16 Section 150.16 National Defense Department of Defense OFFICE OF THE SECRETARY OF DEFENSE REGULATIONS PERTAINING TO MILITARY JUSTICE COURTS OF CRIMINAL APPEALS RULES OF PRACTICE AND PROCEDURE § 150.16 Oral arguments. Oral arguments...

  11. Teaching and Learning, Stories and Arguments

    Science.gov (United States)

    Govier, Trudy

    2013-01-01

    This paper explains and illustrates a method of argumentative reconstruction that may be used in the teaching of stories. Without maintaining that argument is superior to narrative or that all narratives should be cast as arguments, I illustrate the benefits of this approach for critical thinking and the discussion that ensues when one seeks to…

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

  13. Modern Logical Frameworks Design

    DEFF Research Database (Denmark)

    Murawska, Agata Anna

    2017-01-01

    Throughout the years, logical frameworks have been a successful tool for prototyping and developing a number of logics and programming languages. However, to use the full power of the LF approach, the behaviour of variables in the system being mechanised must match the behaviour of those used...... or a cryptographic protocol used in a voting system, we need the ability to model and reason about both the building blocks of these systems and the intricate connections between them. To this end, this dissertation is an investigation into LF-based formalisms that might help address the aforementioned issues. We...

  14. Set theory and logic

    CERN Document Server

    Stoll, Robert R

    1979-01-01

    Set Theory and Logic is the result of a course of lectures for advanced undergraduates, developed at Oberlin College for the purpose of introducing students to the conceptual foundations of mathematics. Mathematics, specifically the real number system, is approached as a unity whose operations can be logically ordered through axioms. One of the most complex and essential of modern mathematical innovations, the theory of sets (crucial to quantum mechanics and other sciences), is introduced in a most careful concept manner, aiming for the maximum in clarity and stimulation for further study in

  15. Electronic logic circuits

    CERN Document Server

    Gibson, J

    2013-01-01

    Most branches of organizing utilize digital electronic systems. This book introduces the design of such systems using basic logic elements as the components. The material is presented in a straightforward manner suitable for students of electronic engineering and computer science. The book is also of use to engineers in related disciplines who require a clear introduction to logic circuits. This third edition has been revised to encompass the most recent advances in technology as well as the latest trends in components and notation. It includes a wide coverage of application specific integrate

  16. Modular Logic Metaprogramming

    DEFF Research Database (Denmark)

    Klose, Karl; Ostermann, Klaus

    2010-01-01

    In logic metaprogramming, programs are not stored as plain textfiles but rather derived from a deductive database. While the benefits of this approach for metaprogramming are obvious, its incompatibility with separate checking limits its applicability to large-scale projects. We analyze the probl......In logic metaprogramming, programs are not stored as plain textfiles but rather derived from a deductive database. While the benefits of this approach for metaprogramming are obvious, its incompatibility with separate checking limits its applicability to large-scale projects. We analyze...

  17. The Logic of XACML

    DEFF Research Database (Denmark)

    Ramli, Carroline Dewi Puspa Kencana; Nielson, Hanne Riis; Nielson, Flemming

    2011-01-01

    We study the international standard XACML 3.0 for describing security access control policy in a compositional way. Our main contribution is to derive a logic that precisely captures the idea behind the standard and to formally define the semantics of the policy combining algorithms of XACML....... To guard against modelling artefacts we provide an alternative way of characterizing the policy combining algorithms and we formally prove the equivalence of these approaches. This allows us to pinpoint the shortcoming of previous approaches to formalization based either on Belnap logic or on D -algebra....

  18. Progress in Programmable Logic

    Directory of Open Access Journals (Sweden)

    Jozef Cuntala

    2004-01-01

    Full Text Available Programmable logic devices (PLD are situated on important place among microelectronic components thanks to the continuing technological development of semiconductor components, due to new architectures and new approaches to digital systems design. Software design of various complicated digital systems becomes advantageous article of many firms. The Department of Electronics and Electrotechnology pays pemanent attention to mentioned components in application field. The collective of authors wants in this article point out on possibilities of design of digital system using the PLD. The paper plan contains the following basic parts: Technological aspects that influence development of configurable logic devices, Methodology od design and implementation and Flexibility of PLD interface.

  19. Forms of written arguments : A comparison between Japan and the United States

    OpenAIRE

    Suzuki, Shinobu

    2010-01-01

    Studying cultural differences in argument forms helps us understand the nature of communicative problems that inevitably arise in intercultural conflict and negotiation. Although a number of studies have been conducted in the past to examine cultural differences in arguments, we still do not have sufficient evidence to support that cultural groups actually differ in the manners in which they construct arguments. Given the situation, this study empirically examines whether and how cultural gro...

  20. Oral genres, argumentation and teaching

    Directory of Open Access Journals (Sweden)

    Zilda G. O. Aquino

    2015-02-01

    Full Text Available This paper aims at dealing with issues related to language spoken in the classroom, focusing on discursive practices that highlight argumentation. We believe that the discussions that were made around genres, especially guided by the studies of Bakhtin and Text Linguistics, have been providing a breakthrough towards the necessity for the school to promote language teaching through the discursive genre approach. That is what we expect to be happening since both writing and spoken modalities deserve space in learning. We believe that oral genres demand that teachers acquire specific knowledge of the features of spoken language interaction that arise from its use in practical situations. Because these studies are recent among our researchers (not longer than three decades, they should still be very present in our discussions. In this paper, we focus on a specific genre of oral tradition – the debate. It is ideal for knowledge building and taking a stand at issues that arise in society, all of which is particularly important to the school. Besides contributing to the development of skills required by certain sociodiscursive practices, it is proposed that the teaching of argumentation in oral genres concentrate on the observation of selected strategies in interactions. We are particularly interested in interactions that emerge when one interaction party is trying to persuade the other. The corpus consists of the transcriptions of debates which occurred both in the classroom and in other contexts, such as the media. The methodological approach is done by identifying the arguments and their strategic use in specific situations. The theoretical discussion rests on the works of Orecchioni (2010, Marcuschi (2004, Dolz and Schneuwly (2004, Perelman and Olbrechts-Tyteca (1996 [1958], among others.

  1. Den argumentative teksttype i reklamer

    DEFF Research Database (Denmark)

    Nielsen, Anne Ellerup

    1998-01-01

    - and macropropositions, it is a multicriterial model which takes into account both the syntactic, semantic and pragmatic features of texts. However, the model seems to offer some problems in establishing the limits between the argumentative and the descriptive text type. This imprecision is apparently due to the lack......The text-typology model developed by Jean-Michel Adam is one of the most well-defined and operational models if one wants to categorize whole texts or text fragments into smaller units. Given that a texttype is the result of specific functional and structural relations between micro...

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

  3. Quantum logics with existence property

    Energy Technology Data Exchange (ETDEWEB)

    Schindler, C. (Univ. Bern (Switzerland))

    1991-04-01

    A quantum logic ({sigma}-orthocomplete orthomodular poset L with a convex, unital, and separating set {Delta} of states) is said to have the existence property if the expectation functionals on lin({Delta}) 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).

  4. The Life-Embeddedness of Argumentation: A Prelude to Treating Arguments as Exhortations.

    Science.gov (United States)

    Schwartzman, Roy

    Argumentation is fundamentally exhortative: arguments can be understood as invitations to emulate the lives of those who make the arguments. The human exemplar of an argument's substance, e.g. Jesus Christ as exemplar of Christianity, is the paradigm for this theory in which the arguer's identity is seen both as equal in importance to and…

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

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

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

  8. Layered Fixed Point Logic

    DEFF Research Database (Denmark)

    Filipiuk, Piotr; Nielson, Flemming; Nielson, Hanne Riis

    2012-01-01

    are a Moore Family result and a parametrized worst case time complexity result. We show that the logic and the associated solver can be used for rapid prototyping of analyses and illustrate a wide variety of applications within Static Analysis, Constraint Satisfaction Problems and Model Checking. In all cases...

  9. Temporal logic motion planning

    CSIR Research Space (South Africa)

    Seotsanyana, M

    2010-01-01

    Full Text Available In this paper, a critical review on temporal logic motion planning is presented. The review paper aims to address the following problems: (a) In a realistic situation, the motion planning problem is carried out in real-time, in a dynamic, uncertain...

  10. Foundations of mathematical logic

    CERN Document Server

    Curry, Haskell B

    2010-01-01

    Written by a pioneer of mathematical logic, this comprehensive graduate-level text explores the constructive theory of first-order predicate calculus. It covers formal methods, including algorithms and epitheory, and offers a brief treatment of Markov's approach to algorithms, explains elementary facts about lattices and similar algebraic systems, and more. 1963 edition.

  11. The Logic of XACML

    DEFF Research Database (Denmark)

    Ramli, Carroline Dewi Puspa Kencana; Nielson, Hanne Riis; Nielson, Flemming

    2011-01-01

    We study the international standard XACML 3.0 for describing security access control policy in a compositional way. Our main contribution is to derive a logic that precisely captures the idea behind the standard and to formally define the semantics of the policy combining algorithms of XACML. To ...

  12. Quantum probabilistic logic programming

    Science.gov (United States)

    Balu, Radhakrishnan

    2015-05-01

    We describe a quantum mechanics based logic programming language that supports Horn clauses, random variables, and covariance matrices to express and solve problems in probabilistic logic. The Horn clauses of the language wrap random variables, including infinite valued, to express probability distributions and statistical correlations, a powerful feature to capture relationship between distributions that are not independent. The expressive power of the language is based on a mechanism to implement statistical ensembles and to solve the underlying SAT instances using quantum mechanical machinery. We exploit the fact that classical random variables have quantum decompositions to build the Horn clauses. We establish the semantics of the language in a rigorous fashion by considering an existing probabilistic logic language called PRISM with classical probability measures defined on the Herbrand base and extending it to the quantum context. In the classical case H-interpretations form the sample space and probability measures defined on them lead to consistent definition of probabilities for well formed formulae. In the quantum counterpart, we define probability amplitudes on Hinterpretations facilitating the model generations and verifications via quantum mechanical superpositions and entanglements. We cast the well formed formulae of the language as quantum mechanical observables thus providing an elegant interpretation for their probabilities. We discuss several examples to combine statistical ensembles and predicates of first order logic to reason with situations involving uncertainty.

  13. Dynamic epistemic temporal logic

    NARCIS (Netherlands)

    Renne, B.; Sack, Joshua; Yap, Audrey; He, X.; Horty, J.; Pacuit, E.

    2009-01-01

    We introduce a new type of arrow in the update frames (or "action models") of Dynamic Epistemic Logic in a way that enables us to reason about epistemic temporal dynamics in multi-agent systems that need not be synchronous. Since van Benthem and Pacuit (later joined by Hoshi and Gerbrandy) showed

  14. Duration Calculus: Logical Foundations

    DEFF Research Database (Denmark)

    Hansen, Michael Reichhardt; Chaochen, Zhou

    1997-01-01

    The Duration Calculus (abbreviated DC) represents a logical approach to formal design of real-time systems, where real numbers are used to model time and Boolean valued functions over time are used to model states and events of real-time systems. Since it introduction, DC has been applied to many...

  15. The Logic of Bundles

    Science.gov (United States)

    Harding, John; Yang, Taewon

    2015-12-01

    Since the work of Crown (J. Natur. Sci. Math. 15(1-2), 11-25 1975) in the 1970's, it has been known that the projections of a finite-dimensional vector bundle E form an orthomodular poset ( omp) {P}(E). This result lies in the intersection of a number of current topics, including the categorical quantum mechanics of Abramsky and Coecke (2004), and the approach via decompositions of Harding (Trans. Amer. Math. Soc. 348(5), 1839-1862 1996). Moreover, it provides a source of omps for the quantum logic program close to the Hilbert space setting, and admitting a version of tensor products, yet having important differences from the standard logics of Hilbert spaces. It is our purpose here to initiate a basic investigation of the quantum logic program in the vector bundle setting. This includes observations on the structure of the omps obtained as {P}(E) for a vector bundle E, methods to obtain states on these omps, and automorphisms of these omps. Key theorems of quantum logic in the Hilbert setting, such as Gleason's theorem and Wigner's theorem, provide natural and quite challenging problems in the vector bundle setting.

  16. Logic and Natural selection

    Czech Academy of Sciences Publication Activity Database

    Peregrin, Jaroslav

    2010-01-01

    Roč. 4, č. 2 (2010), s. 207-223 ISSN 1661-8297 R&D Projects: GA ČR(CZ) GAP401/10/1279 Institutional research plan: CEZ:AV0Z9009908 Keywords : logic * natural selection * modus potens * inferentialism Subject RIV: AA - Philosophy ; Religion

  17. Expressivist Perspective on Logicality

    Czech Academy of Sciences Publication Activity Database

    Arazim, Pavel

    2017-01-01

    Roč. 11, č. 4 (2017), s. 409-419 ISSN 1661-8297 R&D Projects: GA ČR(CZ) GA17-15645S Institutional support: RVO:67985955 Keywords : logical constant * expressivism * topic-neutrality * proof-theory * conservativity Subject RIV: AA - Philosophy ; Religion OBOR OECD: Philosophy, History and Philosophy of science and technology

  18. Dedekind’s logicism

    Czech Academy of Sciences Publication Activity Database

    Klev, Ansten

    2017-01-01

    Roč. 25, č. 3 (2017), s. 341-368 ISSN 0031-8019 Institutional support: RVO:67985955 Keywords : Philosophy of mathematics * logicism * Richard Dedekind Subject RIV: AA - Philosophy ; Religion OBOR OECD: Philosophy, History and Philosophy of science and technology Impact factor: 0.419, year: 2016

  19. Parametric Linear Dynamic Logic

    Directory of Open Access Journals (Sweden)

    Peter Faymonville

    2014-08-01

    Full Text Available We introduce Parametric Linear Dynamic Logic (PLDL, which extends Linear Dynamic Logic (LDL by temporal operators equipped with parameters that bound their scope. LDL was proposed as an extension of Linear Temporal Logic (LTL that is able to express all ω-regular specifications while still maintaining many of LTL's desirable properties like an intuitive syntax and a translation into non-deterministic Büchi automata of exponential size. But LDL lacks capabilities to express timing constraints. By adding parameterized operators to LDL, we obtain a logic that is able to express all ω-regular properties and that subsumes parameterized extensions of LTL like Parametric LTL and PROMPT-LTL. Our main technical contribution is a translation of PLDL formulas into non-deterministic Büchi word automata of exponential size via alternating automata. This yields a PSPACE model checking algorithm and a realizability algorithm with doubly-exponential running time. Furthermore, we give tight upper and lower bounds on optimal parameter values for both problems. These results show that PLDL model checking and realizability are not harder than LTL model checking and realizability.

  20. Logicism, intuitionism, and formalism

    CERN Document Server

    Symons, John

    2008-01-01

    Aims to review the programmes in the foundations of mathematics from the classical period and to assess their possible relevance for contemporary philosophy of mathematics. This work is suitable for researchers and graduate students of philosophy, logic, mathematics and theoretical computer science.

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

  2. Can we separate verbs from their argument structure? A group study in aphasia.

    Science.gov (United States)

    Caley, Sarah; Whitworth, Anne; Claessen, Mary

    2017-01-01

    Given the integral role that verbs play in sentence production, understanding verb deficits is critical to clinical practice. Difficulties in sentence production are often directly related to an inability to retrieve argument structure information which, according to most theoretical accounts, is specified at a lexical level as part of the semantic representation of the verb. The presence of an argument complexity effect when retrieving verbs in isolation, i.e. increased difficulty with increasing number of arguments required by the verb, is considered evidence of the integral link between verbs and the ensuing structure. Recent reports, however, of relatively intact verb retrieval and impaired argument structure suggest that difficulties with verbs and argument structure may not always co-occur. One explanation for this is that lexical-syntactic information may be stored separately to lexical-semantic information at the lemma level and then differentially impaired. To determine whether the presence of difficulties creating argument structure in a group of people with aphasia with verb-retrieval deficits consistently aligned with the underlying nature of their impairment, where semantic involvement resulted in argument structure difficulties and post-semantic impairment resulted in intact argument structure. This would provide evidence either to support or to challenge the view that argument structure is lexically specified. The presence of an argument complexity effect within the participants' single verb naming was also investigated to examine the relationship between verb argument information and any subsequent difficulties creating argument structure for sentence production. Verb retrieval and argument structure production were investigated in 12 people with aphasia with verb-retrieval deficits on single-word and sentence-production measures. Eight of the 12 participants presented with a semantic verb deficit (five semantic and three mixed semantic and

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

  4. Logical analysis of biological systems

    DEFF Research Database (Denmark)

    Mardare, Radu Iulian

    2005-01-01

    R. Mardare, Logical analysis of biological systems. Fundamenta Informaticae, N 64:271-285, 2005.......R. Mardare, Logical analysis of biological systems. Fundamenta Informaticae, N 64:271-285, 2005....

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

  6. Information Flow in Logical Environments

    OpenAIRE

    Kent, Robert E.

    2016-01-01

    This paper describes information flow within logical environments. The theory of information flow, the logic of distributed systems, was first defined by Barwise and Seligman (Information Flow: The Logic of Distributed Systems. 1997). Logical environments are a semantic-oriented version of institutions. The theory of institutions, which was initiated by Goguen and Burstall (Institutions: Abstract Model Theory for Specification and Programming. 1992), is abstract model theory. Information flow...

  7. First course in fuzzy logic

    CERN Document Server

    Nguyen, Hung T

    2005-01-01

    THE CONCEPT OF FUZZINESS Examples Mathematical modeling Some operations on fuzzy sets Fuzziness as uncertainty Exercises SOME ALGEBRA OF FUZZY SETS Boolean algebras and lattices Equivalence relations and partitions Composing mappings Isomorphisms and homomorphisms Alpha-cuts Images of alpha-level sets Exercises FUZZY QUANTITIES Fuzzy quantities Fuzzy numbers Fuzzy intervals Exercises LOGICAL ASPECTS OF FUZZY SETS Classical two-valued logic A three-valued logic Fuzzy logic Fuzzy and Lukasiewi

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

  9. Analogical proportions: another logical view

    Science.gov (United States)

    Prade, Henri; Richard, Gilles

    This paper investigates the logical formalization of a restricted form of analogical reasoning based on analogical proportions, i.e. statements of the form a is to b as c is to d. Starting from a naive set theoretic interpretation, we highlight the existence of two noticeable companion proportions: one states that a is to b the converse of what c is to d (reverse analogy), while the other called paralogical proportion expresses that what a and b have in common, c and d have it also. We identify the characteristic postulates of the three types of proportions and examine their consequences from an abstract viewpoint. We further study the properties of the set theoretic interpretation and of the Boolean logic interpretation, and we provide another light on the understanding of the role of permutations in the modeling of the three types of proportions. Finally, we address the use of these proportions as a basis for inference in a propositional setting, and relate it to more general schemes of analogical reasoning. The differences between analogy, reverse-analogy, and paralogy is still emphasized in a three-valued setting, which is also briefly presented.

  10. Middle and High School Teacher Responses to an Authentic Argument Writing Seminar

    Science.gov (United States)

    Kohnen, Angela M.

    2017-01-01

    This qualitative study examined a five-day summer professional development workshop for English language arts teachers on argument writing. Fourteen teacher participants learned from five different professionals who discussed the role of argument in their fields. Teacher blog posts were coded to understand what teacher participants perceived as…

  11. 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,…

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

    Science.gov (United States)

    Taneja, Anju

    2016-01-01

    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…

  13. Design Research on Inquiry-Based Multivariable Calculus: Focusing on Students' Argumentation and Instructional Design

    Science.gov (United States)

    Kwon, Oh Nam; Bae, Younggon; Oh, Kuk Hwan

    2015-01-01

    In this study, researchers design and implement an inquiry based multivariable calculus course in a university which aims at enhancing students' argumentation in rich mathematical discussions. This research aims to understand the characteristics of students' argumentation in activities involving proof constructions through mathematical…

  14. 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…

  15. Logic in culture of thinking

    Directory of Open Access Journals (Sweden)

    Baranov G. V.

    2016-12-01

    Full Text Available in this article the logic perspective in information culture is investigated. The contents of four laws of logical thinking in their value for thinking and humanitarian culture of the personality are described. Formal and logical laws are characterized by a condition of uniform information culture of mankind.

  16. Modal Logics for Cryptographic Processes

    DEFF Research Database (Denmark)

    Frendrup, U.; Huttel, Hans; Jensen, N. J.

    2002-01-01

    We present three modal logics for the spi-calculus and show that they capture strong versions of the environment sensitive bisimulation introduced by Boreale et al. Our logics differ from conventional modal logics for process calculi in that they allow us to describe the knowledge of an attacker ...

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

  18. Games for topological fixpoint logic

    NARCIS (Netherlands)

    Bezhanishvili, N.; Kupke, C.

    2016-01-01

    Topological fixpoint logics are a family of logics that admits topological models and where the fixpoint operators are defined with respect to the topological interpretations. Here we consider a topological fixpoint logic for relational structures based on Stone spaces, where the fixpoint operators

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

  20. Towards an Argumentation System for Supporting Patients in Self-Managing their Chronic Conditions

    OpenAIRE

    Kokciyan, Nadin; Sassoon, Isabel Karen; Young, Anthony Peter; Chapman, Martin David; Porat, Talya Rica; Ashworth, Mark; Curcin, Vasa; Modgil, Sanjay; Parsons, Simon Dominic; Sklar, Elizabeth Ida

    2018-01-01

    CONSULT is a decision-support framework designed to help patients self-manage chronic conditions and adhere to agreed-upon treatment plans, in collaboration with healthcare professionals. The approach taken employs computational argumentation, a logic-based methodology that provides a formal means for reasoning with evidence by substantiating claims for and against particular conclusions. This paper outlines the architecture of CONSULT, illustrating how facts are gathered about the patient an...

  1. CLAD DEGRADATION - FEPS SCREENING ARGUMENTS

    International Nuclear Information System (INIS)

    R. Schreiner

    2004-01-01

    The purpose of this report is to evaluate and document the screening of the clad degradation features, events, and processes (FEPs) with respect to modeling used to support the Total System Performance Assessment-License Application (TSPA-LA). This report also addresses the effect of certain FEPs on both the cladding and the commercial spent nuclear fuel (CSNF), DOE-owned spent nuclear fuel (DSNF), and defense high-level waste (DHLW) waste forms, as appropriate to address the effects on multiple materials and both components (FEPs 2.1.09.09.0A, 2.1.09.11.0A, 2.1.11.05.0A, 2.1.12.02.0A, and 2.1.12.03.0A). These FEPs are expected to affect the repository performance during the postclosure regulatory period of 10,000 years after permanent closure. Table 1-1 provides the list of cladding FEPs, including their screening decisions (include or exclude). The primary purpose of this report is to identify and document the analysis, screening decision, and TSPA-LA disposition (for included FEPs) or screening argument (for excluded FEPs) for these FEPs related to clad degradation. In some cases, where a FEP covers multiple technical areas and is shared with other FEP reports, this report may provide only a partial technical basis for the screening of the FEP. The full technical basis for shared FEPs is addressed collectively by the sharing FEP reports. The screening decisions and associated TSPA-LA dispositions or screening arguments from all of the FEP reports are cataloged in a project-specific FEPs database

  2. Logic Programming in LISP.

    Science.gov (United States)

    1981-01-01

    Rapport, Groupe Intelligence Pasero, R., Artificielle , Universite d’Aix-Marseille, Roussel, P. Luminy, France, 1973. [Kowalski 1974] Kowalski, R. A...THIS PAGZ(Whan Doee Es tMord) Item 20 (Cont’d) ------ work in the area of artificial intelligence and those used in general program development into a...logic programming with LISP for implementing intelligent data base query systems. Continued developments will allow for enhancements to be made to the

  3. Probabilistic Logical Characterization

    DEFF Research Database (Denmark)

    Hermanns, Holger; Parma, Augusto; Segala, Roberto

    2011-01-01

    Probabilistic automata exhibit both probabilistic and non-deterministic choice. They are therefore a powerful semantic foundation for modeling concurrent systems with random phenomena arising in many applications ranging from artificial intelligence, security, systems biology to performance...... modeling. Several variations of bisimulation and simulation relations have proved to be useful as means to abstract and compare different automata. This paper develops a taxonomy of logical characterizations of these relations on image-finite and image-infinite probabilistic automata....

  4. Magnetoresistive logic and biochip

    International Nuclear Information System (INIS)

    Brueckl, Hubert; Brzeska, Monika; Brinkmann, Dirk; Schotter, J.Joerg; Reiss, Guenter; Schepper, Willi; Kamp, P.-B.; Becker, Anke

    2004-01-01

    While some magnetoresistive devices based on giant magnetoresistance or spin-dependent tunneling are already commercialized, a new branch of development is evolving towards magnetoresistive logic with magnetic tunnel junctions. Furthermore, the new magnetoelectronic effects show promising properties in magnetoresistive biochips, which are capable of detecting even single molecules (e.g. DNA) by functionalized magnetic markers. The unclear limits of this approach are discussed with two model systems

  5. 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…

  6. Marketing Logics, Ambidexterity and Influence

    DEFF Research Database (Denmark)

    Tollin, Karin; Schmidt, Marcus

    2012-01-01

    in four CMOs have taken on this challenge, or adopted a marketing logic which could be referred to as ambidextrous. Furthermore, the study shows that this logic exerts a stronger impact on marketing's influence, compared to logics related to assuring brand consistency and measuring the performance...... of marketing processes. Three other ways to enact marketing management were also revealed, namely: an innovation; a communication; and a supporting marketing logic. This leads us to conclude that the influence of companies' marketing functions show up a heterogeneous picture within which the marketing logics...

  7. 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...... foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation. During two weeks, around 50 courses and 10 workshops are offered to the attendants, each of 1...

  8. Logical errors on proving theorem

    Science.gov (United States)

    Sari, C. K.; Waluyo, M.; Ainur, C. M.; Darmaningsih, E. N.

    2018-01-01

    In tertiary level, students of mathematics education department attend some abstract courses, such as Introduction to Real Analysis which needs an ability to prove mathematical statements almost all the time. In fact, many students have not mastered this ability appropriately. In their Introduction to Real Analysis tests, even though they completed their proof of theorems, they achieved an unsatisfactory score. They thought that they succeeded, but their proof was not valid. In this study, a qualitative research was conducted to describe logical errors that students made in proving the theorem of cluster point. The theorem was given to 54 students. Misconceptions on understanding the definitions seem to occur within cluster point, limit of function, and limit of sequences. The habit of using routine symbol might cause these misconceptions. Suggestions to deal with this condition are described as well.

  9. Logic in linguistics: semiotic square and pragmatic intentional states

    Directory of Open Access Journals (Sweden)

    Daniel Felix Costa Jr.

    2013-07-01

    Full Text Available Some linguistic theories are filled with logical terms and operators. As examples we chose two areas – Semiotics and Pragmatics – and one subject in each of them: the semiotic square and the intentional states. Although unfamiliarity of logic operations does not affect the general understanding of the subject, it complicates the understanding of the treatment that is given to the terms.

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

  11. Agent Argumentation with Opinions and Advice

    Science.gov (United States)

    Debenham, John; Sierra, Carles

    In argumentation-based negotiation the rhetorical illocutionary particles Appeals, Rewards and Threats have implications for the players that extend beyond a single negotiation and are concerned with building (business) relationships. This paper extends an agent's relationship-building argumentative repertoire with Opinions and Advice. A framework is described that enables agents to model their relationships and to use argumentative dialogue strategically both to achieve good negotiation outcomes and to build and sustain valuable relationships.

  12. 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 ontol......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...

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

  14. Trying and the Arguments from Total Failure

    DEFF Research Database (Denmark)

    Grünbaum, Thor

    2008-01-01

    New Volitionalism is a name for certain widespread conception of the nature of intentional action. Some of the standard arguments for New Volitionalism, the so-called arguments from total failure, have even acquired the status of basic assumptions for many other kinds of philosophers. It is there......New Volitionalism is a name for certain widespread conception of the nature of intentional action. Some of the standard arguments for New Volitionalism, the so-called arguments from total failure, have even acquired the status of basic assumptions for many other kinds of philosophers...

  15. The Concept of Justice: Argumentation and Dialogism

    Directory of Open Access Journals (Sweden)

    Ana Lúcia Tinoco Cabral

    2014-06-01

    Full Text Available This paper presents a reflection attempting to situate the concepts of justice and argumentation in Perelman’s approach in dialogue with the Bakhtin Circle’s theories. For this purpose, it analyses the concept of justice, deals with the concept of argumentation in order to situate its field and to emphasize how it supports the concept of justice, highlights the ethical and dialogical aspects of legal argumentation, establishing connections between Perelman’s ideas and dialogic principles of language, and, finally, attempts to show how different voices intersect in the argumentative confrontation through the analysis of two excerpts of legal discourses.

  16. Concrete Quantum Logics and Δ -Logics, States and Δ -States

    Science.gov (United States)

    Hroch, Michal; Pták, Pavel

    2017-12-01

    By a concrete quantum logic (in short, by a logic) we mean the orthomodular poset that is set-representable. If L=({Ω },L) is a logic and L is closed under the formation of symmetric difference, Δ , we call L a Δ -logic. In the first part we situate the known results on logics and states to the context of Δ -logics and Δ -states (the Δ -states are the states that are subadditive with respect to the symmetric difference). Moreover, we observe that the rather prominent logic E^{ {even}}_{Ω } of all even-coeven subsets of the countable set Ω possesses only Δ -states. Then we show when a state on the logics given by the divisibility relation allows for an extension as a state. In the next paragraph we consider the so called density logic and its Δ -closure. We find that the Δ -closure coincides with the power set. Then we investigate other properties of the density logic and its factor.

  17. Dewey's Logic as a Methodological Grounding Point for Practitioner-Based Inquiry

    Science.gov (United States)

    Demetrion, George

    2012-01-01

    The purpose of this essay is to draw out key insights from Dewey's important text "Logic: The Theory of Inquiry" to provide theoretical and practical support for the emergent field of teacher research. The specific focal point is the argument in Cochran-Smith and Lytle's "Inside/Outside: Teacher Research and Knowledge" on the significance of…

  18. 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-08-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 design was adopted and qualitative and quantitative analyses were used to evaluate the effectiveness of this online system in measuring students' progress in learning argumentation. The results of this study showed that different teaching strategies had effects on students' use of argumentation in the topics of daily life and the concept of `vision.' When the CAWA system was employed during the instruction and practice of argumentation on these two topics, the students' argumentation performance improved. Suggestions on how the CAWA system could be used to enhance the instruction of argumentation skills in science education were also discussed.

  19. Killing tigers to save them: fallacies of the farming argument.

    Science.gov (United States)

    Kirkpatrick, R Craig; Emerton, Lucy

    2010-06-01

    The lucrative, illegal trade in tigers (Panthera tigris) remains a major conservation problem. Tiger farming has been proposed as a potential solution, with farmed tigers substituting for wild tigers. At first glance, this argument's logic seems simple: farming will increase the supply of tigers, prices will fall, and poaching will no longer be profitable. We contend, however, that this supply-side argument relies on mistaken assumptions. First, tiger markets are imperfect, meaning they are dominated by a few producers who control price. Second, consumers prefer wild tigers to farmed tigers and therefore the two are not pure substitutes. In economic terms, products from wild tigers are luxury goods, commanding a price premium. Third, there is no evidence that farmed tigers can be produced or sold more cheaply than wild tigers. In sum, it is unlikely that farming will drive down the price of wild-caught tigers or decrease profitability for tiger poachers. Rather, tiger farming is more likely to increase aggregate demand for tiger products and stimulate higher levels of poaching.

  20. Explicit Nature of Science and Argumentation Instruction in the Context of Socioscientific Issues: An effect on student learning and transfer

    Science.gov (United States)

    Khishfe, Rola

    2014-04-01

    The purpose of the study was two-fold: to (a) investigate the influence of explicit nature of science (NOS) and explicit argumentation instruction in the context of a socioscientific issue on the argumentation skills and NOS understandings of students, and (b) explore the transfer of students' NOS understandings and argumentation skills learned in one socioscientific context into other similar contexts (familiar and unfamiliar). Participants were a total of 121 seventh grade students from two schools. The treatment involved an eight-week unit about the water usage and safety, which was taught by two teachers for two intact groups (Treatments I and II). Explicit NOS instruction was integrated for all groups. However, only the Treatment I groups had the additional explicit argumentation instruction. Participants were pre- and post-tested using an open-ended questionnaire and interviews about two socioscientific issues to assess their learning and transfer of argumentation skills and NOS understandings. Results showed improvements in the learning of argumentation practice and NOS understandings for Treatment I group participants. Similarly, there were improvements in the learning and transfer of NOS understandings for Treatment II group participants with only some improvements for the argumentation practice. Further, some of the Treatment I group participants made connections to argumentation when explicating their NOS understandings by the end of the study. Findings were discussed in light of classroom practice that utilizes an explicit approach, contextual approach, as well as an approach that integrates NOS and argumentation simultaneously.

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

  2. Vygotsky's Crisis: Argument, context, relevance.

    Science.gov (United States)

    Hyman, Ludmila

    2012-06-01

    Vygotsky's The Historical Significance of the Crisis in Psychology (1926-1927) is an important text in the history and philosophy of psychology that has only become available to scholars in 1982 in Russian, and in 1997 in English. The goal of this paper is to introduce Vygotsky's conception of psychology to a wider audience. I argue that Vygotsky's argument about the "crisis" in psychology and its resolution can be fully understood only in the context of his social and political thinking. Vygotsky shared the enthusiasm, widespread among Russian leftist intelligentsia in the 1920s, that Soviet society had launched an unprecedented social experiment: The socialist revolution opened the way for establishing social conditions that would let the individual flourish. For Vygotsky, this meant that "a new man" of the future would become "the first and only species in biology that would create itself." He envisioned psychology as a science that would serve this humanist teleology. I propose that The Crisis is relevant today insofar as it helps us define a fundamental problem: How can we systematically account for the development of knowledge in psychology? I evaluate how Vygotsky addresses this problem as a historian of the crisis. Copyright © 2011 Elsevier Ltd. All rights reserved.

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

  4. Logical Characterisation of Ontology Construction using Fuzzy Description Logics

    DEFF Research Database (Denmark)

    Badie, Farshad; Götzsche, Hans

    Ontologies based on Description Logics (DLs) have proved to be effective in formally sharing knowledge across semantic technologies, e.g. Semantic Web, Natural Language Processing, Text Analytics, Business intelligence. Our main goal is analysing ontology construction considering vagueness. We have......, employs Description Logics in characterising and analysing fuzzy statements. And finally, provides a conceptual framework describing fuzzy concept learning in ontologies using the Inductive Logic Programming....

  5. Institutional logic in self-management support: coexistence and diversity.

    Science.gov (United States)

    Bossy, Dagmara; Knutsen, Ingrid Ruud; Rogers, Anne; Foss, Christina

    2016-11-01

    The prevalence of chronic conditions in Europe has been the subject of health-political reforms that have increasingly targeted collaboration between public, private and voluntary organisations for the purpose of supporting self-management of long-term diseases. The international literature describes collaboration across sectors as challenging, which implies that their respective logics are conflicting or incompatible. In line with the European context, recent Norwegian health policy advocates inter-sectorial partnerships. The aim of this policy is to create networks supporting better self-management for people with chronic conditions. The purpose of our qualitative study was to map different understandings of self-management support in private for-profit, volunteer and public organisations. These organisations are seen as potential self-management support networks for individuals with chronic conditions in Norway. From December 2012 to April 2013, we conducted 50 semi-structured interviews with representatives from relevant health and well-being organisations in different parts of Norway. According to the theoretical framework of institutional logic, representatives' statements are embedded with organisational understandings. In the analysis, we systematically assessed the representatives' different understandings of self-management support. The institutional logic we identified revealed traits of organisational historical backgrounds, and transitions in understanding. We found that the merging of individualism and fellowship in contemporary health policy generates different types of logic in different organisational contexts. The private for-profit organisations were concerned with the logic of a healthy appearance and mindset, whereas the private non-profit organisations emphasised fellowship and moral responsibility. Finally, the public, illness-oriented organisations tended to highlight individual conditions for illness management. Different types of logic may

  6. Towards a Foundation for Comprehensive Argumentation Scheme Support in Argumentative Dialogue Games

    OpenAIRE

    Wells, Simon

    2013-01-01

    A presentation that I gave at Computational Models of Natural Argument (CMNA) 13, a workshop hosted by the International Conference on Artificial Intelligence and Law (ICAIL) 2013. In this presentation I talk about the need for dialogue games to better support [1] building arguments from their constituent parts, and [2] relating those argument elements to the stereotypical patterns of reasoning that underpin the whole argument.

  7. A Concurrent Logical Relation

    DEFF Research Database (Denmark)

    Birkedal, Lars; Sieczkowski, Filip; Thamsborg, Jacob Junker

    2012-01-01

    We present a logical relation for showing the correctness of program transformations based on a new type-and-effect system for a concurrent extension of an ML-like language with higher-order functions, higher-order store and dynamic memory allocation. We show how to use our model to verify a number...... of interesting program transformations that rely on effect annotations. In particular, we prove a Parallelization Theorem, which expresses when it is sound to run two expressions in parallel instead of sequentially. The conditions are expressed solely in terms of the types and effects of the expressions...

  8. Molecular logic gate arrays.

    Science.gov (United States)

    de Silva, A Prasanna

    2011-03-01

    Chemists are now able to emulate the ideas and instruments of mathematics and computer science with molecules. The integration of molecular logic gates into small arrays has been a growth area during the last few years. The design principles underlying a collection of these cases are examined. Some of these computing molecules are applicable in medical- and biotechnologies. Cases of blood diagnostics, 'lab-on-a-molecule' systems, and molecular computational identification of small objects are included. Copyright © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.

  9. Flexible programmable logic module

    Science.gov (United States)

    Robertson, Perry J.; Hutchinson, Robert L.; Pierson, Lyndon G.

    2001-01-01

    The circuit module of this invention is a VME board containing a plurality of programmable logic devices (PLDs), a controlled impedance clock tree, and interconnecting buses. The PLDs are arranged to permit systolic processing of a problem by offering wide data buses and a plurality of processing nodes. The board contains a clock reference and clock distribution tree that can drive each of the PLDs with two critically timed clock references. External clock references can be used to drive additional circuit modules all operating from the same synchronous clock reference.

  10. Description logic rules

    CERN Document Server

    Krötzsch, M

    2010-01-01

    Ontological modelling today is applied in many areas of science and technology,including the Semantic Web. The W3C standard OWL defines one of the most important ontology languages based on the semantics of description logics. An alternative is to use rule languages in knowledge modelling, as proposed in the W3C's RIF standard. So far, it has often been unclear how to combine both technologies without sacrificing essential computational properties. This book explains this problem and presents new solutions that have recently been proposed. Extensive introductory chapters provide the necessary

  11. Time and Logic

    DEFF Research Database (Denmark)

    Øhrstrøm, Peter

    2009-01-01

    This paper deals with A.N. Prior's analysis of the concepts of dynamic and static time, i.e. McTaggart's so-called A- and B-concepts. The relations and mutual dependencies between these temporal concepts are investigated, and Prior's response to McTaggart's views is discussed. Futhermore, Prior......'s notion of branching time is analysed. It is argued that Prior can be criticized for identifying 'plain future'. Finally, Prior's four grades of tense-logical involvement are introduced and discussed. It is argued that the third grade is the most attractive form a philosophical point of view....

  12. Computability, complexity, logic

    CERN Document Server

    Börger, Egon

    1989-01-01

    The theme of this book is formed by a pair of concepts: the concept of formal language as carrier of the precise expression of meaning, facts and problems, and the concept of algorithm or calculus, i.e. a formally operating procedure for the solution of precisely described questions and problems. The book is a unified introduction to the modern theory of these concepts, to the way in which they developed first in mathematical logic and computability theory and later in automata theory, and to the theory of formal languages and complexity theory. Apart from considering the fundamental themes an

  13. Logical empiricists on race.

    Science.gov (United States)

    Bright, Liam Kofi

    2017-10-01

    The logical empiricists expressed a consistent attitude to racial categorisation in both the ethical and scientific spheres. Their attitude may be captured in the following slogan: human racial taxonomy is an empirically meaningful mode of classifying persons that we should refrain from deploying. I offer an interpretation of their position that would render coherent their remarks on race with positions they adopted on the scientific status of taxonomy in general, together with their potential moral or political motivations for adopting that position. Copyright © 2017 Elsevier Ltd. All rights reserved.

  14. Intuitionistic fuzzy logics

    CERN Document Server

    T Atanassov, Krassimir

    2017-01-01

    The book offers a comprehensive survey of intuitionistic fuzzy logics. By reporting on both the author’s research and others’ findings, it provides readers with a complete overview of the field and highlights key issues and open problems, thus suggesting new research directions. Starting with an introduction to the basic elements of intuitionistic fuzzy propositional calculus, it then provides a guide to the use of intuitionistic fuzzy operators and quantifiers, and lastly presents state-of-the-art applications of intuitionistic fuzzy sets. The book is a valuable reference resource for graduate students and researchers alike.

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

  16. The Logic of Practice in the Practice of Logics

    DEFF Research Database (Denmark)

    Raviola, Elena; Dubini, Paola

    2016-01-01

    This paper investigates the workings of institutional logics in practice, by focusing in particular on the interplay between material, practical and linguistic dimensions of practices. In other words, drawing on Bourdieu's sens pratique, the paper explores the logic of practice in the practice...... 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...

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

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

  19. 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…

  20. Arguments that take counterconsiderations into account

    NARCIS (Netherlands)

    van Laar, Jan Albert

    2014-01-01

    This paper examines arguments that take counterconsiderations into account, and it does so from a dialogical point of view. According to this 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

  1. 42 CFR 405.1124 - Oral argument.

    Science.gov (United States)

    2010-10-01

    ... Health CENTERS FOR MEDICARE & MEDICAID SERVICES, DEPARTMENT OF HEALTH AND HUMAN SERVICES MEDICARE PROGRAM FEDERAL HEALTH INSURANCE FOR THE AGED AND DISABLED Determinations, Redeterminations, Reconsiderations, and... argument, it tells the parties of the time and place of the oral argument at least 10 calendar days before...

  2. Identifying Kinds of Reasoning in Collective Argumentation

    Science.gov (United States)

    Conner, AnnaMarie; Singletary, Laura M.; Smith, Ryan C.; Wagner, Patty Anne; Francisco, Richard T.

    2014-01-01

    We combine Peirce's rule, case, and result with Toulmin's data, claim, and warrant to differentiate between deductive, inductive, abductive, and analogical reasoning within collective argumentation. In this theoretical article, we illustrate these kinds of reasoning in episodes of collective argumentation using examples from one…

  3. Improving the Metaphysical Argument against Free Will ...

    African Journals Online (AJOL)

    Galen Strawson and Saul Smilansky have offered a well-known argument that free will does not exist because the control involved is so robust that it would require influence over an infinite series of prior decisions. (Strawson 1986, 1994, 2002, Smilansky 2000, 2002) Unfortunately, while this metaphysical argument has ...

  4. Belief in the Claim of an Argument Increases Perceived Argument Soundness

    Science.gov (United States)

    Wolfe, Michael B.; Kurby, Christopher A.

    2017-01-01

    We examined subjects' ability to judge the soundness of informal arguments. The argument claims matched or did not match subject beliefs. In all experiments subjects indicated beliefs about spanking and television violence in a prescreening. Subjects read one-sentence arguments consisting of a claim followed by a reason and then judged the…

  5. 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 climate change issue. 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.

  6. 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...... transferability of reasons from one case to another; and (iii) it runs the risk of equivocations, especially in cases where the anti-genetic-modification argument relies on gradable features. The paper then shows how these issues play out in three specific Similarity Arguments that can be found in the literature....... Finally, the paper discusses what conclusions we can draw from the fact that genetic modification and established technologies are similar for the ethical status of genetic modification....

  7. Games for Topological Fixpoint Logic

    Directory of Open Access Journals (Sweden)

    Nick Bezhanishvili

    2016-09-01

    Full Text Available Topological fixpoint logics are a family of logics that admits topological models and where the fixpoint operators are defined with respect to the topological interpretations. Here we consider a topological fixpoint logic for relational structures based on Stone spaces, where the fixpoint operators are interpreted via clopen sets. We develop a game-theoretic semantics for this logic. First we introduce games characterising clopen fixpoints of monotone operators on Stone spaces. These fixpoint games allow us to characterise the semantics for our topological fixpoint logic using a two-player graph game. Adequacy of this game is the main result of our paper. Finally, we define bisimulations for the topological structures under consideration and use our game semantics to prove that the truth of a formula of our topological fixpoint logic is bisimulation-invariant.

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

  9. Superconducting digital logic amplifier

    International Nuclear Information System (INIS)

    Przybysz, J.X.

    1989-01-01

    This paper describes a superconducting digital logic amplifier for interfacing between a Josephson junction logic circuit having output current and a higher voltage semiconductor circuit input. The amplifier comprising: an input terminal for connection to a; an output terminal for connection to a semiconductor circuit input; an input, lower critical current, Josephson junction having first and second terminals; a first series string of at least three lower critical current Josephson junctions. The first series string being connected to the first terminal of the input Josephson junction such that the first series string is in series with the input Josephson junction to provide a series combination. The input terminal being connected to the first terminal of the input Josephson junction, and with the critical current of the lower critical current Josephson junctions of the input Josephson junction and the first series Josephson junctions being less than the output current of the low voltage Josephson junction circuit; a second series string of at least four higher critical current Josephson junctions. The second string being connected in parallel with the series combination to provide parallel strings having an upper common connection and a lower common connection. The lower common connection being connected to the second terminal of the input Josephson junction and the upper common connection being connected to the output terminal; and a pulsed DC current source connected the parallel strings at the upper common connection. The DC current source having a current at least equal to the critical current of the higher critical current Josephson junctions

  10. PM 3655 PHILIPS Logic analyzer

    CERN Multimedia

    A logic analyzer is an electronic instrument that captures and displays multiple signals from a digital system or digital circuit. A logic analyzer may convert the captured data into timing diagrams, protocol decodes, state machine traces, assembly language, or may correlate assembly with source-level software. Logic Analyzers have advanced triggering capabilities, and are useful when a user needs to see the timing relationships between many signals in a digital system.

  11. Logical Full Abstraction and PCF

    OpenAIRE

    Longley, John R; Plotkin, Gordon

    2000-01-01

    We introduce the concept of logical full abstraction, generalising the usual equational notion. We consider the language PCF and two extensions with “parallel” operations. The main result is that, for standard interpretations, logical full abstraction is equivalent to equational full abstraction together with universality; the proof involves constructing enumeration operators. We also consider restrictions on logical complexity and on the level of types.

  12. A Logic for Miranda, Revisited

    OpenAIRE

    Thompson, Simon

    1995-01-01

    This paper expands upon work begun in the author's paper 'A Logic for Miranda', Formal Aspects of Computing 1 (1989), in building a logic for the Miranda functional programming language. After summarising the work in that paper, a translation of Miranda definitions into logical formulas is presented, and illustrated by means of examples. This work expands upon the earlier paper in giving a complete treatment of sequences of equations, and by examining how to translate the local definitions in...

  13. Tensor product of quantum logics

    Science.gov (United States)

    Pulmannová, Sylvia

    1985-01-01

    A quantum logic is the couple (L,M) where L is an orthomodular σ-lattice and M is a strong set of states on L. The Jauch-Piron property in the σ-form is also supposed for any state of M. A ``tensor product'' of quantum logics is defined. This definition is compared with the definition of a free orthodistributive product of orthomodular σ-lattices. The existence and uniqueness of the tensor product in special cases of Hilbert space quantum logics and one quantum and one classical logic are studied.

  14. Optimization methods for logical inference

    CERN Document Server

    Chandru, Vijay

    2011-01-01

    Merging logic and mathematics in deductive inference-an innovative, cutting-edge approach. Optimization methods for logical inference? Absolutely, say Vijay Chandru and John Hooker, two major contributors to this rapidly expanding field. And even though ""solving logical inference problems with optimization methods may seem a bit like eating sauerkraut with chopsticks. . . it is the mathematical structure of a problem that determines whether an optimization model can help solve it, not the context in which the problem occurs."" Presenting powerful, proven optimization techniques for logic in

  15. Contextual logic for quantum systems

    International Nuclear Information System (INIS)

    Domenech, Graciela; Freytes, Hector

    2005-01-01

    In this work we build a quantum logic that allows us to refer to physical magnitudes pertaining to different contexts from a fixed one without the contradictions with quantum mechanics expressed in no-go theorems. This logic arises from considering a sheaf over a topological space associated with the Boolean sublattices of the ortholattice of closed subspaces of the Hilbert space of the physical system. Different from standard quantum logics, the contextual logic maintains a distributive lattice structure and a good definition of implication as a residue of the conjunction

  16. Admissibility of logical inference rules

    CERN Document Server

    Rybakov, VV

    1997-01-01

    The aim of this book is to present the fundamental theoretical results concerning inference rules in deductive formal systems. Primary attention is focused on: admissible or permissible inference rules the derivability of the admissible inference rules the structural completeness of logics the bases for admissible and valid inference rules. There is particular emphasis on propositional non-standard logics (primary, superintuitionistic and modal logics) but general logical consequence relations and classical first-order theories are also considered. The book is basically self-contained and

  17. Logic and Philosophy of Time

    DEFF Research Database (Denmark)

    A.N. Prior (1914-69) in the course of the 1950s and 1960s founded a new and revolutionary paradigm in philosophy and logic. Its most central feature is the preoccupation with time and the development of the logic of time. However, this was inseparably interwoven with fundamental questions about...... human freedom, ethics, and existence. This remarkable integration of themes also embodies an original and in fact revolutionary conception of logic. The book series, Logic and Philosophy of Time, is dedicated to a deep investigation and also the further development of Prior’s paradigm. ...

  18. Popular lectures on mathematical logic

    CERN Document Server

    Wang, Hao

    2014-01-01

    A noted logician and philosopher addresses various forms of mathematical logic, discussing both theoretical underpinnings and practical applications. Author Hao Wang surveys the central concepts and theories of the discipline in a historical and developmental context, and then focuses on the four principal domains of contemporary mathematical logic: set theory, model theory, recursion theory and constructivism, and proof theory.Topics include the place of problems in the development of theories of logic and logic's relation to computer science. Specific attention is given to Gödel's incomplete

  19. Logic from nonlinear dynamical evolution

    Energy Technology Data Exchange (ETDEWEB)

    Murali, K. [J. Crayton Pruitt Family Department of Biomedical Engineering, University of Florida, Gainesville, FL 32611-6131 (United States); Department of Physics, Anna University, Chennai 600 025 (India)], E-mail: kmurali@annauniv.edu; Miliotis, Abraham; Ditto, William L. [J. Crayton Pruitt Family Department of Biomedical Engineering, University of Florida, Gainesville, FL 32611-6131 (United States); Sinha, Sudeshna [Institute of Mathematical Sciences, C.I.T. Campus, Chennai 600 113 (India)

    2009-03-30

    We propose a direct and flexible implementation of logic operations using the dynamical evolution of a nonlinear system. The concept involves the observation of the state of the system at different times to obtain different logic outputs. We explicitly implement the basic NAND, AND, NOR, OR and XOR logic gates, as well as multiple-input XOR and XNOR logic gates. Further we demonstrate how the single dynamical system can do more complex operations such as bit-by-bit addition in just a few iterations.

  20. Logic from nonlinear dynamical evolution

    International Nuclear Information System (INIS)

    Murali, K.; Miliotis, Abraham; Ditto, William L.; Sinha, Sudeshna

    2009-01-01

    We propose a direct and flexible implementation of logic operations using the dynamical evolution of a nonlinear system. The concept involves the observation of the state of the system at different times to obtain different logic outputs. We explicitly implement the basic NAND, AND, NOR, OR and XOR logic gates, as well as multiple-input XOR and XNOR logic gates. Further we demonstrate how the single dynamical system can do more complex operations such as bit-by-bit addition in just a few iterations

  1. Implicational (Semilinear) Logics I: A New Hierarchy

    Czech Academy of Sciences Publication Activity Database

    Cintula, Petr; Noguera, C.

    2010-01-01

    Roč. 49, č. 4 (2010), s. 417-446 ISSN 1432-0665 R&D Projects: GA ČR GEICC/08/E018 Institutional research plan: CEZ:AV0Z10300504 Keywords : abstract algebraic logic * hierarchy of implicational logics * implicative logics * Leibniz hierarchy * linearly ordered logical matrices * mathematical fuzzy logic * non-classical logics * semilinear logics Subject RIV: BA - General Mathematics Impact factor: 0.414, year: 2010

  2. [Orality and writing: argumentation in children with attention deficit hyperactivity disorder].

    Science.gov (United States)

    Gallardo-Paúls, Beatriz; Moreno-Campos, Verónica

    2014-02-24

    This work takes a deeper look at the differences in the linguistic competence of children with attention deficit hyperactivity disorder (ADHD) in terms of both orality and writing. The purpose of this study is to check whether, in oral tasks, these children present the same problems related to inhibition and self-regulation as those pointed out in research working with written data. Likewise it seeks to describe those problems (lack of appropriateness, inappropriate production) as they appear in our oral data. A written and an oral argumentation produced by 25 participants between 9 and 11 years of age were analysed. In the written task, the children wrote their argumentations, and in the oral task their argumentative interaction with a collaborator was videotaped and later the types of arguments used in each case (logical, fallacies, sanctioning or moralist) were analysed. There is an obvious difference between the results in the two tests, which suggests the need to review the verbal evaluation mechanisms and to complete the written results with oral skill tests. The problems normally associated with written tasks do not appear in oral language; participants are able to follow the discursive thread and to provide new arguments related with the topic. The data obtained highlight the added difficulty of a written task for children with ADHD, the reliability of the oral results with regard to linguistic skills, and the need to use both types of data in evaluations.

  3. David Hume's no-miracles argument begets a valid No-Miracles Argument.

    Science.gov (United States)

    Howson, Colin

    2015-12-01

    Hume's essay 'Of Miracles' has been a focus of controversy ever since its publication. The challenge to Christian orthodoxy was only too evident, but the balance-of-probabilities criterion advanced by Hume for determining when testimony justifies belief in miracles has also been a subject of contention among philosophers. The temptation for those familiar with Bayesian methodology to show that Hume's criterion determines a corresponding balance-of-posterior probabilities in favour of miracles is understandable, but I will argue that their attempts fail. However, I show that his criterion generates a valid form of the so-called No-Miracles Argument appealed to by modern realist philosophers, whose own presentation of it, despite their possession of the probabilistic machinery Hume himself lacked, is invalid. Copyright © 2015 Elsevier Ltd. All rights reserved.

  4. Fuzzy Logic Particle Tracking

    Science.gov (United States)

    2005-01-01

    A new all-electronic Particle Image Velocimetry technique that can efficiently map high speed gas flows has been developed in-house at the NASA Lewis Research Center. Particle Image Velocimetry is an optical technique for measuring the instantaneous two component velocity field across a planar region of a seeded flow field. A pulsed laser light sheet is used to illuminate the seed particles entrained in the flow field at two instances in time. One or more charged coupled device (CCD) cameras can be used to record the instantaneous positions of particles. Using the time between light sheet pulses and determining either the individual particle displacements or the average displacement of particles over a small subregion of the recorded image enables the calculation of the fluid velocity. Fuzzy logic minimizes the required operator intervention in identifying particles and computing velocity. Using two cameras that have the same view of the illumination plane yields two single exposure image frames. Two competing techniques that yield unambiguous velocity vector direction information have been widely used for reducing the single-exposure, multiple image frame data: (1) cross-correlation and (2) particle tracking. Correlation techniques yield averaged velocity estimates over subregions of the flow, whereas particle tracking techniques give individual particle velocity estimates. For the correlation technique, the correlation peak corresponding to the average displacement of particles across the subregion must be identified. Noise on the images and particle dropout result in misidentification of the true correlation peak. The subsequent velocity vector maps contain spurious vectors where the displacement peaks have been improperly identified. Typically these spurious vectors are replaced by a weighted average of the neighboring vectors, thereby decreasing the independence of the measurements. In this work, fuzzy logic techniques are used to determine the true

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

  6. Reinstatement and Specificty in Argumentation Systems

    Directory of Open Access Journals (Sweden)

    Claudio Andres Alessio

    2016-12-01

    Full Text Available Reinstatement is a principle of argumentation systems that enables the justification of a defeated argument when all its defeaters are in turn ultimately defeated. Some counterexamples to reinstatement have been offered in the literature. Specifically, counterexamples suggest that reinstatement cannot be taken as a general principle of defeasible argumentation because the reinstated arguments may support incorrect conclusions. Some authors argued that the problems are not due to reinstatement but to the formalization of those examples. Then, the solution is to make the language expressive enough to obtain the correct results. They also warn that one should avoid tinkering with the formalization in concrete examples just to get a desired outcome. Therefore, this approach should be combined with the search of general principles for choosing the proper formalization. Taking into account that finding general principles of representation could be a hard enterprise, the goal of this thesis is to identify some criterion that allows i. neutralize the counterexamples, ii. preserve the original formal language as much as possible, and iii. maintain reinstatement as a general principle. To identify that criterion, counterexamples are analyzed and possible causes of the problem are detected. As a result it is found that the preference by specificity among arguments can be used to obtain that criterion. Three approaches based on specificity are proposed and evaluated. Two of them introduce alternative defeat relations among arguments. The third one is based on filtering the non maximally specific arguments.

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

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

  9. Formal Logic and Flowchart for Diagnosis Validity Verification and Inclusion in Clinical Decision Support Systems

    Science.gov (United States)

    Sosa, M.; Grundel, L.; Simini, F.

    2016-04-01

    Logical reasoning is part of medical practice since its origins. Modern Medicine has included information-intensive tools to refine diagnostics and treatment protocols. We are introducing formal logic teaching in Medical School prior to Clinical Internship, to foster medical practice. Two simple examples (Acute Myocardial Infarction and Diabetes Mellitus) are given in terms of formal logic expression and truth tables. Flowcharts of both diagnostic processes help understand the procedures and to validate them logically. The particularity of medical information is that it is often accompanied by “missing data” which suggests to adapt formal logic to a “three state” logic in the future. Medical Education must include formal logic to understand complex protocols and best practices, prone to mutual interactions.

  10. Taking times out: Tense logic as a theory of time

    Science.gov (United States)

    Pashby, Thomas

    2015-05-01

    Ulrich Meyer's book The Nature of Time uses tense logic to argue for a 'modal' view of time, which replaces substantial times (as in Newton's Absolute Time) with 'ersatz times' constructed using conceptually basic tense operators. He also argues against Bertrand Russell's relationist theory, in which times are classes of events, and against the idea that relativity compels the integration of time and space (called by Meyer the Inseparability Argument). I find fault with each of these negative arguments, as well as with Meyer's purported reconstruction of empty spacetime from tense operators and substantial spatial points. I suggest that Meyer's positive project is best conceived as an elimination of time in the mode of Julian Barbour's The End of Time.

  11. Oscillatory Threshold Logic

    Science.gov (United States)

    Borresen, Jon; Lynch, Stephen

    2012-01-01

    In the 1940s, the first generation of modern computers used vacuum tube oscillators as their principle components, however, with the development of the transistor, such oscillator based computers quickly became obsolete. As the demand for faster and lower power computers continues, transistors are themselves approaching their theoretical limit and emerging technologies must eventually supersede them. With the development of optical oscillators and Josephson junction technology, we are again presented with the possibility of using oscillators as the basic components of computers, and it is possible that the next generation of computers will be composed almost entirely of oscillatory devices. Here, we demonstrate how coupled threshold oscillators may be used to perform binary logic in a manner entirely consistent with modern computer architectures. We describe a variety of computational circuitry and demonstrate working oscillator models of both computation and memory. PMID:23173034

  12. Partial quantum logics revisited

    Science.gov (United States)

    Vetterlein, Thomas

    2011-01-01

    Partial Boolean algebras (PBAs) were introduced by Kochen and Specker as an algebraic model reflecting the mutual relationships among quantum-physical yes-no tests. The fact that not all pairs of tests are compatible was taken into special account. In this paper, we review PBAs from two sides. First, we generalise the concept, taking into account also those yes-no tests which are based on unsharp measurements. Namely, we introduce partial MV-algebras, and we define a corresponding logic. Second, we turn to the representation theory of PBAs. In analogy to the case of orthomodular lattices, we give conditions for a PBA to be isomorphic to the PBA of closed subspaces of a complex Hilbert space. Hereby, we do not restrict ourselves to purely algebraic statements; we rather give preference to conditions involving automorphisms of a PBA. We conclude by outlining a critical view on the logico-algebraic approach to the foundational problem of quantum physics.

  13. The logic of XACML

    DEFF Research Database (Denmark)

    Ramli, Carroline Dewi Puspa Kencana; Nielson, Hanne Riis; Nielson, Flemming

    2014-01-01

    We study the international standard XACML 3.0 for describing security access control policies in a compositional way. Our main contributions are (i) to derive a logic that precisely captures the intentions of the standard, (ii) to formally define a semantics for the XACML 3.0 component evaluation......, and (iii) to define a semantics for the XACML 3.0 standard combining operators. To guard against modeling artefacts we provide an alternative lattice based way of characterizing the policy combining operators and we formally prove the equivalence of these approaches thereby increasing our faith in either...... one. We then discuss several ways of extending XACML: one direction is to extend XACML with new combining operators, and another direction is to incorporate the notion of conflict into XACML. We conclude by discussing the possibility of analysing XACML policies for gaps and conflicts....

  14. A Logical Process Calculus

    Science.gov (United States)

    Cleaveland, Rance; Luettgen, Gerald; Bushnell, Dennis M. (Technical Monitor)

    2002-01-01

    This paper presents the Logical Process Calculus (LPC), a formalism that supports heterogeneous system specifications containing both operational and declarative subspecifications. Syntactically, LPC extends Milner's Calculus of Communicating Systems with operators from the alternation-free linear-time mu-calculus (LT(mu)). Semantically, LPC is equipped with a behavioral preorder that generalizes Hennessy's and DeNicola's must-testing preorder as well as LT(mu's) satisfaction relation, while being compositional for all LPC operators. From a technical point of view, the new calculus is distinguished by the inclusion of: (1) both minimal and maximal fixed-point operators and (2) an unimple-mentability predicate on process terms, which tags inconsistent specifications. The utility of LPC is demonstrated by means of an example highlighting the benefits of heterogeneous system specification.

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

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

  17. Planck's Constant in the Light of Quantum Logic

    Science.gov (United States)

    Mittelstaedt, Peter

    2008-01-01

    The goal of quantum logic is the “bottom-top” reconstruction of quantum mechanics. Starting from a weak quantum ontology, a long sequence of arguments leads to quantum logic, to an orthomodular lattice, and to the classical Hilbert spaces. However, this abstract theory does not yet contain Planck’s constant ℏ. We argue, that ℏ can be obtained, if the empty theory is applied to real entities and extended by concepts that are usually considered as classical notions. Introducing the concepts of localizability and homogeneity we define objects by symmetry groups and systems of imprimitivity. For elementary systems, the irreducible representations of the Galileo group are projective and determined only up to a parameter z, which is given by z= m/ ℏ, where m is the mass of the particle and ℏ Planck’s constant. We show that ℏ has a meaning within quantum mechanics, irrespective of use the of classical concepts in our derivation.

  18. Teaching Logic through Web-Based and Gamified Quizzing of Formal Arguments

    DEFF Research Database (Denmark)

    Øhrstrøm, Peter; Sandborg-Petersen, Ulrik; Thorvaldsen, Steinar

    2013-01-01

    of students. In the paper, we provide a presentation of the pedagogical and technical ideas of construction that underpin the tools which have been made so far. It is explained how the tools can be developed as web applications using gamified quizzing. We then provide an evaluation of the potential of log...

  19. The restorative logic of punishment: another argument in favor of weak selection.

    Science.gov (United States)

    Baumard, Nicolas

    2012-02-01

    Strong reciprocity theorists claim that punishment has evolved to promote the good of the group and to deter cheating. By contrast, weak reciprocity suggests that punishment aims to restore justice (i.e., reciprocity) between the criminal and his victim. Experimental evidences as well as field observations suggest that humans punish criminals to restore fairness rather than to support group cooperation.

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

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

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

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

  4. Methods in Logic Based Control

    DEFF Research Database (Denmark)

    Christensen, Georg Kronborg

    1999-01-01

    Desing and theory of Logic Based Control systems.Boolean Algebra, Karnaugh Map, Quine McClusky's algorithm. Sequential control design. Logic Based Control Method, Cascade Control Method. Implementation techniques: relay, pneumatic, TTL/CMOS,PAL and PLC- and Soft_PLC implementation. PLC...

  5. Injection--ejection protection logic

    International Nuclear Information System (INIS)

    Brown, H.

    1975-01-01

    A brief sketch is given of the beginnings of the protective logic which would be needed to guard against quenches or damage in the ISA rings. Two logic diagrams are presented which illustrate the most obvious facets of the hard-wired protection system

  6. Dynamic Logics of Belief Change

    NARCIS (Netherlands)

    van Benthem, J.; Smets, S.; van Ditmarsch, H.; Halpern, J.; van der Hoek, W.; Kooi, B.

    2015-01-01

    This chapter gives an overview of current dynamic logics that describe belief update and revision, both for single agents and in multi-agent settings. We employ a mixture of ideas from AGM belief revision theory and dynamic-epistemic logics of information-driven agency. After describing the basic

  7. Hybrid logics with Sahlqvist axioms

    NARCIS (Netherlands)

    ten Cate, B.; Marx, M.; Viana, P.

    2005-01-01

    We show that every extension of the basic hybrid logic with modal Sahlqvist axioms is complete. As a corollary of our approach, we also obtain the Beth property for a large class of hybrid logics. Finally, we show that the new completeness result cannot be combined with the existing general

  8. Flow Logics and Operational Semantics

    DEFF Research Database (Denmark)

    Nielson, Flemming; Nielson, Hanne Riis

    1998-01-01

    Flow logic is a “fast prototyping” approach to program analysis that shows great promise of being able to deal with a wide variety of languages and calculi for computation. However, seemingly innocent choices in the flow logic as well as in the operational semantics may inhibit proving the analysis...

  9. Epistemic logics for sceptical agents

    Czech Academy of Sciences Publication Activity Database

    Bílková, M.; Majer, Ondrej; Peliš, Michal

    2016-01-01

    Roč. 26, č. 6 (2016), s. 1815-1841 ISSN 0955-792X R&D Projects: GA ČR(CZ) GA13-21076S Institutional support: RVO:67985955 Keywords : epistemic logic * substructural logic * frame semantics Subject RIV: AA - Philosophy ; Religion Impact factor: 0.909, year: 2016

  10. Towards Logical Designs In Biology

    Indian Academy of Sciences (India)

    Towards Logical Designs in Biology. Garima Agarwal. General Article Volume 12 Issue 2 February 2007 pp 29-38. Fulltext. Click here to view fulltext PDF. Permanent link: http://www.ias.ac.in/article/fulltext/reso/012/02/0029-0038. Keywords. Synthetic biology; logic gates; regulatory modules; gene circuits. Author Affiliations.

  11. Structural Completeness in Fuzzy Logics

    Czech Academy of Sciences Publication Activity Database

    Cintula, Petr; Metcalfe, G.

    2009-01-01

    Roč. 50, č. 2 (2009), s. 153-183 ISSN 0029-4527 R&D Projects: GA MŠk(CZ) 1M0545 Institutional research plan: CEZ:AV0Z10300504 Keywords : structral logics * fuzzy logics * structural completeness * admissible rules * primitive variety * residuated lattices Subject RIV: BA - General Mathematics

  12. Zalta on Unnecessary Logical Truths

    Directory of Open Access Journals (Sweden)

    MA Hojati

    2013-09-01

    Full Text Available According to a traditional view all logical truths are necessary however, this thesis recently has been faced with various critiques from different points of view. Introducing some logical operators, David Kaplan and Edward Zalta claim that there are logical truths regarding common definition ‒ that are not necessary. William Hanson objects Zalta's examples believing that they rely on unjustified presuppositions especially he does not accept real world validity as a proper notion for presenting logical truth. Nelson and Zalta reply to his objections claiming that they have unacceptable grounds. In this paper, we introduce logical truths, then present Kaplan's and Zalta's examples and explore Hanson's objections together with their replies. At last we try to show the metaphysical roots of the debates.

  13. Zalta on Unnecessary Logical Truths

    Directory of Open Access Journals (Sweden)

    SH Shahryari

    2013-08-01

    Full Text Available According to a traditional view all logical truths are necessary however, this thesis recently has been faced with various critiques from different points of view. Introducing some logical operators, David Kaplan and Edward Zalta claim that there are logical truths regarding common definition ‒ that are not necessary. William Hanson objects Zalta's examples believing that they rely on unjustified presuppositions especially he does not accept real world validity as a proper notion for presenting logical truth. Nelson and Zalta reply to his objections claiming that they have unacceptable grounds. In this paper, we introduce logical truths, then present Kaplan's and Zalta's examples and explore Hanson's objections together with their replies. At last we try to show the metaphysical roots of the debates.

  14. Logical independence and quantum randomness

    International Nuclear Information System (INIS)

    Paterek, T; Kofler, J; Aspelmeyer, M; Zeilinger, A; Brukner, C; Prevedel, R; Klimek, P

    2010-01-01

    We propose a link between logical independence and quantum physics. We demonstrate that quantum systems in the eigenstates of Pauli group operators are capable of encoding mathematical axioms and show that Pauli group quantum measurements are capable of revealing whether or not a given proposition is logically dependent on the axiomatic system. Whenever a mathematical proposition is logically independent of the axioms encoded in the measured state, the measurement associated with the proposition gives random outcomes. This allows for an experimental test of logical independence. Conversely, it also allows for an explanation of the probabilities of random outcomes observed in Pauli group measurements from logical independence without invoking quantum theory. The axiomatic systems we study can be completed and are therefore not subject to Goedel's incompleteness theorem.

  15. Logical independence and quantum randomness

    Energy Technology Data Exchange (ETDEWEB)

    Paterek, T; Kofler, J; Aspelmeyer, M; Zeilinger, A; Brukner, C [Institute for Quantum Optics and Quantum Information, Austrian Academy of Sciences, Boltzmanngasse 3, A-1090 Vienna (Austria); Prevedel, R; Klimek, P [Faculty of Physics, University of Vienna, Boltzmanngasse 5, A-1090 Vienna (Austria)], E-mail: tomasz.paterek@univie.ac.at

    2010-01-15

    We propose a link between logical independence and quantum physics. We demonstrate that quantum systems in the eigenstates of Pauli group operators are capable of encoding mathematical axioms and show that Pauli group quantum measurements are capable of revealing whether or not a given proposition is logically dependent on the axiomatic system. Whenever a mathematical proposition is logically independent of the axioms encoded in the measured state, the measurement associated with the proposition gives random outcomes. This allows for an experimental test of logical independence. Conversely, it also allows for an explanation of the probabilities of random outcomes observed in Pauli group measurements from logical independence without invoking quantum theory. The axiomatic systems we study can be completed and are therefore not subject to Goedel's incompleteness theorem.

  16. Plausibility Arguments and Universal Gravitation

    Science.gov (United States)

    Cunha, Ricardo F. F.; Tort, A. C.

    2017-01-01

    Newton's law of universal gravitation underpins our understanding of the dynamics of the Solar System and of a good portion of the observable universe. Generally, in the classroom or in textbooks, the law is presented initially in a qualitative way and at some point during the exposition its mathematical formulation is written on the blackboard…

  17. Argumentation and Multi-Agent Decision Making

    OpenAIRE

    Parsons, S; Jennings, NR

    1998-01-01

    This paper summarises our on-going work on mixed- initiative decision making which extends both classical decision theory and a symbolic theory of decision making based on argumentation to a multi-agent domain.

  18. Designing Argumentation Tools for Collaborative Learning

    NARCIS (Netherlands)

    Kanselaar, G.; Erkens, Gijsbert; Andriessen, Jerry; Prangsma, M.E.; Veerman, A.L.; Jaspers, Jos

    2002-01-01

    The focus of education has shifted towards working actively, constructively and collaboratively, as this is believed to enhance learning. The studies discussed here deals with the influence of different CMC (Computer Mediated Communication) tools on argumentation processes during collaboration. The

  19. Advancing teacher knowledge of effective argumentation pedagogy

    OpenAIRE

    Simon,Shirley; Davies,Paul; Trevethan,Jillian

    2012-01-01

    This paper provides a discussion of the methodological approach to a research project that builds on previous studies of effective argumentation pedagogy undertaken by one of the authors. In this study, teachers from six schools in a city location are taking part in a one-year project to use new web-based professional development materials to advance their practice in using group discussion and argumentation in science. The teachers attend workshops on planning and organising effective group-...

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

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

  2. CROSS-CULTURAL ASPECTS OF ACADEMIC WRITING: A STUDY OF HUNGARIAN AND NORTH AMERICAN COLLEGE STUDENTS L1 ARGUMENTATIVE ESSAYS

    Directory of Open Access Journals (Sweden)

    Ágnes M. Godó

    2008-12-01

    Full Text Available The paper presents the findings and implications of a contrastive rhetorical study of Hungarian and North American college students’ L1 argumentative writing. With the help of the refined version of Mann &Thompson’s Rhetorical Structure Analysis, the investigation highlights potentially culture-bound differences in the positioning and function of nuclear or thesis statements, logical organisation in terms of rhetorical structure relations on different levels of text and the representation of alternative viewpoints. Differing argumentative schemata are related to different underlying intellectual traditions, and suggestions are made for the pedagogical integration of findings.

  3. TWO OPERATIONALIZATION PROBLEMS OF "INSTITUTIONAL CAPACITIES" ARGUMENT

    Directory of Open Access Journals (Sweden)

    Fernando Leal

    2016-07-01

    Full Text Available In a previous work, we discuss three uses of argument of "institutional capacity" which, although presented under the same label, are in fact very different things. Are uses of the term – and the typical reference to the seminal article by Cass Sunstein and Adrian Vermeule – in ways we identify as banal, redundant or absurd. Although they can generate valid arguments under any criteria, such use may not be reappointed to what these authors call the analysis of "institutional capacity". In this brief theoretical essay, we set out the considerations outlined above to try to achieve a distinct and complementary objective: what happens when trying to actually use the argument as described by Sunstein & Vermeule? Let's point out and discuss two challenges for the effective operationalization of the argument of “institutional capacity”. First, what we call the information problem, which is connected to the role that empirical inputs play in this kind of arguments. Second, the compliance problem, as such arguments end up placing excessive requirements on real-world decision-makers.

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

  5. Suicide as social logic.

    Science.gov (United States)

    Kral, M J

    1994-01-01

    Although suicide is not viewed as a mental disorder per se, it is viewed by many if not most clinicians, researchers, and lay people as a real or natural symptom of depression. It is at least most typically seen as the unfortunate, severe, yet logical end result of a chain of negative self-appraisals, negative events, and hopelessness. Extending an approach articulated by the early French sociologist Gabriel Tarde, in this paper I argue that suicide is merely an idea, albeit a very bad one, having more in common with societal beliefs and norms regarding such things as divorce, abortion, sex, politics, consumer behavior, and fashion. I make a sharp contrast between perturbation and lethality, concepts central to Edwin S. Shneidman's theory of suicide. Evidence supportive of suicide as an idea is discussed based on what we are learning from the study of history and culture, and about contagion/cluster phenomena, media/communication, and choice of method. It is suggested that certain individuals are more vulnerable to incorporate the idea and act of suicide into their concepts of self, based on the same principles by which ideas are spread throughout society. Just as suicide impacts on society, so does society impact on suicide.

  6. Conference on Logical Methods

    CERN Document Server

    Remmel, Jeffrey; Shore, Richard; Sweedler, Moss; Progress in Computer Science and Applied Logic

    1993-01-01

    The twenty-six papers in this volume reflect the wide and still expanding range of Anil Nerode's work. A conference on Logical Methods was held in honor of Nerode's sixtieth birthday (4 June 1992) at the Mathematical Sciences Institute, Cornell University, 1-3 June 1992. Some of the conference papers are here, but others are from students, co-workers and other colleagues. The intention of the conference was to look forward, and to see the directions currently being pursued, in the development of work by, or with, Nerode. Here is a brief summary of the contents of this book. We give a retrospective view of Nerode's work. A number of specific areas are readily discerned: recursive equivalence types, recursive algebra and model theory, the theory of Turing degrees and r.e. sets, polynomial-time computability and computer science. Nerode began with automata theory and has also taken a keen interest in the history of mathematics. All these areas are represented. The one area missing is Nerode's applied mathematica...

  7. Modelling object typicality in description logics - [Workshop on Description Logics

    CSIR Research Space (South Africa)

    Britz, K

    2009-07-01

    Full Text Available The authors presents a semantic model of typicality of concept members in description logics that accords well with a binary, globalist cognitive model of class membership and typicality. The authors define a general preferential semantic framework...

  8. Logic with a Probability Semantics

    CERN Document Server

    Hailperin, Theodore

    2010-01-01

    The present study is an extension of the topic introduced in Dr. Hailperin's Sentential Probability Logic, where the usual true-false semantics for logic is replaced with one based more on probability, and where values ranging from 0 to 1 are subject to probability axioms. Moreover, as the word "sentential" in the title of that work indicates, the language there under consideration was limited to sentences constructed from atomic (not inner logical components) sentences, by use of sentential connectives ("no," "and," "or," etc.) but not including quantifiers ("for all," "there is"). An initial

  9. Nanoelectromechanical resonator for logic operations

    KAUST Repository

    Kazmi, Syed N. R.

    2017-08-29

    We report an electro-thermally tunable in-plane doubly-clamped nanoelectromechanical resonator capable of dynamically performing NOR, NOT, XNOR, XOR, and AND logic operations. Toward this, a silicon based resonator is fabricated using standard e-beam lithography and surface nanomachining of a highly conductive device layer of a silicon-on-insulator (SOI) wafer. The performance of this logic device is examined at elevated temperatures, ranging from 25 °C to 85 °C, demonstrating its resilience for most of the logic operations; thereby paving the way towards nano-elements-based mechanical computing.

  10. 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 in the constru...... in the construction of the proof an interactive proof assistant like Isabelle can be used. The proof assistant can even automate simple proofs using the formalized FOL semantics....

  11. Multiple Institutional Logics in Inter-Institutional Temporary Organizations

    DEFF Research Database (Denmark)

    Pemsel, Sofia; Söderlund, Jonas

    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...... 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...... distinct response strategies the project actors relied upon to deal with the multiplicity of logics: total integration, partial decoupling, avoidance, and surfing. We discuss how these response strategies were used, in what situations, and what effects they had on the organization. The paper contributes...

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

  13. Logical Theories for Agent Introspection

    DEFF Research Database (Denmark)

    Bolander, Thomas

    2004-01-01

    Artificial intelligence systems (agents) generally have models of the environments they inhabit which they use for representing facts, for reasoning about these facts and for planning actions. Much intelligent behaviour seems to involve an ability to model not only one's external environment...... introspective reasoning, the presence of self-reference causes the theory to be prone to inconsistency. The challenge therefore becomes to construct logical theories supporting introspective reasoning while at the same time ensuring that consistency is retained. In the thesis, we meet this challenge by devising...... by developments within semantics for logic programming within computational logic and formal theories of truth within philosophical logic. The thesis provides a number of examples showing how the developed theories can be used as reasoning frameworks for agents with introspective abilities. In Danish...

  14. Preferential reasoning for modal logics

    CSIR Research Space (South Africa)

    Britz, K

    2011-11-01

    Full Text Available representation results for both preferential and rational consequence, which paves the way for effective decision procedures for modal preferential reasoning. They then illustrate applications of their constructions to modal logics widely used in AI, notably...

  15. Dependence logic theory and applications

    CERN Document Server

    Kontinen, Juha; Väänänen, Jouko; Vollmer, Heribert

    2016-01-01

    In this volume, different aspects of logics for dependence and independence are discussed, including both the logical and computational aspects of dependence logic, and also applications in a number of areas, such as statistics, social choice theory, databases, and computer security. The contributing authors represent leading experts in this relatively new field, each of whom was invited to write a chapter based on talks given at seminars held at the Schloss Dagstuhl Leibniz Center for Informatics in Wadern, Germany (in February 2013 and June 2015) and an Academy Colloquium at the Royal Netherlands Academy of Arts and Sciences (March 2014). Altogether, these chapters provide the most up-to-date look at this developing and highly interdisciplinary field and will be of interest to a broad group of logicians, mathematicians, statisticians, philosophers, and scientists. Topics covered include a comprehensive survey of many propositional, modal, and first-order variants of dependence logic; new results concerning ...

  16. Counting proofs in propositional logic

    OpenAIRE

    David, René; Zaionc, Marek

    2009-01-01

    International audience; We give a procedure for counting the number of different proofs of a formula in various sorts of propositional logic. This number is either an integer (that may be 0 if the formula is not provable) or infinite.

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

  18. RIDAL - A Language for Research Information Definition Argumentation

    Directory of Open Access Journals (Sweden)

    Mathias Thomas Riechert

    2017-02-01

    Full Text Available Information about the research process is gaining importance for research documentation and evaluation. With the increased usage of such research information, the requirements for data quality and interpretation consistency are increasing. An agreed understanding of the concepts of research information is therefore crucial for fair science evaluation and science policy. Initiatives like euroCRIS and CASRAI address this by standardising research information definitions. In this paper, we present an approach to systematically develop and document not only definitions of research information, but also discussed alternatives and related arguments. With that we aim to support existing RI standardisation initatives with a flexible and scalable way of documenting and communicating the standardisation process in order to increase acceptance for the resulting definitions. Our contribution is threefold: Based on the widely used IBIS notation for argumentation modelling, we first introduce semantic rules for defining research information. Secondly, a transformation algorithm is provided to reduce the complexity of those argumentations – without the loss of information – and in turn improve readability of the diagrams. Thirdly, the semantic rules of the resulting less complex RIDAL notation are provided. The presented modelling notations are evaluated in the case setting of the standardisation project for research information of the German science system “Core Research Dataset”.

  19. Observation Predicates in Flow Logic

    DEFF Research Database (Denmark)

    Nielson, Flemming; Nielson, Hanne Riis; Sun, Hongyan

    2003-01-01

    in such a way that the hard constraints are satisfi ed exactly when the observation predicates report no violations. The development is carried out in a large fragment of a first order logic with negation and also takes care of the transformations necessary in order to adhere to the stratification restrictions...... inherent in Alternation-free Least Fixed Point Logic and similar formalisms such as Datalog....

  20. Recomposing a fragmented literature: how conditional and relational arguments engage different neural systems for deductive reasoning.

    Science.gov (United States)

    Prado, Jérôme; Van Der Henst, Jean-Baptiste; Noveck, Ira A

    2010-07-01

    Deductive reasoning is traditionally viewed as a unitary process involving either rule-based or visuo-spatial mechanisms. However, there is a disagreement in the neuroimaging literature on whether the data support one alternative over the other. Here we test the hypothesis that discrepancies in the literature result from the reasoning materials themselves. Using functional magnetic resonance imaging, we measure brain activity of participants while they integrate the premises of conditional arguments (primarily Modus Tollens: If P then Q; not-Q) and Relational Syllogisms (i.e., linear arguments of the sort P is to the left of Q; Q is to the left of R). We find that reasoning with Modus Tollens activates the left inferior frontal gyrus to a greater extent than the Relational Syllogisms. In contrast, the Relational Syllogisms engage the right temporo-parieto-occipital junction more than conditional arguments. This suggests that conditional reasoning relies more on so-called syntactic processes than relational reasoning, while relational reasoning may rely on visuo-spatial processes and mental imagery more than conditional reasoning. This investigative approach, together with its results, clarifies some apparently inconsistent findings in this literature by showing that the nature of the logical argument, whether it is relational or conditional, determines which neural system is engaged. Copyright (c) 2010 Elsevier Inc. All rights reserved.

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

  2. Four arguments in favour of nuclear power

    International Nuclear Information System (INIS)

    Pearce, D.

    1994-01-01

    The first argument in favour of nuclear power is scarcity of energy supplies. In about 40 years time, the world will face shortages of natural gas, oil and uranium. Recoverable reserves of coal are very great, but coal creates the highest environmental damage. A balanced portfolio is the second argument. If all energy sources are potentially scarce, then all energy sources must be developed, subject to environmental impact. This leads to the third argument in support of nuclear power, its expansion would contribute to combating the risk of global warming as indeed would the expansion of renewable sources and other low carbon technologies. Fourthly, nuclear power can make a significant contribution to the control of acidic emissions. While nuclear power is not without its own problems of risk, liability and public acceptance, it has some clear advantages over other fuels. It has, at the very least, to be a substantial part of the transitional phase towards a renewable energy world. (UK)

  3. Animal mind and the argument from design.

    Science.gov (United States)

    Blumberg, M S; Wasserman, E A

    1995-03-01

    The argument from design has played an important role in the history of philosophy and biology. Paley, the 19th-century theologian, was struck by the bodily complexity and adaptive fit of animals to their environments; he used the argument from design to prove the existence of God. Darwin, however, provided the natural evolutionary mechanisms that eliminated the need for positing a divine creator to explain the structure of animals; he was thus able to treat the historical problem of organic evolution by providing a historical solution. Today, some students of behavior are similarly struck by the complexity of animals' actions and their adaptive fit to the environment. Like Paley, they use the argument from design, but to prove the existence of a conscious designer inside the head of the animal--the mind. This mentalistic approach suffers from many of the philosophical and empirical problems that plagued similar efforts in the past.

  4. [Obesity: argument for withholding fertility treatment?].

    Science.gov (United States)

    Koning, Aafke M H; Mol, Ben Willem; Dondorp, Wybo J

    2014-01-01

    Obesity can lead to anovulation and subfertility. Around the world fertility treatment is withheld from women above a certain BMI, ranging from 25 to 40 kg/m2. The proponents of this policy use three different arguments to justify their restrictions: risks to the woman, health and wellbeing of the future child, and importance for society. In this article we critically appraise these arguments. In conclusion, we think obese women should be informed about the consequences of their weight on fertility and pregnancy complications and encouraged to lose weight. If, however, a woman is unable to lose weight despite effort, we feel there is no argument to withhold treatment from her. This would be unjustified with respect to the treatment of other women with a high risk of complications.

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

  6. Method to translate human feelings into arguments

    International Nuclear Information System (INIS)

    Hans, Arnold

    1995-01-01

    Taking as an example the status of nuclear power in Netherlands, it was shown that there is an emotional approach on the part of supporters and opponents, not open to rational argument, objective information of no avail, lack of public support (80% against), Government undecided. It was concluded that nuclear energy is a deep-rooted emotional conflict, and that the prospects of altering the situation are bleak. Proposed arguments for changeover in favor of nuclear energy are: electricity is a necessity, it is economical, safety is guaranteed, it protects the environment and conserves other resources

  7. After-birth abortion: the intuition argument.

    Science.gov (United States)

    Lederman, Zohar

    2013-05-01

    The argument advanced by Giubilini and Minerva is an important one, but it suffers from some shortcomings. I briefly criticise their reasoning and method and argue that after birth abortion should be limited largely to infants with disabilities. My argument is based not on solid scientific evidence or cold rational reasoning but on intuition, something that has long been discounted as irrelevant in biomedical discourse. I end with a recommendation to all of us: in order to make a change, one should not only choose one's battles, but also one's weapon and mode of attack.

  8. On Structural Completeness of Tabular Superintuitionistic Logics

    NARCIS (Netherlands)

    Citkin, Alexander

    2015-01-01

    As usual, the superintuitionistic (propositional) logics (that is, logics extending intuitionistic logic) are being studied “modulo derivability”, meaning such logics are viewed extensionally — they are identified with the set of formulae that are valid (derivable in the corresponding calculus) in

  9. An Application of Formal Argumentation: Fusing Bayes Nets in MAS

    DEFF Research Database (Denmark)

    Nielsen, Søren Holbech; Parsons, Simon

    2006-01-01

    to reach the compromise by gradually agreeing on parts of it. In the metaphor of the variable, the agents should be able to agree on successively smaller subsets of the enormous state space. However, these same local relationship can interact, and understanding the extent to which partial agreements affect...... the possible final compromise is a highly complex task. In this work we suggest using formal argumentation as the reasoning mechanism for agents solving this task, and suggest an open-ended agora approach that ensures agents high quality compromises in an anytime fashion....

  10. Political Conflict and Entangled Social Logics in the Development of Institutional Capacity: Creating a Designated National Authority for the Clean Development Mechanism in Uganda

    DEFF Research Database (Denmark)

    Olsen, Karen Holm

    2012-01-01

    Institutional capacity development is commonly conceptualised in an instrumental way; the concern is how to implement policy and realise project designs by aligning institutional realities with policy prescriptions. When assessed against project aims, capacity development interventions are often...... partially successful and sometimes unsuccessful. Inspired by an actor-oriented approach to understanding the processes and outcomes of institutional capacity development, this article argues that the real logics of actors are not in line with the formal ideas and assumptions of the project. This argument...... is based on a case study of a project to develop capacity for the Clean Development Mechanism in Uganda implemented over 4 years in the mid-2000s. This article concludes that the politics of processes of institutional change are largely ignored in an instrumental approach, and, contrary to project...

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

  12. The Relationship Between Chinese Students' Subject Matter Knowledge and Argumentation Pedagogy

    Science.gov (United States)

    Wang, Jianlan; Buck, Gayle

    2015-01-01

    Science education in China is Subject Matter Knowledge (SMK) oriented in that SMK understanding is the major benchmark to assess students' achievement in science learning. Such an orientation causes students to overemphasize the memorization of SMK and neglect other indispensable components of science, such as scientific attitudes and research skills. The central government in China launched an educational innovation known as New Curriculum Reform in 2003. Considerable progress has been made in the past 11 years in regard to theoretical understandings and administrative priorities, but little progress has been made in terms of classroom instruction and scientific literacy cultivation at the secondary level. Under the pressure of nationwide standardized exams, any educational innovations are unlikely to be accepted unless there is robust evidence suggesting their efficacy in promoting students' achievements on exams, or even attempted unless teachers are assured such attempts will not negatively impact such achievement. Argumentation-integrated curriculum is one such innovation. Scientific argumentation is an essential scientific activity that leads to the development of an explanation based on empirical evidence. An initial foundation of SMK, in terms of the necessary background knowledge, is considered by many to be a vital component of argumentation and an enhanced SMK is one of the intended products of argumentation. The purpose of this sequential explanatory mixed methods study was to investigate the relationship between Chinese students' SMK levels and argumentation pedagogy and to provide insights into a possible research agenda focused on implementing argumentation in a heavily SMK-oriented context.

  13. Concepts and practices of teachers of argumentation skills at the 5th grade of basic education

    Directory of Open Access Journals (Sweden)

    Andrezza da Costa França

    2012-06-01

    Full Text Available The present article seeks to discuss the concepts of two teachers regarding the teaching of argumentation skills and how they refl ect on their teaching practices with 5th grade students. The analysis of fi ve classes of each teacher has revealed that one of them adopted a concept of argumentation detached from day-to-day situations, expressed in the teaching of concepts and in a standard compositional form. The other teacher has shown a clearer understanding of the diversity of textual genres and of the situations in which one has to use argumentation skills, therefore generating more reading and writing activities based on the context, focusing on the analyzed genres’ characteristics. It is possible to conclude that the concept of argumentation as a discursive practice requires a greater knowledge of the diversity of situations and genres found in the society. This knowledge is essential for a more refl exive pedagogical practice centered on the social uses of writing.

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

  15. Improving ontologies by automatic reasoning and evaluation of logical definitions

    Directory of Open Access Journals (Sweden)

    Köhler Sebastian

    2011-10-01

    Full Text Available Abstract Background Ontologies are widely used to represent knowledge in biomedicine. Systematic approaches for detecting errors and disagreements are needed for large ontologies with hundreds or thousands of terms and semantic relationships. A recent approach of defining terms using logical definitions is now increasingly being adopted as a method for quality control as well as for facilitating interoperability and data integration. Results We show how automated reasoning over logical definitions of ontology terms can be used to improve ontology structure. We provide the Java software package GULO (Getting an Understanding of LOgical definitions, which allows fast and easy evaluation for any kind of logically decomposed ontology by generating a composite OWL ontology from appropriate subsets of the referenced ontologies and comparing the inferred relationships with the relationships asserted in the target ontology. As a case study we show how to use GULO to evaluate the logical definitions that have been developed for the Mammalian Phenotype Ontology (MPO. Conclusions Logical definitions of terms from biomedical ontologies represent an important resource for error and disagreement detection. GULO gives ontology curators a fast and simple tool for validation of their work.

  16. Perceptions of the Qualities of Written Arguments by Japanese Students

    OpenAIRE

    Suzuki, Shinobu

    2011-01-01

    This study examines how Japanese students perceive the qualities of written arguments that were constructed to have different forms. Based on the theoretical dimensions of verbal communication styles that Gudykunst and Ting-Toomey proposed, the research questions asked whether the respondents would perceive direct arguments to be of higher quality than indirect arguments. They also asked whether they would perceive elaborate arguments to be of higher quality than succinct arguments. Japanese ...

  17. Argument-based negotiation within a social context

    OpenAIRE

    Karunatillake, NC; Jennings, NR; Rahwan, I; Norman, TJ

    2006-01-01

    Argumentation-based negotiation (ABN) provides agents with an effective means to resolve conflicts within a multi-agent society. However, to engage in such argumentative encounters the agents require the ability to generate arguments, which, in turn, demands four fundamental capabilities: a schema to reason in a social context, a mechanism to identify a suitable set of arguments, a language and a protocol to exchange these arguments, and a decision making functionality to generate such dialog...

  18. Law as a Norm System Builded Argumentative and Narratively

    Directory of Open Access Journals (Sweden)

    Jamir Calili Ribeiro

    2016-11-01

    Full Text Available The article is about understanding the law system as a system of principles and rules and about a proposed hermeneutics that can maintain the law's autopoiesis and its perspective democratic and emancipatory. It concluded any distinction between normative species is based in rational insufficiently criteria. Such distinctions are irrelevant to understand the law. Hermeneutic  perspective  proposed  is  based  on  understanding  the  law  system  as argumentative and narrative practice. The interpreter of the law must building a solution for case taking note about past and future: consistent with what is already built and indicative of the future that can be intended.

  19. Argumentative Strategies in American and Japanese English.

    Science.gov (United States)

    Kamimura, Taeko; Oi, Kyoko

    1998-01-01

    A study examined differences in argumentative strategies in Japanese and American English by analyzing English essays on capital punishment written by 22 American high school seniors and 30 Japanese college sophomores. Differences were found in the organizational patterns, content and use of rational appeals, preference for type of diction, and…

  20. Verbal directionality and argument alternation in Dinka

    DEFF Research Database (Denmark)

    Andersen, Torben

    2012-01-01

    (wards) an explicit or implicit goal. The object of a directional verb may play another role in the event described by the sentence than the object of the corresponding simple (and non-directional) verb. This gives rise to so-called argument alternation, in that, for instance, an object and an instrumental adverbial...

  1. Det demokratiske argument for absolut ytringsfrihed

    DEFF Research Database (Denmark)

    Lægaard, Sune

    2014-01-01

    Artiklen diskuterer den påstand, at absolut ytringsfrihed er en nødvendig forudsætning for demokratisk legitimitet med udgangspunkt i en rekonstruktion af et argument fremsat af Ronald Dworkin. Spørgsmålet er, hvorfor ytringsfrihed skulle være en forudsætning for demokratisk legitimitet, og hvorf...

  2. The argumentative impact of causal relations

    DEFF Research Database (Denmark)

    Nielsen, Anne Ellerup

    1996-01-01

    such as causality, explanation and justification. In certain types of discourse, causal relations also imply an intentional element. This paper describes the way in which the semantic and pragmatic functions of causal markers can be accounted for in terms of linguistic and rhetorical theories of argumentation....

  3. Modelling verb selection within argument structure constructions

    NARCIS (Netherlands)

    Matusevych, Yevgen; Alishahi, Afra; Backus, Albert

    2017-01-01

    This article looks into the nature of cognitive associations between verbs and argument structure constructions (ASCs). Existing research has shown that distributional and semantic factors affect speakers' choice of verbs in ASCs. A formal account of this theory has been proposed by Ellis,

  4. The simplest formal argument for fitness optimization

    Indian Academy of Sciences (India)

    2008-12-23

    Dec 23, 2008 ... The Formal Darwinism Project aims to provide a formal argument linking population genetics to fitness optimization, which of necessity includes defining fitness. This bridges the gulf between those biologists who assume that natural selection leads to something close to fitness optimization and those ...

  5. Communication of geo-scientific safety arguments

    International Nuclear Information System (INIS)

    Flavelle, P.; Goodwin, B.; Jensen, M.; Linden, R.; Mazurek, M.; Srivastave, M.; Strom, A.; Sudicky, E.; Voinis, S.

    2007-01-01

    Working Group B addressed the communication of geo-scientific safety arguments through a discussion of practical experience as it related to the methods, types of information and specific arguments found to best communicate geo-scientific concepts and notions of safety with broad audiences including, colleagues, authorities and regulators, political decision makers, academics, and the general public. The following questions were suggested by the programme committee of the AMIGO-2 workshop for discussion by Working Group B with respect to the communication of geo-scientific information and safety arguments: - What is the place of geo-scientific arguments in relation to quantitative and qualitative topics like scenario and FEPs (features, events, processes) assessment, simulated repository evolution, calculated dose or risk impacts, engineering tests of materials, etc., when presenting a safety case to different audiences and with respect to the various stages of the repository programme? (see section 3). - Would we be better off focusing messages to the public on time scales of a few hundred years or a few generations? (see section 4). - How do you handle the fact that geoscience interpretations seldom are unique and data often are open to various interpretations? (see section 5). - How do you handle expert controversy on a specific topic? (see section 6). (authors)

  6. On the First Anthropic Argument in Astrobiology

    OpenAIRE

    Cirkovic, Milan M.

    2003-01-01

    We consider the little-known anthropic argument of Fontenelle dealing with the nature of cometary orbits, given a year before the publication of Newton's Principia. This is particularly interesting in view of the rapid development of the recently resurgent theories of cometary catastrophism and their role in the modern astrobiological debates, for instance in the "rare Earth" hypothesis of Ward and Brownlee.

  7. The simplest formal argument for fitness optimization

    Indian Academy of Sciences (India)

    The Formal Darwinism Project aims to provide a formal argument linking population genetics to fitness optimization, which of necessity includes defining fitness. This bridges the gulf between those biologists who assume that natural selection leads to something close to fitness optimization and those biologists who believe ...

  8. Contesting Pornography: Terministic Catharsis and Definitional Argument.

    Science.gov (United States)

    Palczewski, Catherine Helen

    2001-01-01

    Focuses on the debates over the MacKinnon-Dworkin Anti-Pornography Ordinance to explore one instance of definitional argument: the attempt to effect a redefinition. Argues that advocates for a definitional shift created the possibility for a "terministic catharsis" by simultaneously locating pornography in multiple locations on the pentad,…

  9. Value Creation Logics and Internationalization of Service Firms

    DEFF Research Database (Denmark)

    Ørberg Jensen, Peter D.; Petersen, Bent

    2014-01-01

    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...... frameworks. The thrust of this study is that value creation logics, a construct originally developed by Stabell and Fjeldstad (1998) can assist us in better understanding why and how service firms internationalize. We extend this construct and propose that the internationalization of service firms must...... 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...

  10. Value Creation Logics and Internationalization of Service Firms

    DEFF Research Database (Denmark)

    Ørberg Jensen, Peter D.; Petersen, Bent

    2014-01-01

    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....... The thrust of this study is that value creation logics, a construct originally developed by Stabell and Fjeldstad (1998) can assist us in better understanding why and how service firms internationalize. We extend this construct and propose that the internationalization of service firms must be based...

  11. A new hierarchy of infinitary logics in abstract algebraic logic

    Czech Academy of Sciences Publication Activity Database

    Lávička, Tomáš; Noguera, Carles

    2017-01-01

    Roč. 105, č. 3 (2017), s. 521-551 ISSN 0039-3215 R&D Projects: GA ČR GA13-14654S EU Projects: European Commission(XE) 689176 - SYSMICS Institutional support: RVO:67985556 ; RVO:67985807 Keywords : Abstract algebraic logic * consequence relations * infinitary logics * completeness properties Subject RIV: BA - General Mathematics; BA - General Mathematics (UIVT-O) OBOR OECD: Pure mathematics; Computer science s, information science , bioinformathics (hardware development to be 2.2, social aspect to be 5.8) (UIVT-O) Impact factor: 0.589, year: 2016 http://library.utia.cas.cz/separaty/2017/MTR/noguera-0469118.pdf

  12. Fuzzy logic of Aristotelian forms

    Energy Technology Data Exchange (ETDEWEB)

    Perlovsky, L.I. [Nichols Research Corp., Lexington, MA (United States)

    1996-12-31

    Model-based approaches to pattern recognition and machine vision have been proposed to overcome the exorbitant training requirements of earlier computational paradigms. However, uncertainties in data were found to lead to a combinatorial explosion of the computational complexity. This issue is related here to the roles of a priori knowledge vs. adaptive learning. What is the a-priori knowledge representation that supports learning? I introduce Modeling Field Theory (MFT), a model-based neural network whose adaptive learning is based on a priori models. These models combine deterministic, fuzzy, and statistical aspects to account for a priori knowledge, its fuzzy nature, and data uncertainties. In the process of learning, a priori fuzzy concepts converge to crisp or probabilistic concepts. The MFT is a convergent dynamical system of only linear computational complexity. Fuzzy logic turns out to be essential for reducing the combinatorial complexity to linear one. I will discuss the relationship of the new computational paradigm to two theories due to Aristotle: theory of Forms and logic. While theory of Forms argued that the mind cannot be based on ready-made a priori concepts, Aristotelian logic operated with just such concepts. I discuss an interpretation of MFT suggesting that its fuzzy logic, combining a-priority and adaptivity, implements Aristotelian theory of Forms (theory of mind). Thus, 2300 years after Aristotle, a logic is developed suitable for his theory of mind.

  13. Strategies and logics of internationalization

    Directory of Open Access Journals (Sweden)

    Mahjouba Ben Salem

    2013-07-01

    Full Text Available The race between firms to acquire capacities worldwide has evolved in a chronological order which centered at first around products, then around position to move later on to skills and to focus currently on networks. Similarly, when observing the evolution of the different international development strategies, it was found out that they have started by the exportation and the setting up of production subsidiaries to move more recently to such strategies as mergers & acquisitions and international alliances. The present paper investigates the relationship between the internationalization strategies and logics and comes to the conclusion that, a particular logic is behind every choice made. Indeed, the present work was conducted within the Tunisian food enterprises and helped confirm this hypothesis as it was found out that the position logic is behind the choice of exportation and the creation of production subsidiaries while the choice of partnership is based on the logic of skills. The option for merger, on the other hand, is motivated by the networks logic.

  14. Impossible Worlds and Logical Omniscience

    DEFF Research Database (Denmark)

    Bjerring, Jens Christian Krarup

    2013-01-01

    ”. But I prove that it is impossible to develop an impossible-world framework that can do this job and that satisfies certain standard conditions. Effectively, I show that attempts to model moderately ideal agents in a world-involving framework collapse to modeling either logical omniscient agents......In this paper, I investigate whether we can use a world-involving framework to model the epistemic states of non-ideal agents. The standard possible-world framework falters in this respect because of a commitment to logical omniscience. A familiar attempt to overcome this problem centers around...... falsehoods, they are nevertheless able to rule out blatantly impossible worlds that verify obvious logical falsehoods. To model moderately ideal agents, I argue, the job is to construct a modal space that contains only possible and non-trivially impossible worlds where it is not the case that “anything goes...

  15. Fuzzy Logic Reliability Centered Maintenance

    Directory of Open Access Journals (Sweden)

    Felecia .

    2014-01-01

    Full Text Available Reliability Centered Maintenence (RCM is a systematic maintenence strategy based on system reliability. Application of RCM process will not always come out with a binary output of “yes” and “no”. Most of the time they are not supported with available detail information to calculate system reliability. The fuzzy logic method attempts to eliminate the uncertainty by providing “truth” in different degrees.Data and responses from maintenance department will be processed using the two methods (reliability centered maintenance and fuzzy logic to design maintenance strategy for the company. The results of the fuzzy logic RCM application are maintenance strategy which fit with current and future condition.

  16. The Pointer Assertion Logic Engine

    DEFF Research Database (Denmark)

    Møller, Anders; Schwartzbach, Michael Ignatieff

    2001-01-01

    in the logical tradition by encoding the programs and partial specifications as formulas in monadic second-order logic. Validity of these formulas is checked by the MONA tool, which also can provide explicit counterexamples to invalid formulas. To make verification decidable, the technique requires explicit loop...... restricted to simple special cases such as lists or trees. Even so, our current implementation is as fast as the previous specialized tools. Programs are annotated with partial specifications expressed in Pointer Assertion Logic, a new notation for expressing properties of the program store. We work......We present a new framework for verifying partial specifications of programs in order to catch type and memory errors and check data structure invariants. Our technique can verify a large class of data structures, namely all those that can be expressed as graph types. Earlier versions were...

  17. Fuzzy logic particle tracking velocimetry

    Science.gov (United States)

    Wernet, Mark P.

    1993-01-01

    Fuzzy logic has proven to be a simple and robust method for process control. Instead of requiring a complex model of the system, a user defined rule base is used to control the process. In this paper the principles of fuzzy logic control are applied to Particle Tracking Velocimetry (PTV). Two frames of digitally recorded, single exposure particle imagery are used as input. The fuzzy processor uses the local particle displacement information to determine the correct particle tracks. Fuzzy PTV is an improvement over traditional PTV techniques which typically require a sequence (greater than 2) of image frames for accurately tracking particles. The fuzzy processor executes in software on a PC without the use of specialized array or fuzzy logic processors. A pair of sample input images with roughly 300 particle images each, results in more than 200 velocity vectors in under 8 seconds of processing time.

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

  19. Generating a scalar logic

    DEFF Research Database (Denmark)

    Ramsgaard Thomsen, Mette; Tamke, Martin

    2011-01-01

    and assembly process can be negotiated. In this paper we discuss methods for understanding the emergent interrelationships between encoded parameters, how to manage these and their impact on design. The implementation of the design necessitated a novel design method that allowed to blend the qualities...... of a generative design approach, that can adapt through recursion gradually to local requirements, with explicit definitions. The project showcases with its new developed manufacturing system for nonstandard element how customized digital design and production tools allow for a novel nearness to material and new...

  20. Sequential logic analysis and synthesis

    CERN Document Server

    Cavanagh, Joseph

    2007-01-01

    Until now, there was no single resource for actual digital system design. Using both basic and advanced concepts, Sequential Logic: Analysis and Synthesis offers a thorough exposition of the analysis and synthesis of both synchronous and asynchronous sequential machines. With 25 years of experience in designing computing equipment, the author stresses the practical design of state machines. He clearly delineates each step of the structured and rigorous design principles that can be applied to practical applications. The book begins by reviewing the analysis of combinatorial logic and Boolean a