Log in

Relevant bibliographies by topics / Logique formelle / Journal articles

To see the other types of publications on this topic, follow the link: Logique formelle.

Journal articles on the topic 'Logique formelle'

Author: Grafiati

Published: 4 June 2021

Last updated: 7 December 2024

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Logique formelle.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Vanderveken, Daniel. "Principes de pragmatique formelle du discours." Articles 34, no. 2 (2008): 229–58. http://dx.doi.org/10.7202/015880ar.

Full text

Abstract:

Résumé Pourrait-on enrichir la théorie des actes de langage pour traiter du discours? Wittgenstein et Searle ont signalé des difficultés. Beaucoup de discours n’ont pas de but conversationnel, leur arrière-plan est indéfiniment ouvert, ils contiennent des énonciations dépourvues de pertinence et de félicité, et ainsi de suite. À mes yeux, l’objectif principal de la pragmatique du discours est d’analyser la structure et la dynamique des jeux de langage à but conversationnel. Pareils jeux de langage sont indispensables à tout genre de discours. La logique peut analyser leurs conditions de félici

APA, Harvard, Vancouver, ISO, and other styles

2

Rada, Florian. "La forme et son extériorisation." Archives de Philosophie Tome 87, no. 3 (2024): 29–44. http://dx.doi.org/10.3917/aphi.873.0029.

Full text

Abstract:

Le concept de forme permet d’analyser la dimension ontologique de la logique hégélienne. Cependant, le processus de détermination, qu’est la forme, n’est pas encore décrit de manière formelle dans la Logique objective, ce qui produit des effets singuliers. On propose de donner un échantillon de ces effets dans la Logique de l’être avant de se concentrer sur le moment d’une extériorisation de la forme, qui se produit dans la diversité ( Verschiedenheit ) dans la Logique de l’essence. Le rapport entre forme et figure s’y développe d’une manière singulière et permet à la fois d’intégrer la logiqu

APA, Harvard, Vancouver, ISO, and other styles

3

Lobo, Carlos. "Le projet husserlien de réforme de la logique et ses prolongements chez Gian-Carlo Rota." Revue de Synthèse 138, no. 1-4 (2017): 105–50. http://dx.doi.org/10.1007/s11873-000-0000-07.

Full text

Abstract:

Résumé Gian-Carlo Rota est l’un des rares grands mathématiciens de la deuxième moitié du xxe siècle dont l’intérêt pour la logique formelle soit aussi ouvertement déclaré et ne se soit jamais démenti, depuis sa formation d’étudiant à Princeton jusqu’à ses derniers écrits. Plus exceptionnel encore, il fait partie des rares lecteurs assidus de Husserl à s’être aperçu que la phé-noménologie poursuivait un projet de réforme de la logique formelle. L’article propose d’attester l’existence d’un tel projet chez Husserl ; d’en examiner la réappropriation et les prolongements chez Rota.

APA, Harvard, Vancouver, ISO, and other styles

4

Krivine, Jean-Louis. "Une Preuve Formelle et Intuitionniste du Théorème de Complétude de la Logique Classique." Bulletin of Symbolic Logic 2, no. 4 (1996): 405–21. http://dx.doi.org/10.2307/421172.

Full text

Abstract:

Introduction. Il est bien connu que la correspondance de Curry-Howard permet d'associer un programme, sous la forme d'un λ-terme, à toute preuve intuitionniste, formalisée dans le calcul des prédicats du second ordre (voir, par exemple [3]). Cette correspondance a été étendue, assez récemment, à la logique classique moyennant une extension convenable du λ-calcul (voir [1, 4, 5, 6]). Chaque théorème formalisé en logique du second ordre correspond donc à une spécification de programme.Il se pose alors le problème, en général tout à fait non trivial, de trouver la spécification associée à un théo

APA, Harvard, Vancouver, ISO, and other styles

5

Epelbaum, C. "Troubles du raisonnement et schizophrénie: une revue critique." Psychiatry and Psychobiology 5, no. 4 (1990): 241–48. http://dx.doi.org/10.1017/s0767399x00003084.

Full text

Abstract:

RésuméNous avons tenté de rendre compte de la diversité des niveaux de description des troubles cognitifs dans la schizophrénie à travers la littérature: observation clinique, mesure des performances, études des processus. Nous avons centré notre approche sur ce dernier niveau. Il s'en dégage quatre caractéristiques principales (écart par rapport aux lois de la logique formelle, surinclusion, baisse de la capacité d'abstraction, difficultés du maniement de la contradiction) sur lesquelles s'appuyent des études touchant plus particulièrement la mise en place des raisonnements logiques. Toutefoi

APA, Harvard, Vancouver, ISO, and other styles

6

Kleszcz, Ryszard. "Teoria argumentacji w ujęciu Chaima Perelmana." Acta Universitatis Lodziensis. Folia Philosophica. Ethica-Aesthetica-Practica, no. 3 (January 1, 1985): 143–67. http://dx.doi.org/10.18778/0208-6107.03.12.

