Filtern
Volltext vorhanden
- nein (2)
Dokumenttyp
- Wissenschaftlicher Artikel (1)
- Rezension (1)
Sprache
- Englisch (2)
Gehört zur Bibliographie
- ja (2)
Schlagworte
- RSA triangle (1)
- conductive argument (1)
- formal argumentation systems (1)
- informal logic (1)
- premise acceptability (1)
- real arguments (1)
- relevance (1)
- sufficiency (1)
Formalizing informal logic
(2015)
In this paper we investigate the extent to which formal argumentation models can handle ten basic characteristics of informal logic identified in the informal logic literature. By showing how almost all of these characteristics can be successfully modelled formally, we claim that good progress can be made toward the project of formalizing informal logic. Of the formal argumentation models available, we chose the Carneades Argumentation System (CAS), a formal, computational model of argument that uses argument graphs as its basis, structures of a kind very familiar to practitioners of informal logic through their use of argument diagrams.
This review presents recommended nomenclature for the biosynthesis of ribosomally synthesized and post-translationally modified peptides (RiPPs), a rapidly growing class of natural products. The current knowledge regarding the biosynthesis of the >20 distinct compound classes is also reviewed, and commonalities are discussed.