Ce volume couvre un domaine de recherche absolument nouveau : le champ qui s'étend de la logique à l'argumentation. Après une analyse rigoureuse des fondements de la logique mathématique, l'auteur montre l'importance de l'argumentation et des preuves argumentatives dans les affaires humaines. Il tente ensuite de fonder scientifiquement l'étude des argumentations et d'ouvrir de nouvelles voies dans le domaine jusqu'ici peu connu de la logique naturelle. Les pages qui sont dans ce volume consacrées à la logique naturelle sont d'une nouveauté (...) absolue, et valent comme un apport de premier ordre au débat actuel sur la crise de la Raison. J.B. Grize s'affirme dans ce volume comme le plus novateur des chercheurs suisses d'aujourd'hui.? Page de début Préface Bibliographie de Jean-Blaise Grize Présentation Introduction. Vers une logique naturelle 1. Portée et limites de la formalisation 2. Théorie et explication 3. Remarques sur les limitations des formalismes 4. Vers une logique du quotidien 5. Logique et sciences humaines 6. Vers une psycho-logique 7. Réflexions pour une recherche sur l'argumentation 8. Logique et adaptation. En hommage au professeur 9. La schématisation et ses problèmes 10. Logique et organisation du discours 11. Logique et argumentation 12. Schématisation, représentations et images 13. Logique du discours et institutions sociales 14. Quelques opérations de la logique naturelle 15. Pour aborder l'étude des structures du discoursquotidien Bibliographie des ouvrages cités Index des noms Page de fin. (shrink)

La liberté d'expression: règle immuable de l'Université, par C. Terrier.--Message de bienvenue aux nouveaux étudiants, par S. Gallay.--Logique et connaissance, apr J.-B. Grize.

Written argumentative discourses were produced by 7 to 14 year-old children in two debate situations: one concerning a scientific issue (“Discours Formel”: DF,) and another concerning an opinion issue (“Discours Naturel”: DN). We had made the following developmental hypothesis: a specific discourse representation would be gradually built up by children in each situation, and would enable them to produce two different discourses, particularly with regard to the implication marks used by the writer. The two debate situations had been set up (...) to be only differentiated by the type of proposed issues. All the remaining situational characteristics had been made identical (social scenario, announced goal, addressee, etc.).Children's verbal products were divided into utterances. Each utterance was coded with regard to whether the following implication marks were present or not: the assuming by the writer of its assertive content; the writer's linguistically expressed reference to him- or herself; the evaluative or prescriptive value of the utterance; and the certainty modalities.The main results were: writer's assuming the assertive content specifies more and more DN, with a clear opposition between the two discourses realised by 13–14 children. While decreasing with age in both situations, the writer's self references are found to only occur in DN from 13–14. Prescriptive and evaluative types of utterance appear only in DN, at all the ages; the first ones decrease and the second ones increase from 7 to 14. At the opposite, DF proves to consist exclusively of constative utterances. At last, certainty modalities mainly occur in DN utterances. Differentiation between the two discourses has so begun by 7–8. But it becomes complete, for all the implication marks, at 13–14. The results observed at 13–14 join those shown by two reference adult groups, which performed the same discourse tasks.Finally, results are discussed with respect to parts of conceptions developed by Grize and by Bronckart. Given the many controls brought to bear in setting up the two discourse situations, children seem really to have been led, by the one representation of the argumentative issue, to produce more and more differentiated discourses. (shrink)

Recent studies indicate that mammalian chromosomes contain discretecis‐acting loci that control replication timing, mitotic condensation, and stability of entire chromosomes. Disruption of the large non‐coding RNA gene ASAR6 results in late replication, an under‐condensed appearance during mitosis, and structural instability of human chromosome 6. Similarly, disruption of the mouse Xist gene in adult somatic cells results in a late replication and instability phenotype on the X chromosome. ASAR6 shares many characteristics with Xist, including random mono‐allelic expression and asynchronous replication timing. (...) Additional “chromosome engineering” studies indicate that certain chromosome rearrangements affecting many different chromosomes display this abnormal replication and instability phenotype. These observations suggest that all mammalian chromosomes contain “inactivation/stability centers” that control proper replication, condensation, and stability of individual chromosomes. Therefore, mammalian chromosomes contain four types ofcis‐acting elements, origins, telomeres, centromeres, and “inactivation/stability centers”, all functioning to ensure proper replication, condensation, segregation, and stability of individual chromosomes. (shrink)

