[Logica-l] Artigos sobre Teoria das Categorias

[Elaine Pimentel]

Prezados colegas,

Estou precisando dos seguintes artigos:

1. Do Seldin and Hindleyeditors: To H. B. Curry: Essays on Combinatory
Logic, Lambda calculus and formalism, Academic Press, 1980 os seguintes
artigos:
 a) Scott: Relating theories of the lambda-calculus (paginas 403-450).
 b) Lambek: From lambda calculus to cartesian closed categories (páginas
375-402).

2. Lambek: Cartesian closed categories and lambda calculi LNCS 242, 1985.

E do seguinte livro:

3. Lambek, Scott: Introduction to higher order categorical logic, Cambridge
University Press, 1986.

Quem puder ajudar... Aqui na UFMG não tem nennuma das referências acima...

Obrigada,
-- 
Elaine.
-
Elaine Pimentel  - DMat/UFMG

Address: Departamento de Matematica
Universidade Federal de Minas Gerais
Av Antonio Carlos, 6627 - C.P. 702
Pampulha - CEP 30.161-970
Belo Horizonte - Minas Gerais - Brazil
Phone:   55 31 3409-5970/3409-5994
Fax:   55 31 3409-5692
http://www.mat.ufmg.br/~elaine
-
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Livro essencial da Lógica

[BEZIAU Jean-Yves]

essa conceito do livro essencial da logica tem alguma ambiguidade,
é uma nocao biblica talvez ...

pode ser um textbook muito bom de um pessoa que nao é um grande pesquisador
ou pode ser um livro com ideais revolutinoarias de um grand logico
e ha muito outro opcoes ...

O que iremos responder por exemplo sobre o livro essencial da filosofia, da 
matematica, da biologia?

1) Um livro de um logico famoso:
Introduction to logic and the methodology of deductive science
do Alfred Tarski
http://books.google.ch/books?id=XoWTzdbZgeYC&pg=PT1&lpg=PT1&dq=tarski+introduction+to+logic+dover&source=bl&ots=6lQtTQ0s1j&sig=vYYvFixx5172ciK-CGvhrr7FG58&hl=fr&sa=X&oi=book_result&resnum=3&ct=result
Esse livro é muito interessante, ideias basicas da logica descrita de maneira 
muito simples por um grande pensador
muito melhor ler este livro que qualquer livrinho de introducao a logica.
E um livro de 1936, mas nao envelheceu, foi traduzido em muitas linguas,
tem uma edicao da Dover que custa o preco de um cachorro quente
A Oxford publicou alguns anos atras uma nova edicao, com nova traduaco ingles
preparado pelo filho do Tarski.

2) Um textbook muito bom  de logica matematica:
A mathematical introduction to logic
do Herbert Enderton
http://www.math.ucla.edu/~hbe/amil/

3) Um livro muito bom para pesquisa sobre logica:
Handbook of Philosophical Logic  do Dov Gabbay
(que contraramente ao nome nao e so "filosofico")
http://www.dcs.kcl.ac.uk/research/groups/gllc/philo/
"The best starting point for exploring any of the topics in logic" 
Encyclopaedia Britannica

___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Mais um "chiste"

[Rafael Testa]

Não, não leremos.
Isso só ocorreria - hipoteticamente - se as pessoas digitassem aqui de modo
aleatório. A triste verdade é que maioria delas pensam um pouco antes de
escreverem...
Abraços.

 2009/1/27 Décio Krause 

