This paper presents, assesses, and compares six diagrammatic methods for Categorical Syllogistic. Venn’s Method is widely used in logic textbooks; Carroll’s Method is a topologically indistinguishable version of Venn’s Method; and the four remaining methods are my own: the Dual of Carroll’s Method, Gardner’s Method, Gardner–Peirce’s Method, and Ladd’s Method. These methods are divided into two groups of three and the reasons for switching from a method to another within each group are discussed. Finally, a comparison between the Dual of (...) Carroll’s Method and Ladd’s Method supports the main result of the paper, which is an approximation of the two groups of methods. (shrink)

I present the realist conception of logic supported by Oswaldo Chateaubriand which integrates ontological and epistemological aspects, opposing it to mathematical and linguistic conceptions. I give special attention to the peculiarities of his hierarchy of types in which some properties accumulate and others have a multiple degree. I explain such deviations of the traditional conception, showing the underlying purpose in each of these peculiarities. I compare the ideas of Chateaubriand to the similar ideas of Frege, Tarski and Gödel. I suggest (...) a view of the logical properties in terms of the Aristotelian notion of focal meaning and I give a formal expression to the type of the entities in the hierarchy proposed by Chateaubriand. (shrink)

O Método de Gardner – um método por dígrafos para a Silogística – implementa a concepção de proposições categóricas como expressões de subordinação e de não-subordinação entre pares de conceitos; nele, a representação das proposições universais é mais complexa do que a representação das proposições particulares. Neste trabalho desenvolverei uma implementação da Silogística na qual as proposições categóricas são expressões de instanciação e de não-instanciação de pares de conceitos. Adaptarei o Sistema Beta dos Grafos Existenciais de Peirce ao Método de (...) Gardner. Essa adaptação tem o mérito de igualar a complexidade da representação das proposições categóricas, mas introduz outros inconvenientes. (shrink)

Most, perhaps all, non-classical logics are a blend of classical logic with extralogical elements. Possibly this thesis has no general proof, and only a casuistic argument can be provided. I discuss a case of paraconsistency that results of applying a “filter” to two syllogistics. These syllogistics incorporate two ideas of Nikolai Vasiliev: the idea of a complete system of contrary judgements, and the idea of double judgements. I also show how these results can be extended to propositional logic, with the (...) aid of the conjunctive and disjunctive normal forms. Despite the non-classical appearance, it is used, without exception, the classical notion of deductive validity: a conclusion cannot carry more information, but may carry less information than the information carried by the collection of the premisses. (shrink)

A maioria, talvez todas, as lógicas não-clássicas são um amálgama da lógica clássica com elementos extralógicos. Possivelmente esta tese nao possui uma prova geral, mas somente um argumento caso a caso possa ser fomecido. Discuto um caso de paraconsistência que resulta da aplicação de urn "filtro" a duas silogísticas. Essas silogísticas incorporam duas idéias de Nikolai Vasiliev: a idéia de um sistema completo de juízos contrários, e a idéia de juízos duplos. Tarnbém mostro como esses resultados podem ser estendidos à (...) lógica proposicional, com a ajuda das formas nornais conjuntiva e disjuntiva. Apesar da aparencia não-clássica, utilize-se, sem exceção, a noção clássica de validade dedutiva: uma conclusão não pode veicular mais inforrnação, mas pode veicular menos inforrnação, do que a informação veiculada pelo conjunto das premissas. (shrink)

I provide a proof method for First Order Monadic Predicate Logic. This method uses the Normal Form of Herbrand and the Disjunctive and Conjunctive Normal Forms for Propositional Logic. The validity is determined by mere inspection of the presence and arrangement of formulas that act as informational atoms. The exact relationship between First Order Monadic Predicate Logic and the extended syllogistic developed during the nineteenth century is established by the Normal Form of Herbrand.

