Conditional and syllogistic deductive tasks dissociate functionally during premise integration.

Deduction allows us to draw consequences from previous knowledge. Deductive reasoning can be applied to several types of problem, for example, conditional, syllogistic, and relational. It has been assumed that the same cognitive operations underlie solutions to them all; however, this hypothesis remains to be tested empirically. We used event-related fMRI, in the same group of subjects, to compare reasoning-related activity associated with conditional and syllogistic deductive problems. Furthermore, we assessed reasoning-related activity for the two main stages of deduction, namely encoding of premises and their integration. Encoding syllogistic premises for reasoning was associated with activation of BA 44/45 more than encoding them for literal recall. During integration, left fronto-lateral cortex (BA 44/45, 6) and basal ganglia activated with both conditional and syllogistic reasoning. Besides that, integration of syllogistic problems additionally was associated with activation of left parietal (BA 7) and left ventro-lateral frontal cortex (BA 47). This difference suggests a dissociation between conditional and syllogistic reasoning at the integration stage. Our finding indicates that the integration of conditional and syllogistic reasoning is carried out by means of different, but partly overlapping, sets of anatomical regions and by inference, cognitive processes. The involvement of BA 44/45 during both encoding (syllogisms) and premise integration (syllogisms and conditionals) suggests a central role in deductive reasoning for syntactic manipulations and formal/linguistic representations.

THE FORMAL AND THE FORMALIZED: THE CASES OF SYLLOGISTIC AND SUPPOSITION THEORY

As a discipline, logic is arguably constituted of two main sub-projects: formal theories of argument validity on the basis of a small number of patterns, and theories of how to reduce the multiplicity of arguments in non-logical, informal contexts to the small number of patterns whose validity is systematically studied (i.e. theories of formalization). Regrettably, we now tend to view logic 'proper' exclusively as what falls under the first sub-project, to the neglect of the second, equally important sub-project. In this paper, I discuss two historical theories of argument formalization: Aristotle's syllogistic theory as presented in the "Prior Analytics", and medieval theories of supposition. They both illustrate this two-fold nature of logic, containing in particular illuminating reflections on how to formalize arguments (i.e. the second sub-project). In both cases, the formal methods employed differ from the usual modern technique of translating an argument in ordinary language into a specially designed symbolism, a formal language. The upshot is thus a plea for a broader conceptualization of what it means to formalize.

Forensics and Syllogistic questions, 1789-1791; 1808

A handwritten list of forensic and syllogistic questions compiled between 1789 and 1791 on two pages, and a half-page list of the questions for June 1800.

The syllogistic philosophy or prolegomena to science.

Includes bibliographical references.

Aristotle’s modal syllogistic and first-order modal logic

In Prior Analytics 1.1–22, Aristotle develops his proof system of non-modal and modal propositions. This system is given in the language of propositions, and Aristotle is concerned with establishing some properties and relations that the expressions of this language enjoy. However, modern scholarship has found some of his results inconsistent with positions defended elsewhere. The set of rules of inference of this system has also caused perplexity: there does not seem to be a single interpretation that validates all the rules which Aristotle is explicitly committed to using in his proofs. Some commentators have argued that these and other problems cannot be successfully addressed from the viewpoint of the traditional, ‘first-order’ interpretation of Aristotle’s syllogistic, whereby propositions are taken to involve quantification over individuals only. Accordingly, this interpretation not only is inadequate for formal analysis, but also stems from a misunderstanding of Aristotle’s ideas about quantification. On the contrary, in this study I purport to vindicate the adequacy and plausibility of the first-order interpretation. Together with some assumptions about the language of propositions and an appropriate regimentation, the first-order interpretation yields promising solutions to many of the problems raised by the modal syllogistic. Thus, I present a reconstruction of the language of propositions and a formal interpretation thereof which will prove respectful and responsive to most of the views endorsed by Aristotle in the ‘modal’ chapters of the Analytics.

Le rapport de l'Un et de l'intellect dans la centurie de Calliste Cataphygiotes

La présente étude est une analyse et une reconstruction interprétative de la centurie de Calliste Cataphygiotès, intitulée De l'union avec Dieu et de la vie contemplative, chapitres syllogistiques et hauts. Notre approche à ce texte pluridisciplinaire est prioritairement philosophique. Dans le but de mettre en valeur l'intérêt philosophique qu'il représente, nous avons concentré notre analyse sur les problèmes liés au rapport de l'intellect avec l'Un, sur l'étude du concept de l'infini, sur son rôle dans la contemplation et sur la méthode dialectique dont Calliste Cataphygiotès s'en sert. Nous avons reconstruit la doctrine de la contemplation, implicite au texte de Calliste et nous avons tenté une reconstruction globale de la centurie qui permettra au lecteur d'apprécier les qualités spéculatives et l'esprit synthétique de ce mystique byzantin presque inconnu.

La conception platonicienne de la contradiction

Cette thèse se rapporte à la notion de contradiction, entendue en son sens logique ou formel. Plus précisément, elle vise à dégager une conception de la contradiction chez un philosophe qui, du point de vue chronologique, précède l’avènement de la syllogistique et de la logique : Platon. À partir de l’examen des dialogues réfutatifs de Platon, il s’agira de mettre en lumière la forme des propositions contradictoires, de déterminer la terminologie et les métaphores utilisées par Platon pour nommer et décrire la contradiction et d’évaluer le contexte dans lequel avait lieu la réflexion platonicienne. L’analyse révélera que Platon se faisait une idée somme toute assez précise de la contradiction logique et qu’il a même eu une influence sur Aristote lorsque ce dernier élabora son célèbre principe de non-contradiction.

