One of the most debated questions in psychology and cognitive science is the nature and the functioning of the mental processes involved in deductive reasoning. However, all existing theories refer to a specific deductive domain, like syllogistic, propositional or relational reasoning.Our goal is to unify the main types of deductive reasoning into a single set of basic procedures. In particular, we bring together the microtheories developed from a mental models perspective in a single theory, for which we provide a formal (...) foundation. We validate the theory through a computational model (UNICORE) which allows fine‐grained predictions of subjects' performance in different reasoning domains.The performance of the model is tested against the performance of experimental subjects—as reported in the relevant literature—in the three areas of syllogistic, relational and propositional reasoning. The computational model proves to be a satisfactory artificial subject, reproducing both correct and erroneous performance of the human subjects. Moreover, we introduce a developmental trend in the program, in order to simulate the performance of subjects of different ages, ranging from children (3–6) to adolescents (8–12) to adults (>21). The simulation model performs similarly to the subjects of different ages.Our conclusion is that the validity of the mental model approach is confirmed for the deductive reasoning domain, and that it is possible to devise a unique mechanism able to deal with the specific subareas. The proposed computational model (UNICORE) represents such a unifying structure. (shrink)

Cantor showed that there are infinite sets that do not have one-to-one correspondences between them. The standard understanding of this result is that it shows that there are different sizes of infinity. This paper challenges this standard understanding, and argues, more generally, that we do not have any reason to think that there are different sizes of infinity. Two arguments are given against the claim that Cantor established that there are different such sizes: one involves an analogy between Cantor’s result (...) and Russell’s paradox, another is more direct. (shrink)

In the literature, Weak Kleene logics are usually taken as three-valued logics. However, Suszko has challenged the main idea of many-valued logic claiming that every logic can be presented in a two-valued fashion. In this paper, we provide two-valued semantics for the Weak Kleene logics and for a number of four-valued subsystems of them. We do the same for the so-called Logics of Nonsense, which are extensions of the Weak Kleene logics with unary operators that allow looking at them as (...) Logics of Formal Inconsistency and Logics of Formal Underterminedness. Our aim with this work, rather than arguing for Suszko’s thesis, is to show that two-valued presentations of these peculiar logics enlighten the non-standard behavior of their logical connectives. More specifically, the two-valued presentations of paraconsistent logics illustrate and clarify the disjunctive flavor of the conjunction, and dually, the two-valued presentations of paracomplete subsystems of Weak Kleene logics reveal the conjunctive flavor of the disjunction. (shrink)

We propose a new theory based on the notions of marginal and large difference which has natural models in the context of nonstandard mathematics. We introduce the notion of finite marginality and show a representation result which ensures, for finitely marginal countable models, the existence of a homomorphism of the structure of marginal and large difference into a nonstandard model of the natural numbers, and show the extent to which any such homomorphism is unique. Finally, we show that our theory (...) constitutes part of the underlying abstract structure of three distinct philosophical theories of vagueness: Dean’s neofeasibilism, Itzhaki’s theory of nonstandard heuristics, and our own initial sketch of a nonstandard primitivism about vagueness. (shrink)

This is a review of the book Metaética: algumas tendências. The book contains papers of three important philosophers in this subject, Peter Railton, Allan Gibbard and Stephen Darwall. Since this book has been published, the study of metaethics has been improved in Brazil. In this review we describe the main aspects of the book, focusing on Railton’s ideas.

