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

OS Melhor de estudar é podermos ter sempre o privilégio de nos sentirmos burros e/ou ignorantes com boas justificativas. Pedro Possebon.
Não estude na cama. Não estude na cama porque você vai dormir. Eu estuda na cama. Eu estudo na cama porque nem mesmo eu estudando na cama consigo dormir. Pedro Possebon.
Errar um exercício é tão duro, nem parece que estou acostumado...
Pedro Possebon.
Gosto muito do meu método de estudo de matemática, planejei passar 25 minutos resolvendo exercícios antes da primeira pausa, e passei mais de uma hora entretido com eles, antes de sentir necessidade de pausar. Pedro Possebon.

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.

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?

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

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

O que é o Humor?

Humor para mim não é nada mais do que levar o estranhamento ao lugar comum.

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.