> Quer dizer então que se continuarmos a ler as mensagens desta lista uma
> hora vamos acabar lendo uma Crítica da Razão Pura? Continuemos digitando,
> macacada
>  D.
>
> 2009/1/27 
>
> Sobre essa discussão de Rocha e Jean-Yves, e mais ou menos na linha
>> dos dois macacos em cinco minutos de Petrucio, lembrei-me dessa aqui:
>>
>>
>> 
>>
>> O cidadão chega no mecânico com o carro quebrado. O mecânico abre o
>> motor, pega um singelo martelinho e, pum ! Dá uma marteladinha e o
>> carro começa a funcionar. Muito satisfeito, o cidadão pergunta quanto
>> foi o conserto.
>>
>> - Mil reais.
>>
>> - Mas, você só deu uma marteladinha !
>>
>> - Pois é, MAS SÓ EU SEI ONDE DAR A MARTELADINHA.
>>
>>
>> 
>>
>> Deve existir (no mundo das idéias) uma lista de todas as marteladinhas
>> possíveis, mas ela não põe o carro pra funcionar !!!
>>
>> Até,
>>
>> []s  Samuel
>>
>> 
>> Universidade Federal da Bahia - http://www.portal.ufba.br
>>
>> ___
>> Logica-l mailing list
>> Logica-l@dimap.ufrn.br
>> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>>
>
>
>
> --
> _
> Décio Krause
> Departamento de Filosofia
> Universidade Federal de Santa Catarina
> C.P. 476
> 88040-900 Florianópolis, SC - Brasil
> Tel.: + 55 48 3331-9248
> www.cfh.ufsc.br/~dkrause
> Grupo de Lógica e Fundamentos da Ciência
> www.logica.cfh.ufsc.br
> _
>
> ___
> Logica-l mailing list
> Logica-l@dimap.ufrn.br
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>
>
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] O “pacote Frege”

[Walter Carnielli]

 Prezados,

eu acho que a gente não deve comprar (nem indicar aos nossos estudantes)
esses pacotes prontos. Temos que desembrulhá-los. O "pacote Frege" é um
deles.

Acredito que o Décio esteja  enganado na sua analogia entre Frege e a
formalizacao da FOL, versus Turing e sua fomalizacao da noção de algoritmo.
Antes de Turing ninguém sequer havia imaginado que a noção de algoritmo
pudesse ser formalizada, ou que isso fosse interessante, embora máquinas de
calcular já existissem. Mas antes de Frege há uma longa tradição na direção
da formalização ou simbolização da Lógica, desde pelo menos Ramon Llul.

Parece claro que van Heijenoort exagerou na sua tentativa de promover Frege
como "o" fundador da FOL (fato um tanto estranho, vindo de um trotskista em
relação a um anti-semita) . Em "Logic as calculus and logic as language" (
Synthese, 1967) van Heijenoort dá uma ênfase desnecessária à opinião de
Frege de que sua lógica, diferente da de Boole, era não apenas uma "calculus
ratiotinator" mas uma "lingua characteristica".

Pessoalmetne acredito que isso tenha tido  influências nefastas na Lógica.
Cito uma, que me interessa há tempos: a ditinção entre anéis Booleanos e
álgebras de Boole.

Um "referee"há algum tempo devolveu-me um artigo objetando que "obviamente
anéis Booleanos e álgebras de Boole são isomorfos". Primeiro, não são (dado
um anél Booleano, define-se uma álgebra de Boole, e vice-versa, o que não
quer dizer que sejam isomorfos. Quer dizer no máximo que suas teorias sejam
elementarmente equivalentes).

Mas esse tipo de erro persiste, e eu perguntei porque anéis Booleanos podem
ser definidos diretamente em 3 ou p^n valores (como anéis sobre corpos
finitos), e álgebras de Boole não podem ? Estou esperando até hoje a
resposta...

O erro foi deixar Bole de lado, e náo compreender que Bole falava sobre o
que hoje se chaman anéis Booleanos e naó sobre o que hoje se chama, álgebras
de Boole.

 Começar a FOL a partir de Frege traz desses problemas reais, e talvez haja
uma outra razão: se em L;ogica só nos contentamos com "referência: (o que um
termo denota) e "sentido" (a maneira como é denotado), e esquecemos qualquer
outra coisa como "subject matter", de acordo com o livro Dick Epstein, por
exemplo, então FOL à la Frege pode ser on que nos satisfaça, mas isso
certamente não basta para representar normas, conhecimento, argumentação
jurídica razáo teorica versus razão prática, e um milhão de outras coisas
mais.

