FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2761508096> ?p ?o ?g. }

• W2761508096 abstract "About 40 years ago, or perhaps even earlier, logical systems started to emerge at a breath-taking pace almost every day. At the same time several unifying approaches have been proposed, that are also plural. Let me focus on two main families of unifying approaches based on two different ways to conceive Logic: 1. One approach takes up the traditional conception of logic, according to which a logical systems is determined by the set of inferential rules. 2. The other main approach that appeared around the 60ties, conceives logical systems as the set of valid formulae they determine. Thus, according to the first approach, let us call it the inferentialist conception, we can unify different logical systems by changing some rules or properties of the inference relation. A common example is to distinguish classical logic from intuitionistic logic by distinguishing between a logical systems that allows more than one conclusion (classical logic) and one that do not (intuitionistic logic). In relation to the second approach, let me call it the formal semantics conception, proposes to unify logical systems by studying them under the background of the kind of truth-functional semantics presupposed by the determination of their valid formulae. For example, some early attempts to distinguish classical logic from intuitionistic logic, was to compare these logics by comparing them under the background of a truth-functional semantics. According to these perspective while classical logic is the set of valid formulae determined by Boolean-truth functions, the valid formulae of intuitionistic logic are determined by some specific form of a three-valued truth-function: so while the third excluded is valid under the Boolean background it is not valid under the three-valued one. Moreover, while the formal semantics approach is built on the traditional strict differentiation between semantics, syntax and pragmatics inherited from Charles Morris (1938, p.3) – that I may recall was published in the first volume of the International Encylcopedia of Unified Science, inferentialism grew up out of a background that avoids keeping form and meaning apart (see Martin-Lof (1984, p. 2)), and the dialogical form of inferentialism, main subject of 1 The paper has been developed in the context of the researches for transversal research axis Argumentation (UMR 8163: STL), the research project ADA at the MESHS-Nord-pas-de-Calais and the research projects: ANR-SEMAINO (UMR 8163: STL)." @default.
• W2761508096 created "2017-10-20" @default.
• W2761508096 creator A5090719760 @default.
• W2761508096 date "2017-10-13" @default.
• W2761508096 modified "2023-09-27" @default.
• W2761508096 title "On the Plural Conceptions of Logic: A Dialogical Framework for the Teaching and Study of Logical Systems" @default.
• W2761508096 cites W102898356 @default.
• W2761508096 cites W1481398220 @default.
• W2761508096 cites W1510650956 @default.
• W2761508096 cites W1511133369 @default.
• W2761508096 cites W1565235297 @default.
• W2761508096 cites W1970952512 @default.
• W2761508096 cites W1972592948 @default.
• W2761508096 cites W2037559610 @default.
• W2761508096 cites W2045318987 @default.
• W2761508096 cites W2069971993 @default.
• W2761508096 cites W2080500670 @default.
• W2761508096 cites W2115535396 @default.
• W2761508096 cites W2147629218 @default.
• W2761508096 cites W2171109757 @default.
• W2761508096 cites W2252792214 @default.
• W2761508096 cites W2287749339 @default.
• W2761508096 cites W2328842434 @default.
• W2761508096 cites W2338123759 @default.
• W2761508096 cites W2493240959 @default.
• W2761508096 cites W2506652488 @default.
• W2761508096 cites W2561528520 @default.
• W2761508096 cites W2729469995 @default.
• W2761508096 cites W2798608048 @default.
• W2761508096 cites W569543113 @default.
• W2761508096 cites W592465597 @default.
• W2761508096 cites W638047791 @default.
• W2761508096 cites W653873681 @default.
• W2761508096 cites W986612746 @default.
• W2761508096 cites W616135131 @default.
• W2761508096 hasPublicationYear "2017" @default.
• W2761508096 type Work @default.
• W2761508096 sameAs 2761508096 @default.
• W2761508096 citedByCount "0" @default.
• W2761508096 crossrefType "journal-article" @default.
• W2761508096 hasAuthorship W2761508096A5090719760 @default.
• W2761508096 hasConcept C101874905 @default.
• W2761508096 hasConcept C102993220 @default.
• W2761508096 hasConcept C11413529 @default.
• W2761508096 hasConcept C118615104 @default.
• W2761508096 hasConcept C134752490 @default.
• W2761508096 hasConcept C138885662 @default.
• W2761508096 hasConcept C150889026 @default.
• W2761508096 hasConcept C154945302 @default.
• W2761508096 hasConcept C169896238 @default.
• W2761508096 hasConcept C177264268 @default.
• W2761508096 hasConcept C178421362 @default.
• W2761508096 hasConcept C19689857 @default.
• W2761508096 hasConcept C199360897 @default.
• W2761508096 hasConcept C2779835924 @default.
• W2761508096 hasConcept C28077239 @default.
• W2761508096 hasConcept C32241873 @default.
• W2761508096 hasConcept C33203268 @default.
• W2761508096 hasConcept C33923547 @default.
• W2761508096 hasConcept C3746660 @default.
• W2761508096 hasConcept C41008148 @default.
• W2761508096 hasConcept C41895202 @default.
• W2761508096 hasConcept C46274116 @default.
• W2761508096 hasConcept C56949724 @default.
• W2761508096 hasConcept C74992188 @default.
• W2761508096 hasConcept C80444323 @default.
• W2761508096 hasConceptScore W2761508096C101874905 @default.
• W2761508096 hasConceptScore W2761508096C102993220 @default.
• W2761508096 hasConceptScore W2761508096C11413529 @default.
• W2761508096 hasConceptScore W2761508096C118615104 @default.
• W2761508096 hasConceptScore W2761508096C134752490 @default.
• W2761508096 hasConceptScore W2761508096C138885662 @default.
• W2761508096 hasConceptScore W2761508096C150889026 @default.
• W2761508096 hasConceptScore W2761508096C154945302 @default.
• W2761508096 hasConceptScore W2761508096C169896238 @default.
• W2761508096 hasConceptScore W2761508096C177264268 @default.
• W2761508096 hasConceptScore W2761508096C178421362 @default.
• W2761508096 hasConceptScore W2761508096C19689857 @default.
• W2761508096 hasConceptScore W2761508096C199360897 @default.
• W2761508096 hasConceptScore W2761508096C2779835924 @default.
• W2761508096 hasConceptScore W2761508096C28077239 @default.
• W2761508096 hasConceptScore W2761508096C32241873 @default.
• W2761508096 hasConceptScore W2761508096C33203268 @default.
• W2761508096 hasConceptScore W2761508096C33923547 @default.
• W2761508096 hasConceptScore W2761508096C3746660 @default.
• W2761508096 hasConceptScore W2761508096C41008148 @default.
• W2761508096 hasConceptScore W2761508096C41895202 @default.
• W2761508096 hasConceptScore W2761508096C46274116 @default.
• W2761508096 hasConceptScore W2761508096C56949724 @default.
• W2761508096 hasConceptScore W2761508096C74992188 @default.
• W2761508096 hasConceptScore W2761508096C80444323 @default.
• W2761508096 hasLocation W27615080961 @default.
• W2761508096 hasOpenAccess W2761508096 @default.
• W2761508096 hasPrimaryLocation W27615080961 @default.
• W2761508096 hasRelatedWork W1122782392 @default.
• W2761508096 hasRelatedWork W1504915799 @default.
• W2761508096 hasRelatedWork W1599421765 @default.
• W2761508096 hasRelatedWork W2004640936 @default.
• W2761508096 hasRelatedWork W2040352350 @default.
• W2761508096 hasRelatedWork W2053222057 @default.

• next