A simple syllogism-solving test: empirical findings and implications for g research

It has been reported that the ability to solve syllogisms is highly g-loaded. In the present study, using a self-administered shortened version of a syllogism-solving test, the BAROCO Short, we examined whether robust findings generated by previous research regarding IQ scores were also applicable to BAROCO Short scores. Five syllogism-solving problems were included in a questionnaire as part of a postal survey conducted by the Keio Twin Research Center. Data were collected from 487 pairs of twins (1021 individuals) who were Japanese junior high or high school students (ages 13–18) and from 536 mothers and 431 fathers. Four findings related to IQ were replicated: 1) The mean level increased gradually during adolescence, stayed unchanged from the 30s to the early 50s, and subsequently declined after the late 50s. 2) The scores for both children and parents were predicted by the socioeconomic status of the family. 3) The genetic effect increased, although the shared environmental effect decreased during progression from adolescence to adulthood. 4) Children's scores were genetically correlated with school achievement. These findings further substantiate the close association between syllogistic reasoning ability and g.

Theses of 1663

Handwritten document written in Latin and dated August 1663 purported to be the Harvard College Commencement Theses of 1663, but considered by John Noble of the Colonial Society of Massachusetts to be a contemporary parody. Noble notes of the 1663 Theses, that "there seems to be no reason to doubt that this is a genuine, original manuscript of the date which it bears," but describes it as a "blaze of literary and scholastic pyrotechnics" that suggests it was created satirically (John Noble, "Harvard Theses of 1663" in the Publications of the Colonial Society, Volume V: Transactions, April 1898, pages 322-339).

Os operadores argumentativos como estratégia linguística e discursiva da argumentação na sentença judicial

We studied in this dissertation the argumentation in the court judgment, which goal was to identify, describe and explain the running of argumentative operators in the argumentative orientation of text and discourse built through the text of the judgment. We support our research in the constructs adopted for the ATD – (Textual Analysis of the Discourses) - Adam (2011), in the studies about the Aristotle’s Rhetoric (1959) and Perelman and Olbrechts-Tyteca (1996) and other works such as of the Alves (2005), Capez (2008), Charaudeau (2012), Keller and Bastos (2015), Koch (2009; 2011), Rodrigues, Silva Neto and Passeggi (2010), Trubilhano and Henriques (2013). In a methodological way, we made use of deductive-inductive method, because we analyzed the argumentation in an "unknown" text - particular case - based on a theory already known (about language, text and argumentation). About the nature and objectives, our search was characterized as qualitatively and as an explanatory and descriptive investigation, with technical procedures of documental collection of Bibliographic Search. As corpus, we use a court judgment of character condemnatory, issued on September 10, 2014 and taken from the online site of the Federal Court of Rio Grande do Norte (JFRN). The results revealed that the argumentative operators exercised decisive roles in the organization of argumentative strategies of the text and the speech , guiding the announcer to the Desired conclusion by the enunciator. It was also possible to conclude that the use of argumentative operators allowed syllogistic constructions in the form of presentation of the arguments and in the construction of argumentation. In addition, operators like "but", "until", "already", "although" etc. helped to identify in the data's analysis the point of view (PoV) of the enunciator, the expectation break about the previous enunciate and / or the value scale given to the argument. Finally, with the use of argumentative operators the enunciator introduced arguments able to demonstrate/justify a thesis and refute an opposing thesis towards a conclusion sought by the own enunciator.

Os operadores argumentativos como estratégia linguística e discursiva da argumentação na sentença judicial

We studied in this dissertation the argumentation in the court judgment, which goal was to identify, describe and explain the running of argumentative operators in the argumentative orientation of text and discourse built through the text of the judgment. We support our research in the constructs adopted for the ATD – (Textual Analysis of the Discourses) - Adam (2011), in the studies about the Aristotle’s Rhetoric (1959) and Perelman and Olbrechts-Tyteca (1996) and other works such as of the Alves (2005), Capez (2008), Charaudeau (2012), Keller and Bastos (2015), Koch (2009; 2011), Rodrigues, Silva Neto and Passeggi (2010), Trubilhano and Henriques (2013). In a methodological way, we made use of deductive-inductive method, because we analyzed the argumentation in an "unknown" text - particular case - based on a theory already known (about language, text and argumentation). About the nature and objectives, our search was characterized as qualitatively and as an explanatory and descriptive investigation, with technical procedures of documental collection of Bibliographic Search. As corpus, we use a court judgment of character condemnatory, issued on September 10, 2014 and taken from the online site of the Federal Court of Rio Grande do Norte (JFRN). The results revealed that the argumentative operators exercised decisive roles in the organization of argumentative strategies of the text and the speech , guiding the announcer to the Desired conclusion by the enunciator. It was also possible to conclude that the use of argumentative operators allowed syllogistic constructions in the form of presentation of the arguments and in the construction of argumentation. In addition, operators like "but", "until", "already", "although" etc. helped to identify in the data's analysis the point of view (PoV) of the enunciator, the expectation break about the previous enunciate and / or the value scale given to the argument. Finally, with the use of argumentative operators the enunciator introduced arguments able to demonstrate/justify a thesis and refute an opposing thesis towards a conclusion sought by the own enunciator.

Kształtowanie umiejętności wnioskowania sylogistycznego

The article consists of two parts. In the first part the author presents the characteristics of syllogistic reasoning, in the second part describes a set of exercises that are useful in teaching and developing the skill of syllogistic reasoning. The exercises belong to the teaching tools called interactive teaching methods and are of varying level of difficulty.