El estudio de los "cardinales grandes" es uno de los principales temas de investigación de la teoría de conjuntos y de la teoría de modelos que ha contribuido con el desarrollo de dichas disciplinas. Existe una gran variedad de tales cardinales, por ejemplo cardinales inaccesibles, débilmente compactos, Ramsey, medibles, supercompactos, etc. Tres valiosos teoremas clásicos sobre cardinales medibles son los siguientes: (i) compacidad débil, (ii) Si κ es un cardinal medible, entonces κ es un cardinal inaccesible y existen κ cardinales (...) inaccesibles menores que κ , y (iii) Si existe un cardinal medible, entonces el axioma de constructibilidad (V=L) es falso. El objetivo de este artículo es presentar una demostración de cada uno de estos tres teoremas en el contexto de la teoría de modelos usando ideas del texto de Chang y Keisler (Model Theory). Tales demostraciones tienen en común el uso del método de construcción de modelos llamado ultraproductos, de lógicas infinitarias o fragmentos de la lógica de segundo orden, y del axioma de elección. Cardinales grandes y/o ultraproductos son importantes en teoría de conjuntos, teoría de modelos, análisis matemático, teoría de la medida, probabilidades, topología, análisis funcional, física, teoría de números, finanzas, etc. (shrink)

En este artículo se presentan dos demostraciones del teorema de interpolación: Una para la lógica proposicional y otra para la lógica de primer orden. Ambas se realizan en el contexto de la teoría de modelos. El teorema de interpolación afirma que si A y B son fórmulas, donde A no es una contradicción, B no es válida, y B es una consecuencia lógica de A, entonces existe una fórmula C que esta escrita en el lenguaje común al de (...) A y de B, tal que C es una consecuencia lógica de A y B es una consecuencia lógica de C. El teorema de interpolación fue demostrado por primera vez para la lógica de primer orden por William Craig en 1957, y desde entonces se ha investigado la posibilidad de generalizarlo o aplicarlo. Dicho teorema tiene generalizaciones o aplicaciones en teoría de la demostración, teoría de modelos abstracta, ciencias de la computación, lógica modal, lógica intuicionista, etc. Se presentan ejemplos de aplicaciones o generalizaciones de la propiedad de interpolación relacionados con lógicas infinitarias, cuantificadores generalizados, segundo orden, no clásicas, abstractas, etc. También se ofrecen referencias de problemas abiertos sobre interpolación en el contexto de la teoría de modelos abstracta. (shrink)

Es conocido que el Teorema de Completitud de Gödel, el Teorema del Colapso Transitivo de Mostowski y el Principio de Reflexión son resultados muy útiles en las investigaciones de Lógica matemática y/o los Fundamentos de la matemática. El objetivo de este trabajo es presentar algunas demostraciones clásicas de tales resultados: Dos del Teorema de Completitud de Gödel, una del Teorema del Colapso Transitivo de Mostowski y una del Principio de Reflexión. Se aspira que estas notas sean (...) de utilidad para estudiar dichas pruebas. Vale la pena resaltar que entre los métodos matemáticos que se utilizan en tales demostraciones se encuentran: (1) La técnica de construcción de modelos a partir de constantes (o "método del conjunto maximal consistente con un conjunto de testigos" de Henkin) y (2) el Principio de inducción matemática en varias versiones [ (2.1) Inducción matemática sobre los números naturales y (2.2) Inducción transfinita ((2.2.1) Inducción transfinita sobre conjuntos bien ordenados cualesquiera, por ejemplo sobre un cardinal infinito Alef_alfa, (2.2.2) Inducción transfinita sobre una clase de conjuntos bien ordenada, por ejemplo sobre la "clase de todos los ordinales, finitos o infinitos", y (2.2.3) Inducción transfinita sobre relaciones bien fundamentadas, por ejemplo sobre la "relación de pertenencia" entre conjuntos)]. (shrink)

The objective of this article is to present an original proof of the following theorem: Thereis a generic extension of the Solovay’s model L(R) where there is a linear order of P(N)/fin that extends to the partial order (P(N)/f in), ≤*). Linear orders of P(N)/fin are important because, among other reasons, they allow constructing non-measurable sets, moreover they are applied in Ramsey's Theory .

El objetivo principal de este artículo es presentar la demostración directa del Teorema de compacidad de la Lógica de primer orden (Gama tiene un modelo si y sólo si cada subconjunto finito de Gama tiene un modelo) que se realiza utilizando el Método de construcción de modelos llamado "Ultraproductos" que, a su vez, usa "Ultrafiltros". Actualmente es más común demostrar el Teorema de compacidad como un corolario del Teorema de completitud de Gödel y usar el método de (...) reducción al absurdo para probarlo. Sin embargo, vale la pena estudiar también esta prueba directa que usa Ultraproductos porque dicha técnica tiene importantes aplicaciones en investigaciones contemporáneas de matemáticas, por ejemplo en la Teoría de conjuntos y en el Análisis. Al final del artículo se realiza un breve comentario sobre Compacidad, Ultraproductos, Cardinales grandes y Modelos no estándar. (shrink)

Saya telah membaca banyak diskusi baru-baru ini batas komputasi dan alam semesta sebagai komputer, berharap untuk menemukan beberapa komentar pada karya menakjubkan fisikawan polimatematika dan teori keputusan David Wolpert tetapi belum menemukan satu rujukan dan jadi aku menyajikan ringkasan ini sangat singkat. Wolpert terbukti beberapa impotensi yang menakjubkan atau teorema ketidaklengkapan (1992 untuk 2008-Lihat arxiv dot org) pada batas untuk kesimpulan (perhitungan) yang begitu umum mereka independen dari perangkat melakukan komputasi, dan bahkan independen dari hukum fisika, sehingga mereka berlaku (...) di seluruh komputer, fisika, dan perilaku manusia. Mereka memanfaatkan diagonalisasi Cantor, paradoks liar dan worldlines untuk memberikan apa yang mungkin menjadi teorema utama dalam teori mesin Turing, dan tampaknya memberikan wawasan ketidakmungkinan, ketidaklengkapan, batas komputasi, dan alam semesta sebagai komputer, di semua semesta yang mungkin dan semua makhluk atau mekanisme, menghasilkan, antara lain, non-kuantum prinsip ketidakpastian mekanik dan bukti monoteisme. Ada hubungan yang jelas dengan karya klasik Chaitin, Solomonoff, Komolgarov dan Wittgenstein dan dengan anggapan bahwa tidak ada program (dan dengan demikian tidak ada perangkat) dapat menghasilkan urutan (atau perangkat) dengan kompleksitas yang lebih besar daripada memiliki. Orang mungkin mengatakan bahwa tubuh kerja menyiratkan ateisme karena tidak dapat ada entitas yang lebih kompleks daripada alam semesta fisik dan dari sudut pandang Wittgensteinian, ' lebih kompleks ' tidak berarti (tidak memiliki kondisi kepuasan, yaitu, pembuat kebenaran atau tes). Bahkan ' Allah ' (yaitu, sebuah ' device'dengan waktu tak terbatas/ruang dan energi) tidak dapat menentukan apakah yang diberikan ' nomor ' adalah ' acak ', atau menemukan cara tertentu untuk menunjukkan bahwa diberikan ' formula ', ' teorema ' atau ' kalimat ' atau ' perangkat ' (semua ini menjadi permainan bahasa yang kompleks) adalah bagian dari ' sistem ' tertentu. Mereka yang ingin komprehensif up to date kerangka perilaku manusia dari dua systems tampilan modern dapat berkonsultasi buku saya 'struktur Logis filsafat, psikologi, mind dan bahasa dalam Ludwig wittgenstein dan John Searle ' 2nd Ed (2019). Mereka yang tertarik pada tulisan saya lebih mungkin melihat 'berbicara monyet--filsafat, psikologi, ilmu, agama dan politik di planet yang ditakdirkan--artikel dan ulasan 2006-2019 2nd Ed (2019) dan bunuh diri utopian delusi di 21st Century 4th Ed (2019). (shrink)

Ho letto molte recenti discussioni sui limiti del calcolo e dell'universo come computer, sperando di trovare alcuni commenti sull'incredibile lavoro del fisico polimatematico e del teorista delle decisioni David Wolpert, ma non ho trovato una sola citazione e quindi presento questo brevissimo riassunto. Wolpert si dimostrò una straordinaria impossibilità o incompletezza teoremi (1992-2008-see arxiv dot org) sui limiti dell'inferenza (calcolo) che sono così generali che sono indipendenti dal dispositivo che fa il calcolo, e anche indipendenti dalle leggi della fisica, in (...) modo che si applichino tra computer, fisica e comportamento umano. Fanno uso della diagonalizzazione di Cantor, del paradosso bugiardo e delle linee del mondo per fornire quello che potrebbe essere il teorema definitivo nella Teoria delle Macchine di Turing, e apparentemente forniscono intuizioni sull'impossibilità, l'incompletezza, i limiti del calcolo, e l'universo come computer, in tutti gli universi possibili e in tutti gli esseri o meccanismi, generando, tra le altre cose, un principio di incertezza meccanica non quantistica e una prova di monoteismo. Ci sono evidenti connessioni con l'opera classica di Chaitin, Solomonoff, Komolgarov e Wittgenstein e alla nozione che nessun programma (e quindi nessun dispositivo) può generare una sequenza (o dispositivo) con maggiore complessità di quella che possiede. Si potrebbe dire che questo corpo di lavoro implica l'ateismo poiché non può esserci alcuna entità più complessa dell'universo fisico e dal punto di vista della Wittgensteinian, "più complesso" non ha senso (non ha condizioni di soddisfazione, cioè, creatore di verità o test). Anche un 'Dio' (cioè un 'dispositivo'con tempo/spazio illimitato ed energia) non può, determinare se un dato "numero" è 'casuale', né trovare un modo per dimostrare che una determinata "formula", "teorema" o "sentenza" o "dispositivo" (tutti questi sono giochi linguistici complessi) fa parte di un particolare "sistema". Coloro che desiderano un quadro aggiornato completo per il comportamento umano dalla moderna vista a due systems possono consultare il mio libro 'La struttura logica dellafilosofia, psicologia, Mind e il linguaggio in Ludwig Wittgenstein e John Searle' 2nd ed (2019). Coloro che sono interessati a più dei miei scritti possono vedere 'TalkingMonkeys--Filosofia, Psicologia, Scienza, Religione e Politica su un Pianeta Condannato--Articoli e Recensioni 2006-2019nd ed (2019) e Suicidal Utopian Delusions nel 21st Century 4th ed (2019) . (shrink)

