A ideografia do tractatus logico-philosophicus e funções recursivas primitivas
Autor(a) principal: | |
---|---|
Data de Publicação: | 2016 |
Tipo de documento: | Artigo |
Idioma: | por |
Título da fonte: | Manuscrito (Online) |
Texto Completo: | https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8647288 |
Resumo: | No Tractatus Logico-Philosophicus (T) Wittgenstein apresenta o esboço de uma ideografia a qual ele pretende perspícua às condições essenciais de uma representação linguística. Seu estilo lacônico e sua notação elíptica, no entanto, deixam subentendidos diversos elementos fundamentais para o estabelecimento de uma sintaxe satisfatória com esse objetivo. O presente artigo faz o levantamento de alguns dos principais pontos obscuros em sua notação, buscando aproximá-la de estruturas similares às observadas em funções recursivas primitivas. A seção 1 discute como a lógica pura no Tractatus permite a obtenção de uma sintaxe lógica, comum a qualquer sistema de sinais em uma representação, e como a partir dela é possível estabelecer a ideografia. As seções 2 de 3 apresentam a derivação dessa ideografia utilizando os procedimentos da lógica pura, resultando na Forma Geral da Proposição, na Forma Geral da Operação, na Forma Geral da Série e na Forma Geral do Número. As seções 4 e 5 associam a notação ideográfica do Tractatus à notação de funções recursivo-primitivas. |
id |
UNICAMP-17_04077c8d70ec3f8f5fde03815dafc13b |
---|---|
oai_identifier_str |
oai:ojs.periodicos.sbu.unicamp.br:article/8647288 |
network_acronym_str |
UNICAMP-17 |
network_name_str |
Manuscrito (Online) |
repository_id_str |
|
spelling |
A ideografia do tractatus logico-philosophicus e funções recursivas primitivasLinguagem. Análise lógica. Matemática. Recursão primitiva.No Tractatus Logico-Philosophicus (T) Wittgenstein apresenta o esboço de uma ideografia a qual ele pretende perspícua às condições essenciais de uma representação linguística. Seu estilo lacônico e sua notação elíptica, no entanto, deixam subentendidos diversos elementos fundamentais para o estabelecimento de uma sintaxe satisfatória com esse objetivo. O presente artigo faz o levantamento de alguns dos principais pontos obscuros em sua notação, buscando aproximá-la de estruturas similares às observadas em funções recursivas primitivas. A seção 1 discute como a lógica pura no Tractatus permite a obtenção de uma sintaxe lógica, comum a qualquer sistema de sinais em uma representação, e como a partir dela é possível estabelecer a ideografia. As seções 2 de 3 apresentam a derivação dessa ideografia utilizando os procedimentos da lógica pura, resultando na Forma Geral da Proposição, na Forma Geral da Operação, na Forma Geral da Série e na Forma Geral do Número. As seções 4 e 5 associam a notação ideográfica do Tractatus à notação de funções recursivo-primitivas.Universidade Estadual de Campinas2016-10-27info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionAnálise lógicaapplication/pdfhttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8647288Manuscrito: Revista Internacional de Filosofia; v. 39 n. 2 (2016): abr./jun.; 14-30Manuscrito: International Journal of Philosophy; Vol. 39 No. 2 (2016): abr./jun.; 14-30Manuscrito: Revista Internacional de Filosofía; Vol. 39 Núm. 2 (2016): abr./jun.; 14-302317-630Xreponame:Manuscrito (Online)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPporhttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8647288/14246Copyright (c) 2016 Manuscritoinfo:eu-repo/semantics/openAccessLopes, Felipe Oliveira Araújo2017-11-09T09:18:01Zoai:ojs.periodicos.sbu.unicamp.br:article/8647288Revistahttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscritoPUBhttps://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/oaimwrigley@cle.unicamp.br|| dascal@spinoza.tau.ac.il||publicacoes@cle.unicamp.br2317-630X0100-6045opendoar:2017-11-09T09:18:01Manuscrito (Online) - Universidade Estadual de Campinas (UNICAMP)false |
dc.title.none.fl_str_mv |
A ideografia do tractatus logico-philosophicus e funções recursivas primitivas |
title |
A ideografia do tractatus logico-philosophicus e funções recursivas primitivas |
spellingShingle |
A ideografia do tractatus logico-philosophicus e funções recursivas primitivas Lopes, Felipe Oliveira Araújo Linguagem. Análise lógica. Matemática. Recursão primitiva. |
title_short |
A ideografia do tractatus logico-philosophicus e funções recursivas primitivas |
title_full |
A ideografia do tractatus logico-philosophicus e funções recursivas primitivas |
title_fullStr |
A ideografia do tractatus logico-philosophicus e funções recursivas primitivas |
title_full_unstemmed |
A ideografia do tractatus logico-philosophicus e funções recursivas primitivas |
title_sort |
A ideografia do tractatus logico-philosophicus e funções recursivas primitivas |
author |
Lopes, Felipe Oliveira Araújo |
author_facet |
Lopes, Felipe Oliveira Araújo |
author_role |
author |
dc.contributor.author.fl_str_mv |
Lopes, Felipe Oliveira Araújo |
dc.subject.por.fl_str_mv |
Linguagem. Análise lógica. Matemática. Recursão primitiva. |
topic |
Linguagem. Análise lógica. Matemática. Recursão primitiva. |
description |
No Tractatus Logico-Philosophicus (T) Wittgenstein apresenta o esboço de uma ideografia a qual ele pretende perspícua às condições essenciais de uma representação linguística. Seu estilo lacônico e sua notação elíptica, no entanto, deixam subentendidos diversos elementos fundamentais para o estabelecimento de uma sintaxe satisfatória com esse objetivo. O presente artigo faz o levantamento de alguns dos principais pontos obscuros em sua notação, buscando aproximá-la de estruturas similares às observadas em funções recursivas primitivas. A seção 1 discute como a lógica pura no Tractatus permite a obtenção de uma sintaxe lógica, comum a qualquer sistema de sinais em uma representação, e como a partir dela é possível estabelecer a ideografia. As seções 2 de 3 apresentam a derivação dessa ideografia utilizando os procedimentos da lógica pura, resultando na Forma Geral da Proposição, na Forma Geral da Operação, na Forma Geral da Série e na Forma Geral do Número. As seções 4 e 5 associam a notação ideográfica do Tractatus à notação de funções recursivo-primitivas. |
publishDate |
2016 |
dc.date.none.fl_str_mv |
2016-10-27 |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion Análise lógica |
format |
article |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8647288 |
url |
https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8647288 |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.relation.none.fl_str_mv |
https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8647288/14246 |
dc.rights.driver.fl_str_mv |
Copyright (c) 2016 Manuscrito info:eu-repo/semantics/openAccess |
rights_invalid_str_mv |
Copyright (c) 2016 Manuscrito |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf |
dc.publisher.none.fl_str_mv |
Universidade Estadual de Campinas |
publisher.none.fl_str_mv |
Universidade Estadual de Campinas |
dc.source.none.fl_str_mv |
Manuscrito: Revista Internacional de Filosofia; v. 39 n. 2 (2016): abr./jun.; 14-30 Manuscrito: International Journal of Philosophy; Vol. 39 No. 2 (2016): abr./jun.; 14-30 Manuscrito: Revista Internacional de Filosofía; Vol. 39 Núm. 2 (2016): abr./jun.; 14-30 2317-630X reponame:Manuscrito (Online) instname:Universidade Estadual de Campinas (UNICAMP) instacron:UNICAMP |
instname_str |
Universidade Estadual de Campinas (UNICAMP) |
instacron_str |
UNICAMP |
institution |
UNICAMP |
reponame_str |
Manuscrito (Online) |
collection |
Manuscrito (Online) |
repository.name.fl_str_mv |
Manuscrito (Online) - Universidade Estadual de Campinas (UNICAMP) |
repository.mail.fl_str_mv |
mwrigley@cle.unicamp.br|| dascal@spinoza.tau.ac.il||publicacoes@cle.unicamp.br |
_version_ |
1800216566634119168 |