Pergunto: alguém sabe me dizer se o livo do Luiz Henrique L. dos Santos
ajuda a desembrulhar o pacote?

Abraços,

Walter
+
Walter Carnielli
Centre for Logic, Epistemology and the History of Science – CLE
State University of Campinas –UNICAMP
P.O. Box 6133 13083-970 Campinas -SP, Brazil
Phone: (+55) (19) 3788-6519
Fax: (+55) (19) 3289-3269
e-mail: carni...@cle.unicamp.br
Website: http://www.cle.unicamp.br/prof/carnielli
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] RES: Artigos sobre Teoria das Categorias

[Arthur Buchsbaum]

Oi, Elaine.

 

Pelo Gigapedia (http://gigapedia.com) podes obter este e muitos outros
livros. Primeiro cadastra-te no Gigapedia, é fácil e gratuito.

 

Seguem liames do Gigapedia para baixar os seguintes livros:

·“Introduction to Higher Order Categorical Logic”, de J. Lambek e P.
J. Scott: http://gigapedia.com/items:links?id=83678;

·“Categorical Logic and Type Theory”, de B. Jacobs:
http://gigapedia.com/items:links?id=84961;

·“Topoi - The Categorial Analysis of Logic”, de Robert Goldblatt:
http://gigapedia.com/items:links?id=49246;

·“Combinators, Lambda-Terms and Proof Theory”, de Sören Stenlund:
http://gigapedia.com/items:links?id=39544;

·“Lambda-Calculus and Combinators - an Introduction”, de J. Roger
Hindley e Jonathan P. Seldin: http://gigapedia.com/items:links?id=138260;

·“Typed Lambda Calculi and Applications: Third International
Conference on Typed Lambda Calculi and Applications”, de Philippe de Groote
e J. Roger Hindley: http://gigapedia.com/items:links?id=114823.

 

a) Arthur Buchsbaum

 

De: logica-l-boun...@dimap.ufrn.br [mailto:logica-l-boun...@dimap.ufrn.br]
Em nome de Elaine Pimentel
Enviada em: quarta-feira, 28 de janeiro de 2009 08:36
Para: Lista acadêmica brasileira dos profissionais e estudantes da área de
LOGICA
Assunto: [Logica-l] Artigos sobre Teoria das Categorias

 

Prezados colegas,

 

Estou precisando dos seguintes artigos:

 

1. Do Seldin and Hindleyeditors: To H. B. Curry: Essays on Combinatory
Logic, Lambda calculus and formalism, Academic Press, 1980 os seguintes
artigos:

 a) Scott: Relating theories of the lambda-calculus (paginas 403-450).

 b) Lambek: From lambda calculus to cartesian closed categories (páginas
375-402).

 

2. Lambek: Cartesian closed categories and lambda calculi LNCS 242, 1985.

 

E do seguinte livro:

 

3. Lambek, Scott: Introduction to higher order categorical logic, Cambridge
University Press, 1986.

 

Quem puder ajudar... Aqui na UFMG não tem nennuma das referências acima...

 

Obrigada,
-- 
Elaine.
-
Elaine Pimentel  - DMat/UFMG

Address: Departamento de Matematica
Universidade Federal de Minas Gerais
Av Antonio Carlos, 6627 - C.P. 702
Pampulha - CEP 30.161-970
Belo Horizonte - Minas Gerais - Brazil
Phone:   55 31 3409-5970/3409-5994
Fax:   55 31 3409-5692
http://www.mat.ufmg.br/~elaine
-

___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Artigos sobre Teoria das Categorias

[Eduardo Ochs]

Oi Elaine,