Philosophers have distinguished at least three different interpretations of Rawls’s difference principle. This principle claims that social and economic inequalities are to be arranged so that they are to the greatest benefit of the least advantaged. My aim in this paper is to show that according to the most attractive and plausible interpretation of that principle, which I call the reciprocity view, Rawls’s difference principle allows us to limit economic growth in order to preserve nature and protect the interests of (...) future generations, while still meeting the demands of justice concerning the least advantaged members of society. (shrink)

Eu li muitas discussões recentes sobre os limites da computação e do universo como computador, na esperança de encontrar alguns comentários sobre o trabalho surpreendente do físico polimatemático e teórico da decisão David Wolpert, mas não encontrei uma única citação e assim que eu apresento este muito breve Resumo. Wolpert provou alguma impossibilidade impressionante ou teoremas da incompletude (1992 a 2008-Veja arxiv dot org) nos limites à inferência (computação) que são tão gerais que são independentes do dispositivo que faz a (...) computação, e mesmo independente das leis da física, para que eles se apliquem em computadores, física e comportamento humano. Eles fazem uso da diagonalização de cantor, o paradoxo mentiroso e worldlines (linhas do mundo) para fornecer o que pode ser o teorema final na teoria da máquina de Turing, e, aparentemente, fornecer insights sobre a impossibilidade, incompletude, os limites da computação, e do universo como computador, em todos os universos possíveis e todos os seres ou mecanismos, gerando, entre outras coisas, um princípio de incerteza mecânica não quântica e uma prova de monoteísmo. Há umas conexões óbvias ao trabalho clássico de Chaitin, Solomonoff, Komolgarov e Wittgenstein e à noção que nenhum programa (e assim nenhum dispositivo) pode gerar uma seqüência (ou dispositivo) com maior complexidade do que possui. Pode-se dizer que este corpo de trabalho implica ateísmo, uma vez que não pode haver qualquer entidade mais complexa do que o universo físico e do ponto de vista Wittgensteiniano, ' mais complexo ' é sem sentido (não tem condições de satisfação, ou seja, criador de verdade ou teste). Mesmo um ' Deus ' (ou seja, um ' dispositivo ' com tempo ilimitado/espaço e energia) não pode determinar se um determinado ' número ' é ' aleatório ', nem encontrar uma determinada maneira de mostrar que uma determinada ' fórmula ', ' teorema ' ou ' sentença ' ou ' Device ' (todos estes sendo linguagem complexa jogos) faz parte de um determinado «sistema». Aqueles que desejam um quadro até à data detalhado para o comportamento humano da opinião moderna dos dois sistemas consultar meu livros Falando Macacos 3ª Ed (2019), A Estrutura Lógica da Filosofia, Psicologia, Mente e Linguagem em Ludwig Wittgenstein e John Searle 2a Ed (2019), Suicídio Pela Democracia,4aEd(2019), Entendendo as Conexões entre Ciência, Filosofia, Psicologia, Religião, Política e Economia Artigos e Análises 2006-2019 (2019), Ilusões Utópicas Suicidas no 21St século 5a Ed (2019), A Estrutura Lógica do Comportamento Humano (2019), e A Estrutura Lógica da Consciência (2019) y outras. (shrink)

In the Appendix I of his "Remarks on the Foundations of Mathematics", Wittgenstein elaborates a different interpretation of Gödel’s First Incompleteness Theorem, which we have come to refer to as "Gödel’s Theorem" or "Incompleteness Theorem". This nomenclature arises from the recognition that the so-called "Second Incompleteness Theorem" is essentially a corollary of the primary theorem. Wittgenstein aims to reassess Gödel’s conclusion that there exist true formulas not demonstrable within formal systems capable of representing a sufficient amount of arithmetic theory. Gödel’s (...) initial reaction, as well as other commentators, was that Wittgenstein had not understood the proof. Nevertheless, recent commentators view worthy commentaries in wittgensteinian writings: some commentators, such as Juliet Floyd and Hilary Putnam, distinguish between mathematical proof and philosophical prose that surrounds the theorem, making it possible to understand Wittgenstein’s remarks. Ultimately, Wittgenstein’s observations serve as a lens through which Gödel’s theorem can be reconsidered within the realm of non-classical logics, such as paraconsistent logic. (shrink)

It is commonly thought that Impossibility, Incompleteness, Paraconsistency, Undecidability, Randomness, Computability, Paradox, Uncertainty and the Limits of Reason are disparate scientific physical or mathematical issues having little or nothing in common. I suggest that they are largely standard philosophical problems (i.e., language games) which were mostly resolved by Wittgenstein over 80years ago. -/- “What we are ‘tempted to say’ in such a case is, of course, not philosophy, but it is its raw material. Thus, for example, what a mathematician is (...) inclined to say about the objectivity and reality of mathematical facts, is not a philosophy of mathematics, but something for philosophical treatment.” Wittgenstein PI 234 -/- "Philosophers constantly see the method of science before their eyes and are irresistibly tempted to ask and answer questions in the way science does. This tendency is the real source of metaphysics and leads the philosopher into complete darkness." Wittgenstein -/- I provide a brief summary of some of the major findings of two of the most eminent students of behavior of modern times, Ludwig Wittgenstein and John Searle, on the logical structure of intentionality (mind, language, behavior), taking as my starting point Wittgenstein’s fundamental discovery –that all truly ‘philosophical’ problems are the same—confusions about how to use language in a particular context, and so all solutions are the same—looking at how language can be used in the context at issue so that its truth conditions (Conditions of Satisfaction or COS) are clear. The basic problem is that one can say anything, but one cannot mean (state clear COS for) any arbitrary utterance and meaning is only possible in a very specific context. -/- I dissect some writings of a few of the major commentators on these issues from a Wittgensteinian viewpoint in the framework of the modern perspective of the two systems of thought (popularized as ‘thinking fast, thinking slow’), employing a new table of intentionality and new dual systems nomenclature. I show that this is a powerful heuristic for describing the true nature of these putative scientific, physical or mathematical issues which are really best approached as standard philosophical problems of how language is to be used (language games in Wittgenstein’s terminology). -/- It is my contention that the table of intentionality (rationality, mind, thought, language, personality etc.) that features prominently here describes more or less accurately, or at least serves as an heuristic for, how we think and behave, and so it encompasses not merely philosophy and psychology, but everything else (history, literature, mathematics, politics etc.). Note especially that intentionality and rationality as I (along with Searle, Wittgenstein and others) view it, includes both conscious deliberative linguistic System 2 and unconscious automated prelinguistic System 1 actions or reflexes. (shrink)

Es común escuchar que el mundo Occidental debe a los árabes el descubrimiento del álgebra. No obstante, el desarrollo de esta disciplina puede interpretarse como un crisol de distintas tradiciones científicas que fue posible gracias a la clasificación, traducción y crítica tanto de los clásicos como de las obras que los árabes obtuvieron de los pueblos que conquistaron. Entre estos trabajos se encontraba Los Elementos de Euclides. Los Elementos fueron cuidadosamente traducidos durante el califato de Al-Ma’mūn por el matemático Mohammed (...) ibn-Musa Al-Khwārizmī, autor de Al-jabr wa’l muqābalah, quien sentó los fundamentos de la disciplina que más tarde sería conocida como álgebra y quien, en la primera parte de su obra, nos proporciona tres métodos para resolver tres tipos de ecuaciones que llama “ecuaciones combinadas”. A lo largo de este artículo se ofrecen argumentos para sostener que los métodos para resolver estas ecuaciones constituyen una reinterpretación, en el terreno algebraico, de los teoremas 6, 7 y 8 del segundo libro de Los Elementos de Euclides. Mi objetivo es dar respuesta a la siguiente pregunta: ¿Qué lectura de Los elementos Euclides posibilitó la emergencia del álgebra en el mundo árabe? Para responderla necesario explorar el acercamiento que los árabes tuvieron con el Libro II de Los Elementos, con el fin de proponer una interpretación de los posibles factores que los llevaron a formular el álgebra. Esto último, en particular, se encuentra en la primera parte de la obra de Al-Khwārizmī. Palabras clave: Álgebra, Al-Khwārizmī, Euclides, Ecuación, Teorema. (shrink)

