|
Logic And Dialectic
Formal scientists have attempted to combine logic and dialectic through formalisation. These attempts include pre-formal and partially formal treatises on argument and dialectic, systems based on defeasible reasoning, and systems based on game semantics and dialogical logic. History Since the late 20th century, European and American logicians have attempted to provide mathematical foundations for dialectic through formalisation, although logic has been related to dialectic since ancient times. There have been pre-formal and partially-formal treatises on argument and dialectic, from authors such as Stephen Toulmin (''The Uses of Argument'', 1958), Nicholas Rescher (''Dialectics: A Controversy-Oriented Approach to the Theory of Knowledge'', 1977), and Frans H. van Eemeren and Rob Grootendorst ( pragma-dialectics, 1980s). One can include works of the communities of informal logic and paraconsistent logic. Defeasibility Building on theories of defeasible reasoning (see John L. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dialectic
Dialectic ( grc-gre, διαλεκτική, ''dialektikḗ''; related to dialogue; german: Dialektik), also known as the dialectical method, is a discourse between two or more people holding different points of view about a subject but wishing to establish the truth through reasoned argumentation. Dialectic resembles debate, but the concept excludes subjective elements such as emotional appeal and the modern pejorative sense of rhetoric. Dialectic may thus be contrasted with both the eristic, which refers to argument that aims to successfully dispute another's argument (rather than searching for truth), and the didactic method, wherein one side of the conversation teaches the other. Dialectic is alternatively known as ''minor logic'', as opposed to ''major logic'' or critique. Within Hegelianism, the word ''dialectic'' has the specialised meaning of a contradiction between ideas that serves as the determining factor in their relationship. Dialectical materialism, a theory ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Pragma-dialectics
Pragma-dialectics, or pragma-dialectical theory, developed by Frans H. van Eemeren and Rob Grootendorst at the University of Amsterdam, is an argumentation theory that is used to analyze and evaluate argumentation in actual practice. Unlike strictly logical approaches (which focus on the study of argument as product), or purely communication approaches (which emphasize argument as a process), pragma-dialectics was developed to study the entirety of an argumentation as a discourse activity. Thus, the pragma-dialectical theory views argumentation as a complex speech act that occurs as part of natural language activities and has specific communicative goals. Pragma-dialectics posits an ideal model of a critical discussion with defined discussion stages, rules for critical discussion, and analytical operations. These have been applied to various fields of practice. The pragma-dialectical theory Theoretical justification In pragma-dialectics, argumentation is viewed as a communicativ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Argumentation Theory
Argumentation theory, or argumentation, is the interdisciplinary study of how conclusions can be supported or undermined by premises through logical reasoning. With historical origins in logic, dialectic, and rhetoric, argumentation theory, includes the arts and sciences of civil debate, dialogue, conversation, and persuasion. It studies rules of inference, logic, and procedural rules in both artificial and real-world settings. Argumentation includes various forms of dialogue such as deliberation and negotiation which are concerned with collaborative decision-making procedures. It also encompasses eristic dialog, the branch of social debate in which victory over an opponent is the primary goal, and didactic dialogue used for teaching. This discipline also studies the means by which people can express and rationally resolve or at least manage their disagreements. Argumentation is a daily occurrence, such as in public debate, science, and law. For example in law, in courts by the ju ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Argumentation Framework
In artificial intelligence and related fields, an argumentation framework is a way to deal with contentious information and draw conclusions from it using formalized arguments. In an abstract argumentation framework, entry-level information is a set of abstract arguments that, for instance, represent data or a proposition. Conflicts between arguments are represented by a binary relation on the set of arguments. In concrete terms, you represent an argumentation framework with a directed graph such that the nodes are the arguments, and the arrows represent the attack relation. There exist some extensions of the Dung's framework, like the logic-based argumentation frameworks or the value-based argumentation frameworks. Abstract argumentation frameworks Formal framework Abstract argumentation frameworks, also called argumentation frameworks ''à la Dung'', are defined formally as a pair: * A set of abstract elements called ''arguments'', denoted A * A binary relation on A, call ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Semantics Of Logic
In logic, the semantics of logic or formal semantics is the study of the semantics, or interpretations, of formal and (idealizations of) natural languages usually trying to capture the pre-theoretic notion of entailment. Overview The truth conditions of various sentences we may encounter in arguments will depend upon their meaning, and so logicians cannot completely avoid the need to provide some treatment of the meaning of these sentences. The semantics of logic refers to the approaches that logicians have introduced to understand and determine that part of meaning in which they are interested; the logician traditionally is not interested in the sentence as uttered but in the proposition, an idealised sentence suitable for logical manipulation. Until the advent of modern logic, Aristotle's ''Organon'', especially ''De Interpretatione'', provided the basis for understanding the significance of logic. The introduction of quantification, needed to solve the problem of multiple ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Decision Support
A decision support system (DSS) is an information system that supports business or organizational decision-making activities. DSSs serve the management, operations and planning levels of an organization (usually mid and higher management) and help people make decisions about problems that may be rapidly changing and not easily specified in advance—i.e. unstructured and semi-structured decision problems. Decision support systems can be either fully computerized or human-powered, or a combination of both. While academics have perceived DSS as a tool to support decision making processes, DSS users see DSS as a tool to facilitate organizational processes. Some authors have extended the definition of DSS to include any system that might support decision making and some DSS include a decision-making software component; Sprague (1980)Sprague, R;(1980).A Framework for the Development of Decision Support Systems" MIS Quarterly. Vol. 4, No. 4, pp.1-25. defines a properly termed DSS a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Artificial Intelligence And Law
Legal informatics is an area within information science. The American Library Association defines informatics as "the study of the structure and properties of information, as well as the application of technology to the organization, storage, retrieval, and dissemination of information." Legal informatics therefore, pertains to the application of informatics within the context of the legal environment and as such involves law-related organizations (e.g., law offices, courts, and law schools) and users of information and information technologies within these organizations. Policy issues Policy issues in legal informatics arise from the use of informational technologies in the implementation of law, such as the use of subpoenas for information found in email, search queries, and social networks. Policy approaches to legal informatics issues vary throughout the world. For example, European countries tend to require destruction or anonymization of data so that it cannot be used f ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
John L
John Lasarus Williams (29 October 1924 – 15 June 2004), known as John L, was a Welsh nationalist activist. Williams was born in Llangoed on Anglesey, but lived most of his life in nearby Llanfairpwllgwyngyll. In his youth, he was a keen footballer, and he also worked as a teacher. His activism started when he campaigned against the refusal of Brewer Spinks, an employer in Blaenau Ffestiniog, to permit his staff to speak Welsh. This inspired him to become a founder of Undeb y Gymraeg Fyw, and through this organisation was the main organiser of ''Sioe Gymraeg y Borth'' (the Welsh show for Menai Bridge using the colloquial form of its Welsh name).Colli John L Williams , '''', 15 June ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Paraconsistent Logic
A paraconsistent logic is an attempt at a logical system to deal with contradictions in a discriminating way. Alternatively, paraconsistent logic is the subfield of logic that is concerned with studying and developing "inconsistency-tolerant" systems of logic which reject the principle of explosion. Inconsistency-tolerant logics have been discussed since at least 1910 (and arguably much earlier, for example in the writings of Aristotle); however, the term ''paraconsistent'' ("beside the consistent") was first coined in 1976, by the Peruvian philosopher Francisco Miró Quesada Cantuarias. The study of paraconsistent logic has been dubbed paraconsistency, which encompasses the school of dialetheism. Definition In classical logic (as well as intuitionistic logic and most other logics), contradictions entail everything. This feature, known as the principle of explosion or ''ex contradictione sequitur quodlibet'' (Latin, "from a contradiction, anything follows") can be expressed formal ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Informal Logic
Informal logic encompasses the principles of logic and logical thought outside of a formal setting (characterized by the usage of particular statements). However, the precise definition of "informal logic" is a matter of some dispute. Ralph H. Johnson and J. Anthony Blair define informal logic as "a branch of logic whose task is to develop non-formal standards, criteria, procedures for the analysis, interpretation, evaluation, criticism and construction of argumentation."Johnson, Ralph H., and Blair, J. Anthony (1987), "The Current State of Informal Logic", ''Informal Logic'', 9(2–3), 147–151. Johnson & Blair added "... in everyday discourse" but in (2000), modified their definition, and broadened the focus now to include the sorts of argument that occurs not just in everyday discourse but also disciplined inquiry—what Weinstein (1990) calls "stylized discourse." This definition reflects what had been implicit in their practice and what others were doing in their informal ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Rob Grootendorst
Rob Grootendorst (11 February 1944 in Schiedam – 23 February 2000 in Amsterdam) was a Dutch communication and argumentation theory scholar. He was professor for Dutch speech communication at the University of Amsterdam. His contributions to the argumentation field include the co-foundation of the pragma-dialectic school in argumentation theory. He also wrote several books on the life and works of the Dutch writer and politician Theo Thijssen. Biography Grootendorst was a teacher at an elementary school in the 1960s. He studied Dutch studies at the University of Amsterdam since 1980, and became a Ph.D. in 1982 in Speech Communication. The dissertation was jointly written with Frans H. van Eemeren. They jointly founded the International Society for the Study of Argumentation in 1986. Selected works *''Argumentation, Communication, and Fallacies: A Pragma-Dialectical Perspective'' (Hillsdale: Erlbaum, 1992), with van Eemeren *''Fundamentals of Argumentation Theory: A Handbook ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Formal Science
Formal science is a branch of science studying disciplines concerned with abstract structures described by formal systems, such as logic, mathematics, statistics, theoretical computer science, artificial intelligence, information theory, game theory, systems theory, decision theory, and theoretical linguistics. Whereas the natural sciences and social sciences seek to characterize physical systems and social systems, respectively, using empirical methods, the formal sciences use language tools concerned with characterizing abstract structures described by formal systems. The formal sciences aid the natural and social sciences by providing information about the structures used to describe the physical world, and what inferences may be made about them. Etymology The modern usage of the term ''formal sciences'', in English-language literature, occurs at least as early as 1860, in a posthumous publication of lectures on philosophy by Sir William Hamilton wherein logic and mat ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.svg "Click for more on -> Informal Logic")