Anthony Shiver (2013) desenvolveu dois jogos de cartas lógicas para a prática da derivação no contexto da Lógica Proposicional Clássica. Embora ele tenha apresentado os contornos gerais desses jogos, muitos detalhes do desenho deles estão faltando. Neste artigo proponho uma metodologia para o desenho detalhado do primeiro dos jogos de Shiver. Esta metodologia utiliza uma abordagem informacional para a seleção das cartas do baralho, que conforma-se a critérios de alcançabilidade de cada carta e de balanço entre elas.

A Lógica Contemporânea dá pouca ou, mesmo, nenhuma atenção à construção de argumentos para uma conclusão dada, diferentemente do que ocorre nos Analíticos Anteriores, de Aristóteles. O procedimento de Aristóteles foi, posteriormente, compilado sob a forma de um diagrama lógico conhecido como “Ponte de Asnos” (Pons Asinorum). Neste trabalho proponho um procedimento para a construção de argumentos para uma dada conclusão, no âmbito da Lógica Proposicional Clássica, abstraído do procedimento de Aristóteles. Utilizo a noção de informação semântica como fio de (...) Ariadne para a obtenção do procedimento. (shrink)

Hume's Law, according to which an ought cannot result from an is, and its reciprocal, according to which an is cannot result from an ought, occupy salient positions in discussions on metaethics. In this paper I will show logical relations between distinct formulations of Hume's Law and of its reciprocal. I will show, also, how these formulations are related to theses sustained by important thinkers such as Poincaré, Nelson, Jörgensen and Hare.A Lei de Hume, pela qual um dever ser não (...) pode resultar de um ser, e a sua recíproca, pela qual um ser não pode resultar de um dever ser, ocupam posições proeminentes nas discussões de metaética. Neste trabalho mostrarei relações lógicas entre distintas formulações da Lei de Hume e da sua recíproca. Também mostrarei como essas formulações estão relacionadas a teses sustentadas por importantes pensadores como Poincaré, Nelson, Jörgensen e Hare. (shrink)

I will apply a technique employed by Giovanni Girolamo Saccheri in Logica demonstrative to concisely prove the invalidity of moods of the First Figure of the Theory of the Assertoric Syllogism without appealing to facts outside logic.

: I give two interpretations of the supreme rules of all syllogisms provided by Kant in his pre-critical essay “The False Subtlety of the Four Syllogistic Figures”. One interpretation understands literally, i.e., grammatically, the expressions ‘positive syllogism’ and ‘negative syllogism’; the other interprets them non-literally, i.e., it interprets them logically.

Autor (2020) desenvolveu duas semânticas informacionais para a Lógica Sentencial Clássica, decorrentes da utilização de formais normais. A abordagem informacional em questão utiliza unidades mínimas de informação (infons) para realizar o trabalho lógico. Neste artigo, expandiremos a aplicação da abordagem informacional às lógicas sentenciais polivalentes finitas mediante um procedimento dedicado à extração de unidades mínimas de informação (infons). Tal procedimento decorre do trabalho com tablôs semânticos para Lógicas Sentenciais Polivalentes Finitas desenvolvido por Carnielli (1982).

Analisarei estruturas resultantes da utilização coordenada de múltiplos silogismos, e investigarei o problema de normalização de tais estruturas.

Formulações da validade dedutiva clássica costumam recorrer explicitamente a modalidades: por exemplo, um argumento é classicamente dedutivamente válido se, e somente se, necessariamente se as premissas forem verdadeiras, a conclusão também é verdadeira. Não é possível abolir completamente esse apelo ao discurso modal, porque a lógica clássica é o domínio das possibilidades. Não obstante, pode-se, por intermédio de uma semântica informacional, evitar que o usuário da lógica clássica tenha de manipular modalidades, ainda que elas estejam, de algum modo, imbricadas nos (...) infons – unidades mínimas de informação. A partir do trabalho pioneiro de Carnap e de Bar-Hillel, apresentarei duas semânticas informacionais: uma delas diretamente relacionada a mundos possíveis, e a outra relacionada aos duais de mundos possíveis. (shrink)