Méthode d'étude du latin – et plus tard aussi du grec – pour grands débutants, les Hermeneumata Pseudodositheana (HP) – ainsi improprement appelés parce qu'ils sont placés, dans le Codex Sangallensis 902, immédiatement après l'Ars Dosithei magistri – étaient destinés à des Grecs de l'Empire romain qui voulaient apprendre le latin. La connaissance de la langue de Rome était en effet indispensable pour accéder à des postes importants dans l'administration, l'armée ou la justice, surtout après les réformes dioclétiennes. Composés sans (...) doute au IIIe s. – la 4e section de la recension de Leyde date du 11 septembre 207 (CGL, III, 56, 30–34), ces manuels bilingues très diffusés dans l'Europe carolingienne font penser à notre méthode moderne Assimil. Sorte de Lehrbuch à finalité pratique, ils nous sont parvenus non dans un texte unique, mais dans neuf recensions différentes, conservées par une cinquantaine de manuscrits occidentaux: Hygini Herm. (HH), Herm. Montepessulana (HMp), Herm. Bruxellensia (HB), Herm. Stephani (HS), Herm. Leidensia (HL), Herm. Monacensia (HM), Herm. Einsidlensia (HE), Herm. Vaticana (HV), réédités récemment par G. Brugnoli et M. Buonocore, dont l'auteur est sans doute chrétien, et Hermeneumata Celtis (HC). Vu l'impossibilité de reconstituer les rapports de dépendance entres ces diverses recensions, elles ont été éditées séparément dans le troisième volume du Corpus Glossariorum Latinorum de G. GOETZ (Leipzig 1892). Ce n'est que tout récemment que FLAMMINI (F.) a tenté un examen de la recensio plenior Leidensis en vue d'établir le texte critique des HP. Après avoir présenté les résultats de cette enquête dans un article intitulé Prolegomena alla recensio plenior degli ‘Hermeneumata Pseudodositheana’, dans Giornale Italiano di Filologia 42, 1990, p. 3–43, il publie maintenant le texte dans la Bibliotheca Teubneriana. (shrink)

Editorial - Dossiê - Ordem Religiosas Medievais: Poder e Sociedade Horizonte, Belo Horizonte, v. 15, n. 48, out./dez. 2017.

Sufi Music of India and Pakistan: Sound, Context, and Meaning in Qawwali. Regula Burckhardt Qureshi. Chicago and London: The University of Chicago Press, 1995. $24.95 (paper), xviii. 265 pp. CD with 60 min. of Qawwali music.

In this book Bruno Latour brings together these different approaches to provide a lively and challenging analysis of science, demonstrating how social context..

This paper analyses Giordano Bruno's dialogue De l’infinito universo e mondi (The Infinite Universe and Worlds), written during his stay in England (1583–85), in the context of his philosophical works and, particularly, within the context of scientific and imaginative writings such as Cyrano de Bergerac's Other Worlds (published posthumously in 1662) and Francis Godwin's The Man in the Moone (1638). The article also discusses the contemporary speculations of Galileo and Kepler regarding the existence of a plurality of worlds and (...) the presence of creatures on the moon and their rapport with humans. Besides the imaginative, fantastic and pseudoscientific elements, attention is also given to religious implications and attitudes, especially in the case of Godwin, who, like his countryman John Wilkins—author of The Discovery of the Worlde in the Moone (1638)–was a bishop and therefore wanted to avoid any controversy with the church. (shrink)

Machine stability and energy efficiency have become major issues in the manufacturing industry, primarily during the COVID-19 pandemic where fluctuations in supply and demand were common. As a result, Predictive Maintenance (PdM) has become more desirable, since predicting failures ahead of time allows to avoid downtime and improves stability and energy efficiency in machines. One type of machine failure stands out due to its impact, machine overstrain, which can occur when machines are used beyond their tolerable limit. From the current (...) literature, there are little to no relevant works that focus on machine overstrain failure detection or prediction. Accordingly, the purpose of this paper is to implement and compare four Machine Learning (ML) algorithms for PdM applied to machine overstrain failures: Artificial Neural Network (ANN), Gradient Boosting, Random Forest and Support Vector Machine (SVM). Moreover, it proposes a training methodology for imbalanced data and the automatic optimization of hyperparameters, which aims to improve performance in the ML models. To evaluate the performance of the ML models, a synthetic dataset that simulates industrial machine data is used. The obtained results show the robustness of the proposed methodology, with the ANN and SVM models achieving a perfect recall score, with 98.95% and 98.85% in accuracy, respectively. (shrink)