Gottlob Frege

considerada a sua principal obra no âmbito da filosofia. Inúmeros comentadores chamaram a atenção para a importância da referida obra, inclusive o próprio Perelman. A lógica formal constituiu o seu primeiro interesse, tendo escrito uma tese sobre Gottlob Frege, que é considerado como o criador da lógica matemática e um dos principais iniciadores da filosofia analítica, tendo influenciado outros pensadores tais como: Russell, Carnap e Wittgenstein, ou seja pessoas ligadas ao Círculo de…

assegurou que nada de significante foi adicionada a lógica de Aristóteles durante dois milênios. No último século a reputação de Aristóteles teve duas grandes reviravoltas. O nascimento da chamada lógica moderna, através do trabalho de Gottlob Frege e Bertrand Russell, trouxeram a tona sérias limitações da lógica aristotélica. Hoje, poucos tentariam manter que é adequado como uma base da compreensão cientifica e matemática. Ao mesmo tempo alunos treinados em técnicas…

booleana estava limitada ao raciocínio proposicional e somente mais tarde, com o desenvolvimento dos quantificadores, a lógica formal estava pronta para ser aplicada ao raciocínio matemático em geral. Os primeiros sistemas foram desenvolvidos por F.L.G. Frege e G. Peano. Ao lado destes será necessário citar George Cantor (1829-1920), matemático alemão que abriu um novo campo dentro do mundo da análise, nascida com Newton e Leibniz, com sua teoria sobre conjuntos infinitos. No começo do…

literatura, religião, direito, filosofia, matemática entre outras áreas. Um praticante do formalismo é denominado formalista. Logicismo: Logicismo é a tese de que a matemática -- ou uma parte dela -- reduz-se à lógica -- ou a uma parte da lógica. Gottlob Frege foi um dos primeiros lógicos a defendê-la. 15- O ENSINO DA MATEMÁTICA No âmbito escolar, a educação da matemática é vista como uma linguagem capaz de traduzir a realidade e estabelecer suas diferenças. Na escola a criança…

gramática formal - mais comumente utilizado nos quadros teóricos da gramática descritiva. Na filosofia da linguagem, esses pontos de vista estão associados com filósofos como Bertrand Russell, as primeiras obras de Ludwig Wittgenstein, Alfred Tarski e Gottlob Frege. Ferramenta para comunicação Ainda outra definição vê a linguagem como um sistema de comunicação que permite aos seres humanos o compartilhamento de sentidos. Esta definição realça a função social da linguagem e o fato…

da segunda sentença. b) Há acarretamento, pois se a primeira é verdadeira, a segunda necessariamente o é também. REFERÊNCIAS BIBLIOGRÁFICAS FIORIN, José L. (org.) Introdução à Lingüística. II Princípios de análise. São Paulo: Contexto, 2003. FREGE, Gottlob. Lógica e filosofia da linguagem. São Paulo: Cultrix, 1978. GEDRAT, Dóris C. A relevância da relevância na inferência não-trivial e na significação implícita. Dissertação de mestrado, PUC/RS, 1993. GEDRAT, Dóris C. Relevância da…

século XIX. O filósofo Immanuel Kant (1724-1804) chegou mesmo a dizer que, em matéria de lógica, nada mais poderia ser acrescentado ao que fez Aristóteles. A partir de meados do século XIX, no entanto, matemáticos como George Boole (1815-1864), Gottlob Frege (1848-1925) e Giuseppe Peano (1858-1932) deram contribuições significativas para a criação daquilo que ficou conhecido como lógica matemática. Por seu intermédio, a lógica tornou-se uma disciplina com características matemáticas,…

SOBRE TABELA VERDADE Tabela-verdade, tabela de verdade ou tabela veritativa é um tipo de tabela matemática usada em Lógica para determinar se uma fórmula é válida ou se um sequente é correto. As tabelas-verdade derivam do trabalho de Gottlob Frege, Charles Peirce e outros da década de 1880, e tomaram a forma atual em 1922 através dos trabalhos de Emil Post e Ludwig Wittgenstein. A publicação do Tractatus Logico-Philosophicus, de Wittgenstein, utilizava as mesmas para…

usou a noção de forma lógica para distinguir os argumentos válidos dos inválidos. A lógica conheceu relativamente poucos desenvolvimentos até Gottlob FREGE e Bertrand RUSSELL terem revolucionado a disciplina. Hoje em dia há muitos sistemas diferentes de lógica, que procuram resolver os problemas em aberto na disciplina. A chamada "lógica clássica", de Frege e Russell, é encarada como a "lógica canónica", e é essa que geralmente se começa por estudar. 18- Método- Há vários tipos de…

programa. Surge assim a primeira programadora de computador. Contribuição da matemática moderna Após 1800 a matemática começou a se expandir rapidamente. Vários matemáticos contribuíram com idéias importantes na formalização das linguagens. Gottlob Frège (1848-1925) criou o cálculo proposicional, em substituição ao silogismo grego, ao usar funções e argumentos em substituição a sujeito e predicados. Criou também uma teoria sistemática para quantificação e derivação. A Lógica…