lunes, 24 de junio de 2019
domingo, 9 de junio de 2019
Augutina Bessa-Luis
Acabei de saber que morreu Augustina Bessa-Luiz. Recordo-me que ela, junto com Antonio Lobo Antunes, eram alvos da minha leituna na época em que eu queria ser um menino culto. Recebo a notícia do seu falescimento como uma estaca no que havia sobrado dessa vontade. Pedro Possebon.
sábado, 8 de junio de 2019
jueves, 2 de mayo de 2019
Alfabeto da lógica proposicional
Alfabeto da lógica proposicional
Símbolos de pontuação: ‘(‘, ‘)’.
Símbolos de verdade: “true”, “false”.
Símbolos proposicionais: p, q, r, s, p1, q1, r1, p2, q2…
Conectivos proposicionais: ~, v, ^, → , ↔.
Os símbolos proposicionais são usados para representar proposições na linguagem da lógica.
miércoles, 1 de mayo de 2019
Notas sobre o SMULLYAN: árvores
Árvores
Um conjunto de elementos chamados “pontos”
Uma função ‘L’ que atribuiu a cada ponto x um inteiro positivo L(x) chamado “nível” de x
Uma relação x R y definida em S, que se lê “x é um predecessor de y” ou “y é sucessor de x”. Essa relação deve obedecer às seguintes condições:
C1: há um único ponto a1 de nível 1. Esse ponto é chamado a origem da árvore.
C2: qualquer ponto diferente da origem tem um único predecessor.
C3: para quaisquer pontos x, y, se y for sucessor de x, então l(y) = l(x) + 1.
Ponto final = não tem sucessor
Ponto simples = apenas um sucessor
Ponto de junção = mais de um sucessor
Caminho: sequência de pontos
Caminho maximal (ramo): caminho cujo último termo é um ponto final da árvore ou um caminho que é infinito
De C1, C2 e C3 segue para qualquer ponto x existe um único caminho Px, diz-se y domina x ou x é dominado por y, se x domina y e x ≠ y, então diremos que x está acima de y ou que y está abaixo de x. Diz que x é comparável com y se x domina y ou y domina x e que y está entre x e z se y está acima de um dos elementos do par {x, z} e abaixo do outro.
Árvore ordenada ‘T’
É a primeira árvore não ordenada junto com uma função 𝚹 que atribui cada ponto de junção z em uma sequência 𝚹 (z) de todos os sucessores de z.
Representamos árvores ordenadas situando a origem no topo e os sucessores de cada ponto x abaixo de xm e na ordem na qual eles aparecem da esquerda para a direita; traçamos um segmento de linha de x até y para indicar que y é um sucessor de x.
Uma árvore é finitamente gerada se cada ponto tem apenas um número finito de sucessores.
Se uma árvore ‘T’ tem um número finito de pontos então ela é finita, se não é infinita.
Um conjunto de elementos chamados “pontos”
Uma função ‘L’ que atribuiu a cada ponto x um inteiro positivo L(x) chamado “nível” de x
Uma relação x R y definida em S, que se lê “x é um predecessor de y” ou “y é sucessor de x”. Essa relação deve obedecer às seguintes condições:
C1: há um único ponto a1 de nível 1. Esse ponto é chamado a origem da árvore.
C2: qualquer ponto diferente da origem tem um único predecessor.
C3: para quaisquer pontos x, y, se y for sucessor de x, então l(y) = l(x) + 1.
Ponto final = não tem sucessor
Ponto simples = apenas um sucessor
Ponto de junção = mais de um sucessor
Caminho: sequência de pontos
Caminho maximal (ramo): caminho cujo último termo é um ponto final da árvore ou um caminho que é infinito
De C1, C2 e C3 segue para qualquer ponto x existe um único caminho Px, diz-se y domina x ou x é dominado por y, se x domina y e x ≠ y, então diremos que x está acima de y ou que y está abaixo de x. Diz que x é comparável com y se x domina y ou y domina x e que y está entre x e z se y está acima de um dos elementos do par {x, z} e abaixo do outro.
Árvore ordenada ‘T’
É a primeira árvore não ordenada junto com uma função 𝚹 que atribui cada ponto de junção z em uma sequência 𝚹 (z) de todos os sucessores de z.
Representamos árvores ordenadas situando a origem no topo e os sucessores de cada ponto x abaixo de xm e na ordem na qual eles aparecem da esquerda para a direita; traçamos um segmento de linha de x até y para indicar que y é um sucessor de x.
Uma árvore é finitamente gerada se cada ponto tem apenas um número finito de sucessores.
Se uma árvore ‘T’ tem um número finito de pontos então ela é finita, se não é infinita.
Mike Pompeo
Alguém consegue me explicar por que Mike Pompeo sempre usa um rato em baixo do bigode? É para intimidar adversários políticos?
martes, 30 de abril de 2019
Markus Gabriel
Não concordo com quase nada do que disse esse senhor, mas fico feliz por ter um filósofo na capa do jornal
https://elpais.com/cultura/2019/04/17/actualidad/1555516749_100561.html
https://elpais.com/cultura/2019/04/17/actualidad/1555516749_100561.html
viernes, 19 de abril de 2019
Lista de autores analíticos
- Gottlob Frege
- Bertrand Russell
- G. E. Moore
- Ludwig Wittgenstein
- Willard Van Orman Quine
- Moritz Schlick
- J. L. Austin
- Daniel Dennett
- Donald Davidson
- John Rawls
- Alfred Tarski
- Karl Popper
- Edmund Gettier
- David Lewis
- Bertrand Russell
- G. E. Moore
- Ludwig Wittgenstein
- Willard Van Orman Quine
- Moritz Schlick
- J. L. Austin
- Daniel Dennett
- Donald Davidson
- John Rawls
- Alfred Tarski
- Karl Popper
- Edmund Gettier
- David Lewis
Lista de revistas acadêmicas de lógica
Lista de revistas acadêmicas de lógica:
- Journal of Mathematical Logic
- Journal of Logic and Computation
- Studia Logica
- Journal of Logical and Algebraic Methods in Programming
- Journal of Applied Non-Classical Logics
- Journal of Philosophical Logic
- Journal of Symbolic Logic
- Journal of Logic, Language and Information
- Archive for Mathematical Logic
- Notre Dame Journal of Formal Logic
- Logical Analysis and History of Philosophy
- Logica Universalis
- Nordic Journal of Philosophical Logic
- Bulletin of the Section of Logic
domingo, 31 de marzo de 2019
Das dúvidas sobre os prazeres
Não é necessário ser religioso para ter algumas dúvidas quanto aos prazeres. Tudo que retira dificuldades ou gera algum tipo de conforto nos faz dependentes. Como dizem: "com o bom é fácil se acostumar". Vide as família de classe média que quando perdem poder aquisitivo se endividam para manter o padrão de vida, por mais irracional e insustentável que seja essa situação.
jueves, 17 de enero de 2019
Vou tentar fazer um dossiê. Como eu estou de férias vou fazer com bom humor:
1) Comecemos com a FUNAG: ela é como se fosse a editora do Ministério das Relações Exteriores. (http://www.funag.gov.br/index.php/pt-br/funag). No site da FUNAG você pode baixar gratuitamente centenas de livros publicados pela fundação. Ou tem também a opção em comprá-los, pelo preço do papel. Nessa biblioteca digital (http://funag.gov.br/loja/index.php?route=product/category&path=62) tem desde a "guerra do Peloponeso" do Tucídides e o clássico "vinte anos de crise, até uma biografia do Oswaldo Aranha e um livro sobre as relações entre China e Brasil. Inclusive nessa biblioteca há o Caderno no qual está publicado aquele artigo "Trump e o Ocidente" do nosso querido Chanceler.
2) A FUNAG tinha uma série excelente chamada "manual do candidato", na qual elas publicam livros introdutórios às disciplinas do concurso dos diplomatas. Haviam livros de História do Brasil (http://funag.gov.br/loja/index.php?route=product/product&product_id=251), Noções de Direito (http://funag.gov.br/loja/index.php?route=product/product&product_id=119), História Mundial Contemporânea, (http://funag.gov.br/loja/index.php?route=product/product&product_id=120), geografia (http://funag.gov.br/loja/download/1014-Manual_do_candidato_-_Geografia.pdf), economia (http://funag.gov.br/loja/index.php?route=product/product&product_id=537), língua portuguesa, Inglês (http://funag.gov.br/loja/index.php?route=product/product&product_id=506), política internacional (http://funag.gov.br/loja/index.php?route=product/product&product_id=799).
Dá para perceber que todos os links estão fora do ar.
3) A questão começou quando o jornal O Globo [tirei uns prints da reportagem] publicou uma matéria com trechos da última página do livro, na qual o autor João Daniel Lima de Almeira dizia:
"Esquecidos salarialmente. Abandonados do ponto de vista dos equipamentos, armas e material bélico O
caso mais recente é a novela da compra dos caças que já
se arrasta há anos, na qual considerações políticas parecem se superpor às considerações técnicas e preferências
da Aeronáutica. Ridicularizados em suas posições políticas
anacrônicas. O clube militar que motivou a República, o tenentismo e debateu a questão do petróleo nos anos 50 é
retratado hoje como uma máquina do tempo, nostálgica e
excêntrica. O principal defensor dos interesses castrenses
no Congresso é um zelota do porte de Jair Bolsonaro, que
se orgulha de sua homofobia. Não poderiam estar em pior
situação desde o período regencial. Por terem se descolado do resto da sociedade desde o final do Regime Militar
foram relegados à irrelevância, posição profundamente
perigosa em um país com pretensões internacionais de
potência"
Essa é a ÚNICA referência ao Bolsonaro na página 581 do livro.
Suscribirse a:
Entradas (Atom)