FRINK Linked Data Fragments server

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

• W2764220372 abstract "The work of Souleymane Bachir Diagne has set a landmark in many senses, but perhaps the most striking one is his inexhaustible thrive to build multifarious conceptual links and bridges between traditions and to motivate others to further develop this wonderful realization of unity in diversity. Three main fields of his remarkable work are: history and philosophy of logic (In the present talk I will focus on philosophy of logic, and more precisely on the algebra of logic of George Boole, that launched Bachir Diagne's (1989) academic carrier. However, the framework has bearings for the other both fields as developed in recent publications in collaboration. I will briefly discuss as an example of application the case of suspensive (muʿallaq) condition (taʿliq) in Islamic law and I might discuss this issue more deeply during the discussion, More precisely, the main objective of my presentation is to discuss a novel approach to both, the distinction between Boolean operators and inferentially defined connectives, and the interplay of the former with the latter. The epistemological framework underlying my discussion is the dialogical approach to Per Martin-Lof's (1984) Constructive Type Theory recently developed in Lille I will illustrate the issues by showing how to generalize Boolean operators for finite sets within the dialogical setting and I will take the chance to put the framework into work by developing a demonstration of what is known as the fourth axiom of Peano's arithmetic (0 is identical to no successor of a natural number: (∀x : ℕ) ¬Id(ℕ, 0, s(x))). Such a demonstration gives us provides a nice example of the difference between, to put it in a dialogical terminology, asserting that the solution to a problem or enquiry is no, and asserting that there is no solution or answer to such an enquiry. Furthermore, the dialogical setting, where an quantity is understood as the outcome of a procedure triggered by a question specific to that quantity, provides a new perspective on Willfried Sellars's notion of Space of Reasons. More precisely, the dialogical framework proposed should show how to integrate world-directed thought (that displays empirical content) into an inferentialist approach. This suggests that the dialogical approach to Constructive Type Theory offers a way to integrate within one epistemological framework the two conflicting readings of the Space of Reasons brought forward by John McDowell on one 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.
• W2764220372 created "2017-10-20" @default.
• W2764220372 creator A5090719760 @default.
• W2764220372 date "1989-01-01" @default.
• W2764220372 modified "2023-09-27" @default.
• W2764220372 title "Boole Algebra in a Contemporary Setting. Boole-Operations, Types as Propositions and Immanent Reasoning" @default.
• W2764220372 cites W1511133369 @default.
• W2764220372 cites W1970952512 @default.
• W2764220372 cites W2069971993 @default.
• W2764220372 cites W2080500670 @default.
• W2764220372 cites W569543113 @default.
• W2764220372 cites W586684362 @default.
• W2764220372 cites W653873681 @default.
• W2764220372 cites W616135131 @default.
• W2764220372 hasPublicationYear "1989" @default.
• W2764220372 type Work @default.
• W2764220372 sameAs 2764220372 @default.
• W2764220372 citedByCount "0" @default.
• W2764220372 crossrefType "journal-article" @default.
• W2764220372 hasAuthorship W2764220372A5090719760 @default.
• W2764220372 hasConcept C10646191 @default.
• W2764220372 hasConcept C111472728 @default.
• W2764220372 hasConcept C136119220 @default.
• W2764220372 hasConcept C138885662 @default.
• W2764220372 hasConcept C167729594 @default.
• W2764220372 hasConcept C18903297 @default.
• W2764220372 hasConcept C199360897 @default.
• W2764220372 hasConcept C202444582 @default.
• W2764220372 hasConcept C2524010 @default.
• W2764220372 hasConcept C2777299769 @default.
• W2764220372 hasConcept C2778701210 @default.
• W2764220372 hasConcept C33923547 @default.
• W2764220372 hasConcept C41008148 @default.
• W2764220372 hasConcept C86803240 @default.
• W2764220372 hasConcept C93682546 @default.
• W2764220372 hasConcept C98045186 @default.
• W2764220372 hasConceptScore W2764220372C10646191 @default.
• W2764220372 hasConceptScore W2764220372C111472728 @default.
• W2764220372 hasConceptScore W2764220372C136119220 @default.
• W2764220372 hasConceptScore W2764220372C138885662 @default.
• W2764220372 hasConceptScore W2764220372C167729594 @default.
• W2764220372 hasConceptScore W2764220372C18903297 @default.
• W2764220372 hasConceptScore W2764220372C199360897 @default.
• W2764220372 hasConceptScore W2764220372C202444582 @default.
• W2764220372 hasConceptScore W2764220372C2524010 @default.
• W2764220372 hasConceptScore W2764220372C2777299769 @default.
• W2764220372 hasConceptScore W2764220372C2778701210 @default.
• W2764220372 hasConceptScore W2764220372C33923547 @default.
• W2764220372 hasConceptScore W2764220372C41008148 @default.
• W2764220372 hasConceptScore W2764220372C86803240 @default.
• W2764220372 hasConceptScore W2764220372C93682546 @default.
• W2764220372 hasConceptScore W2764220372C98045186 @default.
• W2764220372 hasLocation W27642203721 @default.
• W2764220372 hasOpenAccess W2764220372 @default.
• W2764220372 hasPrimaryLocation W27642203721 @default.
• W2764220372 hasRelatedWork W1505794100 @default.
• W2764220372 hasRelatedWork W2033294720 @default.
• W2764220372 hasRelatedWork W2096347629 @default.
• W2764220372 hasRelatedWork W2109912207 @default.
• W2764220372 hasRelatedWork W2123397689 @default.
• W2764220372 hasRelatedWork W2140910855 @default.
• W2764220372 hasRelatedWork W2144332102 @default.
• W2764220372 hasRelatedWork W2147629218 @default.
• W2764220372 hasRelatedWork W2280744357 @default.
• W2764220372 hasRelatedWork W2304090608 @default.
• W2764220372 hasRelatedWork W2416613363 @default.
• W2764220372 hasRelatedWork W2503980537 @default.
• W2764220372 hasRelatedWork W2561528520 @default.
• W2764220372 hasRelatedWork W2759110188 @default.
• W2764220372 hasRelatedWork W2773546814 @default.
• W2764220372 hasRelatedWork W2886326374 @default.
• W2764220372 hasRelatedWork W3046987348 @default.
• W2764220372 hasRelatedWork W66535288 @default.
• W2764220372 hasRelatedWork W2182573159 @default.
• W2764220372 hasRelatedWork W573504857 @default.
• W2764220372 isParatext "false" @default.
• W2764220372 isRetracted "false" @default.
• W2764220372 magId "2764220372" @default.
• W2764220372 workType "article" @default.