Full text

Abstract:

Le travail est consacré á la caractérisation de la théorie ď'argumentation créée par Perelman. Ce philosophe belge veut traitor la philosophie d’une façon ample, trouvant qu'elle doit aussi construire les principes de ľ'activité humaine, íl fáut que ces principes soient raisonnables et mútivés. Selon Perelman la logique contemporaine ne favorise pas сеs aspirations. Souvent elle est reduite à la logique formelle (A, Church, J. Bocheński), laissant en dehorn de ses intéréts ces moyens de raisonnemont qu’on applique a'laboration de la décision. Perelman n'accepte pas ces conceptions, se reférant

APA, Harvard, Vancouver, ISO, and other styles

7

Chézaud, Patrick. "La logique du paradoxe : essai d'analyse formelle du baroque." XVII-XVIII. Revue de la société d'études anglo-américaines des XVIIe et XVIIIe siècles 54, no. 1 (2002): 7–13. http://dx.doi.org/10.3406/xvii.2002.1635.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Caldarone, Alessandro. "Une méthodologie automatisée de la logique juridique." Les Cahiers de droit 31, no. 1 (2005): 227–60. http://dx.doi.org/10.7202/043006ar.

Full text

Abstract:

Le droit est une matière qui se prête très bien au traitement informatique. En effet nous pouvons dans cette discipline identifier deux aspects différents et complémentaires de la même réalité, à savoir l'aspect éthique et l'aspect logique. Dans cette étude, l'auteur se penche sur l'aspect logique du droit. Pour ce faire, il utilise la logique formelle afin de réduire sous forme de règles la matière portant sur le remboursement des améliorations faites sur l'immeuble d'autrui. Le résultat final en est un d'intelligence artificielle avec la réalisation d'un système expert portant le nom de LEX-

APA, Harvard, Vancouver, ISO, and other styles

9

Hill, Claire Ortiz. "La Mannigfaltigkeitslehre de Husserl." Articles 36, no. 2 (2010): 447–65. http://dx.doi.org/10.7202/039480ar.

Full text

Abstract:

Résumé Pour projeter de la lumière dans de nombreux coins et recoins obscurs de la logique pure de Husserl et dans les rapports entre sa logique formelle et sa logique transcendantale, et combler des lacunes empêchant qu’on arrive à une appréciation juste de sa Mannigfaltigkeitslehre, ou théorie de multiplicités, on examine comment, en prônant une théorie des systèmes déductifs, ou systèmes d’axiomes, comme tâche suprême de la logique pure, Husserl cherchait à résoudre certains problèmes épineux auxquels il s’était heurté en écrivant Philosophie de l’arithmétique. Ces problèmes sont décrits. E

APA, Harvard, Vancouver, ISO, and other styles

10

Lemêtre, Claire, and Sophie Orange. "Les bacheliers professionnels face à Admission Post-Bac (APB) : « logique commune » versus « logique formelle » de l’orientation." Revue française de pédagogie, no. 198 (March 31, 2017): 49–60. http://dx.doi.org/10.4000/rfp.5264.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

El Mouden el Mouden, Mohamed. "La République de Platon et l'État Mu'tazilite de Bagdad : Quand il manque la logique du troisième espace." European Public & Social Innovation Review 9 (September 10, 2024): 1–19. http://dx.doi.org/10.31637/epsir-2024-705.

Full text

Abstract:

Introduction: Notre étude critique le propositionnalisme et son impact sur la relation entre l'humanisme et le pouvoir, en négligeant les nuances intermédiaires et imposant une structure rigide Méthodologie: Pour comprendre l'influence du propositionnalisme sur Platon et les mutazilites, nous avons analysé des textes philosophiques et historiques, mettant en lumière les limites de la logique formelle et explorant des alternatives herméneutiques. Résultats: Nos résultats montrent que libérer l'humanisme du propositionnalisme exige un troisième espace logique. Discussion: Les résultats critiquen

APA, Harvard, Vancouver, ISO, and other styles

12

Imbert, Pierre, and Marc Durand. "La formation d’enseignants entre utilitarisme et cycles de Don : illustration en éducation physique." Revue des sciences de l'éducation 33, no. 2 (2008): 447–65. http://dx.doi.org/10.7202/017887ar.

Full text

Abstract:

RésuméLa formation des enseignants est généralement conçue en termes de transmission/construction utilitaire de connaissances et de compétences, et les formateurs valorisent le plus souvent l’adhésion, au moins formelle, à une logique utilitariste. Cependant, certains faits significatifs ne sont pas explicables dans cette logique. Ces faits sont analysés à partir de la théorie du Don dans des cas d’aide spontanée et des dispositifs de conseil chez des étudiants, des enseignants stagiaires et des formateurs. L’analyse montre que la nature des liens de confiance ou de défiance qui se tissent ent

APA, Harvard, Vancouver, ISO, and other styles

13

Gauthier, Yvon. "L’appareil analytique et ses modèles." Nouvelles perspectives en sciences sociales 7, no. 2 (2012): 23–48. http://dx.doi.org/10.7202/1013053ar.

