Filosofia, Epistemologia e Teoria dos Compiladores
Humanidades e Fernando Savater
Certo: O fato de não haver informação filosófica não significa que a filosofia não traga alguma contribuição relevante para o homem, atualmente, pois ela procura compreender profundamente o significado de tais informações e conhecimentos científicos.
Erro: A sabedoria é o que há de específico na filosofia, mas como nem sempre a filosofia atinge o nível 3 (sabedoria), não é possível, por fim, diferenciá-la rigorosamente da ciência.
Erro: A filosofia pode ser acusada, como o é tradicionalmente, de lidar com problemas abstratos e fora dos interesses práticos do homem, pois a realidade que ela estuda é diferente da realidade abordada pelas ciências.
Erro: O autor considera impossível elaborar uma visão de mundo global (universal), na qual as partes isoladas pelas ciências ganhem sentido através de suas relações efetivas.
Tipos de Conhecimento
- Conhecimento Racional: Logicamente necessário, universalmente válido. Todo triângulo é trilátero, todos os corpos são extensos; são independentes da experiência, são a priori.
- A posteriori: A água ferve a 100 °C, todos os corpos são pesados; dependem da experiência e, por isso, não são universais e necessários.
- Empírico: Não é logicamente necessário, nem sempre é universalmente válido.
Lógica e Epistemologia
- Certo: A lógica não estuda a verdade ou falsidade do pensamento e, portanto, não tem nada a ver com a verdade ou falsidade, entendidas como adequação ou inadequação do pensamento com a realidade.
- A epistemologia é a teoria do conhecimento verdadeiro porque se preocupa em averiguar quais são as relações entre o pensamento (representações mentais) e o objeto. Ou seja, ela visa averiguar a relação entre a subjetividade e a objetividade.
- A lógica e a epistemologia compõem a teoria do conhecimento, mas a primeira é puramente formal, ou seja, concentra-se em investigar a correção ou incorreção dos nossos pensamentos; a epistemologia é a teoria material do conhecimento humano porque visa averiguar a relação de correspondência entre o pensamento e os objetos.
Teoria da Computação: Compiladores
Etapas de um compilador:
- Análise léxica: Identifica tokens através da leitura caractere a caractere com tabela de símbolos.
- Análise sintática: Verificação da forma (sintaxe) e se o código está de acordo com as regras gramaticais.
- Análise semântica: Verificação do sentido e coerência do código.
- Geração de código intermediário: Transformação do código-fonte em um pseudocódigo objeto.
- Otimização: Otimização do código em relação à plataforma e melhorias de linguagem.
- Geração de código objeto: Transformação do pseudocódigo em um executável objeto.
Diferença entre linguagem compilada e interpretada:
- Linguagem Compilada: Transforma o código-fonte diretamente em um arquivo executável.
- Linguagem Interpretada: O código é lido e executado por um interpretador em tempo real.