Una de las bifurcaciones en el debate contemporáneo sobre la legitimidad de la democracia explora si ésta ofrece ventajas distintivamente epistémicas frente a otras alternativas políticas. Quienes defienden la tesis de la democracia epistémica afirman que la democracia es instrumentalmente superior o equiparable a otras formas de organización política en lo que concierne a la obtención de varios bienes epistémicos. En este ensayo presento dos (grupos de) argumentos a favor de la democracia epistémica, que se inspiran en resultados formales: el (...) teorema del jurado de Condorcet [TJC] y el teorema ‘diversidad supera habilidad’ [DSH]. Pese a su gran atractivo, sostengo que estos argumentos son incapaces de respaldar dicha tesis: no brindan razones para considerar que la democracia es epistémicamente superior (o equiparable) a algunas alternativas políticas no democráticas. En su lugar, sugiero que, sin requerir un cambio radical en nuestras formas de organización política, la epistemología democrática –el estudio de las ‘circunstancias epistémicas de la democracia’– puede ofrecer valiosas lecciones de sobre cómo optimizar, en nuestra situación, instituciones y procedimientos de toma de decisiones. Para ello, primero distingo entre varias maneras de evaluar procedimientos de toma de decisión colectiva. Argumento que, al considerarlos como formas de organización política, un factor importante en la evaluación de tales procedimientos involucra asuntos fácticos sobre los cuales puede aspirarse a obtener o promover algunos bienes epistémicos. En este contexto, presento algunos de los argumentos más importantes a favor de la democracia epistémica. A continuación, reúno algunas de las objeciones sobre la aplicabilidad de dichos argumentos y ofrezco razones independientes para dudar de que ofrezcan apoyo a la tesis de la democracia epistémica. Finalmente, defiendo que la epistemología democrática puede desempeñar un papel significativo en la legitimación de formas de organización colectiva que podrían denominarse ‘democráticas’. (shrink)

Invited contribution to The Aim of Belief, a special issue of Teorema, guest-edited by J. Zalabardo.

A Revisão de Crenças estuda como agentes racionais mudam suas crenças ao receberem novas informações. O sistema AGM, trabalho mais influente desta área apresentado por Alchourrón, Gärdenfos e Makinson, postula critérios de racionalidade para os diferentes tipos de mudança de crenças e oferece construções explícitas para tais - a equivalência entre os postulados e operações é chamado de teroema da representação. Trabalhos recentes mostram como o paradigma AGM pode ser compatível com diferentes lógicas não-clássicas, o que é chamado de AGM-compatibilidade (...) - este é o caso da família de lógicas paraconsistentes que analisamos, as Lógicas da Inconsistência Formal (LFIs, da sigla em inglês). A despeito da AGM-compatibilidade, ao se partir de uma nova lógica sua racionalidade subjacente deve ser entendida e sua linguagem deve ser efetivamente usada. Propomos assim novas construções que de fato capturam a intuição presente na LFIs - é o que chamamos de sistema AGMo. Com isso, possibilitamos a estas lógicas uma nova interpretação, na esteira da epistemologia formal. Em uma abordagem alternativa, ao se partir da AGM-compatibilidade os resultados AGM podem ser diretamente aplicados às LFIs - o que chamamos de sistema AGMp. Em ambas abordagens, provamos os respectivos teoremas da representação sempre que necessário. (shrink)

El objetivo de este artículo es presentar una demostración de un teorema clásico sobre álgebras booleanas y ordenes parciales de relevancia actual en teoría de conjuntos, como por ejemplo, para aplicaciones del método de construcción de modelos llamado “forcing” (con álgebras booleanas completas o con órdenes parciales). El teorema que se prueba es el siguiente: “Todo orden parcial se puede extender a una única álgebra booleana completa (salvo isomorfismo)”. Donde extender significa “sumergir densamente”. Tal demostración se realiza utilizando (...) cortaduras de Dedekind siguiendo el texto “Set Theory” de Jech, y otras ideas propias del autor de este artículo. Adicionalmente, se formulan algunas versiones débiles del axioma de elección relacionadas con las álgebras booleanas, las cuales son también de gran importancia para la investigación en teoría de conjuntos y teoría de modelos, pues estas son poderosas técnicas de construcción de modelos, como por ejemplo, el teorema de compacidad (permite construir modelos no estándar, etc) y el teorema del ultrafiltro, que permite construir ultraproductos (pueden ser usados para investigar problemas de cardinales grandes, etc). Se presentan algunas referencias de problemas abiertos sobre el tema. -/- The objective of this paper is to present a demonstration of a classical theorem on boolean algebras and partial orders of current relevance in set theory, as for example, for applications of model construction method called forcing" (with boolean algebras complete or with partial orders). The theorem to be proved is as follows: Any partial order can be extended to a single complete boolean algebra (up to isomorphism)". Where to extend means embed densely". Such a demonstration is done using Dedekind's cuts following the text Set Theory" of Jech, and other ideas of the author of this article. In addition, some weak versions of the axiom of choice related to boolean algebras are formulated, which are also of great importance for the research in set theory and model theory, since this are powerful model construction techniques, such as the compactness theorem (allows the construction of non-standard models, etc.) and the ultralter theorem, which allows the construction of ultraproducts (can be used to investigate problems of large cardinals, etc). Some references of open problems on the subject are presented. (shrink)

Esta entrevista hecha al doctor Víctor Navarro Remesal pretende resolver la interrogante de cuál es la función que ha tenido siempre la cultura de los videojuegos en la sociedad. Para ello, el especialista responderá con conocimientos prácticos de la realidad. Es más, confrontará los teoremas vigentes de los Game Studies, los cuales buscan esa interacción de lo lúdico con lo social.

Ultrafilters are very important mathematical objects in mathematical research [6, 22, 23]. There are a wide variety of classical theorems in various branches of mathematics where ultrafilters are applied in their proof, and other classical theorems that deal directly with ultrafilters. The objective of this article is to contribute (in a divulgative way) to ultrafilter research by describing the demonstrations of some such theorems related (uniquely or in combination) to topology, Measure Theory, algebra, combinatorial infinite, set theory and first-order logic, (...) also formulating some updated open problems of set theory that refer to non-principal ultrafilters on N, the Mathias’s model and the Solovay’s model. -/- Resumen: Los ultrafiltros son objetos matemáticos muy importantes en la investigación matemática [6, 22, 23]. Existen una gran variedad de teoremas clásicos en diversas ramas de la matemática donde se aplican ultrafiltros en su demostración, y otros teoremas clásicos que tratan directamente sobre ultrafiltros. El objetivo de este artículo es contribuir (de una manera divulgativa) con la investigación sobre ultrafiltros describiendo las demostraciones de algunos de tales teoremas relacionados (de manera única o combinada) con topología, teoría de la medida, álgebra, combinatoria infinita, teoría de conjuntos y lógica de primer orden, formulando además algunos problemas abiertos actuales de la teoría de conjuntos que se refieren a ultrafiltros no principales sobre N, al Modelo de Mathias y al Modelo de Solovay. (shrink)

En este artículo realizamos una reconstrucción del Programa original de Hilbert antes del surgimiento de los teoremas limitativos de la tercera década del siglo pasado. Para tal reconstrucción empezaremos por mostrar lo que Torretti llama los primeros titubeos formales de Hilbert, es decir, la defensa por el método axiomático como enfoque fundamentante. Seguidamente, mostraremos como estos titubeos formales se establecen como un verdadero programa de investigación lógico-matemático y como dentro de dicho programa la inquietud por la decidibilidad de los problemas (...) matemáticos y en específico la decidibilidad de la Lógica de primer orden cobra peso. Luego pasamos a analizar como la inquietud por la decibilidad toma lugar dentro del pensamiento filosófico-matemático de Hilbert presentándose como uno de los grandes problemas a los cuales la metamatemática debe encontrar una solución, esto lo hacemos mostrando un contraste con autores, como John von Neumann y Roberto Torretti, quienes de alguna u otra manera no interpretan el problema de la decidibilidad de la Lógica de primer orden como un problema de peso dentro del programa original de Hilbert. Finalmente argumentamos que el resultado meta-teórico de Church puede entenderse como una refutación del optimismo intelectual que permea a todo el programa original de Hilbert. (shrink)

El objetivo de este artículo es presentar dos tópicos de Lógica matemática y sus fundamentos: El primer tópico es una actualización de la demostración de Alonzo Church del Teorema de completitud de Gödel para la Lógica de primer orden, la cual aparece en su texto "Introduction to Mathematical Logic" (1956) y usa el procedimientos efectivos de Forma normal prenexa y Forma normal de Skolem; y el segundo tópico es una demostración de que la propiedad de partición (tipo Ramsey) del (...) espacio topológico de Baire llamada "Propiedad de partición polarizada" es falsa en el Modelo Básico de Cohen. (shrink)

No ensaio “Wittgenstein on mathematics”, publicado no Oxford Handbook of Wittgenstein, Michael Potter procura não apenas analisar por que a filosofia da matemática de Wittgenstein é tão controvertida entre filósofos e matemáticos como justificar essa situação. Com esse intuito, Potter enfatiza o caráter inacabado das reflexões de Wittgenstein sobre a matemática. Neste artigo, tem-se por objetivo explicitar algumas inconsistências e contradições no pensamento matemático de Wittgenstein que ratificam as críticas que esse autor vem recebendo há décadas, mas que não tiveram (...) a mesma atenção dos especialistas que os comentários de Wittgenstein sobre os teoremas da incompletude de Kurt Gödel e suas discussões com Alan Turing sobre os fundamentos da matemática. (shrink)

El método axiomático estilo Hilbert es reconocido por la mayoría de los lógicos como un cálculo de gran dificultad, de aquí que uno de los primeros objetivos que se plantean es dar una prueba del teorema de la deducción para facilitar las derivaciones consecuentes, sin embargo, esto modifica la estructura de las derivaciones naturalizándolas. En el presente trabajo se brindarán definiciones de "axioma" y "corolario" con el fin de simplificar las derivaciones y aprehender el funcionamiento del cálculo sin modificar (...) la estructura de la prueba. Palabras clave: Método axiomático - Esquema - Axioma – Corolario – Teoría de la prueba. (shrink)

