Papers by Frank Thomas Sautter
Cognitio, 2024
I propose a new, simple characterization of soritic arguments. This
characterization uses a famil... more I propose a new, simple characterization of soritic arguments. This
characterization uses a family of auxiliary predicates with which I characterize a fuzzy existence quantifier weaker than the classical existential quantifier.
Bookmarks Related papers MentionsView impact
Cognitio, 2020
Resumo: A formalização de noções pré-teóricas não é uma ciência, mas uma arte. Isso se evidencia ... more Resumo: 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.
Bookmarks Related papers MentionsView impact
Cognitio-Estudos, 2020
Na obra "Studies and Exercises in Formal Logic", de 1884, John Neville Keynes desenvolveu uma mod... more Na obra "Studies and Exercises in Formal Logic", de 1884, John Neville Keynes desenvolveu uma modificação dos Diagramas de Euler ao dar-lhes uma interpretação informacional. Ele os desenvolveu somente para proposições categóricas isoladas, admitindo que eles se tornariam de difícil manejo em relação a silogismos. Essa lacuna é completada neste trabalho.
Bookmarks Related papers MentionsView impact
Veritas, 2020
Formulações da validade dedutiva clássica costumam recorrer explicitamente a modalidades: por exe... more Formulações da validade dedutiva clássica costumam recorrer explicitamente a modalidades: por exemplo, um argumento é classicamente dedutiva-mente 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.
Bookmarks Related papers MentionsView impact
Kant e-Prints, 2020
I comment on five points of the paper "Some remarks on the Kant-Jäsche logic", by Castro-Manzano ... more I comment on five points of the paper "Some remarks on the Kant-Jäsche logic", by Castro-Manzano and Reyes-Cárdenas, about which either complementation is necessary, or I have a different interpretation.
Bookmarks Related papers MentionsView impact
O que nos faz pensar, 2008
Bookmarks Related papers MentionsView impact
Principia, 2019
I will apply a technique employed by Giovanni Girolamo Saccheri in Logica demon-strativa (1701) t... more I will apply a technique employed by Giovanni Girolamo Saccheri in Logica demon-strativa (1701) to concisely prove the invalidity of moods of the First Figure of the Theory of the Assertoric Syllogism without appealing to facts outside logic.
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Representaciones. Revista de Estudios sobre Representaciones en Arte, Ciencia y Filosofía, 2016
Resumen C. S. Peirce desarrolló dos sistemas diagramáticos de prueba para la Lógica Proposicional... more Resumen C. S. Peirce desarrolló dos sistemas diagramáticos de prueba para la Lógica Proposicional Clásica: los Gráficos Entitativos y el Sistema Alfa de los Gráficos Existenciales. Ambos utilizan el mismo conjunto com-puesto por seis reglas de inferencia. Modifico estos sistemas de mane-ra que se requieren sólo cuatro de estas reglas de inferencia, es decir, aquellas en las que no hay pérdida de información.
Palabras clave <diagrama> <información> <reducción al absurdo>
Abstract C. S. Peirce has developed two diagrammatic systems of proof for Classical Propositional Logic: the Entitative Graphs and the Alpha System of the Existential Graphs. Both use the same set consisting of six rules of inference. I modify these systems so that each of them requires only four of these rules of inference, namely, those in which there is no loss of information.
Keywords <diagram> <information> <reductio ad absurdum>
Bookmarks Related papers MentionsView impact
Resumo: Analisarei estruturas resultantes da utilização coordenada de múltiplos silogismos, e inv... more Resumo: Analisarei estruturas resultantes da utilização coordenada de múltiplos silogismos, e investigarei o problema de normalização de tais estruturas.
Abstract: I will analyze structures resulting from the coordinated use of multiple syllogisms, and I will look into the problem of normalization of these structures.
Bookmarks Related papers MentionsView impact
UFSM Resumo: Conclusão e Premissas negociam peças de informação entre si. Conclusão carece delas,... more UFSM Resumo: Conclusão e Premissas negociam peças de informação entre si. Conclusão carece delas, Premissas dispõe delas. O saldo entre carência e disponibilidade exige aferição. O método heterogêneo de prova para a Lógica Sentencial Clássica, aqui desenvolvido, implementa esta metáfora. Ele pode ser empregado solitário, cooperativa, ou competitivamente.
Palavras-Chave: Informação; informação errada; kanban; soroban.
Abstract: Conclusion and Premises trade pieces of information among themselves. Conclusion lacks them, Premises supplies them. The balance between lack and availability requires admeasurement. The heterogeneous proof method for Classical Sentential Logic developed here implements this metaphor. It can be employed solitarily, cooperatively, or competitively.
Bookmarks Related papers MentionsView impact
Resumo: Aprimoro o bem-conhecido Quebra-Cabeça da Data de Aniversário com uma nova versão que req... more Resumo: Aprimoro o bem-conhecido Quebra-Cabeça da Data de Aniversário com uma nova versão que requer somente seis datas possíveis. Depois, provo que não há versão mais simples desse quebra-cabeça. Essa versão, ao contrário da original, produz o seguinte curioso estado de coisas epistêmico: nós, espectadores, sabemos que Albert e Bernard conhecem a data de aniversário de Cheryl, mas nós mesmos não sabemos a data de aniversário dela. Finalmente, discuto uma versão mais sofisticada desse quebra-cabeça.
Abstract: I improve on the well-known Birthday Puzzle with a new version that requires only six possible dates. Then, I prove that there is no simpler version of this puzzle. This version, unlike the original, produces the following curious epistemic state of affairs: we, kibitzers, know that Albert and Bernard know Cheryl's birthday, but we ourselves do not know her birthday. Finally, I discuss a more sophisticated version of this puzzle.
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
"Argumento exuberante" é qualquer argumento dedutivamente válido tal que ele se mantém dedutivame... more "Argumento exuberante" é qualquer argumento dedutivamente válido tal que ele se mantém dedutivamente válido se enfraquecemos ou eliminamos uma ou mais premissas. "Retificação de um argumento exuberante" é qualquer procedimento que enfraquece ou elimina uma ou mais de suas premissas e, ao mesmo tempo, preserva sua validade dedutiva. Propomos dois procedimentos de retificação de argumentos exuberantes da Lógica Proposicional Clássica que, em geral, não descaracterizam esses argumentos exuberantes.
Bookmarks Related papers MentionsView impact
Axiomathes, 2010
Abstract I present the realist conception of logic supported by Oswaldo Chateaubriand which integ... more Abstract 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 peculiar-ities of his hierarchy of types in which ...
Bookmarks Related papers MentionsView impact
O método diagramático de Peirce para a lógica proposicional
clássica utiliza seis regras de deriv... more O método diagramático de Peirce para a lógica proposicional
clássica utiliza seis regras de derivação. Modificamos esse método ao
utilizar, ab initio, a negação da conclusão, e exigirmos, para a prova de
validade, a obtenção de uma contradição. Isso nos permite a eliminação de
duas regras de derivação.
Bookmarks Related papers MentionsView impact
Philósophos, Aug 31, 2015
Forneço um método de prova para a Lógica de Predicados Monádicos de Primeira Ordem. Esse método u... more Forneço um método de prova para a Lógica de Predicados Monádicos de Primeira Ordem. Esse método utiliza a Forma Normal de Herbrand e as Formas Normais Disjuntiva e Conjuntiva da Lógica Proposicional. A validade é determinada por mera inspeção da presença e disposição de fórmulas que atuam como átomos de informação. Mediante a Forma Normal de Herbrand se estabelece a relação exata entre a Lógica de Predicados Monádicos de Primeira Ordem e a silogística ampliada desenvolvida ao longo do século XIX.
Bookmarks Related papers MentionsView impact
Fundamento
Estabelecemos o problema da ampliação, a logicamente mais fraca possível, da base axiomática de u... more Estabelecemos o problema da ampliação, a logicamente mais fraca possível, da base axiomática de uma teoria, e o solucionamos para o caso da Lógica Proposicional Clássica.
Bookmarks Related papers MentionsView impact
Cognitio-Estudos, 2014
Bookmarks Related papers MentionsView impact
Uploads
Papers by Frank Thomas Sautter
characterization uses a family of auxiliary predicates with which I characterize a fuzzy existence quantifier weaker than the classical existential quantifier.
Palabras clave <diagrama> <información> <reducción al absurdo>
Abstract C. S. Peirce has developed two diagrammatic systems of proof for Classical Propositional Logic: the Entitative Graphs and the Alpha System of the Existential Graphs. Both use the same set consisting of six rules of inference. I modify these systems so that each of them requires only four of these rules of inference, namely, those in which there is no loss of information.
Keywords <diagram> <information> <reductio ad absurdum>
Abstract: I will analyze structures resulting from the coordinated use of multiple syllogisms, and I will look into the problem of normalization of these structures.
Palavras-Chave: Informação; informação errada; kanban; soroban.
Abstract: Conclusion and Premises trade pieces of information among themselves. Conclusion lacks them, Premises supplies them. The balance between lack and availability requires admeasurement. The heterogeneous proof method for Classical Sentential Logic developed here implements this metaphor. It can be employed solitarily, cooperatively, or competitively.
Abstract: I improve on the well-known Birthday Puzzle with a new version that requires only six possible dates. Then, I prove that there is no simpler version of this puzzle. This version, unlike the original, produces the following curious epistemic state of affairs: we, kibitzers, know that Albert and Bernard know Cheryl's birthday, but we ourselves do not know her birthday. Finally, I discuss a more sophisticated version of this puzzle.
clássica utiliza seis regras de derivação. Modificamos esse método ao
utilizar, ab initio, a negação da conclusão, e exigirmos, para a prova de
validade, a obtenção de uma contradição. Isso nos permite a eliminação de
duas regras de derivação.
characterization uses a family of auxiliary predicates with which I characterize a fuzzy existence quantifier weaker than the classical existential quantifier.
Palabras clave <diagrama> <información> <reducción al absurdo>
Abstract C. S. Peirce has developed two diagrammatic systems of proof for Classical Propositional Logic: the Entitative Graphs and the Alpha System of the Existential Graphs. Both use the same set consisting of six rules of inference. I modify these systems so that each of them requires only four of these rules of inference, namely, those in which there is no loss of information.
Keywords <diagram> <information> <reductio ad absurdum>
Abstract: I will analyze structures resulting from the coordinated use of multiple syllogisms, and I will look into the problem of normalization of these structures.
Palavras-Chave: Informação; informação errada; kanban; soroban.
Abstract: Conclusion and Premises trade pieces of information among themselves. Conclusion lacks them, Premises supplies them. The balance between lack and availability requires admeasurement. The heterogeneous proof method for Classical Sentential Logic developed here implements this metaphor. It can be employed solitarily, cooperatively, or competitively.
Abstract: I improve on the well-known Birthday Puzzle with a new version that requires only six possible dates. Then, I prove that there is no simpler version of this puzzle. This version, unlike the original, produces the following curious epistemic state of affairs: we, kibitzers, know that Albert and Bernard know Cheryl's birthday, but we ourselves do not know her birthday. Finally, I discuss a more sophisticated version of this puzzle.
clássica utiliza seis regras de derivação. Modificamos esse método ao
utilizar, ab initio, a negação da conclusão, e exigirmos, para a prova de
validade, a obtenção de uma contradição. Isso nos permite a eliminação de
duas regras de derivação.
sentenças teóricas e sentenças práticas desenvolvida por
Paul Grice na obra póstuma "Aspects of Reason", de 2001.
Destacarei a dívida de Grice em relação a filósofos analíticos
da primeira metade do século XX, e criticarei, em
linhas gerais, o tipo de abordagem na qual a semelhança
estrutural das sentenças práticas com as sentenças teóricas
é condição suficiente para a instituição de uma lógica
do campo prático. Também examinarei, brevemente, dois
outros assuntos da filosofia moral de Grice, a saber, temas
aristotélicos, em particular, um tratamento da noção de
eudaimonia, e o esboço de um programa construtivista de
uma metafísica do valor.
ABSTRACT Conclusion and Premises trade information among themselves. Conclusion lacks them, Premises supplies them. The balance between lack and availability requires admeasurement. The heterogeneous proof method for Classical Sentential Logic here developed effects this metaphor. It can be employed solitarily, cooperatively, or competitively.
Wo Geld isch, isch au dr Deif; wo koins isch, do isch er sogar zwoi mol. Onde há dinheiro, ali também está o Diabo; onde não há, ali ele está inclusive duas vezes. Provérbio suábio