eu tenho uma fotocopia parcial do "To H.B. Curry" so' com quatro dos
artigos dele - os dois que voce precisa e mais um do Gandy ("An Early
Proof of Normalization by A.M. Turing") e um de tres autores chamado
"principal type schemes and lambda-calculus semantics"... posso
envia'-la pelo correio pra voce amanha de manha, e ai' voce a le^ /
xeroca / scaneia / etc e daqui a um tempo manda ela de volta pra mim...
o que voce acha?

  [],
Eduardo Ochs
eduardoo...@gmail.com
http://angg.twu.net/


2009/1/28 Elaine Pimentel :
> Prezados colegas,
>
> Estou precisando dos seguintes artigos:
>
> 1. Do Seldin and Hindleyeditors: To H. B. Curry: Essays on Combinatory
> Logic, Lambda calculus and formalism, Academic Press, 1980 os seguintes
> artigos:
>  a) Scott: Relating theories of the lambda-calculus (paginas 403-450).
>  b) Lambek: From lambda calculus to cartesian closed categories (páginas
> 375-402).
>
> 2. Lambek: Cartesian closed categories and lambda calculi LNCS 242, 1985.
>
> E do seguinte livro:
>
> 3. Lambek, Scott: Introduction to higher order categorical logic, Cambridge
> University Press, 1986.
>
> Quem puder ajudar... Aqui na UFMG não tem nennuma das referências acima...
>
> Obrigada,
> --
> Elaine.
> -
> Elaine Pimentel  - DMat/UFMG
>
> Address: Departamento de Matematica
> Universidade Federal de Minas Gerais
> Av Antonio Carlos, 6627 - C.P. 702
> Pampulha - CEP 30.161-970
> Belo Horizonte - Minas Gerais - Brazil
> Phone:   55 31 3409-5970/3409-5994
> Fax:   55 31 3409-5692
> http://www.mat.ufmg.br/~elaine
> -
>
> ___
> Logica-l mailing list
> Logica-l@dimap.ufrn.br
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>
>
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Logica nas Loterias de numeros [help]

[Paulo Henrique Gomes Ferreira]

Ola a todos, sou novo na lista de lógica-I.
 
Peço licença ao senhores, solicitando aqueles que tiverem informações sobre 
como utilizar logica para calculo de provaveis dezenas nas loterias de numeros 
que se pronunciem.
 
Solicito informações, como que tipo de logica usar, quais livros procurar e 
softs usar.
 
Desde já agradeço
 
Paulo Henrique


--- Em ter, 27/1/09, logica-l-requ...@dimap.ufrn.br 
 escreveu:

De: logica-l-requ...@dimap.ufrn.br 
Assunto: Digest Logica-l, volume 35, assunto 19
Para: logica-l@dimap.ufrn.br
Data: Terça-feira, 27 de Janeiro de 2009, 13:00

Enviar submissões para a lista de discussão Logica-l para 
logica-l@dimap.ufrn.br

Para se cadastrar ou descadastrar via WWW, visite o endereço
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
ou, via email, envie uma mensagem com a palavra 'help' no assunto ou
corpo da mensagem para 
logica-l-requ...@dimap.ufrn.br

Você poderá entrar em contato com a pessoa que gerencia a lista pelo
endereço
logica-l-ow...@dimap.ufrn.br

Quando responder, por favor edite sua linha Assunto assim ela será
mais específica que "Re: Contents of Logica-l digest..."