Este artigo oferece uma nova reconstrução para os argumentos do famoso segundo capítulo de Word and Object de Quine e sua idéia da Tradução Radical . De acordo com essa abordagem, o maior alvo de Quine é a noção de composicionalidade como sendo o elemento fundamental para qualquer teoria do significado. Em poucas palavras, não poderia haver nenhuma “teoria do significado”, para Quine, simplesmente porque a noção de composicionalidade deveria ser rejeitada como a concepção central da semântica. Além disso, tomamos (...) o cuidado de diferenciar argumentos empíricos de argumentos a priori de natureza modal. Esses últimos constituem-se no que propomos chamar de Teorema do Automorfismo de Quine , a idéia de que há maneiras alternativas de se reconstruir a estrutura gramatical de qualquer língua incluindo predicação e que poderiam manter invariantes todas as nossas predisposições para comportamento verbal sob quaisquer estados de coisas, atuais ou meramente possíveis. Em nosso entender, é esse teorema que determina fundamentalmente a rejeição da composicionalidade por Quine e, assim, de todas as teorias do significado. (shrink)

O MUNDO CONTEMPORÂNEO: CRESCIMENTO E DISTRIBUIÇÃO DA POPULAÇÃO MUNDIAL -/- -/- THE CONTEMPORANY WORLD: GROWTH AND DISTRIBUTION OF WORLD POPULATION -/- -/- Emanuel Isaque Cordeiro da Silva - IFPE-BJ/CAP-UFPE/ /UFRPE. [email protected] e [email protected]. (82)9.8143-8399 -/- PREMISSA -/- A população da Terra supera os 7,7 bilhões de habitantes , que se distribuem de forma desigual pela superfície do planeta. Em 2030, estima-se que serão mais de 8,6 bilhões de pessoas. As medidas para planejar o crescimento sustentável da população devem ser tomadas (...) desde já. -/- 1. CRESCIMENTO POPULACIONAL -/- A população mundial cresceu aceleradamente no século XX. O primeiro bilhão de habitantes do planeta foi registrado em 1800. O segundo bilhão, em 1925; o terceiro, em 1958; o quarto, em 1974; o quinto, em 1987; o sexto em 1999 e o sétimo bilhão em 2011. Estima-se que em 2050 haverá 9,3 bilhões de habitantes. Observe o gráfico que detalha o supracitado texto. -/- BAIXE O PDF! -/- O crescimento da população mundial se mede pela diferença entre o número de nascimentos e mortes em um ano. Quanto maior for essa diferença em favor dos nascimentos, maior será o crescimento da população. A taxa de natalidade, que é a relação entre os nascimentos em um ano e o total da população, tem apresentado queda nas últimas décadas. -/- O crescimento populacional no século XX está associado principalmente à diminuição das taxas de mortalidade. A diminuição da mortalidade teve várias causas, entre elas a revolução sanitária, que significou a expansão do saneamento básico e trouxe melhores condições de higiene principalmente nas cidades, reduzindo o número de doenças. Junto a isso, os avanços na medicina, como a descoberta dos antibióticos, possibilitaram que as pessoas vivessem mais, aumentando a expectativa de vida. -/- Os países ricos se beneficiaram primeiro, efeito que lentamente foi se espalhando pelo mundo. Nas nações muito pobres, principalmente as localizadas na Ásia e na África, onde a maior parte da população é rural, os avanços ainda são lentos. -/- 1.1 A queda desigual nas taxas de natalidade -/- As taxas de natalidade estão em queda no mundo todo por várias razões, entre as quais figura a crescente urbanização e o modo de vida nas cidades. O planejamento familiar, pelo qual os casais decidem o número de filhos que terão, e o uso de métodos anticoncepcionais se popularizaram, liberando a mulher para o estudo e o mercado de trabalho. -/- Nas nações com elevado desenvolvimento humano, as taxas de natalidade são muito baixas. Na Alemanha, por exemplo, em 2007, a população era de 80,9 milhões de habitantes, e sua taxa de natalidade igual a 8,2 nascidos por 1000 habitantes. Estima-se que, em 2020, o total de alemães será de 82,5 milhões e, em 2025, de 82,4 milhões, ou seja, a população absoluta vai diminuir. -/- A taxa de fecundidade, que corresponde ao número médio de filhos que uma mulher teria ao final de sua idade reprodutiva, também está em queda no Brasil. Em 1970, a mulher brasileira tinha, em média, 5,8 filhos. Em 2000, a média era de 2,3 filhos e, em 2007, de 2,0 filhos. Observe um censo da ONU, sobre a queda da fecundidade no Brasil. -/- BAIXE O PDF! -/- Em muitos países pobres, com baixo IDH (Índice de Desenvolvimento Humano), onde a população é predominantemente rural e as condições de vida são precárias, as taxas de natalidade, embora com tendência de queda, ainda são altas. Observe o gráfico que elaborei para uma elucidação mais clara do supracitado. -/- BAIXE O PDF! -/- No continente africano, elas são superiores a 2% ao ano. A população do Congo, por exemplo, em 2007, era de 65,7 milhões de pessoas, e a taxa de natalidade era de 3,4% ao ano. Prevê-se que, em 2020, o total de habitantes desse país será de aproximadamente 89,5 milhões e, em 2025, o país deverá ter 104 milhões de pessoas. Na Nigéria havia 141,4 milhões de habitantes em 2005. As projeções indicam que a população nigeriana será de 206 milhões em 2020. -/- 2. DISTRIBUIÇÃO DA POPULAÇÃO MUNDIAL -/- A população mundial não se distribui de forma homogênea pela superfície da Terra. Observe o mapa. Você perceberá que algumas regiões do planeta são fortemente povoadas, enquanto outras apresentam-se despovoadas. Essa distribuição está associada a fatores naturais, históricos e políticos. -/- BAIXE O PDF! -/- Fonte: IBGE. Acesso em Julho de 2019. -/- 2.1 Fatores desfavoráveis à ocupação -/- De maneira geral, fatores como relevo plano, clima ameno, solos férteis, grande quantidade de água disponível e proximidade de rios e mares tornam determinadas áreas mais propícias à ocupação humana. -/- A maior parte da população mundial mora em cidades, sobretudo nas regiões litorâneas, onde os portos estimularam o desenvolvimento de atividades econômicas. Os vales dos rios também apresentam elevada concentração populacional, devido à fertilidade dos solos, à disponibilidade de água e alimento (pesca) e à possibilidade de os rios servirem como vias de transporte e comunicação. -/- 2.2 Ocupação de áreas pouco favoráveis -/- A tecnologia facilita a ocupação de áreas pouco favoráveis à ocupação humana. A irrigação permite que se cultive em regiões desérticas e que ocorra a fixação de populações. -/- Em regiões muito frias, onde as temperaturas podem ser inferiores a -40 °C no inverno, a engenharia criou soluções para o aquecimento dos ambientes e permitiu a construção de áreas de comércio e circulação subterrâneas, onde a temperatura é controlada. -/- REFERENCIAL TEÓRICO -/- BACCI, M. L. Breve história da população mundial. 1ª ed. Portugal: Edições 70, 2013. -/- BARREAU, J. C.; BIGOT, G. Toda a geografia do mundo. 1ª ed. Portugal: Teorema Portugal, 2008. -/- DUPÂQUIER, J. A população no século XX. 1ª ed. Portugal: Edições Piaget, 2002. -/- VESENTINI, J. W. Geografia – o mundo em transição. 1ª ed. Vol. Único. São Paulo: Ática didáticos, 2009. -/- © Emanuel Isaque Cordeiro da Silva - PE, 2019. (shrink)

In his article 'Individualism and Descartes' (Teorema, vol. 16, pp. 71-86), William Ferraiolo puts into question the widely accepted interpretation of Descartes as an individualist about mental content. In this paper, I defend this interpretation of Descartes thought against Ferraiolo's objections. I hold, first, that the interpretation is not historically misguided. Second, I try to show that Descartes’s endorsement of anti-individualism would lead either to depriving skeptical hypotheses of their force or to rejecting the epistemological privilege of the first (...) person. Finally, I argue that Ferraiolo’s objections to the individualistic interpretation rest on two important errors: a misapprehension of the argumentative order of the Meditations and a confusion between the notions of causal and constitutive dependence of content on the external environment. (shrink)

Este livro se propõe a ser uma introdução fácil e acessível, porém rigorosa e tecnicamente precisa, à lógica. Prioridade é dada à clareza e lucidez na explicação das definições e teoremas, bem como à aplicação prática da lógica na análise de argumentos. O livro foi concebido de forma a permitir sua utilização por qualquer pessoa interessada em aprender lógica, independentemente de sua área de atuação ou bagagem teórica prévia. Em especial, ele deve ser útil a estudantes e professores de filosofia, (...) computação e matemática. (shrink)

