Matches in SemOpenAlex for { <https://semopenalex.org/work/W3143047599> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W3143047599 abstract "We rst recall the original Greek sense of the word logic and how logic was developed on the one hand as an e cient way of reasoning by the use of reduction to the absurd and on the other hand as a useless system of logic by Aristotle. Then we discuss the changes of the modern conception of logic: the rejection of the principle of noncontradiction considered as fundamental by Aristotle and the structuralist move breaking the Aristotelian accident/essence dichotomy. Finally we explain why and how in universal logic like in universal algebra axiomatic emptiness prevails: a logical structure is a structure obeying no axioms. 1 In the beginning was the Logos What is logic? is a di cult question. In this paper we will tackle the issue through a simpler question What is a logic? . We will explain why we can consider that a logic is a structure without axioms similarly to the case of universal algebra and giving a example of a simple logic, anti-classical logic, obeying none of the standard axioms that however can reasonably be considered as a logic. But it is important to keep in mind the more general issue of what logic is and to see how our answer to the simpler question is related and directed by this broader perspective. Logic nowadays is generally the study of some logical systems related with mathematics, computer science, arti cial intelligence or philosophy. These logical systems are sometimes called formal systems and their construction and study is developed using some mathematical tools at various degrees. Most of the time people have lost the more profound idea of what logic is. It is good to remember that the word logic came from the Greek word Logos , a key concept of Greek culture. The word Logos has Work supported by a grant DCR (Funcap/CNPq) and within the LogComp research project (CNPq). Thanks to all members of Log Comp." @default.
- W3143047599 created "2021-04-13" @default.
- W3143047599 creator A5049977886 @default.
- W3143047599 date "2010-01-01" @default.
- W3143047599 modified "2023-09-27" @default.
- W3143047599 title "What is a logic? Towards axiomatic emptiness" @default.
- W3143047599 cites W1480405493 @default.
- W3143047599 cites W1566103579 @default.
- W3143047599 cites W1964800937 @default.
- W3143047599 cites W2009515416 @default.
- W3143047599 cites W2290219513 @default.
- W3143047599 cites W2313739639 @default.
- W3143047599 cites W2317056914 @default.
- W3143047599 cites W2370595802 @default.
- W3143047599 cites W3127823229 @default.
- W3143047599 cites W89150133 @default.
- W3143047599 hasPublicationYear "2010" @default.
- W3143047599 type Work @default.
- W3143047599 sameAs 3143047599 @default.
- W3143047599 citedByCount "1" @default.
- W3143047599 countsByYear W31430475992017 @default.
- W3143047599 crossrefType "journal-article" @default.
- W3143047599 hasAuthorship W3143047599A5049977886 @default.
- W3143047599 hasConcept C101874905 @default.
- W3143047599 hasConcept C102993220 @default.
- W3143047599 hasConcept C111472728 @default.
- W3143047599 hasConcept C118615104 @default.
- W3143047599 hasConcept C121332964 @default.
- W3143047599 hasConcept C124047733 @default.
- W3143047599 hasConcept C125773388 @default.
- W3143047599 hasConcept C136119220 @default.
- W3143047599 hasConcept C138885662 @default.
- W3143047599 hasConcept C150889026 @default.
- W3143047599 hasConcept C154945302 @default.
- W3143047599 hasConcept C165801399 @default.
- W3143047599 hasConcept C167729594 @default.
- W3143047599 hasConcept C16796852 @default.
- W3143047599 hasConcept C169896238 @default.
- W3143047599 hasConcept C172385210 @default.
- W3143047599 hasConcept C19689857 @default.
- W3143047599 hasConcept C202444582 @default.
- W3143047599 hasConcept C2524010 @default.
- W3143047599 hasConcept C2777796570 @default.
- W3143047599 hasConcept C2779150620 @default.
- W3143047599 hasConcept C32241873 @default.
- W3143047599 hasConcept C33923547 @default.
- W3143047599 hasConcept C41008148 @default.
- W3143047599 hasConcept C62520636 @default.
- W3143047599 hasConceptScore W3143047599C101874905 @default.
- W3143047599 hasConceptScore W3143047599C102993220 @default.
- W3143047599 hasConceptScore W3143047599C111472728 @default.
- W3143047599 hasConceptScore W3143047599C118615104 @default.
- W3143047599 hasConceptScore W3143047599C121332964 @default.
- W3143047599 hasConceptScore W3143047599C124047733 @default.
- W3143047599 hasConceptScore W3143047599C125773388 @default.
- W3143047599 hasConceptScore W3143047599C136119220 @default.
- W3143047599 hasConceptScore W3143047599C138885662 @default.
- W3143047599 hasConceptScore W3143047599C150889026 @default.
- W3143047599 hasConceptScore W3143047599C154945302 @default.
- W3143047599 hasConceptScore W3143047599C165801399 @default.
- W3143047599 hasConceptScore W3143047599C167729594 @default.
- W3143047599 hasConceptScore W3143047599C16796852 @default.
- W3143047599 hasConceptScore W3143047599C169896238 @default.
- W3143047599 hasConceptScore W3143047599C172385210 @default.
- W3143047599 hasConceptScore W3143047599C19689857 @default.
- W3143047599 hasConceptScore W3143047599C202444582 @default.
- W3143047599 hasConceptScore W3143047599C2524010 @default.
- W3143047599 hasConceptScore W3143047599C2777796570 @default.
- W3143047599 hasConceptScore W3143047599C2779150620 @default.
- W3143047599 hasConceptScore W3143047599C32241873 @default.
- W3143047599 hasConceptScore W3143047599C33923547 @default.
- W3143047599 hasConceptScore W3143047599C41008148 @default.
- W3143047599 hasConceptScore W3143047599C62520636 @default.
- W3143047599 hasLocation W31430475991 @default.
- W3143047599 hasOpenAccess W3143047599 @default.
- W3143047599 hasPrimaryLocation W31430475991 @default.
- W3143047599 hasRelatedWork W10820383 @default.
- W3143047599 hasRelatedWork W1552680576 @default.
- W3143047599 hasRelatedWork W1630055178 @default.
- W3143047599 hasRelatedWork W183245590 @default.
- W3143047599 hasRelatedWork W1965893669 @default.
- W3143047599 hasRelatedWork W2036398996 @default.
- W3143047599 hasRelatedWork W2081040658 @default.
- W3143047599 hasRelatedWork W2187562582 @default.
- W3143047599 hasRelatedWork W2208965329 @default.
- W3143047599 hasRelatedWork W2320017735 @default.
- W3143047599 hasRelatedWork W24160088 @default.
- W3143047599 hasRelatedWork W2491183707 @default.
- W3143047599 hasRelatedWork W2491255044 @default.
- W3143047599 hasRelatedWork W2519471106 @default.
- W3143047599 hasRelatedWork W2744997383 @default.
- W3143047599 hasRelatedWork W2782949580 @default.
- W3143047599 hasRelatedWork W2964125215 @default.
- W3143047599 hasRelatedWork W3192582657 @default.
- W3143047599 hasRelatedWork W49631426 @default.
- W3143047599 hasRelatedWork W88201819 @default.
- W3143047599 isParatext "false" @default.
- W3143047599 isRetracted "false" @default.
- W3143047599 magId "3143047599" @default.
- W3143047599 workType "article" @default.