De uma mensagem recente enviada à lista:
> Na estrutura gramatical superficial, cientistas e juristas podem usar as
> mesmas palavras quando estão designando conceitos *muito* diferentes.
[...]
> Há discussões muito finas do significado bastante delicado de
> "prova" em matemática e lógica.
"Prov
Para além das mencionadas "provas" e "evidências", parece-me que há ao
menos um caso em que a noção estritamente matemática de "demonstração"
se aplicaria ao Direito de forma notável (talvez mais do que já ocorre
na aplicação geral desta mesma noção a outros campos da argumentação
ou da ciência).
Joao MArcos,
vou me atrever (com trepidacao, 'e claro) a discordar de voce em
genero, numero e grau.
todo mundo que eu conheco desde 190- e-esqueci sempre falou de provas
em matematica, "a minha prova do teorema 'e mais bonita do que a sua",
"a prova do Halmos 'e mais simples do que a de fulano",
Sobre "este", a mídia praticamente não divulgou nada:
http://g1.globo.com/tecnologia/noticia/2011/10/morre-dennis-ritchie-pai-do-unix-e-da-linguagem-de-programacao-c.html
Paulo
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/c
Caro João
Sus observações me parecem muito pertinentes e interessantes, mas acho que a
Valéria tem razão quanto à terminologia, bastando que se esclareça aos alunos o
que está acontecendo, e para isso as suas observações são bem úteis. Mas,
quando fala em que
"O uso da Lógica (clássica ou deô
Prezado João Marcos,
Obrigada pelos comentários. Concordo com a sua afirmação a respeito do
"empréstimo", por parte do Direito, dos elementos de Euclides; e tmabém mais
tarde, no período napoleônico, de "visões de mundo" euclidiano-newtonianas.
Aliás, tenho escrito e publicado a esse respeito.
Alo Decio, Joao e todos,
Bom, aqui eu concordo quase que completamente com o Joao:
"O uso da Lógica (clássica ou deôntica) no estudo das consequências que
se podem extrair dos axiomas jurídicos envolveria, assim, de forma
muito natural, a noção de "demonstração" no sentido lógico-matemático.
S
Maria Francisca
Veja que a frase da sua primeira citação já está errada, pois confunde, ou
identifica, prova (demonstração) com validade. Ainda não li o resto.
D
--
Décio Krause
Departamento de Filosofia
Universidade Federal de Santa Catarina
8
Oi, João, Valéria e lista,
Perdoem-me por não me lembrar a fonte, mas posso jurar que já li, num
livro de Lógica, que uma prova é uma demonstração com zero premissas.
Na verdade, o livro era em inglês, e se referia a "proofs" e
"demonstrations".
Posso tentar procurar a fonte, mas se alguém já t
Valeria e demais
Concordo com você, mas creio que o Prof. Newton tem razão quando, em seu Ensaio
sobre os Fundamentos da Lógica, sugere que "iniciamos" não com a lógica
clássica propriamente, mas com algo ainda mais fraco, uma "lógica" de cunho
construtivo, algo intuicionista. Para reconhecermo
Patrick Suppes diz mais ou menos o seguinte, precisava ver, mas não agora: uma
"demonstração" tal como o matemático faz, é uma "prova" (dos lógicos) mas cheia
de buracos, ou seja, ele não apresenta os detalhes mais evidentes
(supostamente, claro).
D.
Decio Krause
tem razao Fernando! e' claro, sem premissas 'e uma prova, com
premissas uma demonstracao.
mas 'e, sei que sou descuidada com a linguagem mesmo, dai a trepidacao...
obrigada por lembrar da diferenca,
abs
valeria
2011/11/5 Fernando Naufel do Amaral :
> Oi, João, Valéria e lista,
>
>
> Perdoem-me
Ois,
Eu sempre vi e usei "prova"como sinônimo de "demonstração" e ambas
como *deduções* sem premissas hipotéticas - nesse sentido, por exemplo
é que temos a expressão "Teorema da Dedução" - e não da Demosntração.
Mas há um ponto em que acho que o João tem razão: a expressão "provável"
não é uma
ok, ok. e' verdade Andrea, deducoes sem premissas...
abs,
valeria
2011/11/5 Andrea Loparic :
> Ois,
>
> Eu sempre vi e usei "prova"como sinônimo de "demonstração" e ambas
> como *deduções* sem premissas hipotéticas - nesse sentido, por exemplo
> é que temos a expressão "Teorema da Dedução" - e n
Interessante a observação sobre "validade".
No direito não são válidas as chamadas "provas ilícitas", que são aquelas
obtidas por meios ilegais, por exemplo: escutas telefônicas sem autorização
judicial, confissões obtidas mediante tortura, mediante violação da tutela à
privacidade ou intimidad
Alo Decio,
Gostei dessa:
>"iniciamos" não com a lógica clássica propriamente, mas com algo ainda mais
>fraco,
> uma "lógica" de cunho construtivo, algo intuicionista.
Oba!!!
vou tentar ler as referencias sugeridas,
muito obrigada,
Valeria
2011/11/5 Decio Krause :
> Valeria e demais
> Concordo c
MESTRADO EM ENGENHARIA ELETRÔNICA
Programa de Pós-Graduação em Engenharia Eletrônica (PEL)
Universidade do Estado do Rio de Janeiro (UERJ)
Inscrições: de 01 novembro a 21 de dezembro de 2011
e de 03 a 26 de janeiro de 2012
Serão oferecida
17 matches
Mail list logo
