Caros colegas,
estou lendo o livro do Moshé Machover: ``Set Theory, Logic and Their
Limitations’’ e me surgiu
uma dúvida com respeito aos cuidados que *precisamos* ter ao propor uma
definição.
A definição é na seção sobre cardinais, quando ele define prematuramente (de
maneira proposital)
a n
Bom dia a todos(as),
Me parece que é necessário fazer essa verificação sim. Imagine a seguinte
definição "análoga":
"Seja $X$ um conjunto, $[X]$ o conjunto quociente (obtido por meio de uma
relação de equivalência em $X$) e seja $\preceq$ uma ordem parcial
previamente definida em $X$.
Sejam $[a],
caros,
a sbfa tambem esta promovendo, este ano, a primeira edição de um prêmio
para melhores ensaios filosóficos.
http://vsbfa2018.blogspot.com.br
abraços,
marcos
*PRÊMIO PARA ENSAIOS V SBFA 2018*
Durante a sua V Conferência (VSBFA), a Sociedade Brasileira de Filosofia
Analítica, premiar