As Redes Dialéticas visam a representação dos elementos de uma disputa: as asserções do Proponente e do Oponente, e as ações de ataque e de defesa. Proponho uma representação diagramática – o Diagrama Dialético – e uma representação algébrica – o Grafo Dialético – das Redes Dialéticas. Este trabalho está limitado aos aspectos estático-estruturais das Redes Dialéticas.

A formalização de noções pré-teóricas não é uma ciência, mas uma arte. Isso se evidencia quando temos de decidir o que é indispensável e o que é prescindível na passagem do intuitivo para o formal. Exemplifico esse tipo de dificuldade com a formalização de uma noção intuitiva de coleção finita de objetos. A observância de maior fidelidade à noção pré-teórica, mesmo que desnecessária da perspectiva formal, resultou em duas novas definições de conjunto finito.

A Lei de Hume, pela qual um dever ser não pode resultar de um ser, e a sua recíproca, pela qual um ser não pode resultar de um dever ser, ocupam posições proeminentes nas discussões de metaética. Neste trabalho mostrarei relações lógicas entre distintas formulações da Lei de Hume e da sua recíproca. Também mostrarei como essas formulações estão relacionadas a teses sustentadas por importantes pensadores como Poincaré, Nelson, Jörgensen e Hare.

O objetivo deste trabalho é apresentar a versão carrolliana de dois paradoxos clássicos e um original, acompanhadas da reconstrução e exame do tratamento lógico oferecido por Carroll e de como tais paradoxos foram tratados por outros autores.

O livro reúne textos apresentados no II Workshop de Filosofia e Ensino, realizado na UFRGS em 2015, com a temática "Epistemologia e Currículo" -/- .

Frank Sautter’s questions are directed at the precise senses of the words ‘invention’ and ‘creation’ used in my remarks on the origin of language, and at the connection between Jørgensen’s and my views on the development of language. In my response I clarify my use of the words ‘invention’ and ‘creation’ vis-à-vis Frank’s suggested interpretations, and examine Jørgensen’s distinction of stages in the development of language in relation to imperatives and the “directive use of language”.As perguntas de (...) Frank Sautter estão direcionadas ao sentido mais preciso das palavras ‘invenção’ e ‘criação’ utilizadas em minhas observações sobre a origem da linguagem, e à relação de meu ponto de vista sobre o desenvolvimento da linguagem ao de Jørgensen. Em minha réplica esclareço meu uso das palavras ‘invenção’ e ‘criação’ comparativamente às diversas interpretações sugeridas por Frank, e examino a distinção de estágios no desenvolvimento da linguagem proposta por Jørgensen em relação aos imperativos e ao “uso direcionado da linguagem”. (shrink)

This book contains programmatic essays that focus on broad-ranging proposals for re-envisioning a discipline of comparative philosophy of religions. It also contains a number of case studies focussing on the interpretation of particular religio-historical data from comparatively oriented philosophical perspectives.

Was ist Natur oder was könnte sie sein? Diese und weitere Fragen sind grundlegend für Naturdenken und -handeln. Das Lehr- und Studienbuch bietet eine historisch-systematische und zugleich praxisbezogene Einführung in die Naturphilosophie mit ihren wichtigsten Begriffen. Es nimmt den pluralen Charakter der Wahrnehmung von Natur in den philosophischen Blick und ist auch zum Selbststudium bestens geeignet.

In the present paper, I raise some questions referring to Chateaubriand’s discussion of the nature of language, its origin, its development and its functions in human live. These questions arise when his view is compared with the partly similar views defended by Gödel and Jørgensen, among others.No presente trabalho levanto algumas questões referentes à discussão de Chateaubriand sobre a natureza da linguagem, sua origem, seu desenvolvimento e suas funções na vida humana. Essas questões surgem quando seu ponto de vista é (...) comparado aos pontos de vista parcialmente similares defendidos por Gödel e Jorgensen, entre outros. (shrink)