Tópicos de Hoje:

   1. Frege Revolucionário e Teste de Paternidade
  (Ricardo Pereira Tassinari)
   2. Principa Mathematica (BEZIAU Jean-Yves)
   3. Re: Tarski e o desenlvovimeto da logica moderna
  (Alvaro Augusto (L))
   4. Re: [Fwd: Re:  Avaliacao do Frege] (Wagner de Campos Sanz)
   5. Re: Fwd:  Tarski e o desenlvovimeto da logica moderna
  (Wagner de Campos Sanz)
   6. céu de Platão (ro...@atlas.ucpel.tche.br)
   7. combinacao primitiva (BEZIAU Jean-Yves)
   8. Re: combinacao primitiva (ro...@atlas.ucpel.tche.br)
   9. Documentário sobre o último teorema de Fermat
  (Matheus Martins Silva)
  10. Re: combinacao primitiva (Alexandre Costa Leite)
  11. RES: céu de Platão (Arthur Buchsbaum)
  12. Re: Principa Mathematica (Carlos Gonzalez)
  13. RES: combinacao primitiva / a biblioteca de Babel
  (BEZIAU Jean-Yves)
  14. Re: combinacao primitiva (Ricardo Pereira Tassinari)
  15. Re: RES: combinacao primitiva / a biblioteca de Babel
  (ro...@atlas.ucpel.tche.br)
  16. versoes da biblioteca de babel (BEZIAU Jean-Yves)
  17. Re: versoes da biblioteca de babel (Francisco Antonio Doria)
  18. Re: versoes da biblioteca de babel (ro...@atlas.ucpel.tche.br)
  19. Re: versoes da biblioteca de babel (Jorge Petrucio Viana)


--

> ___ 
> Logica-l mailing list 
> Logica-l@dimap.ufrn.br 
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l 
--- End of Original Message ---
 
-- Próxima Parte --
Um anexo em HTML foi limpo...
URL:
http://www.dimap.ufrn.br/pipermail/logica-l/attachments/20090127/1059a176/attachment-0001.htm


--

___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l


Fim da Digest Logica-l, volume 35, assunto 19
*



  Veja quais são os assuntos do momento no Yahoo! +Buscados
http://br.maisbuscados.yahoo.com___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Logica nas Loterias de numeros [help]

[Eduardo Ochs]

Olá Paulo Henrique,

quase nada do que a gente discute aqui vai te interessar...
procure livros e listas de discussão sobre Análise Combinatória.

  [], boa sorte 8-),
Eduardo Ochs
eduardoo...@gmail.com
http://angg.twu.net/


2009/1/28 Paulo Henrique Gomes Ferreira :
> Ola a todos, sou novo na lista de lógica-I.
>
> Peço licença ao senhores, solicitando aqueles que tiverem informações sobre
> como utilizar logica para calculo de provaveis dezenas nas loterias de
> numeros que se pronunciem.
>
> Solicito informações, como que tipo de logica usar, quais livros procurar e
> softs usar.
>
> Desde já agradeço
>
> Paulo Henrique
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] RES: Artigos sobre Teoria das Categorias

[Arthur Buchsbaum]

Oi, Eliane.

 

Além dos livros que indiquei sobre Teoria das Categorias mais relacionados à
Lógica e Lambda Cálculo, existem também os seguintes livros sobre o assunto:

·“Toposes, Triples and Theories” de Michael Barr e Charles Wells:
http://gigapedia.com/items:links?id=5353;

·“Tool and Object - A History and Philosophy of Category Theory”, de
Ralf Krömer: http://gigapedia.com/items:links?id=76195;

·"From a Geometrical Point of View - A Study of the History and
Philosophy of Category Theory", de Jean-Pierre Marquis:
http://gigapedia.com/items:links?id=217015;

·“Topos Theory”, de P.T. Johnstone:
http://gigapedia.com/items:links?id=106808;

·“Sets for Mathematics”, de F. William Lawvere e Robert Rosebrugh:
http://gigapedia.com/items:links?id=49873;

·“Elementary Categories, Elementary Toposes”, de Colin McLarty:
http://gigapedia.com/items:links?id=230789;

·“Conceptual Mathematics - A first introduction to categories”, de
F. William Lawvere e Stephen H. Schanuel:
http://gigapedia.com/items:links?id=75025;

·“Categories, Types, and Structures - An Introduction to Category
Theory for the Working Computer Scientist”, de Andrea Asperti e Giuseppe
Longo: http://gigapedia.com/items:links?id=29044;

·“Category Theory”, de Steve Awodey:
http://gigapedia.com/items:links?id=64466;

·“Categories, Allegories”, de  Peter J. Freyd e Andre Scedrov:
http://gigapedia.com/items:links?id=122399;