RENÉ DESCARTES E O MÉTODO CARTESIANO -/- RENÉ DESCARTES AND THE CARTESIAN METHOD -/- Emanuel Isaque Cordeiro da Silva - CAP-UFPE, IFPE-BJ e UFRPE. E-mails: [email protected] e [email protected]. WhatsApp: (82)98143-8399. -/- INTRODUÇÃO -/- Antes de abordar a metafísica tal qual Descartes a propõe como uma sólida “fundamentação” das ciências e, também, antes de falar das ciências construídas para a busca desse fundamento, é necessário analisar o método cartesiano, salve que é a alma desse presente artigo. Não se trata apenas de (...) relatar os preceitos do método ao seu modelo matemático, e sim, também, para entender porque o método em si necessita de uma fundamentação alicerçada na metafísica. Mas isso é a maneira pelo qual o projeto revolucionário de Descartes substituiu a autoridade da tradição pela autoridade da razão. -/- I – UM PROJETO REVOLUCIONÁRIO -/- No se pode deixar atingir-se, lendo o Discurso do Método, pelo caráter revolucionário que Descartes queria conferir ao seu projeto. É notável, e vale salientar o cuidado que Descartes toma na primeira parte, sublinhando o que seu projeto tem de singular: “Assim, meu propósito não é ensinar aqui o método que cada um deve seguir para bem conduzir sua razão, mas somente mostrar de que modo procurei conduzir a minha” (DESCARTES, 1996. p. 5). Ainda mais notável é o fato escolhido por Descartes e destacado na segunda parte, a da casa que deve ser derrubada para reconstruí-la: -/- É verdade que não vemos demolirem-se todas as casas de uma cidade só com o propósito de refazê-las de outra forma e de tornar as ruas mais belas, mas não é incomum vermos muitos mandarem derrubar as suas para reconstruí-las, e até, por vezes, a isso são obrigados quando elas correm o risco de cair por si mesmas e os alicerces não estão muito firmes (DESCARTES, 1996. pp. 17-18). -/- Descartes enfatiza explicitamente a oposição entre tal abordagem e a estratégia reformista de “redigitar” a sua casa, organizando-a, reparando-a aqui e ali. Certamente ele está combatendo a ideia revolucionária na política, o design ambicioso daqueles que querem perturbar o Estado, porque nesta área a destruição tornaria a reconstrução futura impossível. Mas o que é insano sobre “uma cidade inteira” torna-se possível quando se trata de cada um de sua própria casa. -/- O que é possível torna-se necessário, quando a casa ameaça entrar em colapso, uma vez que seus alicerces são vulneráveis. Casa vacilante, que seria inútil só querer reparar, é assim que Descartes considera o todo “opiniões” que lhe foram transmitidas em sua educação. Essas opiniões são, acima de tudo, incertas: pode haver alguma verdade nelas, mas provavelmente também há o lado falso, e essa mistura indissociável faz com que todas sejam falsas, a verdade só tem valor para nós se pudermos distinguir com certeza do erro. -/- O julgamento negativo de Descartes de tudo o que ele tem, como escreve, “recebido em dívida”, pressupõe, é claro, uma crítica do conteúdo dessas opiniões e, acima de tudo, uma crítica aos princípios sobre os quais eles descansam. Mas isso não é o suficiente para fazer as pessoas entenderem a escolha inicial de uma abordagem revolucionária, de preferência ao empreendimento reformista, que seria criticar, uma após a outra, as opiniões recebidas, e consolidar, pouco a pouco, a sua “Casa”. Mais do que o conteúdo peculiar das opiniões recebidas, é o próprio fato que elas são recebidas, em uma aquisição desordenada e perigosa, o que importa. E se temos que revolucionar o conhecimento, se temos que destruir essas opiniões antes de substituí-las por outras é, antes de mais nada, uma questão de substituir conquista controlada da desordem e chance de sua aquisição, em vez de se limitar a correções que só aumentariam essa confusão. -/- Nisso, a decisão primeira de Descartes ultrapassa as circunstâncias históricas do seu aparecimento, e conserva em todos os tempos o valor de um modelo para o pensamento: a filosofia nasce de uma ruptura, não com esta ou aquela tradição, mas com a tradição como tal. -/- II – DESCARTES E A TRADIÇÃO -/- A tradição é um pensamento sem sujeito: pensamento que ninguém pensa, não pensa. Descartes se opõe ao requisito essencial, para toda ciência, de ser a matéria de um sujeito: não há ciência até que toda verdade seja reconhecida em seu poder de sugerir notícias, de acordo com uma sequência que deve ser reconhecida, para que eu (Descartes) possa reivindicar, de forma legítima, a ciência universal. Quando Descartes expressa essa afirmação, em seu próprio texto, em seus textos de juventude, o que nos parece ser a marca de uma excessiva arrogância, expressa, antes, uma condição inscrita na própria natureza do conhecimento. -/- O projeto revolucionário está assim ligado à uma ideia que Descartes enuncia no início da segunda parte do Discurso do Método: “[...] não há tanta perfeição nas obras compostas de várias peças, e feitas pelas mãos de vários mestres, como naquelas em que apenas um trabalhou” (DESCARTES, 1996. p. 15). Certamente, por “perfeição, Descartes entende menos a magnitude e a riqueza essa ordem e consistência. Ele reconhece que algumas áreas são, irremediavelmente, entregues à imperfeição. Este é o caso do Estado e das instituições políticas em geral: resultados não intencionais de uma multidão de ações históricas entrelaçadas, nossas instituições nunca correspondem a um projeto consciente, e não seria razoável empreender sua reforma de acordo com tal projeto. Descartes não ignora as virtudes da cooperação para a execução de atividades materiais complexas. Porque as aptidões corporais dos homens são distintas e capazes de se especializar, os indivíduos podem interferir uns com os outros e se harmonizar visando a colaboração do todo. -/- Não obstante, as obras de pensamento, as ciências em particular, não conseguem encontrar a perfeição de que são susceptíveis por serem construídas por sucessivas sedimentações históricas, de acordo com a descoberta uma das outras, fazendo com que todas essas descobertas, a ciência, não seria obra de ninguém. Se o exercício de uma atividade manual nos impede de praticar outra (porque as mesmas mãos dificilmente podem se exercitar ao mesmo tempo para cultivar os campos e tocar a cítara), o conhecimento de uma verdade nos ajuda a encontrar outras verdades. Finja que esse conhecimento é apenas uma contribuição fragmentada para uma síntese coletiva da qual o princípio nos escapa, é desconsiderar sua fecundidade, isto é, o que faz dele um verdadeiro conhecimento. -/- O que Descartes está lutando, essa necessidade de que todos participem de uma instituição já iniciada e que ninguém pode dominar, essa herança de aceitar, enriquecer e transmitir é o que chamamos de tradição: então ele escreve o Discurso do Método não em latim, linguagem de transmissão histórica do conhecimento, mas em francês, linguagem “vulgar”. Certamente, Descartes luta contra a tradição científica e filosófica em vigor em seu tempo, a herança já enfraquecida do pensamento de Aristóteles, transmitida durante a Idade Média pelas Universidades (o que denominamos de “escolasticismo”), mas ele luta acima de tudo em sua pretensão de manter seu valor de ser, precisamente, uma tradição. Esta não é uma luta em nome da “novidade” ou da “modernidade”, que são sempre definidas em relação a uma tradição, mas uma luta em nome da verdade, o que é mais antiga do que qualquer tradição. -/- III – A LIGAÇÃO ENTRE AUTORIDADE E A VERDADE -/- Descartes assim fórmula seu projeto, na segunda parte do Discurso do Método: [...] mas, quanto às opiniões que até então eu aceitara, o melhor que podia fazer era suprimi-las de uma vez por todas, a fim de substituí-las depois, ou por outras melhores, ou então pelas mesmas, quando eu as tivesse ajustado ao nível da razão (DESCARTES, 1996. p. 18). -/- Que uma opinião poderia ter sido recebido por ele em sua vida, sem ter sido ajustada ao nível da razão, significa que foi considerada a sua verdade, sem que ele tenha que se pronunciar sobre o julgamento do que declarava verdadeiro. Então foi um preconceito, que ele achava que era verdade apenas para tê-lo recebido, isto é, por causa de sua fonte. Que a afirmação de uma opinião como verdadeira é validada por sua fonte, e isso corresponde ao que denominamos como “argumento de autoridade”: é verdade porque Platão, ou Aristóteles, disseram isso. Agora é possível, é claro, descobrir verdades lendo Platão ou Aristóteles, desde que essas descobertas sejam não apenas para conferir Platão, Aristóteles, ou qualquer outro autor (“autoritário”), mas para encontrar a si mesmo com as verdades em questão. Parece, portanto, que a revolução cartesiana visa romper o elo entre as concepções de verdade e autoridade. -/- -/- Todavia, olhando mais de perto, veremos que esse não é o caso. Quebrar o elo entre autoridade e verdade é ser crítico, enquanto Descartes encara sim o “espírito da dúvida”. Ser crítico é estar interessado apenas no conteúdo das ideias e ser perfeitamente indiferente à sua fonte. Descartes, como supracitado, não se compromete a criticar suas antigas opiniões uma após a outra, o que seria o passo mais oposto ao princípio de autoridade, quanto mais indiferente à questão da fonte. O que Descartes propõe é bem diferente: ele propõe substituir, com todas as autoridades que estão fora dele (em seu exterior), pela autoridade que está nele (em seu interior), e que muitas vezes é até confundida, veremos isso. Agora é sobre “ajustar as opiniões ao nível da razão”: a razão, isto é, a razão de Descartes, tal qual o fala e presente em cada um, deve ser autoritária em matéria de verdade, deve ser o tribunal diante do qual tudo aparece. É uma interiorização do argumento de autoridade, não é uma rejeição deste argumento. -/- A interiorização da autoridade explica o lugar central da certeza na filosofia de Descartes. O que importa na verdade é a certeza de possuí-la, e essa certeza é uma ato de confiança em relação às fonte autorizada da verdade: tudo que é “ajustado ao nível da razão” será certo, se a razão for o que é autoritário. -/- Duas questões orientadoras sucessivas inspirarão a investigação da certeza: -/- 1 – A primeira consistirá em estabelecer o que ele realmente tem certeza, delimitando o domínio da certeza autêntica daquilo que é garantido pela autoridade da razão. 2 – A segunda consistirá em se perguntar se ele está certo em ter certeza sobre algo, porque a autoridade internalizada deve se questionar. -/- A primeira questão, considerada isoladamente, leva à ideia cartesiana de método. O conjunto das duas questões, a passagem da primeira para a segunda, depois da segunda para a primeira, constitui a metafísica de Descartes. -/- IV – O QUE É A RAZÃO ? -/- O que significa ter razão em um tribunal? As primeiras linhas do Discurso do Método definem a razão como sendo um senso comum, isto é, a faculdade de distinguir a verdade da mentira, o que nos diferencia dos animais. Em outras palavras, a razão é o poder, não para racionar, mas degenerar, pensando na medida em que se pronuncia sobre qualquer objeto que se apresente. Separado em um sentido de outras faculdades do pensamento, este poder está envolvido em qualquer operação de pensamento: a memória supõe um julgamento sobre o passado, o desejo um julgamento sobre o que procurar, o amor um julgamento sobre o que é digno de ser amado... Nesse sentido, a razão se confunde com o próprio pensamento. É até confuso, para todos, consigo mesmo, pois ninguém pode julgar sua razão sem voltar a agir: mesmo aqueles que estão acostumados a reclamar do que foi dado a eles nunca reivindicam, nota Descartes, uma razão de melhor qualidade: pois isso equivaleria a desqualificar essa afirmação conforme a expressam. -/- Coextensiva com o pensamento, a razão está em nós como uma luz natural. Como a luz do Sol que ilumina a variedade das coisas no mundo sem perder sua identidade, permanecendo a mesma luz, o pensamento julgador mantém sua unidade sem nunca se quebrar ou se perder, seja qual for os objetos aos quais se aplica: seja o que for que eu julgue, é sempre eu quem julgo. A ciência deve ser difundida mediante essa ideia, isto é, como um certo modo de julgar, ou pensar, e não dá diversidade de seus objetos. -/- -/- Rejeitar as opiniões recebidas, e julgadas boas porque foram recebidas, é recuperar o poder soberano de julgar aquilo que até então passou despercebido. Colocar a razão no tribunal não é uma novidade, mas uma revolução no sentido estrito, isto é, um retorno. A razão é o senso comum, o poder, não apenas para julgar, mas julgar bem, para distinguir o verdadeiro do falso. Julgar mal, tomar o falso pela verdade, não deve ser dotado de um “poder de julgar mal”, é errado usar nosso poder para julgar bem. A diferença entre o bem e o mal não está no poder, mas no uso desse poder, na maneira de usá-lo, de proceder quando se julga, em uma palavra, o método. É necessário romper com uma aquisição sem método de conhecimento, de acordo com as influências sofridas, e conferir a si mesmo um método firme, que será como o procedimento do tribunal da razão. E como nossa capacidade de comer é saudável por si só, esse método não deve ser tomado como uma técnica destinada para melhorá-lo, para torná-lo mais eficaz, e sim como uma higiene projetada para preservá-lo. -/- Mas onde encontrar as regras desse método? Em um domínio, precisamente, onde nosso poder de regulação ou gerenciamento tem sido relativamente preservado, fazendo com que se possa explorar esse domínio, descobri-lo e extrair dele um procedimento universal. Porque o pensamento sendo esta luz que ilumina de igual forma as variedades de tudo que se apresenta a ela, o que torna-se verdadeiro nesse domínio deve ser de todos os outros. Essa área de referência é o domínio da matemática. -/- V – O MODELO MATEMÁTICO -/- Descartes acredita que é no domínio da matemática e, precisamente da geometria, que os antigos fizeram descobertas difíceis e duradouras. A geometria dos antigos e a dos modernos e, especialmente a de François Viète (1540-1603), acrescentou a análise na matemática, o que denominamos de “álgebra”. A descoberta em 1631 da geometria analítica, que relaciona curvas geométricas com equações algébricas, é também o principal título de fama de Descartes como matemático. No entanto, não devemos superestimar a importância que esta descoberta teve para o próprio Descartes. Seu principal interesse era, em sua opinião, metodológico: permitia libertar a mente para simplificar as técnicas de cálculo. -/- Porque na matemática Descartes é compartilhado entre admiração pelo que eles permitem, e desprezo pelo que fazem com ele. A ideia de facilidade é o motivo comum dessa admiração e desprezo. Matemática é fácil, e sua virtude nos mostrar como o conhecimento é fácil, é fácil para o homem saber tudo o que ele pode saber, desde que o mesmo tenha tempo. Todavia, essa facilidade faz com que a atividade habitual dos matemáticos seja um pouco ridícula, a resolução de “problemas matemáticos”, que Descartes considerava como um mero divertimento, é dificilmente digna de consideração. É novamente em nome desse caso que Descartes mais uma vez repreende os antigos matemáticos por terem dado seus resultados mas obstruindo ou ocultando seu método, a fim de impressionar os crédulos, dificultando a aparência do que não é. O método está em contraste com o essencial do que pode ser aprendido com a matemática. -/- -/- Para identificar corretamente este método, é necessário abstrair os próprios objetos matemáticos (números, figuras etc.), que nos faz acreditar que a matemática é uma ciência especial ao lado das outras ciências, o que nos leva a uma divisão em ramos separados da mesma (aritmética, geometria, álgebra etc.). Então aparece uma matemática universal, consistindo no estudo de “vários relatórios ou proporções” que podem ser encontrados entre quaisquer objetos, para que possamos constituí-los em séries contínuas e deduzi-los uns dos outros, e chegar, daqueles que são conhecidos, àqueles que ainda não estão distantes, tão distantes como estão, tão ocultos como parecem ser. -/- Não há nada difícil em tal conhecimento, há apenas o simples e o complexo, e o tempo necessário para alcançar o complexo mediante o simples. Não há nada difícil porque não há nada oculto: se “conhecer” era a perigosa empreitada de se aventurar na dimensão secreta das coisas, seria necessário um gênio e o uso de poderes ocultos. Mas “conhecer” é um exercício do senso comum que direciona sua luz para tudo que pode esclarecer: é, portanto, suficiente para um método. -/- Nós todos sabemos que as primeiras verdades matemáticas são simples. Mas por que elas são? Porque elas nos contam tudo sem reservas, sem nada opaco, sobre tudo que estão falando e tratando: seu objeto é completamente iluminado, não há a necessidade de voltar à ele para aprofundá-lo indefinidamente, devemos passar para outro. Estas são representações estritamente adequadas ao que elas alegam, para representar o que Descartes denominou de ideais claras e distintas: claro, porque percebemos todos os elementos distintos, porque não podemos confundi-los com os outros. -/- Se a primeira verdade é considerada simples, a segunda, por sua vez, não parece ser assim. Seria, sem dúvida, considerada difícil, reservando uma parte do desconhecido se o enfrentássemos de frente. Mas é apenas complexo, isto é, só podemos entendê-lo depois de ter compreendido o primeiro, e depois entender que não há mais nada para entender no primeiro, e sim passar adiante: basta respeitar essa ordem, que é a ordem do nosso entendimento, para que seja também considerado uma ideia claro e distinta. -/- Até onde podemos prosseguir? Até o fim, de acordo com Descartes, até a conclusão do que podemos saber, uma vez que nossa mente, que agora é ordenada por nosso conhecimento, é limitada: limite claro, limite esse que não é misteriosamente abrigado no mundo ou na espessura da realidade. Abaixo desse limite, nosso conhecimento pode ser perfeito se for metódico. Abaixo do limite, nada oculto, nada profundo, tudo toma o seu lugar nas “longas cadeias de razões”; além do limite, nada escondido, apenas o que é não é nossa responsabilidade. -/- Se não há nada escondido, a realidade que conhecemos não vai além do que sabemos sobre ela. Logo, o método não é apenas uma maneira humana de pedir objetos a nossa conveniência: atribuindo-lhes o seu lugar em nossa ordem, tornando-os claros para nós, envolve-os em seu verdadeiro ser. A revolução cartesiana consiste, então, no fato de que as condições de nosso conhecimento definem a verdade do ser conhecido. -/- Não obstante, sempre perpetua-se uma “dificuldade”, que nada mais é do que o tempo. Se não há a necessidade de o gênio saber perfeitamente, leva tempo para ir do simples ao complexo. O homem só pode saber se tem tempo, muito tempo antes dele: essa preocupação para com a necessidade de tempo, retorna com uma obsessão sob a caneta e a perspectiva de Descartes. Essa necessidade, então, de ter tempo diferencia radicalmente, como veremos, o problema do conhecimento e da ação, da conduta a ser mantida na vida, da moralidade, uma vez que “as ações da vida muitas vezes não sofrem demora...”. -/- VI – REGRAS DO MÉTODO: OS QUATRO PRECEITOS -/- Podemos agora compreender os quatro preceitos aos quais, segundo Descartes, o método é reduzido (Discurso, segunda parte). -/- VI.I - Regra de evidência -/- O primeiro era de nunca aceitar coisa alguma como verdadeira sem que a conhecesse evidentemente como tal; ou seja, evitar cuidadosamente a precipitação e a prevenção, e não incluir em meus juízos nada além daquilo que se apresentasse tão clara e distintamente a meu espírito, que eu não tivesse nenhuma ocasião de pô-lo em dúvida (DESCARTES, 1996. p. 23). -/- Mesmo que sua declaração o duplique, é de fato um mesmo preceito acerca do que deve ser concebido como verdadeiro. Receber com método é esperar até que a coisa se apresente para ele: essa paciência, esse “cuidado”, remove os preconceitos característicos das ideias recebidas antes da hora, a precipitação e a prevenção que fazem parecer obscuro o que é o tempo. Se, nessa apresentação para ele, ele tomou um cuidado de aderir (nada mais) ao que é claro e distinto, é sem reserva que uma “coisa” pode ser recebida, sem poder surgir o risco, a “oportunidade”, de ter que voltar mais tarde: ele teria visto a sua verdade, e está evidência foi o suficiente para que ele pudesse duvidar disso. -/- VI.II - Regra de análise -/- “O segundo, dividir cada uma das dificuldades que examinasse em tantas parcelas quantas fosse possível e necessário para melhor resolvê-las” (DESCARTES, 1996. p. 23). Ora, o que é apresentado como difícil de examinar, na verdade não o é, é apenas complexo, composto de múltiplas parcelas. Quantas parcelas? É a resolução da dificuldade que deve decidir essa questão: quando um matemático consegue estabelecer um teorema “difícil”, ligando-o às proposições mais simples por uma cadeia contínua de deduções, ele sabe que não há mais nada a saber em seu objeto, que contém exatamente tantas divisões quantas forem necessárias para formar está série. Logo, não precisamos nos preocupar com mais nada. -/- VI.III - Regra de ordem -/- O terceiro, conduzir por ordem meus pensamentos, começando pelos objetos mais simples e mais fáceis de conhecer , para subir pouco a pouco, como por degraus, até o conhecimento dos mais compostos; e supondo certa ordem mesmo entre aqueles que não se precedem naturalmente uns aos outros (DESCARTES, 1996. p. 23). -/- Essa é a ordem, de acordo com os pensamentos de Descartes, o que pode ser visto no fato de que, entre os objetos mais simples e os mais complexos, a distinção está na ordem de facilidade, isto é, os primeiros são os mais fáceis de saber, enquanto o segundo, por sua vez, só pode ser conhecido quando dominamos a totalidade do primeiro. O importante é passar de um para o outro como por graus, numa série contínua, sem estar diante de um hiato como o conhecimento prévio não seria suficiente para deixar claro o novo conhecimento. E desde que está ordem de razões, fixando cada objeto em seu devido lugar, nos entrega em sua totalidade, é também a ordem objetiva, a ordem dos próprios objetos, tanto que não devemos hesitar em supor isso entre eles, mesmo quando o modo como se apresentam não revela ordem. -/- VI.IV - Regra de enumeração -/- “E, o último, fazer em tudo enumerações tão completas, e revisões tão gerais, que eu tivesse certeza de nada omitir” (DESCARTES, 1996. p. 23). Omitir alguma coisa séria destruir o próprio princípio da ordem das razões, uma vez que qualquer objeto só pode ser visto clara e distintamente se todos que o precederam também tiverem sido vistos em seu lugar. Se a dedução atingir este objeto, significa que nada foi omitido até então. Porém, quando a dedução torna-se muito longa, torna-se, também, mais difícil de mantê-la inteira, como deveria, sob o olhar da mente; somos então tentados a confiar apenas em sua memória. O preceito de enumeração não deve ser entendido como uma preocupação retrospectiva (certifique-se de que nada o tenha esquecido), mas no sentido atual, como os meios de manter em mente todas as evidências do passado necessárias para a evidência presente. Dos quatro preceitos do método, é o único a ter um caráter de técnica e não de simples higiene: é aqui que se confronta a única dificuldade real do conhecimento, o fato de que leva tempo, e sua consequência, recorrer à memória, à faculdade pela qual as velhas ideias descartenses foram “concebidas em sua dívida”. -/- -/- VII – O MÉTODO EXIGE UM FUNDAMENTO METAFÍSICO -/- O método permite responder à uma questão: do que tenho certeza? É certo que homens que seguem ideias aceitas também conhecem esse estado psicológico chamado “certeza”. Todavia, entre esse estado psicológico e a verdadeira certeza do conhecimento metódico, há uma diferença de que o primeiro está imune a “oportunidades” de duvidar, já que ele não tem autoconfiança. Toda oportunidade de dúvida que se apresenta transformaria essa “certeza” em incerteza: por isso que é sensato duvidar em princípio das opiniões recebidas, sem esperar, por assim dizer, oportunidades de duvidar, e decretar antecipadamente seu conteúdo incerto, não necessariamente substituí-lo por outro conteúdo, mas aceitar apenas o que lhe fora assegurado. -/- Poderia ser o mesmo com a certeza do conhecimento metódico? Pode ser apresentado a ele como uma oportunidade para duvidar, e seria sábio também duvidá-lo antecipadamente, submetendo-o a uma dúvida de princípio? Seria então uma dúvida muito diferente da anterior. Descartes exclamou que: “Se alguma vez duvidei um dia do que me aperfeiçoei seguramente, tal dúvida deveria permanecer fora da certeza: não a destruiria, nem mesmo a enfraqueceria, a colocaria em suspenso no vazio; ele não sugeriria para mim que eu talvez esteja menos certo do que pensava, mas sim que posso estar errado em ter tanta certeza. Eu vou manter minha certeza enquanto duvidoso, porque não haveria nenhuma esperança para eu encontrar melhor do que ela: minha única esperança seria descobrir que ela é verdadeiramente fundamentada, que eu confio com razão, e não porque eu não posso contrário.” -/- Mas por que uma oportunidade para duvidar dessa maneira? A própria razão, na medida em que é incontestavelmente autoritária, deve levantar essa dúvida por sua própria autoridade. É porque é autoritária que tem o direito de se perguntar sobre o que o autoriza, sobre o que o investe com tal autoridade. Afinal, a certeza de sua autoridade é uma certeza, que não pode ser classificada entre as certezas que ela nos ensina, uma vez que reconhecemos essa autoridade. -/- Por isso, é importante encontrar, para essa certeza, um fundamento para abrigá-lo, de uma vez por todas, desta suspeita sobre si mesmo. A busca por esse fundamento deve ser metódica, mas deve ao mesmo tempo abalar nossa confiança no método, a fim de encontrar o que o justifica. Essa busca paradoxal é o que Descartes denomina de "metafísica". Desdobra-se principalmente nas seis Meditações da Primeira Filosofia de 1641, geralmente chamadas de Meditações Metafísicas. Seu exame pode ser dividido em duas partes: -/- • o primeiro diz respeito à dúvida e ao seu trabalho; • o segundo diz respeito à fundação de certas ciências, ou seja, a existência de um Deus verdadeiro. -/- REFERENCIAL TEÓRICO -/- DESCARTES, R. Discurso do método. Trad. Maria Ermantina Galvão. 2ª ed. São Paulo: Martins Fontes, 1996. ______________. Discurso do método. Coleção Os pensadores, vol. XV. Trad. J. Guinsburg e Bento Prado Jr. 1ª ed. São Paulo: Abril Cultural, 1973. -/- Estimule a criatividade, respeite o direito autoral. -/- Emanuel Isaque Cordeiro da Silva © 2019. (shrink)

