16 found
Order:
  1.  15
    A Bunch of Diagrammatic Methods for Syllogistic.Frank Thomas Sautter - 2019 - Logica Universalis 13 (1):21-36.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  39
    Chateaubriand’s Realist Conception of Logic.Frank Thomas Sautter - 2010 - Axiomathes 20 (2-3):357-364.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  30
    Silogistas Paraclássicas: Um Estudo de Caso Sabre a Relação ente e Lógica Clássica e Lógicas Não-clássicas.Frank Thomas Sautter - 2009 - Principia: An International Journal of Epistemology 13 (2):185-194.
    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 à (...)
    No categories
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  4.  12
    Silogistas Paraclássicas: Um Estudo de Caso Sabre a Relação ente e Lógica Clássica e Lógicas Não-clássicas.Frank Thomas Sautter - 2009 - Principia: An International Journal of Epistemology 13 (2):185-194.
    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 (...)
    No categories
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  5.  4
    Herbrand E a silogística ampliada.Frank Thomas Sautter - 2015 - Philósophos - Revista de Filosofia 20 (1):125-144.
    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.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  6.  77
    Um breve estudo histórico-analítico da Lei de Hume.Frank Thomas Sautter - 2006 - Trans/Form/Ação 29 (2):241-248.
    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.
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  7.  12
    Teoria pura da lógica.Frank Thomas Sautter - 2011 - Natureza Humana 13 (2):85-99.
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  8.  6
    Lógicas paraclássicas: exposição, defesa e problemas.Frank Thomas Sautter & Hércules de Araújo Feitosa - 2005 - Cognitio 6 (1).
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  9. A Abordagem Carrolliana a Paradoxos.John Lennon Lindemann & Frank Thomas Sautter - 2019 - Pensando - Revista de Filosofia 10 (20):91.
    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.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  10.  44
    A Brief Historic-Analytical Study of Hume's Law.Frank Thomas Sautter - 2006 - Trans/Form/Ação 29 (2):241-248.
    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 (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  11.  3
    Ao Modo de Saccheri.Frank Thomas Sautter - 2019 - Principia: An International Journal of Epistemology 23 (2):145-151.
    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.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12. As Regras Supremas dos Silogismos.Frank Thomas Sautter - 2010 - Kant E-Prints 5 (1):15-26.
    : 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.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  13. Esboço de Teoria da Prova Para a Silogística.Frank Thomas Sautter - 2017 - Cognitio 18 (1):111.
    Analisarei estruturas resultantes da utilização coordenada de múltiplos silogismos, e investigarei o problema de normalização de tais estruturas.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  14.  2
    Informação.Frank Thomas Sautter - 2021 - Veritas – Revista de Filosofia da Pucrs 65 (3):e37290.
    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 (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15. Método de Gardner-Peirce para a Silogística.Frank Thomas Sautter - 2019 - Cognitio 19 (2):296-308.
    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 (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  16. Sub Specie Aeternitatis.Frank Thomas Sautter - 2021 - Cognitio 21 (2):300-306.
    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.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark