Matches in SemOpenAlex for { <https://semopenalex.org/work/W2087813741> ?p ?o ?g. }
Showing items 1 to 43 of
43
with 100 items per page.
- W2087813741 abstract "La logique IF pretend constituer une alternative a la logique classique du premier ordre : en liberalisant les schemas de dependance entre quantificateurs, elle menerait a leur terme les idees sous-jacentes a la logique classique. Mais les jeux de Hintikka ne constituent pas la seule maniere possible de fournir une semantique pour l’independance : on pourrait au contraire vouloir le faire dans le cadre d’une semantique recursive avec des quantificateurs de Henkin. Nous presentons ici quelques arguments techniques et philosophiques en faveur de IF, en montrant pourquoi son concept d’independance, elargi aux connecteurs, peut pretendre etre pleinement general, et en montrant en quel sens la logique IF traite l’independance de maniere analytique. Ce dernier point est realise a travers une explicitation du contenu epistemique de IF, sous la forme d’une traduction partielle dans la logique modale." @default.
- W2087813741 created "2016-06-24" @default.
- W2087813741 creator A5058810080 @default.
- W2087813741 date "2005-11-01" @default.
- W2087813741 modified "2023-09-26" @default.
- W2087813741 title "Independence and games" @default.
- W2087813741 cites W15056967 @default.
- W2087813741 cites W1548835575 @default.
- W2087813741 cites W1990514682 @default.
- W2087813741 cites W2072395631 @default.
- W2087813741 cites W2083390201 @default.
- W2087813741 cites W2099126437 @default.
- W2087813741 doi "https://doi.org/10.4000/philosophiascientiae.547" @default.
- W2087813741 hasPublicationYear "2005" @default.
- W2087813741 type Work @default.
- W2087813741 sameAs 2087813741 @default.
- W2087813741 citedByCount "1" @default.
- W2087813741 crossrefType "journal-article" @default.
- W2087813741 hasAuthorship W2087813741A5058810080 @default.
- W2087813741 hasBestOaLocation W20878137411 @default.
- W2087813741 hasConcept C111472728 @default.
- W2087813741 hasConcept C138885662 @default.
- W2087813741 hasConcept C15708023 @default.
- W2087813741 hasConceptScore W2087813741C111472728 @default.
- W2087813741 hasConceptScore W2087813741C138885662 @default.
- W2087813741 hasConceptScore W2087813741C15708023 @default.
- W2087813741 hasLocation W20878137411 @default.
- W2087813741 hasOpenAccess W2087813741 @default.
- W2087813741 hasPrimaryLocation W20878137411 @default.
- W2087813741 hasRelatedWork W13742110 @default.
- W2087813741 hasRelatedWork W1978104062 @default.
- W2087813741 hasRelatedWork W1984342464 @default.
- W2087813741 hasRelatedWork W2358365328 @default.
- W2087813741 hasRelatedWork W2770385150 @default.
- W2087813741 hasRelatedWork W3125750421 @default.
- W2087813741 hasRelatedWork W409860589 @default.
- W2087813741 hasRelatedWork W594289152 @default.
- W2087813741 hasRelatedWork W618363683 @default.
- W2087813741 hasRelatedWork W68147753 @default.
- W2087813741 isParatext "false" @default.
- W2087813741 isRetracted "false" @default.
- W2087813741 magId "2087813741" @default.
- W2087813741 workType "article" @default.