Nimeni nu ştie sigur dacă amintirea lui Newton despre măr a fost corectă, dar perspectiva lui aceasta este. Filosofii au crezut încă de la greci că mişcarea “naturală” a stelelor, planetelor, Soarelui şi Lunei este circulară. Kepler a stabilit că orbitele sunt de fapt eliptice, dar a crezut că mişcările planetelor este dictată de către o “forţă divină” emanată de la Soare, iar Newton şi-a dat seama că aceeaşi forţă care face ca o piatră aruncată să cadă înapoi pe Pământ, (...) ţine şi planetele pe orbita Soarelui, şi Luna pe orbita Pământului. În 1687, Isaac Newton a publicat Principia, în care face ipoteza legii pătratelor inverse a gravitației universale. Aplicarea legii gravitației lui Newton a permis obținerea multor informații detaliate pe care le avem despre planetele din Sistemul Solar, masa Soarelui și detalii despre quasari; chiar și existența unei materii întunecate se deduce din legea gravitației lui Newton. Deși nu am călătorit pe toate planetele și nici pe Soare, cunoaștem masele lor. Aceste mase se obțin prin aplicarea legilor gravitației la caracteristicile măsurate ale orbitei. În spațiu un obiect își menține orbita datorită forței gravitaționale care acționează asupra ei. Planeta orbitează stelele, stelele orbitează în centre galactice, galaxiile orbitează un centru de masă în grupuri și clusterele orbitează în superclustere. CUPRINS: Gravitația - Istoria teoriei gravitației - - Revoluția științifică - - Teoria lui Newton a gravitației - - Principiul echivalenței - - Relativitatea generală - - Gravitația și mecanica cuantică - Aspecte specifice - - Gravitația Pământului - - Ecuațiile pentru un corp care cade aproape de suprafața Pământului - - Gravitația și astronomia - - Radiații gravitaționale - - Viteza gravitației - Anomalii și discrepanțe Istoria teoriei gravitației - Antichitate - Era modernă - - Teoria lui Newton despre gravitație - - Explicații mecanice ale gravitației - - Relativitatea generală - - Gravitația și mecanica cuantică Isaac Newton - Ortodoxia creștină - Dumnezeu ca maestru creator - Alte credințe - Scrieri Legea gravitaţiei universale a lui Newton - Istorie - Forma modernă - - Forma vectorială - - Comparaţie cu forţa electromagnetică - - Reticenţele lui Newton - Aspecte problematice - - Preocupări teoretice privind expresia lui Newton - - Observații care contravin formulei lui Newton - - Reticențele lui Newton - - Soluția lui Einstein Isaac Newton vs. Robert Hooke - Opera și revendicările lui Hooke - Opera și revendicările lui Newton - Recunoașterea lui Newton - Controversa modernă a priorității - Schopenhauer despre Newton și Hooke Acțiunea la distanță - Ipotezele eterului - Corespondența cu Richard Bentley - Concluzii Explicarea gravitației prin eter - Curenți - Presiune statică Constanta gravitațională universală, G Legea inversului pătratului în gravitație - Formula - Justificare - Gravitația Gravitaţia Pământului - Ecuațiile pentru un corp în cădere în apropiere de suprafața Pământului Greutatea și imponderabilitatea - Greutatea în mecanica newtoniană - Istorie - - Newton - Relativitatea Mareele și gravitația - Caracteristici - Constituienți - Istoria fizicii mareelor - Forțe - Ecuațiile de maree ale lui Laplace - Mareele oceanelor - - Amplitudine și ciclu - - Batimetrie - Mareea Pământului - - Forța fluxului - - Mareea corporală - - Ceilalți contribuabili ai mareelor Pământului - Mareea atmosferei Pământului - - Caracteristici generale - Mareele lunare - - Componenta principală lunară semi-diurnă Câmpul gravitațional - Mecanica clasică Gravitația în interiroul unei planete (Teorema carcasei) - Dovezile lui Newton - - Forța pe un punct în interiorul unei sfere goale - Modelul preliminar de referință al pământului (PREM) Referințe Despre autor - Nicolae Sfetcu - - De același autor - - Contact Editura - MultiMedia Publishing . (shrink)

