Information and knowledge a constructive type-theoretical approach /
Este livro desenvolve uma interpretação filosófica e lógica do conceito de informação dentro da estrutura formal da Teoria Tipo Construtivo (CTT), de forma concomitante com uma gama diversificada de perspectivas contemporâneas sobre a filosofia da informação. Com base neste quadro conceitual, o prob...
Na minha lista:
| Principais autores: | , |
|---|---|
| Formato: | Digital |
| Publicado em: |
|
| Assuntos: | |
| Endereço do item: | http://dx.doi.org/10.1007/978-1-4020-6170-7 |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
| Resumo: | Este livro desenvolve uma interpretação filosófica e lógica do conceito de informação dentro da estrutura formal da Teoria Tipo Construtivo (CTT), de forma concomitante com uma gama diversificada de perspectivas contemporâneas sobre a filosofia da informação. Com base neste quadro conceitual, o problema da analiticidade para as derivações lógicas é confrontado e propõe uma solução. O texto começa com uma apresentação da estrutura formal dos CTT, com especial atenção para alguns temas que têm sido negligenciadas pelos pesquisadores atuais em Tipo Theory. O tratamento é especialmente formulada para os lógicos com um fundo filosófico, mas sem deixar de lado a formulação completa de todos os aspectos técnicos e propriedades formais. O problema da analiticidade é então introduzido através de uma formulação historicamente e teoricamente orientada, começando com Kant e Bolzano e seguindo o seu desenvolvimento até à introdução da noção de informação, que se estende algumas linhas de pesquisa introduzidos no debate contemporânea por Hintikka. A abordagem semântica à informação é reconsiderada à luz de uma abordagem construtiva para a epistemologia, levando a uma análise teórica dos sistemas de conhecimento. Isso permite a apresentação de uma estrutura formal, com base em certas operações típicas na formalização dos CTT e da utilização de propriedades formais de modelos de Kripke, na qual as noções de informação e conhecimento são definidos como epistemologicamente diferente. Essas definições envolvem uma extensão da epistemologia construtiva, trazendo um novo material para o intervalo extremamente aberto de problemas determinados pela noção de verificação e a teoria relacionada de significado. Informação e do Conhecimento apresenta uma nova perspectiva interessante sobre a interpretação construtiva dos processos de conhecimento, sugerindo a confiabilidade de uma tal abordagem para a modelagem lógica de problemas epistemológicos e propor uma estrutura unificadora de uma das perspectivas filosóficas contemporâneas mais importantes. |
|---|