The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Logic as a Narrative
Abstract
In this chapter, the authors present an argument which can be called “logic as a narrative.” First, they consider two different types of systems concerning logic. One is formal logic, which is ordinarily called mere logic. Another one is a collective of knowledge that we may not regard as logic at first glance. The argument of “logic as a narrative” starts with a comparison between two types of logical systems. Formal logic, which is often handled as mathematical logic nowadays, can be regarded as one of the mathematics, as the name itself indicates. As well as the other mathematical systems, formal logic is formalized and schematized by axioms; hence, it is also an axiomatic system. All the propositions are described axiomatically; thus, axioms and application rules of axioms precede propositions. Outside situations that are not supposed in an axiomatic system cannot be naturally represented by the system. The expressive power depends on each system. As a result, the description by mathematical logic becomes static and the system itself is regarded as a non-dynamic one.
Related Content
|
Anıl Durmuşahmet, Uğur Delen, Nurgül Soydaş.
© 2026.
44 pages.
|
|
Sevinç Koçak, Nihal Toros Ntapiapis.
© 2026.
28 pages.
|
|
Bahşende Çoban Azizoğlu.
© 2026.
38 pages.
|
|
Zihni Can Çamur.
© 2026.
34 pages.
|
|
Sevda Nur Keleş.
© 2026.
28 pages.
|
|
Oğuzhan Alin.
© 2026.
18 pages.
|
|
Nitesh Behare, Dhanashree Babar.
© 2026.
24 pages.
|
|
|