Full text

Abstract:

Cet article propose une notion constructiviste de modèle dans la théorie physique applicable à la théorie scientifique en général, c’est-à-dire aussi bien dans les sciences exactes que dans les sciences sociales et humaines. La distinction entre appareil analytique et appareil expérimental par la médiation des modèles permet en effet de généraliser une notion qui est d’abord apparue dans les fondements de la physique chez David Hilbert et John von Neumann. Si l’on consent à inverser les flèches ou homomorphismes qui vont de l’appareil analytique, ensemble des structures logicomathématiques, à

APA, Harvard, Vancouver, ISO, and other styles

14

Grandjean, Guillaume. "Analyse formelle et visuelle de l'organisation des espaces sociaux vidéoludiques." Emulations - Revue de sciences sociales, no. 30 (July 10, 2019): 33–48. http://dx.doi.org/10.14428/emulations.030.03.

Full text

Abstract:

L’objectif de cette étude est de dégager quelques principes généraux d’organisation des espaces sociaux dans le jeu vidéo, par le biais de l’analyse formelle et visuelle de quelques villages du jeu The Legend of Zelda : Breath of the Wild. Dans la plupart des cas, l’espace social du village est structuré sous un double rapport : il repose sur un désordre phénoménologique apparent censé reproduire l’organisation « naturelle » (non-rationnelle) des espaces réels, tout en masquant la logique rigoureuse des éléments de design nécessaires au système de jeu. Nous rapprochons cette stratégie du conce

APA, Harvard, Vancouver, ISO, and other styles

15

Gauthier, Yvon. "Vérité et vérification en logique mathématique et dans les théories physiques." Articles 9, no. 1 (2007): 135–45. http://dx.doi.org/10.7202/203186ar.

Full text

Abstract:

Résumé Cet article propose une nouvelle approche dans l'analyse et l'interprétation des théories physiques. La théorie des modèles ou sémantique ensembliste est rejetée au profit d'une syntaxe ou théorie des démonstrations qui s'attache d'abord à la structure formelle (logique et mathématique) d'une théorie physique. On donne plusieurs exemples d'une théorie de la preuve (preuve, épreuve, appreuve), exemples qui relèvent surtout de la mécanique quantique et qui vont dans le sens de la thèse principale de l'auteur : la surdétermination de la théorie physique par sa structure mathématique.

APA, Harvard, Vancouver, ISO, and other styles

16

Gourinat, Jean-Baptiste. "Aristote et la « logique formelle moderne » : sur quelques paradoxes de l’interprétation de Łukasiewicz." Philosophia Scientae, no. 15-2 (September 1, 2011): 69–101. http://dx.doi.org/10.4000/philosophiascientiae.654.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Brougère, Gilles. "Les parcs d'attractions: jeu - divertissement - éducation." Educação e Pesquisa 26, no. 1 (2000): 11–21. http://dx.doi.org/10.1590/s1517-97022000000100002.

Full text

Abstract:

Les parcs d'attractions se sont, dans les années 90, développés en France comme dans l'ensemble du monde. Ils apparaissent comme des lieux de divertissement spécifiques dans la construction d'une illusion basée souvent sur des contenus culturels et/ou scientifiques sophistiqués. D'où la tentation d'y voir de nouveaux lieux d'éducation qui pourraient servir de modèles aux musées. Les expositions universelles sont des lieux qui mélangent volontiers des perspectives pédagogiques avec les procédés des parcs d'attractions. L'article essaie d'analyser ce qui caractérise ce type de loisir et l'archit

APA, Harvard, Vancouver, ISO, and other styles

18

Marcos, Jean Pierre. "Figures et fonctions du tiers chez Hobbes." Hobbes Studies 11, no. 1 (1998): 13–32. http://dx.doi.org/10.1163/187502598x00032.

Full text

Abstract:

AbstractL'examen des conditions représentatives de l'unification politique selon Hobbes, nous a conduit à montrer que la structure formelle du contrat au profit d'un tiers non contractant ou d'une instance ordinale tierce, se fonde sur une déduction préalable dans l'exposé des lois de nature, de la nécessité d'une instance arbitrale pour régler rationnellement en légiférant, les différends interindividuels. La position juridico-politique du Souverain, procède d'une détermination fonctionnelle de la médiation, ressortit à une logique générale de l'arbitrage par un Tiers des différends entre deu

APA, Harvard, Vancouver, ISO, and other styles

19

Chervet, Emmanuelle. "Théories latentes de l’écoute." Revue française de psychanalyse Vol. 87, no. 5 (2023): 1253–58. http://dx.doi.org/10.3917/rfp.875.1253.

Full text

Abstract:

