Tag: lógica
-
Kolakowski (Mito) – intuições míticas em nossa compreensão das regras lógicas
1) É possível que o que mais nos fere seja a suposição de que as intuições míticas estão presentes em nossa compreensão das regras lógicas. Nelas, com efeito, a soberania da razão costuma experimentar-se de modo mais conclusivo. No entanto, o sentido dessa soberania se revela precisamente, ante uma consideração mais atenta, como a irradiação…
Ler mais …
-
Markus Gabriel (Pensar) – É lógico sim, ou por acaso não?
A lógica é a doutrina da determinação da relação entre pensamentos. A palavra do grego antigo logos tem uma extensão de significados que abrange relação, medida, enunciado, linguagem, pensar, fala, palavra e razão. Fundamentalmente, trata-se, na lógica, desde o seu estabelecimento como ciência por Platão e Aristóteles, sobre a pergunta acerca de como diferentes pensamentos…
Ler mais …
-
Ricoeur & Changeux – Relações entre a natureza e a regra
P. R. — Cette question que vous appelez ontologique et que je dirai d’anthropologie philosophique est-elle bien la première que nous devons débattre ? Permettez-moi de revenir sur la façon dont vous posez la question des relations entre la nature et la règle. Je suis bien d’accord que c’est à cette difficulté fondamentale, bien formulée…
Ler mais …
-
Husserl (Krisis) – A priori lógico e a priori do mundo da vida
Ler mais …
-
Muralt – dedução
MURALT, André. A metafísica do fenômeno: as origens medievais e a elaboração do pensamento fenomenológico. Tr. Paula Martins. São Paulo: Ed.34, 1998 Ora, essa interpretação da noção de definição permite elaborar um tipo de conhecimento muito diferente daquele da definição aristotélica, precisamente o da dedução. A dedução, procedimento por excelência do pensamento geométrico, consiste em…
Ler mais …
-
Heidegger (GA41) – Enunciado
Ler mais …
-
Husserl – Irredutibilidade das leis lógicas
Ler mais …
-
Meyerson – Objeções à axiomática
Émile Meyerson, Du Cheminement de la Pensée, pp. 306-309. […] se tudo se passa no interior do espírito, se o intelecto, embora evoluindo, permanece rigorosamente encerrado em si mesmo, como é possível que nele se crie, não a esperança — com efeito, isso seria demasiado modesto —, mas a certeza absoluta de que esses resultados…
Ler mais …
-
Lógica de Port-Royal – Análise e Síntese
Em geral, podemos chamar método à arte de dispor bem uma sucessão de vários pensamentos, quer para descobrir a verdade quando a ignoramos, quer para demonstrá-la aos outros quando já a conhecemos. Assim, há duas espécies de métodos1): um, para descobrir a verdade, que se chama análise, ou método de invenção; e o outro, para…
Ler mais …
-
Conectivos Lógicos
Uma linguagem formalizada (ou uma álgebra, no sentido mais geral do termo) se compõe de um alfabeto básico e de diversas regras de ortografia que nos permitem escrever as sentenças “corretas” da linguagem. O alfabeto básico possui duas espécies de signos: aqueles que representam as “palavras” da linguagem, propriamente falando-se, e os “sinais de pontuação”.…
Ler mais …
-
de Castro – Lei, algoritmo e simulação
Eis, agora a questão fundamental de todo Atlas: de que se deve levantar uma carta? Resposta evidente: dos seres, dos corpos, das coisas… que não se podem pensar de outro modo. Por que não desenhamos jamais, com efeito, as órbitas dos planetas, por exemplo? Porque uma lei universal prediz suas posições; que fazer de um…
Ler mais …
-
de Castro – Cálculo e Algoritmo
A informática é a expressão atual mais contundente da essência da técnica moderna, a Ge-stell, através de sua natureza imediata de representação da realidade através da lógica e do cálculo. Mas esta afirmação ainda requer um maior esclarecimento. Tal esclarecimento supõe uma explicitação mais aprofundada do cálculo. Se o termo retorna frequentemente a partir dos…
Ler mais …
-
de Castro – Sistema formal e algoritmo
No século XIX surge a proposta de sistema formal, em contrapartida a essa busca de uma linguagem universal, reunindo em si propriedades gramaticais e semânticas. Uma vez eliminado todo apelo à intuição nas construções matemáticas, sendo estas então dissociadas da consistência lógica exigida pela verdade categórica, as chamadas “ciências matemáticas” paradoxalmente se engajam na via…
Ler mais …
-
de Castro – Cálculo, lógica e algoritmo – Bases da Informatização
Segundo Hobbes: “a Razão nada mais é que o cálculo” (Leviatã, 1651). Mas, o que é o cálculo? A fórmula simples de Hobbes guarda uma parte deste mistério que é a razão humana (Parrochia, 1992). Para uma justa aproximação é preciso contextualizá-la no movimento da Modernidade, onde outras posições parecem indicar uma orientação para seu…
Ler mais …
-
de Castro – Informática, uma herança da Lógica Moderna
A informática herda da lógica seus principais caracteres, na medida em que os utiliza. Como a lógica, a informática é um conjunto de instrumentos que primam pelo rigor de uma racionalidade artificial; instrumentos de conhecimento, ao mesmo tempo objetos de conhecimento. A tecnologia da informação toma da lógica o princípio de seu funcionamento, pela vertente…
Ler mais …
-
de Castro – “Logicização” – Matriz Teórica da Informatização
A exploração tecnológica parece dizer, em um primeiro sentido, que a técnica, através seus complexos instrumentais e seus métodos, se amparou do ser do homem – e do mundo. Para Heidegger, isto é inegável, mas ainda não se disse nada mantendo-se nesta constatação: se a existência é interpelada pela técnica, é porque esta é portadora…
Ler mais …