In this paper Chateaubriand’s approach to solve some problems related to the nature of logic is confronted with the traditional approaches. It is shown that his hierarchy of logical types opens up new possibilities to characterize logical properties and logical truths and that it also sheds some new light on the foundations of mathematics.

According to standard linguistic theory, the meaning of an utterance is the product of conventional semantic meaning and general pragmatic rules on language use. We investigate how such a division of labor between semantics and pragmatics could evolve under general processes of selection and learning. We present a game‐theoretic model of the competition between types of language users, each endowed with certain lexical representations and a particular pragmatic disposition to act on them. Our model traces two evolutionary forces and their (...) interaction: (i) pressure toward communicative efficiency and (ii) transmission perturbations during the acquisition of linguistic knowledge. We illustrate the model based on a case study on scalar implicatures, which suggests that the relationship between underspecified semantics and pragmatic inference is one of coevolution. (shrink)

Schizophrenia is a mental disorder that calls the mineness of one's own sensations, thoughts and actions into question and threatens the person with a loss of self. In order to understand this illness in its essence, an approach based on phenomenological psychopathology is therefore indispensable. Conversely, disorders of the self in schizophrenia should be of crucial interest for any philosophy of subjectivity in order to test its concepts of self-awareness, personhood and intersubjectivity by reference to empirical phenomena.Contemporary neurobiological concepts of (...) schizophrenia predominantly emphasize the importance of impaired integration of somatosensory inputs into stable central-nervous representations... (shrink)

The emergence of the COVID-19 pandemic resulted in abrupt disruptions in teaching and learning activities in higher education, with students from diverse programs suffering varying levels of anxieties. The physical education field happens to be one of the most affected academic areas due to its experiential content as a medium of instruction. In this study, we investigated the roles of school climate and coping strategies in the relationship between COVID-19 related knowledge and anxiety. Through the census approach, a cross-sectional sample (...) of 760 students was administered a questionnaire in two universities offering Physical Education in Ghana: the University of Education, Winneba, and University of Cape Coast. The outcome of the study found a positive and significant link between COVID-19 knowledge and anxiety. Further, school climate and coping strategies significantly moderated the relationship between students’ COVID-19 knowledge and associated anxiety. The findings have implications for creating a conducive school environment that reduces the risk of COVID-19 infection and through students’ adoption of active coping strategies in an attempt to reduce psychological distress associated with COVID-19 anxiety. (shrink)

The aim of this paper is to understand the functional role of mental representations and intentionality in skilled actions from a systems related perspective. Therefore, we will evaluate the function of representation and then discuss the cognitive architecture of skilled actions in more depth. We are going to describe the building blocks and levels of the action system that enable us to control movements such as striking the tennis ball at the right time, or grasping tools in manual action. Based (...) on this theoretical understanding the measurement of mental representations and related research results concerning mental representation in skilled action are presented in an overview. This leads to the question how mental representations develop and change during learning. Finally, to consolidate the functional understanding of mental representation in skilled action and interaction, we provide examples how to use the measurement of mental representation in humans to inform technical systems. (shrink)

Learning in intelligent systems is a result of direct or indirect interaction with the environment. Humans can learn by way of different states of (inter-)action such as the execution or the imagery of an action, but their unique potential to induce brain-related as well as mind-related changes in the motor action system is still being debated. The systematic repetition of different states of action (e.g., execution and imagery in terms of physical and mental practice) and their contribution to the learning (...) of complex motor actions has traditionally been approached by way of performance improvements. More recently, approaches highlighting the role of action representation in the learning of complex motor actions have evolved. In the present perspective paper, we build on brain-related findings and sketch recent research on learning by way of imagery and execution from a hierarchical, perceptual-cognitive approach to the motor action system. These findings provide valuable insights into the learning of intelligent systems from a perceptual-cognitive, representation-based perspective and as such add to our current understanding of action representation in memory and its changes with practice. Future research should build bridges between approaches in order to more thoroughly understand functional changes throughout the learning process, and to jointly contribute to developing intelligent cognitive systems and their application in robotics, rehabilitation, or sports. (shrink)