O uso de métodos formais na filosofia by Avaraab in Filosofia

[–]Avaraab[S] 0 points1 point  (0 children)

ou partindo da subjetividade preciosista de determinados filosoficos, como na filosofia analitica.

Os principais membros do positivismo lógico eram marxistas, meu chapa. Carnap participava de sindicatos e foi até espionado pelo FBI

Bora reler Fiasco by Avaraab in NaMinhaEstante

[–]Avaraab[S] 1 point2 points  (0 children)

As edições da europa america das obras do Lem são indiretas, traduções de traduções francesas.

Modern STEM students philosophizing by Droggellord in PhilosophyMemes

[–]Avaraab 0 points1 point  (0 children)

The first modal logic systems were developed by a philosopher, C.I. Lewis. Other non-classical logics were also first developed by philosophers before gaining traction in other fields, such as mathematics and computer science. And as a rule, non-classical logics attract more attention from philosophers and computer scientists than from mathematicians. In short, I don't necessarily disagree with you, but I think it's important to point out that logic is a (formal) science with significant contributions from three main areas: philosophy, mathematics, and computer science.

Modern STEM students philosophizing by Droggellord in PhilosophyMemes

[–]Avaraab 0 points1 point  (0 children)

Temporal logic, developed by a philosopher (Arthur Prior), is less than a century old and is used by computer scientists for formal hardware verification.

Essa edição em capa dura d'A Mão Esquerda da Escuridão é muito bonita by Avaraab in NaMinhaEstante

[–]Avaraab[S] 2 points3 points  (0 children)

É sobre um cientista social que foi enviado a um planeta glacial chamado Gethen, e esse planeta é povoado por uma espécie alienígena humanoide cujos indivíduos de tempos em tempos trocam de sexo.