La théorisation, manifeste ou latente, fait partie intégrante de la pensée de l’analyste, sous forme secondaire ou imagée, préoccupée de cohérence logique ou infiltrée d’infantile. Comme les autres contenus de la mémoire, ses éléments sont remaniés par la régression formelle au fil du processus de pensée de l’analyste. Ses contenus se mobilisent au sein de la conflictualité interne de l’analyste, au fur et à mesure que le déni se lève dans la cure. Quelques moments de cette mobilisation dans une cure illustrent ces processus.

APA, Harvard, Vancouver, ISO, and other styles

20

Chen, Fanfan. "Julio Cortázar : fantastique et mysticisme oriental." Analyses 42, no. 2 (2012): 161–79. http://dx.doi.org/10.7202/1011527ar.

Full text

Abstract:

Résumé Cet article essaie de mettre en lumière la présence occulte du mysticisme oriental dans les récits de Julio Cortázar, lieux d’un équilibre délicat entre la littérature et le sentiment vécu de frisson fantastique. Pour commencer, je propose une vue générale sur le fantastique, le mysticisme et Cortázar. Je propose ensuite une exploration sur la structure formelle et spirituelle de trois schèmes avec l’hypersensibilité qui conduit au « non-je ». Enfin, je proposerai une lecture de l’absence de causalité logique qui débouche sur une rhétorique mystique et donne forme à l’écriture fantastiq

APA, Harvard, Vancouver, ISO, and other styles

21

Jun, Tosaka. "Vocation théorique du concept de « caractère »." Dossier 64, no. 2 (2008): 359–76. http://dx.doi.org/10.7202/019504ar.

Full text

Abstract:

Le concept de caractère (seikaku) se distingue de ceux d’individu ou d’essence en ce qu’il ne fonctionne pas à partir du principe d’individuation permettant de déterminer la limite et l’extension d’un objet en tant qu’unité insécable ou catégorie scientifique. Le caractère d’un objet est sa propriété la plus représentative définie par la méthode pratique et les projets quotidiens. Le critère en est le mouvement de la totalité de l’histoire en relation avec l’activité des hommes en société. Il développe une théorie alternative au modèle de la logique formelle.

APA, Harvard, Vancouver, ISO, and other styles

22

Sartori, Manuel. "Le fāʾ des systèmes hypothétiques en in de l’arabe classique : critères de prédiction des valeurs sémantiques de fāʾ". Arabica 70, № 1-2 (2023): 157–210. http://dx.doi.org/10.1163/15700585-12341644.

Full text

Abstract:

Résumé Dans les systèmes hypothétiques arabes apparaît très souvent un fa- entre la protase et l’apodose. Selon la grammaire arabe classique, formée sur un corpus préclassique et pour le seul opérateur in des systèmes hypothétiques, le fāʾ marquerait une rupture formelle dès lors que l’apodose ne saurait être protase, c’est-à-dire dès lors que l’apodose n’a pas la forme faʿala (accompli neutre du point de vue du temps) ou yafʿal (inaccompli apocopé). Toutefois, outre les innombrables cas où cette règle n’est pas respectée, fāʾ manquant là où il était attendu, son apparition ne répond pas qu’à

APA, Harvard, Vancouver, ISO, and other styles

23

Bourneuf, Éric. "La structure de la théorie physique et son contenu empirique. Le problème des idéalisations et des fictions." Dialogue 30, no. 4 (1991): 447–72. http://dx.doi.org/10.1017/s0012217300011811.

Full text

Abstract:

Les questions qui ont suscité le présent texte concernent la relation entre la théorie et le réel empirique: comment peut-on identifier le contenu empirique d'une théorie? Dans quelle mesure sa prétention à révéler le réel estelle justifiée? La première tâche que ces interrogations commandent est celle d'exposer les conceptions de la structure des théories scientifiques les plus marquantes de ce siècle. Dans cette période la philosophie des sciences a d'abord été dominée par l'empirisme logique et son approche formelle de la structure des théories scientifiques. L'empirisme logique est certes

APA, Harvard, Vancouver, ISO, and other styles

24

Carton, Eric. "Un auteur particulier et incontournable parmi les auteurs de l'animation." Revue internationale animation, territoires et pratiques socioculturelles, no. 19 (June 14, 2021): 69–80. http://dx.doi.org/10.55765/atps.i19.991.

Full text

Abstract:

Jean-Claude Gillet a écrit et dirigé de nombreux livres sur l’animation professionnelle. L’article aborde d’abord ses trois premiers ouvrages et prend la « mesure » de leur référencement bibliographique. Puis, ses autres livres sur l’animation sont commentés, éclairant la logique d’écriture de l’auteur. Cette présentation permet ensuite de vérifier que l’auteur est cité par d’autres (auteurs et professionnels), montrant alors l’impact de ces ouvrages. La particularité de Gillet est confirmée, notamment parce qu’il lui a fallu plus de dix ans pour passer d’une « définition introuvable » à une p

APA, Harvard, Vancouver, ISO, and other styles

25

Isaac, Manuel Gustavo. "L'idée de la logique formelle dans les appendices VI à X du volume 12 desHusserliana(1970)." History and Philosophy of Logic 36, no. 4 (2015): 321–45. http://dx.doi.org/10.1080/01445340.2015.1056957.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

