Please enable JavaScript.
Coggle requires JavaScript to display documents.
LÓGICA SIMBOLICA POR FREGE, Aluno Márcio Mátias - Coggle Diagram
LÓGICA SIMBOLICA POR FREGE
Caracterização da natureza - Essência
Verdadeiro
Essência da lógica
Bom
Essência da ética
Belo
Essência da estética
O ponto de partida é a sua distinção entre dois atos cognitivos que Frege chama de "pensar" e "julgar"
Lógica é uma ciência geral cujas leis se aplicam a qualquer domínio
Frege foi um dos fundadores da lógica simbólica moderna, perspetivando a matemática como redutível à lógica.
Muito influenciado por figuras de topo na filosofia da linguagem, como L. Wittegenstein e B. Russel, Frege tornou-se ele próprio uma referência não só para a filosofia da linguagem em geral, como também para a teoria semântica em particular.
FREGE - Criação de um sistema de representação simbólica (Begriffsschrift, conceitografia ou ideografia) para representar formalmente a estrutura dos enunciados lógicos e suas relações, e a contribuição para a implementação do cálculo dos predicados.
é o estudo das abstrações simbólicas que capturam as características formais da inferência lógica.
A lógica simbólica é frequentemente dividida em dois ramos: lógica proposicional e a lógica de predicados.
Gottlob Frege, em sua Conceitografia (Begriffsschrift), descobriu uma maneira de reordenar várias orações para tornar sua forma lógica clara, com a intenção de mostrar como as orações se relacionam em certos aspectos.
Frege adiciona à lógica de orações:
e uma semântica que explica que as variáveis denotam objetos individuais e que os quantificadores têm algo como a força de "todos" ou "alguns" em relação a esse objetos;
métodos para usá-los numa linguagem.
o vocabulário de quantificadores (o A de ponta-cabeça, e o E invertido) e variáveis;
Aluno Márcio Mátias