ABSTRACT In this paper I defend a version of Wittgensteininan contextualism. This is a view about justification on which some beliefs are epistemically appropriate because evidence cannot be adduced in their favour. I trace the history of the view from Wittgenstein and Ortega to the present day, defend one version from the charge of relativism, and suggest some applications of the view both within and without philosophy.

This paper focuses on the framework for the compositional relations of properties in the sciences, or "realization relations", offered by Ken Aizawa and Carl Gillett (A&G) in a series of papers, and in particular on the analysis of "multiple realizations" they build upon it. I argue that A&G's analysis of multiple realization requires an account of levels and I try to show, then, that the A&G framework is not successful under any of the extant accounts of levels. There is consequently (...) a real concern tha thte A&G framework for realization may not be viable. (shrink)

This paper proposes an intermediate account of personhood, based on the capacity to participate in intersubjective interactions. We articulate our proposal as a reply to liberal and restrictive accounts, taking Mark Rowlands’ and Stephen Darwall’s proposals as contemporary representatives of each view, respectively. We argue that both accounts fall short of dealing with borderline cases and defend our intermediate view: The criteria of personhood based on the second-person perspective of mental state attribution. According to it, a person should be able (...) to participate in intersubjective interactions. We apply our proposal to the borderline cases of non-human primates and human infants. (shrink)