·“Categories for the Working Mathematician”, de Saunders Mac Lane:
http://gigapedia.com/items:links?id=80242;

·“Practical Foundations of Mathematics”, de Paul Taylor:
http://gigapedia.com/items:links?id=49260;

·“Arrows, Structures, and Functors - The Categorical Imperative”, de
Michael A. Arbib e Ernest G. Manes:
http://gigapedia.com/items:links?id=110329.

 

Bom proveito,

Arthur Buchsbaum

2009/1/28 Arthur Buchsbaum 

Oi, Elaine.

 Pelo Gigapedia (http://gigapedia.com  ) podes obter
este e muitos outros livros. Primeiro cadastra-te no Gigapedia, é fácil e
gratuito.

 Seguem liames do Gigapedia para baixar os seguintes livros:

·"Introduction to Higher Order Categorical Logic", de J. Lambek e P.
J. Scott: http://gigapedia.com/items:links?id=83678;

·"Categorical Logic and Type Theory", de B. Jacobs:
http://gigapedia.com/items:links?id=84961;

·"Topoi - The Categorial Analysis of Logic", de Robert Goldblatt:
http://gigapedia.com/items:links?id=49246;

·"Combinators, Lambda-Terms and Proof Theory", de Sören Stenlund:
http://gigapedia.com/items:links?id=39544;

·"Lambda-Calculus and Combinators - an Introduction", de J. Roger
Hindley e Jonathan P. Seldin: http://gigapedia.com/items:links?id=138260;

·"Typed Lambda Calculi and Applications: Third International
Conference on Typed Lambda Calculi and Applications", de Philippe de Groote
e J. Roger Hindley: http://gigapedia.com/items:links?id=114823.

 a) Arthur Buchsbaum

___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Principa Mathematica

[Carlos Gonzalez]

Estava devendo:

> Mas eu sempre me lembro o que diz Curry no
> livro de lógica combinatória, que a substituição só ficou clara na
> década de 1940

   All this holds for what is generally considered the simplest of logical
systems, the propositional algebra. If we pass to cases where there is
more then one category of variables, and where some of the variables
may be bound, the situation becomes more complicated still. The extent
of the complications in such cases may be seen from the fact that most
formulations of the rule for substitution for a functional variable in the
first-order predicate calculus which were published, even by the ablest
logicians, before 1940, were demonstrably incorrect; and there is little
doubt that one of the first correct formulations, that given by Church
[IML], p. 57, was derived by the aid of the theory of lambda-conversion,
the form of combinatory logic which is his specialty.

Curry-Feys, Combinatory Logic, p. 3

Eu acho este tipo de comentário histórico muito mais valioso que, por
exemplo, andar procurando quantificadores em textos antigos e
concluir: este tem, este outro não tem.

Até onde eu conheço, a maioria da história da ciência, (em particular,
a história da lógica e da matemática) está muito mal escrita porque a
maioria das vezes é feita uma leitura fora do contexto conceitual do
autor. Na realidade, Aristóteles já lia os presocráticos desta maneira
errada, procurando neles os seus próprios conceitos.
Não que Curry seja um grande historiador da lógica, mas nesse
parágrafo analisa os sistemas para ver se eles  funcionam com relação
à substituição que eles  próprios usam, e conclui que. a maioria,
não. Esse tipo de leitura cuidadosa é rara. O povo pega a
Begriffsschrift, fica contentíssimo porque consegue entender os
ganchinhos, analisa por cima as coisas tendo em mente a FOL de hoje e
tira conclusões: "Frege é o criador da FOL".
O sistema de Frege na Begriffsschrift funciona?
No final do XIX e início do XX os matemáticos preocupados com a lógica
e a dedução matemática procuram uma notação ("siimbolismo") para
ajudar nas provas. Muitos deles estão vendo os problemas nos métodos
dedutivos que estão utilizando, senão não perderiam tempo em mudar
notações.
O que fazia Frege? Adherindo religiosamente à mathesis universalis,
cria uma notação não algébrica, difícil, que nunca ia ser aceita pelos
"working mathematicians".