Gardin, Jean-Claude. "Archéologie, formalisation et sciences sociales." Sociologie et sociétés 31, no. 1 (2002): 119–27. http://dx.doi.org/10.7202/001282ar.

Full text

Abstract:

Résumé L'archéologie est depuis vingt ans le lieu d'un programme de recherches consacrées à une analyse formelle des constructions historiques, inspirée du paradigme computationnel. Les travaux menés dans cette voie apportent quelque lumière sur des questions d'épistémologie pratique, groupées ici sous trois titres: le sens et la place du " naturel " dans ces constructions (langage naturel, logique naturelle, raisonnement naturel) ; la manière dont on s'y accommode ou non de la pluralité des interprétations et de leur caractère réputé non cumulatif ; la viabilité des positions médianes recomma

APA, Harvard, Vancouver, ISO, and other styles

27

Bonenfant, Luc. "Le Nigog : la pratique polémique du poème en prose." Études 28, no. 2 (2003): 125–37. http://dx.doi.org/10.7202/006601ar.

Full text

Abstract:

Résumé Cet article porte sur les poèmes en prose du Nigog, et plus précisément sur la façon dont ces poèmes forment un argument supplémentaire en faveur de la liberté artistique dans la querelle qui oppose les « exotiques » aux régionalistes. Après un examen de l’ambivalence formelle des poèmes en prose, l’article s’intéresse aux principes esthétiques qui sous-tendent le discours critique de la revue pour finalement montrer comment ces poèmes en prose s’inscrivent tacitement dans la logique argumentative de la revue, modifiant ainsi progressivement la conception du « poétique » qui a alors cou

APA, Harvard, Vancouver, ISO, and other styles

28

Rivenc, François. "Faut-il enterrer le principe de compositionnalitè?" Dialogue 34, no. 2 (1995): 305–20. http://dx.doi.org/10.1017/s0012217300014736.

Full text

Abstract:

