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. Combining Paraconsistent Logic with Argumentation

    NARCIS (Netherlands)

    Grooters, Diana; Prakken, Hendrik

    2014-01-01

    One tradition in the logical study of argumentation is to allow for arguments that combine strict and defeasible inference rules, and to derive the strict inference rules from a logic at least as strong as classical logic. An unsolved problem in this tradition is how the trivialising effect of the

  4. Modelling Imprecise Arguments in Description Logic

    Directory of Open Access Journals (Sweden)

    LETIA, I. A.

    2009-10-01

    Full Text Available Real arguments are a mixture of fuzzy linguistic variables and ontological knowledge. This paper focuses on modelling imprecise arguments in order to obtain a better interleaving of human and software agents argumentation, which might be proved useful for extending the number of real life argumentative-based applications. We propose Fuzzy Description Logic as the adequate technical instrumentation for filling the gap between human arguments and software agents arguments. A proof of concept scenario has been tested with the fuzzyDL reasoner.

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

  6. Argument Construction in Understanding Noncovalent Interactions: A Comparison of Two Argumentation Frameworks

    Science.gov (United States)

    Cooper, A. Kat; Oliver-Hoyo, M. T.

    2016-01-01

    Argument construction is a valuable ability for explaining scientific phenomena and introducing argumentation skills as part of a curriculum can greatly enhance student understanding by promoting self-reflection on the topic under investigation. This article aims to use argument construction as a technique to support an activity designed to…

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

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

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

    DEFF Research Database (Denmark)

    Badie, Farshad

    2017-01-01

    logical assumptions whose discovery may lead us to a better understanding of ‘concept understanding’. The Structure of Observed Learning Outcomes (SOLO) model as an appropriate model of increasing complexity of humans’ understanding has supported the formal analysis.......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 revealing...

  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...... logical assumptions whose discovery may lead us to a better understanding of ‘concept understanding’. The Structure of Observed Learning Outcomes (SOLO) model as an appropriate model of increasing complexity of humans’ understanding has supported the formal analysis....

  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. Understanding a High School Physics Teacher's Pedagogical Content Knowledge of Argumentation

    Science.gov (United States)

    Wang, Jianlan; Buck, Gayle A.

    2016-08-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 argumentation. However, there is a lack of understanding about science teachers' knowledge of argumentation, especially the dialogic meaning of argumentation. In this case study, we closely examine a high school physics teacher's argumentation-related pedagogic content knowledge (PCK) in the context of dialogic argumentation. We synthesize the teacher's performed PCK from his argumentation practices and narrated PCK from his reflection on the argumentation practices, from which we summarize his PCK of argumentation from the perspectives of orientation, instructional strategies, students, curriculum, and assessment. Finally, we describe the teacher's perception and adaption of argumentation in his class. We also identity the barriers to argumentation implementation in this particular case and suggest solutions to overcome these barriers.

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

    DEFF Research Database (Denmark)

    Badie, Farshad

    2017-01-01

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

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

    International Nuclear Information System (INIS)

    Stachow, E.W.

    1980-01-01

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

  15. Understanding and Detecting Supporting Arguments of Diverse Types

    OpenAIRE

    Hua, Xinyu; Wang, Lu

    2017-01-01

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

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

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

    Science.gov (United States)

    Wingate, Ursula

    2012-01-01

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

  18. Combining Theory of Institutional Logics and Theory of Justification in Understanding Ambiguous Decision Making

    DEFF Research Database (Denmark)

    Westenholz, Ann

    I propose to understand decision making by combining theory of institutional logics (Friedland; Thornton, Ocasio & Lounsbury) and theory of justification (Boltanski and Thévenot). These two theoretical approaches are different but, at the same time, deal with the socially constructed plurality...... companies have located part of their business in Denmark. Finally I conclude and discuss why theory of institutional logics needs theory of justification and vice versa....... of the world nesting a macro-meso-micro level analysis. My argument is that both theories may learn from each other and enrich the study of ambiguous decision making. In the paper I describe, compare and combine the two theoretical approaches. I then illustrate the combined approach by a case where Chinese...

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

  20. TOWARDS A PHILOSOPHICAL UNDERSTANDING OF THE LOGICS OF FORMAL INCONSISTENCY

    Directory of Open Access Journals (Sweden)

    WALTER CARNIELLI

    2015-01-01

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

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

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

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

    Science.gov (United States)

    Bordelon, Suzanne

    2006-01-01

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

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

    Science.gov (United States)

    Nafsiati Astuti, Rini

    2018-04-01

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

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

    Science.gov (United States)

    Hoffmann, Michael; Borenstein, Jason

    2014-03-01

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

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

    Science.gov (United States)

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

    2017-02-01

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

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

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

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

    Science.gov (United States)

    Asangansi, Ime

    2012-01-01

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

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

    Science.gov (United States)

    Callahan, Brendan E.

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

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

    Directory of Open Access Journals (Sweden)

    Angela Maria Rossi

    2017-12-01

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

  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. The Ethics of Argumentation

    OpenAIRE

    Vasco Correia

    2012-01-01

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

  14. Formalizing Informal Logic

    Directory of Open Access Journals (Sweden)

    Douglas Walton

    2015-12-01

    Full Text Available This paper presents a formalization of informal logic using the Carneades Argumentation System (CAS, a formal, computational model of argument that consists of a formal model of argument graphs and audiences. Conflicts between pro and con arguments are resolved using proof standards, such as preponderance of the evidence. CAS also formalizes argumentation schemes. Schemes can be used to check whether a given argument instantiates the types of argument deemed normatively appropriate for the type of dialogue.

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

    OpenAIRE

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

    2013-01-01

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

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

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

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

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

    Science.gov (United States)

    Diment, Kieren; Garrety, Karin; Yu, Ping

    2011-01-01

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

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

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

    NARCIS (Netherlands)

    Cohnitz, Daniel; Kangilaski, Jaan

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

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

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

  8. Omitted Arguments and Complexity of Predication

    Science.gov (United States)

    Port, Martin

    2010-01-01

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

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

  10. Towards a Formal Occurrence Logic based on Predicate Logic

    DEFF Research Database (Denmark)

    Badie, Farshad; Götzsche, Hans

    2015-01-01

    In this discussion we will concentrate on the main characteristics of an alternative kind of logic invented by Hans Götzsche: Occurrence Logic, which is not based on truth functionality. Our approach is based on temporal logic developed and elaborated by A. N. Prior. We will focus on characterising...... 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...... principles” in different moments. We will also conclude that the elaborated Götzsche’s Occurrence Logic could be able to direct us to a truth-functional independent computer-based logic for analysing argumentation based on events and occurrences....

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

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

  13. Short-circuit logic

    NARCIS (Netherlands)

    Bergstra, J.A.; Ponse, A.

    2010-01-01

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

  14. Big Argumentation?

    Directory of Open Access Journals (Sweden)

    Daniel Faltesek

    2013-08-01

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

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

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

  17. Logic and Ontology

    Directory of Open Access Journals (Sweden)

    Newton C. A. da Costa

    2002-12-01

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

  18. Logical Characterisation of Ontology Construction using Fuzzy Description Logics

    DEFF Research Database (Denmark)

    Badie, Farshad; Götzsche, Hans

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

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

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

  1. What are Institutional Logics

    OpenAIRE

    Berg Johansen, Christina; Bock Waldorff, Susanne

    2015-01-01

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

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

  3. Service Orientation in Manufacturing Firms : Understanding Challenges with Service Business Logic

    OpenAIRE

    Löfberg, Nina

    2014-01-01

    Globalisation and competition from low-cost countries has pushed manufacturing firms towards offering services to remain competitive. However, increasing the service orientation of a manufacturing firm to find new ways of value (co-)creation has presented several challenges, such as the fact that services do not provide the expected revenues, and resistance from both the sales force and from customers towards services. The aim of this thesis is to understand challenges linked to increasing se...

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

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

  6. Non-Discriminating Arguments and Their Uses

    DEFF Research Database (Denmark)

    Christiansen, Henning; Gallagher, John Patrick

    2009-01-01

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

  7. What are Institutional Logics

    DEFF Research Database (Denmark)

    Berg Johansen, Christina; Waldorff, Susanne Boch

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

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

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

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

  11. Categories and logical syntax

    NARCIS (Netherlands)

    Klev, Ansten Morch

    2014-01-01

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

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

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

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

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

  16. Fuzzy Logic vs. Neutrosophic Logic: Operations Logic

    Directory of Open Access Journals (Sweden)

    Salah Bouzina

    2016-12-01

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

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

  18. Quantum Logic as a Dynamic Logic

    NARCIS (Netherlands)

    Baltag, A.; Smets, S.

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

  19. Quantum logic as a dynamic logic

    NARCIS (Netherlands)

    Baltag, Alexandru; Smets, Sonja

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

  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. The great slippery-slope argument.

    OpenAIRE

    Burgess, J A

    1993-01-01

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

  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. Baroque Poetics and the Logic of Hispanic Exceptionalism

    OpenAIRE

    Young, Allen

    2012-01-01

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

  4. Extending Value Logic Thinking to Value Logic Portfolios

    DEFF Research Database (Denmark)

    Andersen, Poul Houman; Ritter, Thomas

    2014-01-01

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

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

  6. Modal Logics and Definability

    OpenAIRE

    Kuusisto, Antti

    2013-01-01

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

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

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

  10. Types, typologies, arguments

    OpenAIRE

    Plantin, Christian

    2017-01-01

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

  11. The great slippery-slope argument.

    Science.gov (United States)

    Burgess, J A

    1993-09-01

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

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

  13. BDI Logics

    NARCIS (Netherlands)

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

    2015-01-01

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

  14. Coherence-driven argumentation to norm consensus

    NARCIS (Netherlands)

    Joseph, S.; Prakken, H.

    2009-01-01

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

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

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

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

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

    CERN Document Server

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

    1999-01-01

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

  19. Quantum logic: is it necessarily orthocomplemented

    International Nuclear Information System (INIS)

    Mielnik, B.

    1976-01-01

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

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

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

  2. Dispositional logic

    Science.gov (United States)

    Le Balleur, J. C.

    1988-01-01

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

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

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

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

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

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

  8. Three Arguments for Lotteries

    OpenAIRE

    STONE, PETER

    2010-01-01

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

  9. Den gode argumentations anatomi

    DEFF Research Database (Denmark)

    Kock, Christian Erik J

    2013-01-01

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

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

    Science.gov (United States)

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

    2011-01-01

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

  11. Scaring the Public: Fear Appeal Arguments in Public Health Reasoning

    Directory of Open Access Journals (Sweden)

    Louise Cummings

    2012-03-01

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

  12. Logic and Philosophy of Time

    DEFF Research Database (Denmark)

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

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

  14. Generate an Argument: An Instructional Model

    Science.gov (United States)

    Sampson, Victor; Grooms, Jonathon

    2010-01-01

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

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

    Science.gov (United States)

    Kirklin, D

    2007-07-01

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

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

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

  18. Propositional Logics of Dependence

    NARCIS (Netherlands)

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

    2016-01-01

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

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

  20. Argumentation and Game Theory

    Science.gov (United States)

    Rahwan, Iyad; Larson, Kate

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

  1. The Determinants of Money Arguments between Spouses

    Directory of Open Access Journals (Sweden)

    Dorothy B. Durband

    2010-10-01

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

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

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

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

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

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

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

    Science.gov (United States)

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

    2014-01-01

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

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

  9. Rethinking the Argumentative Essay

    Science.gov (United States)

    Schneer, David

    2014-01-01

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

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

  11. A LIBRARIAN’S ARGUMENT

    Directory of Open Access Journals (Sweden)

    Brigita Miloš

    2013-01-01

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

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

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

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

  15. Argumentation Ethics and The Philosophy of Freedom

    Directory of Open Access Journals (Sweden)

    Frank van Dun

    2009-03-01

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

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

  17. Defining Rhetorical Argumentation

    DEFF Research Database (Denmark)

    Kock, Christian Erik J

    2013-01-01

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

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

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

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

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

  2. Graduate Courses in Argumentation Theory.

    Science.gov (United States)

    Benoit, William L.; Follert, Vincent F.

    1986-01-01

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

  3. Arguments from Developmental Order.

    Science.gov (United States)

    Stöckle-Schobel, Richard

    2016-01-01

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

  4. ERISTIC ARGUMENTATION IN ADVERTISING

    Directory of Open Access Journals (Sweden)

    Skirmantė Biržietienė

    2014-10-01

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

  5. Arguments from Developmental Order

    Directory of Open Access Journals (Sweden)

    Richard eStöckle-Schobel

    2016-05-01

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

  6. Exploring the Common Ground of Rhetoric and Logic.

    Science.gov (United States)

    Lamb, Catherine E.

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

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

  8. Using Argumentation Logic for Firewall Policy Specification and Analysis

    OpenAIRE

    Bandara, Arosha K.; Kakas, Antonis; Lupu, Emil C.; Russo, Alessandra

    2006-01-01

    Firewalls are important perimeter security mechanisms that imple-ment an organisation's network security requirements and can be notoriously difficult to configure correctly. Given their widespread use, it is crucial that network administrators have tools to translate their security requirements into firewall configuration rules and ensure that these rules are consistent with each other. In this paper we propose an approach to firewall policy specification and analysis that uses a formal fram...

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

  10. On argumentation schemes and the natural classification of arguments

    NARCIS (Netherlands)

    Katzav, J.K.; Reed, C.

    2004-01-01

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

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

  12. Two aspects of relevance in structured argumentation: minimality and paraconsistency

    NARCIS (Netherlands)

    Grooters, Diana; Prakken, H.

    2016-01-01

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

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

  14. On argumentation schemes and the natural classification of arguments

    OpenAIRE

    Katzav, K.; Reed, C.

    2004-01-01

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

  15. Argumentativeness and Resistance to Persuasion.

    Science.gov (United States)

    Levine, Timothy R.; Badger, Eugenia E.

    1993-01-01

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

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

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

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

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

    Science.gov (United States)

    Rotello, Caren M.; Heit, Evan

    2009-01-01

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

  20. [Evaluation of arguments in research reports].

    Science.gov (United States)

    Botes, A

    1999-06-01

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

  1. Slippery Slope Arguments

    NARCIS (Netherlands)

    van der Burg, W.; Chadwick, R.F.

    1998-01-01

    Slippery slope arguments hold that one should not take some action (which in itself may be innocuous or even laudable) in order to prevent one from being dragged down a slope towards some clearly undesirable situation. Their typical purpose is to prevent changes in the status quo and, therefore,

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

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

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

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

    NARCIS (Netherlands)

    Prakken, Henry

    2006-01-01

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

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

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

  8. Microelectromechanical reprogrammable logic device

    KAUST Repository

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

    2016-01-01

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

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

  10. Classical logic and logicism in human thought

    OpenAIRE

    Elqayam, Shira

    2012-01-01

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

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

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

    Science.gov (United States)

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

    2016-01-01

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

  13. Three-valued logics in modal logic

    NARCIS (Netherlands)

    Kooi, Barteld; Tamminga, Allard

    2013-01-01

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

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

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

  16. A Textbook Argument: Definitions of Argument in Leading Composition Textbooks

    Science.gov (United States)

    Knoblauch, A. Abby

    2011-01-01

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

  17. Environmental Argumentation as Sociocultural Activity

    Science.gov (United States)

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

    2012-01-01

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

  18. Argumentation in Miranda v. Arizona.

    Science.gov (United States)

    Benoit, William L.

    1991-01-01

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

  19. Argumentative Men: Expectations of Success.

    Science.gov (United States)

    Schullery, Nancy M.

    1999-01-01

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

  20. Quantifiers for quantum logic

    OpenAIRE

    Heunen, Chris

    2008-01-01

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

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

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

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

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

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

    Science.gov (United States)

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

    2018-01-01

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

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

    OpenAIRE

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

    2013-01-01

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

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

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

  9. Connections among quantum logics

    International Nuclear Information System (INIS)

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

    1985-01-01

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

  10. Structural Logical Relations

    DEFF Research Database (Denmark)

    Schürmann, Carsten; Sarnat, Jeffrey

    2008-01-01

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

  11. Indeterministic Temporal Logic

    Directory of Open Access Journals (Sweden)

    Trzęsicki Kazimierz

    2015-09-01

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

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

  13. Transforming equality logic to propositional logic

    NARCIS (Netherlands)

    Zantema, H.; Groote, J.F.

    2003-01-01

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

  14. Improving practical reasoning and argumentation

    OpenAIRE

    Baumtrog, Michael David

    2015-01-01

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

  15. The argument from moral psychology

    OpenAIRE

    Milevski, Voin

    2015-01-01

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

  16. Argumentation Theory. [A Selected Annotated Bibliography].

    Science.gov (United States)

    Benoit, William L.

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

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

  18. A computational paradigm for dynamic logic-gates in neuronal activity

    Directory of Open Access Journals (Sweden)

    Amir eGoldental

    2014-04-01

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

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

  20. Epistemic Purposes to Prompt Argumentation in inquiry-based classes

    Directory of Open Access Journals (Sweden)

    Arthur Tadeu Ferraz

    2017-04-01

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

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

  2. Many-valued logics

    CERN Document Server

    Bolc, Leonard

    1992-01-01

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

  3. Against Logical Form

    Directory of Open Access Journals (Sweden)

    P N Johnson-Laird

    2010-10-01

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

  4. Anticoincidence logic using PALs

    International Nuclear Information System (INIS)

    Bolanos, L.; Arista Romeu, E.

    1997-01-01

    This paper describes the functioning principle of an anticoincidence logic and a design of this based on programing logic. The circuit was included in a discriminator of an equipment for single-photon absorptiometry

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

  6. Argument Complexity: Teaching Undergraduates to Make Better Arguments

    Science.gov (United States)

    Kelly, Matthew A.; West, Robert L.

    2017-01-01

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

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

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

  9. Connections among quantum logics

    International Nuclear Information System (INIS)

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

    1985-01-01

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

  10. Equational type logic

    NARCIS (Netherlands)

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

    1990-01-01

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

  11. Concurrent weighted logic

    DEFF Research Database (Denmark)

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

    2015-01-01

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

  12. Real Islamic Logic

    NARCIS (Netherlands)

    Bergstra, J.A.

    2011-01-01

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

  13. Another argument against fundamental scalars

    International Nuclear Information System (INIS)

    Joglekar, S.D.

    1990-01-01

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

  14. Een Scotistisch argument voor dualisme

    NARCIS (Netherlands)

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

    2010-01-01

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

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

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

  17. Rhetoric and Essentially Contested Arguments

    Science.gov (United States)

    Garver, Eugene

    1978-01-01

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

  18. Relating Reasoning Methodologies in Linear Logic and Process Algebra

    Directory of Open Access Journals (Sweden)

    Yuxin Deng

    2012-11-01

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

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

  20. Abductive Logic Grammars

    DEFF Research Database (Denmark)

    Christiansen, Henning; Dahl, Veronica

    2009-01-01

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

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

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

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

  4. Institutional Logics in Action

    DEFF Research Database (Denmark)

    Lounsbury, Michael; Boxenbaum, Eva

    2013-01-01

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

  5. Proving deadlock freedom of logic programs with dynamic scheduling

    NARCIS (Netherlands)

    E. Marchiori; F. Teusink (Frank)

    1996-01-01

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

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

    Science.gov (United States)

    Little, Joseph

    1999-01-01

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

  7. Concepts and Contexts – Argumentative Forms of Framing

    DEFF Research Database (Denmark)

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

    2011-01-01

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

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

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

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

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

    Science.gov (United States)

    Sumarsih; Budiyono; Indriati, D.

    2018-04-01

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

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

  13. The Football of Logic

    Directory of Open Access Journals (Sweden)

    Schang Fabien

    2017-03-01

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

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

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

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

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

    Science.gov (United States)

    Jenicek, Milos

    2006-08-01

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

  18. Logic of likelihood

    International Nuclear Information System (INIS)

    Wall, M.J.W.

    1992-01-01

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

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

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

  1. Logic for Physicists

    Science.gov (United States)

    Pereyra, Nicolas A.

    2018-06-01

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

  2. Revisiting Strawsonian Arguments from Inescapability

    OpenAIRE

    Szigeti, Andras

    2012-01-01

    Peter Strawson defends the thesis that determinism is irrelevant to the justifiability of responsibility-attributions. In this paper, I want to examine various arguments advanced by Strawson in support of this thesis. These arguments all draw on the thought that the practice of responsibility is inescapable. My main focus is not so much the metaphysical details of Strawsonian compatibilism, but rather the more fundamental idea that x being inescapable may be reason for us to regard x as justi...

  3. Architecture-based regulatory compliance argumentation

    DEFF Research Database (Denmark)

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

    2016-01-01

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

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

  5. Indexical Hybrid Tense Logic

    DEFF Research Database (Denmark)

    Blackburn, Patrick Rowan; Jørgensen, Klaus Frovin

    2012-01-01

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

  6. A Logic for Choreographies

    DEFF Research Database (Denmark)

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

    2010-01-01

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

  7. Superconductor fluxoid logic

    International Nuclear Information System (INIS)

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

    1993-01-01

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

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

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

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

  11. Weakly Intuitionistic Quantum Logic

    NARCIS (Netherlands)

    Hermens, Ronnie

    2013-01-01

    In this article von Neumann's proposal that in quantum mechanics projections can be seen as propositions is followed. However, the quantum logic derived by Birkhoff and von Neumann is rejected due to the failure of the law of distributivity. The options for constructing a distributive logic while

  12. Modal logics are coalgebraic

    NARCIS (Netherlands)

    Cirstea, C.; Kurz, A.; Pattinson, D.; Schröder, L.; Venema, Y.

    2011-01-01

    Applications of modal logics are abundant in computer science, and a large number of structurally different modal logics have been successfully employed in a diverse spectrum of application contexts. Coalgebraic semantics, on the other hand, provides a uniform and encompassing view on the large

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

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

  15. Automata, Logic, and XML

    OpenAIRE

    NEVEN, Frank

    2002-01-01

    We survey some recent developments in the broad area of automata and logic which are motivated by the advent of XML. In particular, we consider unranked tree automata, tree-walking automata, and automata over infinite alphabets. We focus on their connection with logic and on questions imposed by XML.

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

  17. Anselm's logic of agency

    NARCIS (Netherlands)

    Uckelman, S.L.

    2009-01-01

    The origins of treating agency as a modal concept go back at least to the 11th century when Anselm, Archbishop of Canterbury, provided a modal explication of the Latin facere ‘to do’, which can be formalized within the context of modern modal logic and neighborhood semantics. The agentive logic

  18. Temporalized Epistemic Default Logic

    NARCIS (Netherlands)

    van der Hoek, W.; Meyer, J.J.; Treur, J.; Gabbay, D.

    2001-01-01

    The nonmonotonic logic Epistemic Default Logic (EDL) [Meyer and van der Hoek, 1993] is based on the metaphore of a meta-level architecture. It has already been established [Meyer and van der Hoek, 1993] how upward reflection can be formalized by a nonmonotonic entailment based on epistemic states,

  19. Logic Programming: PROLOG.

    Science.gov (United States)

    Lopez, Antonio M., Jr.

    1989-01-01

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

  20. Honesty in partial logic

    NARCIS (Netherlands)

    W. van der Hoek (Wiebe); J.O.M. Jaspars; E. Thijsse

    1995-01-01

    textabstractWe propose an epistemic logic in which knowledge is fully introspective and implies truth, although truth need not imply epistemic possibility. The logic is presented in sequential format and is interpreted in a natural class of partial models, called balloon models. We examine the

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

  2. Microelectromechanical reprogrammable logic device

    Science.gov (United States)

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

    2016-01-01

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

  3. Amplifying genetic logic gates.

    Science.gov (United States)

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

    2013-05-03

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

  4. Heterogeneous logics of competition

    DEFF Research Database (Denmark)

    Mossin, Christiane

    2015-01-01

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

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

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

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

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

  9. MULTIMODAL CONSTRUCTION OF CHILDREN'S ARGUMENTS IN DISPUTES DURING PLAY

    Directory of Open Access Journals (Sweden)

    Rosemberg, Celia Renata

    2013-09-01

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

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

  11. Strategies and arguments of ergonomic design for sustainability.

    Science.gov (United States)

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

    2012-01-01

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

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

  13. Students’ logical-mathematical intelligence profile

    Science.gov (United States)

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

    2018-04-01

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

  14. L'argumentation dans la langue (Argumentation in Language)

    Science.gov (United States)

    Anscombre, J. C.; Ducrot, O.

    1976-01-01

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

  15. 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...... of distinction between the discourse potential of evaluative and referential propositions. This problem will be demonstrated on examples from the genre of advertising material which, because of its persuasive purpose, is particularly rich in argumentative features....

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

  17. THRESHOLD LOGIC IN ARTIFICIAL INTELLIGENCE

    Science.gov (United States)

    COMPUTER LOGIC, ARTIFICIAL INTELLIGENCE , BIONICS, GEOMETRY, INPUT OUTPUT DEVICES, LINEAR PROGRAMMING, MATHEMATICAL LOGIC, MATHEMATICAL PREDICTION, NETWORKS, PATTERN RECOGNITION, PROBABILITY, SWITCHING CIRCUITS, SYNTHESIS

  18. The Problem of Evil: Theodicy and Argumentation

    Directory of Open Access Journals (Sweden)

    Shokhin Vladimir

    2016-09-01

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

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

  20. Relativistic quantum logic

    International Nuclear Information System (INIS)

    Mittelstaedt, P.

    1983-01-01

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

  1. Coherent quantum logic

    International Nuclear Information System (INIS)

    Finkelstein, D.

    1987-01-01

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

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

  3. Layered Fixed Point Logic

    DEFF Research Database (Denmark)

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

    2012-01-01

    We present a logic for the specification of static analysis problems that goes beyond the logics traditionally used. Its most prominent feature is the direct support for both inductive computations of behaviors as well as co-inductive specifications of properties. Two main theoretical contributions...... 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...

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

  5. Rich preference-based argumentation frameworks

    OpenAIRE

    Amgoud , Leila; Vesic , Srdjan

    2014-01-01

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

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

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

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

    OpenAIRE

    Benetos, Kalliopi

    2006-01-01

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

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

  10. A Davidsonian Argument Against Incommensurability

    NARCIS (Netherlands)

    Douven, I.; de Regt, H.W.

    2002-01-01

    The writings of Kuhn and Feyerabend on incommensurability challenged the idea that science progresses towards the truth. Davidson famously criticized the notion of incommensurability, arguing that it is incoherent. Davidson's argument was in turn criticized by Kuhn and others. This article argues

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

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

  13. Logic and Learning

    DEFF Research Database (Denmark)

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

    2014-01-01

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

  14. Magnonic logic circuits

    International Nuclear Information System (INIS)

    Khitun, Alexander; Bao Mingqiang; Wang, Kang L

    2010-01-01

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

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

    Directory of Open Access Journals (Sweden)

    Faisal Said Al-Maamari

    2017-05-01

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

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

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

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

    Directory of Open Access Journals (Sweden)

    Graft Donald A.

    2017-09-01

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

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

  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. Modern logic and quantum mechanics

    International Nuclear Information System (INIS)

    Garden, R.W.

    1984-01-01

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

  2. Semantic theory for logic programming

    Energy Technology Data Exchange (ETDEWEB)

    Brown, F M

    1981-01-01

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

  3. Relational Parametricity and Separation Logic

    DEFF Research Database (Denmark)

    Birkedal, Lars; Yang, Hongseok

    2008-01-01

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

  4. Arguments that take Counterconsiderations into Account

    Directory of Open Access Journals (Sweden)

    Jan Albert van Laar

    2014-09-01

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

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

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

  7. Towards Real-Time Argumentation

    Directory of Open Access Journals (Sweden)

    Vicente JULIÁN

    2016-07-01

    Full Text Available In this paper, we deal with the problem of real-time coordination with the more general approach of reaching real-time agreements in MAS. Concretely, this work proposes a real-time argumentation framework in an attempt to provide agents with the ability of engaging in argumentative dialogues and come with a solution for their underlying agreement process within a bounded period of time. The framework has been implemented and evaluated in the domain of a customer support application. Concretely, we consider a society of agents that act on behalf of a group of technicians that must solve problems in a Technology Management Centre (TMC within a bounded time. This centre controls every process implicated in the provision of technological and customer support services to private or public organisations by means of a call centre. The contract signed between the TCM and the customer establishes penalties if the specified time is exceeded.

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

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

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

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

    Science.gov (United States)

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

    2017-01-01

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

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

    Science.gov (United States)

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

    2017-06-28

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

  14. Zero expression of arguments in Old Danish

    DEFF Research Database (Denmark)

    Heltoft, Lars

    2014-01-01

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

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

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

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

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

    Science.gov (United States)

    Bassano, Dominique; Champaud, Christian

    1989-01-01

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

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

  20. Modal Logics with Counting

    Science.gov (United States)

    Areces, Carlos; Hoffmann, Guillaume; Denis, Alexandre

    We present a modal language that includes explicit operators to count the number of elements that a model might include in the extension of a formula, and we discuss how this logic has been previously investigated under different guises. We show that the language is related to graded modalities and to hybrid logics. We illustrate a possible application of the language to the treatment of plural objects and queries in natural language. We investigate the expressive power of this logic via bisimulations, discuss the complexity of its satisfiability problem, define a new reasoning task that retrieves the cardinality bound of the extension of a given input formula, and provide an algorithm to solve it.

  1. Diagnosable structured logic array

    Science.gov (United States)

    Whitaker, Sterling (Inventor); Miles, Lowell (Inventor); Gambles, Jody (Inventor); Maki, Gary K. (Inventor)

    2009-01-01

    A diagnosable structured logic array and associated process is provided. A base cell structure is provided comprising a logic unit comprising a plurality of input nodes, a plurality of selection nodes, and an output node, a plurality of switches coupled to the selection nodes, where the switches comprises a plurality of input lines, a selection line and an output line, a memory cell coupled to the output node, and a test address bus and a program control bus coupled to the plurality of input lines and the selection line of the plurality of switches. A state on each of the plurality of input nodes is verifiably loaded and read from the memory cell. A trusted memory block is provided. The associated process is provided for testing and verifying a plurality of truth table inputs of the logic unit.

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

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

  4. 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...... of the exponentially distributed random variables that characterize the duration of the labeled transitions of a CMP. In this paper we present weak and strong complete axiomatizations for CML and prove a series of metaproperties, including the finite model property and the construction of canonical models. CML...... characterizes stochastic bisimilarity and it supports the definition of a quantified extension of the satisfiability relation that measures the "compatibility" between a model and a property. In this context, the metaproperties allows us to prove two robustness theorems for the logic stating that one can...

  5. Nominalized clauses, clausal arguments and agreement

    OpenAIRE

    Picallo, M. Carme

    2001-01-01

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

  6. The Binomial Coefficient for Negative Arguments

    OpenAIRE

    Kronenburg, M. J.

    2011-01-01

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

  7. MANUAL LOGIC CONTROLLER (MLC)

    OpenAIRE

    Claude Ziad Bayeh

    2015-01-01

    The “Manual Logic Controller” also called MLC, is an electronic circuit invented and designed by the author in 2008, in order to replace the well known PLC (Programmable Logic Controller) in many applications for its advantages and its low cost of fabrication. The function of the MLC is somewhat similar to the well known PLC, but instead of doing it by inserting a written program into the PLC using a computer or specific software inside the PLC, it will be manually programmed in a manner to h...

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

  9. Introduction to mathematical logic

    CERN Document Server

    Mendelson, Elliott

    2009-01-01

    The Propositional CalculusPropositional Connectives. Truth TablesTautologies Adequate Sets of Connectives An Axiom System for the Propositional Calculus Independence. Many-Valued LogicsOther AxiomatizationsFirst-Order Logic and Model TheoryQuantifiersFirst-Order Languages and Their Interpretations. Satisfiability and Truth. ModelsFirst-Order TheoriesProperties of First-Order Theories Additional Metatheorems and Derived Rules Rule C Completeness Theorems First-Order Theories with EqualityDefinitions of New Function Letters and Individual Constants Prenex Normal Forms Isomorphism of Interpretati

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

  11. Digital logic circuit test

    Energy Technology Data Exchange (ETDEWEB)

    Yun, Gil Jung; Yang, Hong Young

    2011-03-15

    This book is about digital logic circuit test, which lists the digital basic theory, basic gate like and, or And Not gate, NAND/NOR gate such as NAND gate, NOR gate, AND and OR, logic function, EX-OR gate, adder and subtractor, decoder and encoder, multiplexer, demultiplexer, flip-flop, counter such as up/down counter modulus N counter and Reset type counter, shift register, D/A and A/D converter and two supplements list of using components and TTL manual and CMOS manual.

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

  13. Programmable Array Logic Design

    International Nuclear Information System (INIS)

    Demon Handoyo; Djen Djen Djainal

    2007-01-01

    Good digital circuit design that part of a complex system, often becoming a separate problem. To produce finishing design according to wanted performance is often given on to considerations which each other confuse, hence thereby analyse optimization become important in this case. To realization is made design logic program, the first are determined global diagram block, then are decided contents of these block diagram, and then determined its interconnection in the form of logic expression, continued with election of component. These steps are done to be obtained the design with low price, easy in its interconnection, minimal volume, low power and certainty god work. (author)

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

    Science.gov (United States)

    Harz, M.

    2012-04-01

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

  15. Similarity Arguments in the Genetic Modification Debate

    DEFF Research Database (Denmark)

    Christiansen, Andreas

    2017-01-01

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

  16. Modelling Mathematical Argumentation: The Importance of Qualification

    Science.gov (United States)

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

    2007-01-01

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

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

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

  19. Attorney Argumentation and Supreme Court Opinions.

    Science.gov (United States)

    Benoit, William L.

    1989-01-01

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

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

  1. A Tableau Prover for Natural Logic and Language

    NARCIS (Netherlands)

    Abzianidze, Lasha

    2015-01-01

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

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

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

  4. Quantum logics with existence property

    International Nuclear Information System (INIS)

    Schindler, C.

    1991-01-01

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

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

  6. Querying Natural Logic Knowledge Bases

    DEFF Research Database (Denmark)

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

    2017-01-01

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

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

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

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

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

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

  12. Structures for Epistemic Logic

    NARCIS (Netherlands)

    Bezhanishvili, N.; Hoek, W. van der

    2013-01-01

    Epistemic modal logic in a narrow sense studies and formalises reasoning about knowledge. In a wider sense, it gives a formal account of the informational attitude that agents may have, and covers notions like knowledge, belief, uncertainty, and hence incomplete or partial information. As is so

  13. Time and Logic

    DEFF Research Database (Denmark)

    Øhrstrøm, Peter

    2009-01-01

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

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

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

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

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

  18. LOGICAL SEMANTICS OF MODULARIZATION

    NARCIS (Netherlands)

    DELAVALETTE, GRR

    1992-01-01

    An algebra of theories, signatures, renamings and the operations import and export is investigated. A normal form theorem for terms of this algebra is proved. Another algebraic approach and the relation with a fragment of second order logic are also considered.

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

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

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

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

  4. Logic Programming for Linguistics

    DEFF Research Database (Denmark)

    Christiansen, Henning

    2010-01-01

    This article gives a short introduction on how to get started with logic pro- gramming in Prolog that does not require any previous programming expe- rience. The presentation is aimed at students of linguistics, but it does not go deeper into linguistics than any student who has some ideas of what...

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

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

  7. Temporalizing Epistemic Default Logic

    NARCIS (Netherlands)

    van der Hoek, Wiebe; Meyer, John Jules; Treur, Jan

    1998-01-01

    We present an epistemic default logic, based on the metaphore of a meta-level architecture. Upward reflection is formalized by a nonmonotonic entailment relation, based on the objective facts that are either known or unknown at the object level. Then, the meta (monotonic) reasoning process generates

  8. Logic Programming with Requests

    NARCIS (Netherlands)

    De Schreye, Danny; Etalle, Sandro; van Raamsdonk, Femke

    1999-01-01

    We propose an extension of logic programming where the user can specify, together with the initial query, the information he is interested in by means of a request. This allows one to extract a result from an incomplete computation, such as the prefix of an infinite derivation. The classical

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

  10. Radiation tolerant combinational logic cell

    Science.gov (United States)

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

    2009-01-01

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

  11. An Argument for Design Space Reflection

    DEFF Research Database (Denmark)

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

    2016-01-01

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

  12. Argument Strength and the Persuasiveness of Stories

    Science.gov (United States)

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

    2017-01-01

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

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

    OpenAIRE

    Bova, Antonio; Arcidiacono, Francesco

    2014-01-01

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

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

    OpenAIRE

    Amandi, Analia Adriana; Monteserin, Ariel José

    2016-01-01

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

  15. On Logic and Standards for Structuring Documents

    Science.gov (United States)

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

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

  16. Quantum Logic and Quantum Reconstruction

    OpenAIRE

    Stairs, Allen

    2015-01-01

    Quantum logic understood as a reconstruction program had real successes and genuine limitations. This paper offers a synopsis of both and suggests a way of seeing quantum logic in a larger, still thriving context.

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

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

  19. Probabilistic logics and probabilistic networks

    CERN Document Server

    Haenni, Rolf; Wheeler, Gregory; Williamson, Jon; Andrews, Jill

    2014-01-01

    Probabilistic Logic and Probabilistic Networks presents a groundbreaking framework within which various approaches to probabilistic logic naturally fit. Additionally, the text shows how to develop computationally feasible methods to mesh with this framework.

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

  1. Preferential reasoning for modal logics

    CSIR Research Space (South Africa)

    Britz, K

    2011-11-01

    Full Text Available Modal logic is the foundation for a versatile and well-established class of knowledge representation formalisms in artificial intelligence. Enriching modal logics with non-monotonic reasoning capabilities such as preferential reasoning as developed...

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

  3. From Logical to Distributional Models

    Directory of Open Access Journals (Sweden)

    Anne Preller

    2014-12-01

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

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

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

    Science.gov (United States)

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

    2015-01-01

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

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

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

  8. Strong Completeness for Markovian Logics

    DEFF Research Database (Denmark)

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

    2013-01-01

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

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

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

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

    Science.gov (United States)

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

    2012-01-01

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

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

  13. Four logics of governance

    DEFF Research Database (Denmark)

    Friche, Nanna; Normann Andersen, Vibeke

    unintended consequences. Theoretically, we draw on different management and governance theories, e.g. performance management. Empirically, the study is based on surveys to teachers and students at all Danish vocational colleges and interviews with school leaders, teachers and students at six colleges (cases...... and well-being of students enrolled in the VETs must be strengthened. We focus on target 1, 2 and 4. The reform is being implemented in a field of VET that can be characterized by four logics of governance. Firstly, a governance logic characterized by institutional independence of vocational colleges......For the last fifteen years completion rates in Danish vocational education and training (VET) has stayed on a rather low level. In 2014, only half of the students enrolled in a vocational program on upper secondary level, graduated from the program (Flarup et al 2016). In Denmark, like in other...

  14. Modern Logical Frameworks Design

    DEFF Research Database (Denmark)

    Murawska, Agata Anna

    2017-01-01

    lack support for reasoning about, or programming with, the mechanised systems. Our main motivation is to eventually make it possible to model and reason about complex concurrent systems and protocols. No matter the application, be it the development of a logic for multiparty session types...... 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...... design and provide the meta-theory of two new frameworks, HyLF and Lincx. The former aims to extend the expressiveness of LF to include proof irrelevance and some user-defined behaviours, using ideas from hybrid logics. The latter is a showcase for an easier to implement framework, while also allowing...

  15. Competing Logics and Healthcare

    Science.gov (United States)

    Saks, Mike

    2018-01-01

    This paper offers a short commentary on the editorial by Mannion and Exworthy. The paper highlights the positive insights offered by their analysis into the tensions between the competing institutional logics of standardization and customization in healthcare, in part manifested in the conflict between managers and professionals, and endorses the plea of the authors for further research in this field. However, the editorial is criticized for its lack of a strong societal reference point, the comparative absence of focus on hybridization, and its failure to highlight structural factors impinging on the opposing logics in a broader neo-institutional framework. With reference to the Procrustean metaphor, it is argued that greater stress should be placed on the healthcare user in future health policy. Finally, the case of complementary and alternative medicine is set out which – while not explicitly mentioned in the editorial – most effectively concretizes the tensions at the heart of this analysis of healthcare. PMID:29626406

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

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

  18. Bisimulations, games, and logic

    DEFF Research Database (Denmark)

    Nielsen, Mogens; Clausen, Christian

    1994-01-01

    In a recent paper by Joyal, Nielsen, and Winskel, bisimulation is defined in an abstract and uniform way across a wide range of different models for concurrency. In this paper, following a recent trend in theoretical computer science, we characterize their abstract definition game-theoretically a......-theoretically and logically in a non-interleaving model. Our characterizations appear as surprisingly simple extensions of corresponding characterizations of interleaving bisimulation....

  19. Stereotypical Reasoning: Logical Properties

    OpenAIRE

    Lehmann, Daniel

    2002-01-01

    Stereotypical reasoning assumes that the situation at hand is one of a kind and that it enjoys the properties generally associated with that kind of situation. It is one of the most basic forms of nonmonotonic reasoning. A formal model for stereotypical reasoning is proposed and the logical properties of this form of reasoning are studied. Stereotypical reasoning is shown to be cumulative under weak assumptions.

  20. RSFQ logic arithmetic

    International Nuclear Information System (INIS)

    Mukhanov, O.A.; Rylov, S.V.; Semenov, V.K.; Vyshenskii, S.V.

    1989-01-01

    Several ways of local timing of the Josephson-junction RSFQ (Rapid Single Flux Quantum) logic elements are proposed, and their peculiarities are discussed. Several examples of serial and parallel pipelined arithmetic blocks using various types of timing are suggested and their possible performance is discussed. Serial devices enable one to perform n-bit functions relatively slowly but using integrated circuits of a moderate integration scale, while parallel pipelined devices are more hardware-wasteful but promise extremely high productivity

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

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

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

  4. Arguments for a Spiritual Urbanism

    Directory of Open Access Journals (Sweden)

    Julio Bermudez

    2016-09-01

    Full Text Available The built environment may and should be utilized to address the extraordinary problems afflicting contemporary civilization. This speculation follows a fourfold logic. First, humanity is facing an unprecedented crisis in speed and scale. Second, a serious response demands a worldview depending on and advancing spirituality. Third, traditional faiths cannot effect the necessary spiritual shift at the pace or degree required. More intense and successful spiritual practices extracted from religions and scientifically validated offer better chances for wide deployment and therefore impact. Fourth, the built environment is well suited to induce and reinforce some of these ‘new’ spiritual practices given (a its shaping role in cultural affairs; (2 humanity being an urban phenomenon, and (3 the huge population growth of the next half century.

  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...... of the logic is examined by a case study in the domain of medicine. Thus we try to build a bridge between the HOL and MVL communities. A sequent calculus is proposed based on recent work by Muskens. Many non-classical logics are, at the propositional level, funny toys which work quite good, but when one wants...

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

    Science.gov (United States)

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

    2017-10-01

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

  7. The students’ mathematical argumentation in geometry

    Science.gov (United States)

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

    2017-12-01

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

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

  9. Humanist Principles Underlying Philosophy of Argument

    Directory of Open Access Journals (Sweden)

    George Boger

    2008-02-01

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

  10. Modelling group decision simulation through argumentation

    OpenAIRE

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

    2007-01-01

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

  11. A Viewpoint Approach to Structured Argumentation

    OpenAIRE

    Tamani, Nouredine; Croitoru, Madalina; Buche, Patrice

    2013-01-01

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

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

    Science.gov (United States)

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

    2017-11-01

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

  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. Physician-patient argumentation and communication, comparing Toulmin's model, pragma-dialectics, and American sociolinguistics.

    Science.gov (United States)

    Rivera, Francisco Javier Uribe; Artmann, Elizabeth

    2015-12-01

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

  15. Head or tail? DeMorgan on the bounds of traditional logic

    NARCIS (Netherlands)

    Valencia, VS

    1997-01-01

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

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

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

    Science.gov (United States)

    Parker, M

    2000-04-01

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

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

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

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

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

  2. Legume Logic & Green Manuring

    OpenAIRE

    Basavanagowda Nagabhushana, Nandeesh

    2014-01-01

    Brown plant hopper showed me the way into organic farming. In 2001, I started my practice with logic of legumes just to cut down the 45 percent expenses of my paddy on fertilizers, pesticides and herbicides. Later as I realized each and every plant carries it’s own nutrients, medicinal values and characters. Plants like millets, oil seeds, spices, di-cots, monocots and weeds all being used as a green manure. For all my agriculture problems and crop demands, I look for the answers only thro...

  3. 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....... To the best of our knowledge, this is the first such result for a concurrent higher-order language with higher-order store and dynamic memory allocation....

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

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

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

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

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

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

  10. Design Argumentation in Academic Design Education

    DEFF Research Database (Denmark)

    Dalsgaard, Peter; Dindler, Christian; Fritsch, Jonas

    2013-01-01

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

  11. An Argument Approach to Observation Protocol Validity

    Science.gov (United States)

    Bell, Courtney A.; Gitomer, Drew H.; McCaffrey, Daniel F.; Hamre, Bridget K.; Pianta, Robert C.; Qi, Yi

    2012-01-01

    This article develops a validity argument approach for use on observation protocols currently used to assess teacher quality for high-stakes personnel and professional development decisions. After defining the teaching quality domain, we articulate an interpretive argument for observation protocols. To illustrate the types of evidence that might…

  12. Argumentation and Decision Making in Professional Practice

    Science.gov (United States)

    Gainsburg, Julie; Fox, John; Solan, Lawrence M.

    2016-01-01

    How is argumentation used in professional practice? As schools aim to ensure that students are college-and-career ready, classroom practices might be informed by argumentation in the professions. An analysis of evidence-based reasoning in 3 professions--engineering, law, and medicine--offers out-of-school perspectives on the practices and purposes…

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

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

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

  16. The assessment of argumentation from expert opinion

    NARCIS (Netherlands)

    Wagemans, J.H.M.

    2011-01-01

    In this contribution, I will develop a comprehensive tool for the reconstruction and evaluation of argumentation from expert opinion. This is done by analyzing and then combining two dialectical accounts of this type of argumentation. Walton’s account of the ‘appeal to expert opinion’ provides a

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

  18. Argument and Credibility Appeals in Persuasion.

    Science.gov (United States)

    Benoit, William L.

    1987-01-01

    Indicated that (1) arguments perceived as strong by receivers generated both more favorable, supportive cognitive responses and attitude change than weak message arguments; and (2) perceived source expertise and attractiveness influenced cognitive responses, but not in a coherent fashion or to the extent that they effect attitude change. (JD)

  19. Introducing Argumentation About Climate Change Socioscientific Issues in a Disadvantaged School

    Science.gov (United States)

    Dawson, Vaille; Carson, Katherine

    2018-03-01

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

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

    NARCIS (Netherlands)

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

    2015-01-01

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

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

    Science.gov (United States)

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

    2012-01-01

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

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

    OpenAIRE

    Skelton, Anthony

    2014-01-01

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

  3. Argumentation, rationality, and psychology of reasoning

    Directory of Open Access Journals (Sweden)

    David Godden

    2015-05-01

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

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

  5. The scientific argumentation profile of physics teacher candidate in Surabaya

    Science.gov (United States)

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

    2018-03-01

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

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

  7. Quantum logics and convex geometry

    International Nuclear Information System (INIS)

    Bunce, L.J.; Wright, J.D.M.

    1985-01-01

    The main result is a representation theorem which shows that, for a large class of quantum logics, a quantum logic, Q, is isomorphic to the lattice of projective faces in a suitable convex set K. As an application we extend our earlier results, which, subject to countability conditions, gave a geometric characterization of those quantum logics which are isomorphic to the projection lattice of a von Neumann algebra or a JBW-algebra. (orig.)

  8. Safety logic systems of PFBR

    International Nuclear Information System (INIS)

    Sambasivan, S. Ilango

    2004-01-01

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

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

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

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

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

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

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

  16. Multiple Institutional Logics in Inter-Institutional Temporary Organizations

    DEFF Research Database (Denmark)

    Pemsel, Sofia; Söderlund, Jonas

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

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

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

  19. 'You are inferior!' Revisiting the expressivist argument.

    Science.gov (United States)

    Hofmann, Bjørn

    2017-09-01

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

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

  1. Revisiting the argument from fetal potential

    Directory of Open Access Journals (Sweden)

    Manninen Bertha

    2007-05-01

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

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

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

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

  5. 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 practical experiments. The first part of the system is a student-facing Java-Applet running in the student’s browser, implemented using the Prolog programming language as embodied in a Java implementation called Prolog+CG. The second part is a teacher-oriented, server-based backend for logging the progress...

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

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

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

  9. Questions and dependency in intuitionistic logic

    NARCIS (Netherlands)

    Ciardelli, Ivano; Iemhoff, Rosalie; Yang, Fan

    2017-01-01

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

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

  11. A beginner's guide to mathematical logic

    CERN Document Server

    Smullyan, Raymond M

    2014-01-01

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

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

  13. A tristate optical logic system

    Science.gov (United States)

    Basuray, A.; Mukhopadhyay, S.; Kumar Ghosh, Hirak; Datta, A. K.

    1991-09-01

    A method is described to represent data in a tristate logic system which are subsequently replaced by Modified Trinary Numbers (MTN). This system is advantagegeous in parallel processing as carry and borrow free operations in arithmatic computation is possible. The logical operations are also modified according to the three states available. A possible practical application of the same using polarized light is also suggested.

  14. Logic, reasoning, and verbal behavior

    OpenAIRE

    Terrell, Dudley J.; Johnston, J. M.

    1989-01-01

    This paper analyzes the traditional concepts of logic and reasoning from the perspective of radical behaviorism and in the terms of Skinner's treatment of verbal behavior. The topics covered in this analysis include the proposition, premises and conclusions, logicality and rules, and deductive and inductive reasoning.

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

  16. Evidence logics with relational evidence

    DEFF Research Database (Denmark)

    Baltag, Alexandru; Occhipinti, Andrés

    2017-01-01

    We introduce a family of logics for reasoning about relational evidence: evidence that involves an ordering of states in terms of their relative plausibility. We provide sound and complete axiomatizations for the logics. We also present several evidential actions and prove soundness...

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

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

  19. Binary logic is rich enough

    International Nuclear Information System (INIS)

    Zapatrin, R.R.

    1992-01-01

    Given a finite ortholattice L, the *-semigroup is explicitly built whose annihilator ortholattice is isomorphic to L. Thus, it is shown that any finite quantum logic is the additive part of a binary logic. Some areas of possible applications are outlined. 7 refs

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

  1. Generator of combined logical signals

    International Nuclear Information System (INIS)

    Laviron, Andre; Berard, Claude.

    1982-01-01

    The invention concerns a generator of combined logical signals to form combinations of two outputs at logical level 1 and N-2 outputs at logical level 0, among N generator outputs. This generator is characterized in that it includes a set of N means for storing combinations. Means enable the N storage means to be loaded with the logical levels corresponding to a pre-set starting combination, to control the operations for shifting the contents of the storage means and to control, by transfer facilities, the transfers of contents between these storage means. Controls enable the storage means to be actuated in order to obtain combinations of logical levels 1 and 0. The generation of combinations can be stopped after another pre-set combination. Application is for testing of safety circuits for nuclear power stations [fr

  2. Reliability evaluation programmable logic devices

    International Nuclear Information System (INIS)

    Srivani, L.; Murali, N.; Thirugnana Murthy, D.; Satya Murty, S.A.V.

    2014-01-01

    Programmable Logic Devices (PLD) are widely used as basic building modules in high integrity systems, considering their robust features such as gate density, performance, speed etc. PLDs are used to implement digital design such as bus interface logic, control logic, sequencing logic, glue logic etc. Due to semiconductor evolution, new PLDs with state-of-the-art features are arriving to the market. Since these devices are reliable as per the manufacturer's specification, they were used in the design of safety systems. But due to their reduced market life, the availability of performance data is limited. So evaluating the PLD before deploying in a safety system is very important. This paper presents a survey on the use of PLDs in the nuclear domain and the steps involved in the evaluation of PLD using Quantitative Accelerated Life Testing. (author)

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

  4. 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......The duties of companies' chief marketing officers (CMOs) seem incompatible. They are expected to ensure that their company's market assets are properly exploited and recorded, while simultaneously enacting a proactive role in the company's business development. This study shows that about one...

  5. Optical programmable Boolean logic unit.

    Science.gov (United States)

    Chattopadhyay, Tanay

    2011-11-10

    Logic units are the building blocks of many important computational operations likes arithmetic, multiplexer-demultiplexer, radix conversion, parity checker cum generator, etc. Multifunctional logic operation is very much essential in this respect. Here a programmable Boolean logic unit is proposed that can perform 16 Boolean logical operations from a single optical input according to the programming input without changing the circuit design. This circuit has two outputs. One output is complementary to the other. Hence no loss of data can occur. The circuit is basically designed by a 2×2 polarization independent optical cross bar switch. Performance of the proposed circuit has been achieved by doing numerical simulations. The binary logical states (0,1) are represented by the absence of light (null) and presence of light, respectively.

  6. Flow Logic for Process Calculi

    DEFF Research Database (Denmark)

    Nielson, Hanne Riis; Nielson, Flemming; Pilegaard, Henrik

    2012-01-01

    Flow Logic is an approach to statically determining the behavior of programs and processes. It borrows methods and techniques from Abstract Interpretation, Data Flow Analysis and Constraint Based Analysis while presenting the analysis in a style more reminiscent of Type Systems. Traditionally...... developed for programming languages, this article provides a tutorial development of the approach of Flow Logic for process calculi based on a decade of research. We first develop a simple analysis for the π-calculus; this consists of the specification, semantic soundness (in the form of subject reduction......, and finally, we extend it to a relational analysis. A Flow Logic is a program logic---in the same sense that a Hoare’s logic is. We conclude with an executive summary presenting the highlights of the approach from this perspective including a discussion of theoretical properties as well as implementation...

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

  8. Guidelines for writing an argumentative essay

    OpenAIRE

    Aleksandra Egurnova

    2014-01-01

    The guidelines below are intended for teachers, professors, students, and the public at large who are interested in the issues of English writing culture. They provide a detailed plan for completing the writing task–writing an argumentative essay.

  9. Argumentation and Multi-Agent Decision Making

    OpenAIRE

    Parsons, S.; Jennings, N. R.

    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.

  10. Support for argument structures review and assessment

    International Nuclear Information System (INIS)

    Cyra, Lukasz; Gorski, Janusz

    2011-01-01

    Argument structures are commonly used to develop and present cases for safety, security and for other properties of systems. Such structures tend to grow excessively, which causes problems with their review and assessment. Two issues are of particular interest: (1) systematic and explicit assessment of the compelling power of an argument, and (2) communication of the result of such an assessment to relevant recipients. The paper presents a solution to these problems. The method of Visual Assessment of Arguments (VAA), being this solution, is based on the Dempster-Shafer theory of evidence applied to the assessment of the strength of arguments, and a visual mechanism of issuing and presenting assessments, supported by the so-called opinion triangle. In the paper we explain theoretical grounding for the method and provide guidance on its application. The results of some validation experiments are also presented.

  11. The sensitivity argument against child euthanasia.

    Science.gov (United States)

    Keeling, Geoff

    2018-02-01

    Is there a moral difference between euthanasia for terminally ill adults and euthanasia for terminally ill children? Luc Bovens considers five arguments to this effect, and argues that each is unsuccessful. In this paper, I argue that Bovens' dismissal of the sensitivity argument is unconvincing. Published by the BMJ Publishing Group Limited. For permission to use (where not already granted under a licence) please go to http://www.bmj.com/company/products-services/rights-and-licensing/.

  12. A Framework for Argumentation-Based Negotiation

    OpenAIRE

    Sierra, C.; Jennings, N. R.; Noriega, P.; Parsons, S.

    1997-01-01

    Many autonomous agents operate in domains in which the cooperation of their fellow agents cannot be guaranteed. In such domains negotiation is essential to persuade others of the value of co-operation. This paper describes a general framework for negotiation in which agents exchange proposals backed by arguments which summarise the reasons why the proposals should be accepted.The argumentation is persuasive because the exchanges are able to alter the mental state of the agents involved. The f...

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

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

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

  16. The Logic of Practice in the Practice of Logics

    DEFF Research Database (Denmark)

    Raviola, Elena; Dubini, Paola

    2016-01-01

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

  17. Basic logic and quantum entanglement

    International Nuclear Information System (INIS)

    Zizzi, P A

    2007-01-01

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

  18. Basic logic and quantum entanglement

    Energy Technology Data Exchange (ETDEWEB)

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

    2007-05-15

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

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

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