A questão que eu considero interessante, do ponto de vista da história
da lógica é analisar até que ponto o trabalho de esclarecimento
conceitual realizado por Frege teve uma influência na sua época.
Também as avaliações dos sistemas considerados em seu próprio
contexto, como a análise  de Curry de se a substituição está errada.ou
não.

Com quase todo mundo substituindo errado e com a escola de Peano
fazendo demonstrações por indução numa linguagem simbólica, não fico
nada surpreso do comentário de Russell sobre o sentimento de admiração
que teve em 1900.

Eu já vi em Argentina, na época da ditadura militar (a universidade
era uma pobreza), um docente fazer uma pretendida prova por indução
substituindo k por (k+1).

Carlos Gonzalez

2009/1/26 Carlos Gonzalez :
> Prezado J-Y,
>
>> Duas coisas importantes para esclarecer a originem de PM.
>> E uma obra do Whitehead e Russell.
>>
>> Poucos pessoas dentre dos logicos e filosofos analiticos falam do Whitehead
>> mas e bom lembrar que PM é realemente uma obra conjunta de dois pessoas.
>>
>
> Mas entre esses poucos lógicos esta Russell  ;-)
>
> "There is in some quarters a tendency to suppose that Whitehead's
> part in our joint work was less than in fact it was."
>
> (WHITEHEAD AND PRINCIPIA MATHEMATICA, Mind, LVII, 226. 1948)
>
> Olha só:
>
> "In the early part of the Primipia, Whitehead contributed the
> treatment of apparent variables and the notation (x).\phi(x)."
>
> Veja que em lugar de quantificador, ele ressalta as variáveis ligadas.
> Deveriamos analisar quanto da parte de PM sobre variáveis aparentes
> hoje entenderiamos como um tratamento de quantificadores e das regras
> de quantificadores da FOL. Mas eu sempre me lembro o que diz Curry no
> livro de lógica combinatória, que a substituição só ficou clara na
> década de 1940 (estou citando de cor, desculpem).
>
>> E tambem bom  avaliar Principia Mathematica
>> Um obra tao monstruosa, da qual hoje esta sobrando muito pouca coisa
>
> Klimovsky dizia (de brincadeira) que PM era uma dessas obras que nem
> os autores tinham lido inteira. Poucos hoje tem o tempo e a paciência
> de ler algo como PM. Mas, segundo o meu ponto de vista, PM fez o que
> tinha que fazer, pois modificou de maneira substancial o
> desenvolvimento da matemática. Mostrou que as novas ferramentas
> lógicas podiam ser usadas em matemática para ascender a  um novo
> degrau nas demonstrações e na formalização. O longo caminho que vai
> desde Euler e Bolzano até o cálculo lambda-lógica combinatória e
> Gödel, no qual o raciocínio matemático adquire um novo nível de
> maturidade, tem em 

[Logica-l] PhilPapers.org

[Renato Mendes Rocha]

olá lista,

Foi lançado ontem, 28 de janeiro, o portal PhilPapers que é uma plataforma
virtual para pesquisa filosófica, funciona como um grande indexador de
journals e papers, onde as publicacoes sao catalogados em um bastante
específico sistema de categorias.

Esse é um projeto do David Chalmers e do seu aluno David Bourget, o endereço
para acesso é

www.philpapers.org

"PhilPapers is a comprehensive directory of online philosophy articles and
books by academic philosophers. We monitor journals in many areas of
philosophy, as well as archives and personal pages. We also accept articles
directly from users, who can provide links or upload copies. "

Para ter acesso a todas as funcionalidade é preciso fazer o cadastro na
página.

O Chalmers publicou em seu blog uma apresentacao bastante abrangente do
projeto. Está em:

http://fragments.consc.net/djc/2009/01/philp.html


Renato Mendes
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l