Vaesen infers unique properties of mind from the appearance of specific cultural innovation – a correlation without causal direction. Shifts in habitat, population density, and group dynamics are the only independently verifiable incentives for changes in cultural practices. The transition from Acheulean to Late Stone Age technologies requires that we consider how population and social dynamics affect cultural innovation and mental function.

La distinction aristotélicienne entre science spéculative, pratique et poCtique permet de faire l'hypothèse qu'il existe autant de sortes de discours, en particulier des discours théorétiques et des discours pratiques. Je me trouve engagé, depuis plusieurs années, dans l'Ctude de ces derniers. De son côté, F. Gonseth a consacré de nombreuses pages àélucider le rôle du langage dans la connaissance. Il y a ainsi quelque intérêt à rappeler quelques‐unes des conclusions auxquelles il a abouti, afin de déterminer ce qui unit et (...) ce qui sépare discours théorétiques et discours pratiques. (shrink)

Résumé1Le rôle prlvilégié que joue l'implication « si … alors » dans la pensée donne à sa formalisation loglque une importance capitale. Mais la formalisation classique se heurte à certaines difficultés.2On montre, par la méthode L de Gentzen, que c'est la partie positive de la logique intuitionniste qui exprime au plus près l'idée intuitive de l'implication.3L'implication est liée à la négation. On est conduit à distinguer « réfutable », «absurde» et «faux».4L'analyse de ces notions peut se faire aussi par la (...) méthode N de Gentzen. Elle conduit à une certaine symétrie dans les résultats.5Un système S, dû à F. B. Fitch, conduit à une nouvelle sorte de négation.6La négation dans S peut s'interpréter comme «contraire aux faits».Zusammenfassung1Dei der besonderen Rolle der Implikation «wenn … dann »im Denken 1st deren logische Formalisierung von wesentlicher Bedeutung. Die klassische Formalisierung stösst auf gewisse Schwierigkeiten.2Gentzens Méthode L erweist, dass der positive Teil der intuitionistischen Logik der intuitiven Idee der Implikation am nächsten kommt.3Die Implikation ist an die Negation gebunden. Folgende Unterscheidungen ergeben sich: widerlegbar, unmöglich, falsch.4Die Analyse dieser Begriffe kann auch nach Gentzens Méthode N geschehen. Sie führt zu einer gewissen Symmetrie in den Ergebnissen.5Das logische System S, das F. B. Fitch aufgestellt hat, führt zu einer neuen Art der Negation.6Die Negation kann in S als «im Widerspruch zu den Tatsachen» interpretiert werden. (shrink)

In this paper everyday reasoning is examined fromm the standpoint of natural logic. In natural logic there is the supposition of the concept of schematisation, i.e. the discursive representation of a situation that a speaker A constructs for a listener B and that B must reconstruct for himself.Under these circumstances, in order to prove that a statement s is true A must present it in such a way that B does not call it into question, that he considers it a (...) fact. For this it is necessary to have proofs. Moreover, a fact is never isolated and it may therefore appear inconsistent with other facts. A is thus led to provide reasons in order to substantiate his statements.Some mechanisms of proofs and of reasons are investigated. (shrink)

Book Reviews in this ArticlePaul GochetMaurice BoudotKlaus‐Henrik JacobsenLèon BrunschvicgAndrè Bièler.

Orthologic is defined by weakening the axioms and rules of inference of the classical propositional calculus. The resulting Lindenbaum-Tarski quotient algebra is an orthoimplication algebra which generalizes the author's implication algebra. The associated order structure is a semi-orthomodular lattice. The theory of orthomodular lattices is obtained by adjoining a falsity symbol to the underlying orthologic or a least element to the orthoimplication algebra.