Commençons par saluer la parution de cet ouvrage, qui propose au lecteur francophone les traductions de quatorze articles de Hintikka (dont deux écrits en collaboration avec G. Sandu), couvrant la période 1976-1990, qu'on peut pour l'essentiel répartir en deux rubriques; les six premiers articles constituent à des titres divers un plaidoyer pour l'introduction d'un nouveau cadre conceptuel, ou «paradigme», en linguistique, destiné à rem-placer le programme de la grammaire générative, et capable (selon l'auteur) d'expliquer et de prédire un grand nombre de phénomènes linguistiques plus ou moins

APA, Harvard, Vancouver, ISO, and other styles

29

Randa, Vladimir. "«Qui se ressemble s’assemble.» Logique de construction et d’organisation des zoonymes en langue inuit." Études/Inuit/Studies 26, no. 1 (2004): 71–108. http://dx.doi.org/10.7202/009273ar.

Full text

Abstract:

Résumé Être en mesure de nommer avec précision et discernement le milieu naturel dans lequel on vit, notamment la faune, fait partie aux yeux des Inuit des compétences qui fondent leur identité culturelle. Parallèlement à l’étude du sens, l’analyse formelle des noms d’animaux et de la nomenclature zoologique fournit de précieuses informations sur la manière dont les Inuit perçoivent la faune. Loin d’être composée de termes isolés, la nomenclature zoologique se caractérise par de nombreuses connexions lexicales: celles-ci impliquent bien entendu en priorité des animaux faisant partie des mêmes

APA, Harvard, Vancouver, ISO, and other styles

30

Lerat, Pierre. "Dérivation lexicale et dérive terminologique." Meta 39, no. 4 (2002): 581–88. http://dx.doi.org/10.7202/003472ar.

Full text

Abstract:

Résumé La dérivation lexicale n'est pas une opération sémantiquement neutre, du moins dans les vocabulaires techniques, où le « sens linguistique » a souvent peu de rapport avec le « sens terminologique ». La « dérive terminologique » est un effet de la dénomination : elle est un reflet des connaissances non linguistiques, ce qui empêche le mot technique d'être seulement interprétable comme une pure transformation formelle d'un autre mot. L'exemple du verbe passer illustre l'absence de prédictibilité de la forme et du sens des dérivés. On peut imaginer une lexicographie terminologique multidom

APA, Harvard, Vancouver, ISO, and other styles

31

Borgetto, Michel, and Robert Lafore. "L'État-providence, le droit social et la responsabilité." Lien social et Politiques, no. 46 (September 6, 2002): 31–42. http://dx.doi.org/10.7202/000321ar.

Full text

Abstract:

Résumé Le droit social, forme juridique prise en France par l'État-providence, est apparu lors de sa fondation comme une alternative globale aux impasses du droit issu de la Révolution. Dans un contexte de développement de la société industrielle, les principes individualistes, égalitaires et consensualistes du modèle civiliste étaient en effet inopérants pour encadrer la situation faite aux travailleurs salariés. Le droit social a entendu substituer une logique distributive à la justice commutative du contrat et de la responsabilité. Aux mécanismes interindividuels, il a préféré un cadre coll

APA, Harvard, Vancouver, ISO, and other styles

32

Tournier, François. "Gilbert Hottois, Penser la logique. Une introduction technique, théorique et philosophique à la logique formelle, Bruxelles, De Boeck-Wesmael s.a. (c1989), 2 tirage 1990, vii-273 pages." Philosophiques 21, no. 2 (1994): 631. http://dx.doi.org/10.7202/027302ar.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

Sartori, Manuel. "Le fāʾ des conditionnelles totales. Aspects diachroniques et synchroniques". Annales islamologiques 58 (2024): 235–75. http://dx.doi.org/10.4000/12ckg.

Full text

Abstract:

D’après la grammaire arabe, un fa‑ doit apparaître entre la protase (p) et l’apodose (q) d’un système hypothétique en ʾin dès lors que l’apodose ne saurait être protase, c’est‑à‑dire dès lors que l’apodose n’a pas la forme faʿala (accompli neutre du point de vue du temps) ou yafʿal (inaccompli apocopé). Sa présence ne relève toutefois pas que d’une contrainte formelle, encore répond‑elle à une nécessité sémantique : les systèmes ʾin p, q marqueraient une connexion logique où q serait le conséquent logique de p, son antécédent ; les systèmes ʾin p fa‑q marqueraient, eux, une connexion pragmatiq

APA, Harvard, Vancouver, ISO, and other styles

34

Ricoeur, Paul. "The Later Wittgenstein and the Later Husserl on Language." Études Ricoeuriennes / Ricoeur Studies 5, no. 1 (2014): 28–48. http://dx.doi.org/10.5195/errs.2014.245.

Full text

Abstract:

This article presents an edited version of lectures given by Paul Ricœur at Johns Hopkins University in April 1966. Ricœur offers a comparative analysis of Wittgenstein’s and Husserl’s late works, taking the problem of language as the common ground of investigation for these two central figures of phenomenology and analytic philosophy. Ricœur develops his study in two parts. The first part considers Husserl’s approach to language after the Logical Investigations and concentrates on Formal and Transcendental Logic; leaving a transcendental reflection on language behind it re-examines a phenomen

APA, Harvard, Vancouver, ISO, and other styles

35

Londeix, Hervé. "Les relations entre psychologie génétique et psychologie différentielle. II. L'analyse d'un test opératoire, l'E.C.D.L." L’Orientation scolaire et professionnelle 14, no. 2 (1985): 105–44. http://dx.doi.org/10.3406/binop.1985.3938.

Full text

Abstract:

L'approche psychométrique du développement opératoire repose sur la possibilité d'analyser des comportements individuels nombreux, recueillis dans des situations représentatives de plusieurs domaines de la connaissance, selon un modèle théorique homogène et unidimensionnel. La psychologie génétique fournit des critères généraux d'interprétation des caractéristiques formelles de l'action mais ne démontre pas, sinon sur un plan logique ou «épistémique», que la dimension opératoire de la pensée soit, entre 11 et 15 ans, le motif central et l'unique voie de développement, ni, par conséquent, que l

APA, Harvard, Vancouver, ISO, and other styles

36

Daccache, Michel. "Les «Amériques Noires» de Roger Bastide: un modèle pour une analyse anthropologique des styles de vie." Horizontes Antropológicos 16, no. 33 (2010): 81–91. http://dx.doi.org/10.1590/s0104-71832010000100006.

Full text

Abstract:

Le nom de Roger Bastide est généralement associé à la sociologie des religions du Brésil. On peut cependant trouver dans son œuvre un paradigme pertinent pour une analyse anthropologique des styles de vie. Dans Les Amériques Noires, il propose une analyse des luttes ayant pour enjeu la définition et l'appropriation des biens et des pratiques culturels légitimes, ce qu'il nomme la «bataille des races pour l'égalisation», faisant suite à l'abolition de l'esclavage. Il s'intéresse notamment à trois faits sociaux constitutifs de styles de vie différents: la pratique de l'équitation, les pastorales

APA, Harvard, Vancouver, ISO, and other styles

37

Marcelli, Daniel. "Les écrans sont-ils des tiers ?" Cahiers critiques de thérapie familiale et de pratiques de réseaux 71, no. 2 (2023): 89–108. http://dx.doi.org/10.3917/ctf.071.0089.

Full text

Abstract:

Un marteau tenu par une main enfonce un clou. Ce marteau est-il un tiers entre la main et le clou ? Dans une logique formelle, peut-être. Dans l’ordre des relations humaines certainement pas : le tiers est là pour ouvrir une relation, éviter l’enfermement dyadique. Dans ces conditions, les écrans et les logiciels qui les accompagnent peuvent-ils être considérés comme des tiers ? Après avoir rappelé quelques données épidémiologiques sur la consommation quantitative et qualitative de ces écrans, cet article tente de déconstruire les multiples usages des écrans en distinguant ce qui relève de l’o

APA, Harvard, Vancouver, ISO, and other styles

38

Leroux, Jean. "Structuralisme et empirisme: l'approche ensembliste des théories physiques." Dialogue 25, no. 1 (1986): 143–66. http://dx.doi.org/10.1017/s001221730004292x.

Full text

Abstract:

La parution de la monographic de Sneed,The Logical Structure of Mathematical Physics(1971) a suscité un renouveau d'intérêt en philosophie contemporaine des sciences. Cet ouvrage arrivait à un moment où l'épistémologie des sciences, telle que développée dans les milieux germaniques et anglo-saxons, accusait de graves insuffisances dans la reconstruction rationnelle du développement historique des théories physiques. Mis sur la défensive par les thèses et arguments historiques de Kuhn et de Feyerabend, ces milieux « orthodoxes » devaient reconnaitre l'état embryonnaire de ce qui devait être une

APA, Harvard, Vancouver, ISO, and other styles

39

Kedar, Nir. "Law, Culture and Civil Codification in a Mixed Legal System." Canadian journal of law and society 22, no. 2 (2007): 177–95. http://dx.doi.org/10.1017/s0829320100009418.

Full text

Abstract:

RésuméLes comparativistes décrivent généralement les juridictions mixtes comme ayant été construites sur la double fondation du droit civil romano-germanique et de lacommon lawanglo-américaine. Cette description largement acceptée examine les juridictions mixtes à partir d'une perspective juridique formelle interne. Mon étude propose un nouveau prisme analytique pour examiner les juridictions mixtes: une perspective qui prend en considération l'interaction complexe entre le droit et la culture dans une juridiction mixte. L'étude de cas est la codification du droit privé dans la juridiction mix

APA, Harvard, Vancouver, ISO, and other styles

40

Ladavac, Nicoletta Bersier. "Le cercle autour de Hans Kelsen." Les cercles viennois de l'entre-deux-guerres 94 (2022): 69–83. http://dx.doi.org/10.4000/11ve9.

Full text

Abstract:

Les cercles de Vienne, phénomène culturel particulier, ont marqué la culture viennoise pendant une trentaine d’années à partir de la fin du xixe siècle. Imprégnés par une réflexion épistémologique appliquée à la science, les cercles de Vienne étaient composés de philosophes, de mathématiciens et de scientifiques. Le plus célèbre fut sans doute le Wiener Kreis organisé par Moritz Schlick en 1922, auquel ont participé des philosophes et des scientifiques ; il se caractérisait par une forte recherche épistémologique des sciences, reposant sur l’approche philosophique du positivisme logique. Autou

APA, Harvard, Vancouver, ISO, and other styles

41

Amah, Ichu Francis, and Professor Augustin Emmanuel Ebongue. "LA PHONOLOGIE DU FRANÇAIS DES RÉGIONS ANGLOPHONES DU CAMEROUN." American Journal of Social Science and Education Innovations 5, no. 9 (2023): 29–46. http://dx.doi.org/10.37547/tajssei/volume05issue09-06.

Full text

Abstract:

Le présent article, une analyse descriptive du phénomène de phonologisation du français dans les régions anglophones du Cameroun postule qu’il s’agit d’un procédé beaucoup plus complexe que pour le cas d’anglais. La variété des productions observables chez les locuteurs anglophones interroge frontalement l’hypothèse qu’il existe un objet que l’on pourrait appeler “le” français. L’existence d’une variété inter et intra-individuelle importante et largement observée dans les productions des locuteurs anglophones montre en particulier que l’acquisition de la phonologie comporte à l’évidence une di

APA, Harvard, Vancouver, ISO, and other styles

42

Keiff, Laurent. "Heuristique formelle et logiques modales non-normales." Philosophia Scientae, no. 8-2 (October 1, 2004): 39–57. http://dx.doi.org/10.4000/philosophiascientiae.562.

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

Besnard, Philippe. "Logiques formelles et raisonnement de bon sens." Annales Des Télécommunications 44, no. 5-6 (1989): 242–50. http://dx.doi.org/10.1007/bf02995670.

Full text

APA, Harvard, Vancouver, ISO, and other styles

44

Petot, Djaouida. "Mania and Thought Disorder in a Ten-Year-Old Boy." Rorschachiana 23, no. 1 (1999): 58–75. http://dx.doi.org/10.1027/1192-5604.23.1.58.

Full text

Abstract:

L’indice de schizophrénie défini par Exner (1993) est parfois positif chez des enfants français sans que rien ne justifie le diagnostic correspondant. Ce phénomène concerne généralement des enfants âgés de moins de six ans. Cependant, après cet âge, nous ne l’avons trouvé que chez des enfants effectivement schizophrènes ou maniaques. Est-ce à dire que l’indice de schizophrénie peut être également révélateur de manie? On sait que cet indice comprend six items, dont quatre concernent l’exactitude perceptive et deux les cotations spéciales. Il n’est pas étonnant que les enfants maniaques, dont l’

APA, Harvard, Vancouver, ISO, and other styles

45

Morujão, Carlos. "Husserl e a “Verdade pela Forma” (da Filosofia da Aritmética às Investigações Lógicas)." Philosophica: International Journal for the History of Philosophy 8, no. 16 (2000): 47–89. http://dx.doi.org/10.5840/philosophica200081614.

Full text

Abstract:

Dans cet article nous nous sommes proposé de montrer l’ampleur de la transformation operée par Husserl sur la notion d’analytico-formel, par rapport au sens que ces deux termes possédait chez Kant. Nous avons montré que c’était lá le but des investigations, que Husserl lui-même appelait d’ordre psychologique, sur les fondements de l’arithmétique, aussi bien que de sa critique du psichologisme, ammorcée dès le 1.er tome des Recherches Logiques. Nous avons aussi montré que le but de Husserl n’était pas d’établir un ensemble de propriétés formelles des objects (en soi-mêmes vides de tout contenu)

APA, Harvard, Vancouver, ISO, and other styles

46

Abaté, André Modeste. "Les motivations et logiques de l’informalisation des entreprises formelles." Revue Congolaise de Gestion Numéro25, no. 1 (2018): 11. http://dx.doi.org/10.3917/rcg.025.0011.

Full text

APA, Harvard, Vancouver, ISO, and other styles

47

Massé, Raymond. "Les mirages de la rationalité des savoirs ethnomédicaux." Anthropologie et Sociétés 21, no. 1 (2003): 53–72. http://dx.doi.org/10.7202/015461ar.

Full text

Abstract:

Résumé Les mirages de la rationalité des savoirs ethnomédicaux La rationalité constitue la valeur-phare dans la gestion des systèmes de santé. Elle est au cœur des entreprises de « rationalisation » des systèmes de soins occidentaux. Elle sert de critère étalon dans l'évaluation de la pertinence et de l'efficacité des diverses ethnoméde-cines. L'anthropologie s'est traditionnellement prononcée sur le caractère logique, il-logique ou a-logique des savoirs ethnomédicaux et a remis plus récemment en question l'immanence de la rationalité de la biomédecine. Nous proposons ici que les contributions

APA, Harvard, Vancouver, ISO, and other styles

48

Lobo, Carlos. "Le Fantôme Husserlien de la Modalité chez J. Vuillemin et Gaston Granger." Revista de Filosofia Moderna e Contemporânea 8, no. 1 (2020): 233–83. http://dx.doi.org/10.26512/rfmc.v8i1.34112.

Full text

Abstract:

Une «logique du modal» véritablement universelle, qui rende compte de la subjectivité concrète Ã l’oeuvre dans l’activité scientifique, voilÃ ce que serait l’âme du «fantôme évanescent de la modalité». Or tel était le projet husserlien de réforme de la logique. Le fantôme husserlien des modalités ainsi entendu surgit dans l’oeuvre de Vuillemin et de Granger lÃ où l’un et l’autre s’allient pour éliminer le spectre du sujet transcendantal et le priver de toute logique (au moyen de «l’objection-Gödel»). Le retour du fantôme s’opère de manière équivoque, lÃ où ils s’engagent dans l’élaboration d’u

APA, Harvard, Vancouver, ISO, and other styles

49

Flack, Patrick. "R.O. Šor et la controverse entre formalisme et marxisme." Cahiers du Centre de Linguistique et des Sciences du Langage, no. 47 (June 4, 2016): 185–202. http://dx.doi.org/10.26034/la.cdclsl.2016.455.

Full text

Abstract:

Les travaux de R.O. Šor occupent une place originale – relativement indépendante et médiatrice – dans la vive controverse qui a opposé formalisme et marxisme dans la jeune Union soviétique. Membre du Cercle linguistique de Moscou puis active au sein de l’Académie d’État des sciences artistiques (GAXN), Šor s’inscrit d’une part dans la mouvance formaliste, sans pour autant n’avoir jamais été une représentante de la «méthode formelle». Dans son article «La méthode formelle en Occident» (1927), on la voit même spécifiquement attaquer certaines thèses du formalisme russe, notamment celles de R.O.

APA, Harvard, Vancouver, ISO, and other styles

50

Ostrosi, E., O. Garro, A. Koukam, and D. Brissaud. "CALC, un outil de traçabilité." Revue Française de Gestion Industrielle 20, no. 1 (2001): 53–67. http://dx.doi.org/10.53102/2001.20.01.1045.

Full text

Abstract:

Une entreprise qui souhaite améliorer ses futures conceptions en réutilisant des connaissances acquises dans les conceptions présentes se doit de conserver le produit lui-même, ce qui se fait normalement, mais aussi la logique de conception ayant amené à ce produit, ce qui ne se fait jamais. Cet article présente un cadre formel et un outil pour la prise en compte d'informations portant sur la logique du processus de conception. Ces informations doivent être structurées et organisées pour être utilisées dans des projets de conception futurs et éventuellement pour justifier les décisions prises

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!