Eliminativism about macroscopic material objects claims that we do not need to include tables in our ontology, and that any job – practical or theoretical – they have to do can be done by 'atoms arranged tablewise'. This way of introducing eliminativism faces the worry that if there are no 'atoms', that is, if there are no simples and the world is 'gunky', there are no suitable entities to be 'arranged tablewise'. In this article, I discuss various strategies the eliminativist (...) can have to face this objection, and I conclude by showing that the objection is actually misdirected and does not threaten eliminativism at all. (shrink)

There are three main traditional accounts of vagueness : one takes it as a genuinely metaphysical phenomenon, one takes it as a phenomenon of ignorance, and one takes it as a linguistic or conceptual phenomenon. In this paper I first very briefly present these views, especially the epistemicist and supervaluationist strategies, and shortly point to some well-known problems that the views carry. I then examine a 'statistical epistemicist' account of vagueness that is designed to avoid precisely these problems – it (...) will be a view that provides an account of the phenomenon of vagueness as coming from our linguistic practices, while insisting that meaning supervenes on use, and that our use of vague terms does yield sharp and precise meanings, which we ignore, thus allowing bivalence to hold. (shrink)

By means of the Rollback Argument, this paper argues that metaphysically robust probabilities are incompatible with a kind of control which can ensure that free actions are not a matter of chance. Our main objection to those (typically agent-causal) theories which both attribute a kind of control to agents that eliminates the role of chance concerning free actions and ascribe probabilities to options of decisions is that metaphysically robust probabilities should be posited only if they can have a metaphysical explanatory (...) role but probabilities can explain anything only if chance has a role. First, we reconstruct the Rollback Argument. Second, we criticize the standard ways of reconciling non-chancy control with metaphysically robust probabilities. Finally, we respond to those worries that are related to the thought experiment of the Rollback Argument. (shrink)

Review of Maddy, Penelope "Defending the Axioms".

Some recent literature [Hicks, M. T. and van Elswyk. P., (2015) pp. 433-443, 2015; Bhogal, H. (2017), pp. 447-460] has argued that the non-Humean conceptions of laws of nature have a same weakness as the Humean conceptions of laws of nature. That is, both conceptions face an explanatory circularity problem. The argument is as follows: the Humean and the non-Humean conceptions of laws of nature agree that the law statements are universal generalisations; thus, both conceptions are vulnerable to an explanatory (...) circularity problem between the laws of nature and their instances. In this paper, I argue that Armstrong’s necessitarian view of laws of nature is invulnerable to this explanatory circularity problem. (shrink)

Alethic functionalism, as propounded by Michael Lynch, is the view that there are different ways to be true, but that these differences nevertheless contain enough unity to forestall outright pluralism. This view has many virtues. Yet, since one could conceivably apply Lynch’s “one and many” strategy to other debates, I try to show how his argumentative steps can be used to solve — not just the controversy pertaining to truth — but any controversy that surrounds a “What is X?” question.

In this paper we show that being blameworthy for not blaming and being blameworthy for victim blaming are structurally similar. Each involve the two traditional contours of moral responsibility: a knowledge condition and a control condition. But interestingly, in these cases knowledge and control are importantly interrelated. Being in a relationship with another person affords us varying degrees of knowledge about them. This knowledge in turn affords agents in relationships varying degrees of influence over one another. Cases where an agent (...) is especially blameworthy for failing to blame a friend, a close colleague, or a spouse highlight this. The interdependence of these two conditions in interpersonal relationships sheds (partial) light on why victim blaming is morally wrong. We argue that victim blamers suffer from a kind of moral myopia by only focusing on what the victim could do, in virtue of their being in a relationship of some sort with their abuser, to avoid abuse. We focus specifically on cases where such moral myopia is fueled by misogynistic and hierarchical gender schema and scripts. (shrink)

The aim of this paper is to show that there is a genuine difficulty in Kant’s argument regarding the connection between mechanism and teleology. But this difficulty is not the one that is usually underlined. Far from consisting in a contradiction between the first and the third Critique, I argue that the genuine difficulty is intrinsic to the antinomy of reflective judgement: rather than having any hope of resolving anything, it consists in an inescapable conflict. In order to support this (...) claim, I show firstly why converting the thesis of the antinomy about mechanism into reflective judgement does not require renunciation of the universality of causality demonstrated in the first Critique. Then, I suggest that the actual difficulty with Kant’s argument is that there is a genuine conflict inherent in the reflective form of the antinomy. Finally, I examine in detail the antinomy of reflective judgement and compare it to the other Kantian antinomies in order to show that its uniqueness makes it uniquely troubling. This leads me to conclude that the Kantian resolution of the conflict between mechanism and teleology is unsatisfactory. (shrink)

As Williamson puts it, ‘necessitism’ is the metaphysical view that claims that “necessarily everything is necessarily something”. As that claim involves modal unrestricted quantification, the necessitist must accept it as a part of an intelligible discourse. Here, I present one of the main objections that have been presented against the intelligibility of unrestricted quantification: the objection based on the so-called All-in-One Principle. I then propose possible strategies that the necessitist could adopt to shield themselves from the objection.

This paper investigates whether practical interests affect knowledge attributions in cases of testimony. It is argued that stakes impact testimonial knowledge attributions by increasing or decreasing the requirements for hearers to trust speakers and thereby gain the epistemic right to acquire knowledge via testimony. Standard, i.e. invariantist, reductionism and non-reductionism fail to provide a plausible account of testimony that is stakes sensitive, while non- invariantist versions of both traditional accounts can remedy this deficiency. Support for this conceptual analysis of stakes (...) is found through a review of the experimental philosophy literature on stakes effects on knowledge attribution. Finally, a diagnosis is offered for what is needed to provide a more robust defense of the paper’s primary claims in terms of future experimental study. (shrink)

Whether self-deceivers can be held morally responsible for their self-deception is largely a question of whether they have the requisite control over the acquisition and maintenance of their self-deceptive beliefs. In response to challenges to the notion that self-deception is intentional or requires contradictory beliefs, models treating self-deception as a species of motivated belief have gained ascendancy. On such so-called deflationary accounts, anxiety, fear, or desire triggers psychological processes that produce bias in favor of the target belief with the result (...) that self-deceivers acquire and retain false beliefs in the face of a preponderance of counter-evidence. On the face of it, such approaches seem to exculpate self-deceivers insofar as their self-deceptive belief is the result of such a process. In this essay, I examine the conditions under which self-deceivers might be culpable on deflationary models proposed by Neil Levy. In particular, I contend that contrary to Levy, a self-deceiver need not doubt the target belief nor recognize its moral importance to be held morally responsible. (shrink)