To what extent are cognitive capacities, especially perceptual capacities, informationally encapsulated and to what extent are they cognitively penetrable? And why does this matter? Two reasons we care about encapsulation/penetrability are: (a) encapsulation is sometimes held to be definitional of modularity, and (b) penetrability has epistemological implications independent of modularity. I argue that modularity does not require encapsulation; that modularity may have epistemological implications independently of encapsulation; and that the epistemological implications of the cognitive penetrability of perception are messier than (...) is sometimes thought. (shrink)

Active materials are self-propelled non-living entities which, in some circumstances, exhibit a number of cognitively interesting behaviors such as gradient-following, avoiding obstacles, signaling and group coordination. This has led to scientific and philosophical discussion of whether this may make them useful as minimal models of cognition (Hanczyc, 2014; McGivern, 2019). Batterman and Rice (2014) have argued that what makes a minimal model explanatory is that the model is ultimately in the same universality class as the target system, which underpins why (...) it exhibits the same macrobehavior. We appeal to recent research in basal cognition (Lyon et al., 2021) to establish appropriate target systems and essential features of cognition as a target of modeling. Looking at self-propelled oil droplets, a type of active material, we do not find that organization alone indicates that these systems exhibit the essential features of cognition. We then examine the specific behaviors of oil droplets but also fail to find that these demonstrate the essential features of cognition. Without a universality class, Batterman & Rice’s account of the explanatory power of minimal models simply does not apply to cognition. However, we also want to stress that it is not intended to; cognition is not the same type of behavioral phenomena as those found in physics. We then look to the minimal cognition methodology of Beer (1996, 2020a, b) to show how active materials can be explanatorily valuable regardless of their cognitive status because they engage in specific behaviors that have traditionally been expected to involve internal representational dynamics, revealing misconceptions about the cognitive underpinnings of certain, specific behaviors in target systems where such behaviors are cognitive. Further, Beer’s models can also be genuinely explanatory by providing dynamical explanations. (shrink)

Antes de entrar cuidadosamente no estudo de cada filósofo, em suas respectivas ordens cronológicas, é necessário dar um panorama geral sobre eles, permitindo, de relance, a localização deles em tempos históricos e a associação de seus nomes com sua teoria ou tema central. l. OS FILÓSOFOS PRÉ-SOCRÁTICOS - No sétimo século antes de Jesus Cristo, nasce o primeiro filósofo grego: Tales de Mileto2 . Ele e os seguintes filósofos jônicos (Anaximandro: Ἀναξίμανδρος: 3 610-546 a.C.) e Anaxímenes: (Άναξιμένης: 586-524 a.C.) tentaram (...) expressar/elucidar o que é a arché, ou constitutivo fundamental do Universo. 4 Também sobressaem as teorias de Pitágoras (Ὁ Πυθαγόρας: 570 a.C.- 495 a.C.), completas de misticismo e Matemática; a de Heráclito (Ἡράκλειτος ὁ Ἐφέσιος: 540-470 a.C.), o filósofo do devir e o de seu oponente, Parmênides (Παρμενίδης: 530-460 a.C.), que elucida a primeira teoria do ser, e para qual é alcunhado como o iniciador da Metafísica. Anaxágoras (Ἀναξαγόρας: 500 a.C.- 428 a.C.) esboça uma teoria sobre o Nous, o espírito divino. Por outro lado, Demócrito (Δημόκριτος: Grécia: 460-370 a.C.) e Empédocles (Ἐμπεδοκλῆς: 490 a.C.-430 a.C.) insistem no materialismo. Em contrapartida, os sofistas (Parmênides, Cálicles (Καλλικλῆς: personagem platônico cuja existência é duvidosa) e Górgias (Γοργίας: 485 a.C.-380 a.C.)) gozam das suas aptidões à dialética, e colocam o relativismo como uma posição filosófica. Sócrates será o inimigo mais temível dessa posição. Este é o começo do movimento filosófico de Atenas, que culmina nos séculos quinto e quarto, tal qual, posteriormente, veremos. 2. O APOGEU GREGO – Sócrates (Σωκράτης: 469 a.C.-399 a.C.), Platão (Πλάτων: 428/427- 348/347 a.C.) e Aristóteles (Ἀριστοτέλης: 384 a.C.-322 a.C.) formam o triunvirato dos grandes filósofos gregos. O primeiro (Sócrates), com seu método "maiêutico" e sua teoria do conceito; o segundo (Platão), com sua teoria das ideias e seu estilo literário (dialogista); e o terceiro (Aristóteles), com a estruturação dos principais ramos filosóficos, como a Lógica, a Metafísica, a Ética, a Psicologia racional e a Política; todos eles elevaram a Filosofia para um posto de primeira ordem. Doravante, todos os filósofos tornam-se credores das contribuições desses gênios. Em certos autores, é clara a influência de Platão ou de Aristóteles. Sendo que, ambos os filósofos, tiveram influência absoluta de Sócrates, uma vez que Platão fora seu discípulo, e Aristóteles discípulo de Platão. A Idade Média, por exemplo, foi toda ela, em sua gênese e desenvolvimento, alicerçada no pensamento e nas ideias platônicas; tal era histórica é caracterizada pela luta em favor de um ou de outro autor; o platonismo tomou precedência nos primeiros séculos do cristianismo; somente após o décimo século Aristóteles foi redescoberto. 3. A FILOSOFIA CRISTÃ MEDIEVAL - Santo Agostinho (354 a.C.-430 a.C.) se destaca, no quinto século, com sua teoria da iluminação e a aplicação da teoria platônica ao Cristianismo. No século XIII, São Tomás de Aquino (1225-1274), sintetiza Aristóteles com o Cristianismo. Os dois autores formam o núcleo da filosofia cristã em seus respectivos séculos. A escolástica teve seu tempo de decadência. Se mencionam, principalmente, dois autores: João Duns Escoto (1266-1308) e Guilherme de Ockham (1285-1347). O primeiro é o "Doutor Sutil ", e o segundo cai em um fideísmo e um nominalismo, para todos os conceitos criticáveis. Em uma segunda parte, tentaremos explicar os respectivos pensamentos dos autores mencionados, e outros que pertencem ao mesmo tempo, antigos e medievais. Naquela época, a Filosofia era puramente realista, aplicada ao mundo e ao homem. Somente na Idade Moderna, a Filosofia assumirá o problema do conhecimento como a base e o começo de todo filosofar. 4. A FILOSOFIA RACIONALISTA (MODERNA) - Na Idade Moderna, sobressai o racionalismo de Descartes (1596-1650) prolongado, então, com Malebranche (1638-1715) (ocasionalismo), Espinosa (1632 -1677) (panteísmo) e Leibniz (1646-1716) (teoria das mônadas). Estamos nos séculos XVII e XVIII. A atenção será focada nas disputas filosóficas da corrente empirista contra a racionalista. 5. A FILOSOFIA EMPIRISTA – O empirismo é florescido, principalmente, na Inglaterra. Francis Bacon (1561-1626), primeiro, e depois Locke (1632-1704) com sua rejeição de ideias inatas, Berkeley (1685-1753) com postura e ideias paradoxais, também idealistas e Hume (1711-1776), com suas famosas críticas contra o princípio da causalidade e o conceito de substância, são os principais autores. 6. KANT E OS IDEALISTAS ALEMÃES - Como a tentativa de sintetizar o racionalismo e empirismo, está a teoria de Kant (1724-1804), no século XVIII. Para o seu gênio seguido pelos três idealistas alemães mais importantes: Fichte (1762-1814) (idealismo subjetivo), Schelling (1775-1854) (idealismo objetivo) e Hegel (1770-1831) (idealismo absoluto). Esses Autores representam o ápice da especulação filosófica. A análise, a profundidade, a complexidade da expressão e o espírito sistemático são as características do gênio alemão idealista. 7. OS FILÓSOFOS DO SÉCULO XIX - Antes de tudo, é necessário mencionar, no século dezenove, aos dois grandes críticos de Hegel, que são Kierkegaard (1813-1855) (precursor do existencialismo) e Marx (1818-1883) (com seu materialismo dialético). O próximo é outro casal: Nietzsche (1844-1900) (teoria do Super-homem) e Schopenhauer (1788-1860) (com seu absoluto pessimismo). Comte (1798-1857) com sua doutrina positivista, completará o quadro desses filósofos. Numa outra oportunidade, vamos desmembrar sobre o pensamento e principais ideias acerca desses autores. 8. OS FILÓSOFOS DO SÉCULO XX - Antes de tudo, há um autor que iluminou a filosofia do século XX: Edmund Husserl (1859-1938), fundador do método fenomenológico. Em seguida, existem dois fluxos que são derivados diretamente de Husserl, a saber, o existencialismo e a axiologia. Dentro da corrente axiológica, estudaremos Scheler (1874-2928). Por outro lado, o existencialismo tem quatro autores principais; dois são alemães: Heidegger (1889-1976) e Jaspers (1883-1969); e os demais são franceses: Sartre (1905-1980) e Marcel (1889-1973). Heidegger insiste em que seu tema tratado em sua filosofia não é a unicidade do homem, mas o ser em geral. Jaspers é famoso por seu conceito de transcendência (Deus). Sartre é um antiteísta sincero, e seu existencialismo é definido como um pensamento que assume todas as consequências da negação de Deus. Em contraste, Gabriel Marcel é um filósofo Católico, que conseguiu uma análise profunda das situações humanas, que aparecem em íntima concordância com as verdades cristãs. Vamos terminar com Russell (1872-1970), autor básico do positivismo lógico. Cronologia de filósofos e suas escolas até nossos dias ➢ Filosofia Antiga - Escola naturalista da Jônia: Tales, Anaximandro e Anaxímenes; - Escola matemática da Itália: Pitágoras e os pitagóricos; - Escola idealista de Eléia: Xenófanes (570-475 a.C.), Parmênides, Zenão (490/85-420 a.C.) e Meliso (h.443); - Escola empirista: Heráclito, Empédocles e Anaxágoras; - Escola atomista de Abdera: Leucipo (h.437) e Demócrito; - Escolas de Atenas: - Sofistas: Protágoras (480-410), Górgias (484-375?); Sócrates, Platão e Aristóteles; - Pirronismo: Pirro (h.365-h.275); - Estoicismo: Zenão de Cítio (359/33-262) e Crisipo (281/77-208); - Epicurismo: Epicuro (341-270); - Nova Academia: Arcesilau (315-241) e Carnéades (214-129); Romanos: Sêneca (4 a.C.-65 d.C.), Marco Aurélio (121-180) e Cícero (106-43). - Escola greco-judia: Fílon de Alexandria (25 a.C.-50 d.C.); - Neoplatonismo: Plotino (204/5-270), Porfirio (h.233-304), Jâmblico (h.250-330) e Proclo (h.411-485). ➢ Filosofia patrística - Apologistas: São Justino (100/10-165), Ireneu de Lyon (h.140-h.l 77) e Atenágoras (fines s. II); - Alexandrinos: São Clemente (h.145/50-215) e Orígenes (h.185-255); - Africanos: Tertuliano (h.160-230), Arnóbio (h.260-h.327) e Lactâncio (nascido h. 250); - Gregos: São Basílio (h.330-379), São Gregório de Nazianzo (330-390), São Gregório de Níssa (330-390) e Pseudo-Dionísio (h.500); - Latinos: São Hilário (h.315-367), Santo Ambrósio (333-397) e Santo Agostinho; - Outros: Claudiano (+h.473), Boécio (480-524), São Isidoro (h.560-633) e Beda (672/3-735). ➢ Filosofia Medieval/Escolástica - Judeus: Isaac Israeli (+h.940), Salomão Ibn Gabirol (h.l020-p.l058) e Maimônides (1135- 1204); - Árabes: Alquindi (h. 796-874), Al-Farabi (870-950), Avicena (980-1037), Algazali (1058- 1111) e Averróis (1126-1198); - Escola palatina: Alcuíno de Iorque (730/5-804), Rábano Mauro (h.784-856), Escoto Erígena (h.810-h.870) e Papa Silvestre II (+1003); - Dialéticos: Santo Anselmo (1033/4-1109) e Pedro Abelardo (1079-1142); - Tradutores: Domingo Gundisalvo (meados s. XII), Gerardo de Cremona (h. 1114-1187); - Enciclopedistas: Teodorico de Chartres (+1155), Hugo de São Vitor (+1141) e Vicente de Beauvais (+1264); - Universidades: Guilherme de Auvergne (1180- 1249) e Sigerio de Brabante (+h.l284); - Dominicanos: São Alberto Magno (1206-1280) e Santo Tomás de Aquino; - Franciscanos: Alexandre de Hales (1170/80-1245), São Boaventura (1217-1274), Roger Bacon (h.1210/14-1292), João Duns Escoto, Raimundo Lulio (1235-1315) e Guilherme de Ockham (h.1285-1349). ➢ Filosofia Moderna - Humanistas Renascentistas: Ficino (1433-1499), Erasmo (1467-1536), Maquiavel (1469- 1527), Thomas More (1480-1535), Juan Luis Vives (1492-1540) e Giordano Bruno (1548- 1600); - Racionalismo: Descartes, Malebranche, Espinosa e Leibniz; - Empiristas: Francis Bacon, Thomas Hobbes (1588-1679), Locke, Berkeley e Hume; - Escola escocesa: Thomas Reid (1710-1796); Iluministas: Voltaire (1694-1778), Condillac (1715-1757), Diderot (1713-1784) e J. J. Rousseau (1712-1778). - Idealismo transcendental: Kant; - Idealismo subjetivo: Fichte; - Idealismo objetivo: Schelling; - Idealismo absoluto: Hegel; - Pessimismo: Schopenhauer; - Ecletismo: Cousin (1792-1867); - Positivismo: A. Comte, J. S. Mill (1806-1873) e H. Spencer (1820-1900); - Socialismo: H. Saint-Simon (1760-1825), Ch. Fourier (1772-1837) e K. Marx; - Vitalismo: Nietzsche e W. Dilthey (1833-1912). ➢ Filosofia Contemporânea - Intucionismo: H. Bergson (1859-1941); - Pragmatismo: Ch. S. Peirce (1839-1914), W. James (1842-1910) e J. Dewey (1859-1952); - Fenomenologia: Husserl, Scheler, N. Hartmann (1882-1950) e M. Merleau-Ponty (1908- 1961); - Existencialismo: Jaspers, Heidegger, Marcel e Sartre; - Atomismo lógico: B. Russell (1872-1970) e L. Wittgenstein (1889-1951); - Positivismo lógico: M. Schlick (1882-1936), R. Carnap (1891-1970 ) e A. J. Ayer (1910- 1990). - Filosofia analítica: J. L. Austin (1911-1960), G. Ryle (1900-1976), W.V.O. Quine (1908- 2000), P. F. Strawson (1919-2003) e H. Putnam (1926-); - Hermenêutica: H. G. Gadamer (1900-2002), P. Ricoeur (1913-2007) e J. Habermas (1929-). - Estruturalismo e pós-estruturalismo: F. de Saussure (1857-1913), C. Lévi-Strauss (1908- 2009) e M. Foucault (1926-1984). - Filosofia pós-moderna: J. F. Lyotard (1924-1999), G. Deleuze (1925-1995), J. Derrida (1930- 2004), R. Rorty (1931-2007) e G. Vattimo (1936-). - Comunitaristas: A. Maclntyre (1929-), Ch. Taylor (1931-). REFERÊNCIAS BIBLIOGRÁFICAS CHAUÍ, M. Iniciação à Filosofia. Vol. Único. 2ª ed. São Paulo: Ática, 2013. 460 p. SANTOS, R. dos. Filosofia: Uma breve introdução. 1ª ed. Pelotas: Dissertativo Incipiens, 2014. 108 p. . Rua do Riachuelo, 303, Centro, Rio de Janeiro, RJ Casa Histórica de Osório CEP: 20230-011 E-mail: [email protected]. (shrink)

This paper studies the relationship between labelled and nested calculi for propositional intuitionistic logic, first-order intuitionistic logic with non-constant domains and first-order intuitionistic logic with constant domains. It is shown that Fitting’s nested calculi naturally arise from their corresponding labelled calculi—for each of the aforementioned logics—via the elimination of structural rules in labelled derivations. The translational correspondence between the two types of systems is leveraged to show that the nested calculi inherit proof-theoretic properties from their associated labelled calculi, such as (...) completeness, invertibility of rules and cut admissibility. Since labelled calculi are easily obtained via a logic’s semantics, the method presented in this paper can be seen as one whereby refined versions of labelled calculi (containing nested calculi as fragments) with favourable properties are derived directly from a logic’s semantics. (shrink)

We provide a direct method for proving Craig interpolation for a range of modal and intuitionistic logics, including those containing a "converse" modality. We demonstrate this method for classical tense logic, its extensions with path axioms, and for bi-intuitionistic logic. These logics do not have straightforward formalisations in the traditional Gentzen-style sequent calculus, but have all been shown to have cut-free nested sequent calculi. The proof of the interpolation theorem uses these calculi and is purely syntactic, without resorting to embeddings, (...) semantic arguments, or interpreted connectives external to the underlying logical language. A novel feature of our proof includes an orthogonality condition for defining duality between interpolants. (shrink)

In this paper I challenge and adjudicate between the two positions that have come to prominence in the scientific realism debate: deployment realism and structural realism. I discuss a set of cases from the history of celestial mechanics, including some of the most important successes in the history of science. To the surprise of the deployment realist, these are novel predictive successes toward which theoretical constituents that are now seen to be patently false were genuinely deployed. Exploring the implications for (...) structural realism, I show that the need to accommodate these cases forces our notion of “structure” toward a dramatic depletion of logical content, threatening to render it explanatorily vacuous: the better structuralism fares against these historical examples, in terms of retention, the worse it fares in content and explanatory strength. I conclude by considering recent restrictions that serve to make “structure” more specific. I show however that these refinements will not suffice: the better structuralism fares in specificity and explanatory strength, the worse it fares against history. In light of these case studies, both deployment realism and structural realism are significantly threatened by the very historical challenge they were introduced to answer. (shrink)

Cognitive penetration of perception is the idea that what we see is influenced by such states as beliefs, expectations, and so on. A perceptual belief that results from cognitive penetration may be less justified than a nonpenetrated one. Inferentialism is a kind of internalist view that tries to account for this by claiming that some experiences are epistemically evaluable, on the basis of why the perceiver has that experience, and the familiar canons of good inference provide the appropriate standards by (...) which experiences are evaluated. I examine recent defenses of inferentialism by Susanna Siegel, Peter Markie, and Matthew McGrath and argue that the prospects for inferentialism are dim. (shrink)

This thesis introduces the "method of structural refinement", which serves as a means of transforming the relational semantics of a modal and/or constructive logic into an 'economical' proof system by connecting two proof-theoretic paradigms: labelled and nested sequent calculi. The formalism of labelled sequents has been successful in that cut-free calculi in possession of desirable proof-theoretic properties can be automatically generated for large classes of logics. Despite these qualities, labelled systems make use of a complicated syntax that explicitly incorporates the (...) semantics of the associated logic, and such systems typically violate the subformula property to a high degree. By contrast, nested sequent calculi employ a simpler syntax and adhere to a strict reading of the subformula property, making such systems useful in the design of automated reasoning algorithms. However, the downside of the nested sequent paradigm is that a general theory concerning the automated construction of such calculi (as in the labelled setting) is essentially absent, meaning that the construction of nested systems and the confirmation of their properties is usually done on a case-by-case basis. The refinement method connects both paradigms in a fruitful way, by transforming labelled systems into nested (or, refined labelled) systems with the properties of the former preserved throughout the transformation process. To demonstrate the method of refinement and some of its applications, we consider grammar logics, first-order intuitionistic logics, and deontic STIT logics. The introduced refined labelled calculi will be used to provide the first proof-search algorithms for deontic STIT logics. Furthermore, we employ our refined labelled calculi for grammar logics to show that every logic in the class possesses the effective Lyndon interpolation property. (shrink)

We employ a recently developed methodology -- called "structural refinement" -- to extract nested sequent systems for a sizable class of intuitionistic modal logics from their respective labelled sequent systems. This method can be seen as a means by which labelled sequent systems can be transformed into nested sequent systems through the introduction of propagation rules and the elimination of structural rules, followed by a notational translation. The nested systems we obtain incorporate propagation rules that are parameterized with formal grammars, (...) and which encode certain frame conditions expressible as first-order Horn formulae that correspond to a subclass of the Scott-Lemmon axioms. We show that our nested systems are sound, cut-free complete, and admit hp-admissibility of typical structural rules. (shrink)

Methods have been a controversial element in theories of knowledge for the last 40 years. Recent developments in theories of justification, concerning the identification and individuation of belief-forming processes, can shed new light on methods, solving some longstanding problems in the theory of knowledge. We needn’t and shouldn’t shy away from methods; rather, methods, construed as psychological processes of belief-formation, need to play a central role in any credible theory of knowledge.

A model of face representation, inspired by the biology of the visual system, is compared to experimental data on the perception of facial similarity. The face representation model uses aggregate primary visual cortex (V1) cell responses topographically linked to a grid covering the face, allowing comparison of shape and texture at corresponding points in two facial images. When a set of relatively similar faces was used as stimuli, this Linked Aggregate Code (LAC) predicted human performance in similarity judgment experiments. When (...) faces of perceivable categories were used, dimensions such as apparent sex and race emerged from the LAC model without training. The dimensional structure of the LAC similarity measure for the mixed category task displayed some psychologically plausible features but also highlighted differences between the model and the human similarity judgements. The human judgements exhibited a racial perceptual bias that was not shared by the LAC model. The results suggest that the LAC based similarity measure may offer a fertile starting point for further modelling studies of face representation in higher visual areas, including studies of the development of biases in face perception. (shrink)

The project of “public reason” claims to offer an epistemological resolution to the civic dilemma created by the clash of incompatible options for the rational exercise of freedom adopted by citizens in a diverse community. The present Article proposes, via consideration of a contrast between two classical accounts of dialectical reasoning, that the employment of “public reason,” in substantive due process analysis, is unworkable in theory and contrary to more reflective Supreme Court precedent. Although logical commonalities might be available to (...) pick out from the multitude of particularized accounts of what constitutes “civic order,” no “public reason” so derived could adequately capture - and thus be able to secure in a practical sense - any single determinate civic order, much less one that would be consistent with all citizens' conceptions of public order. Part I of this Article raises a number of issues for consideration relating to the epistemology of law and focuses especially on the concept of public reason and its critique. Part II addresses alternative approaches to legal reasoning suggested by classical accounts of practical reasoning and virtue theory and considers the operation of such legal analysis outside the area of substantive due process; Part III analyzes post-Lawrence case law confirming the dilemma created by the Supreme Court's ambiguous approaches to substantive due process and concludes that only one interpretation - that articulated fully in Washington v. Glucksberg and given lip service in Lawrence v. Texas - provides a method for resolving novel substantive due process challenges that is philosophically sound as well as historically coherent. Rather than perpetuating a fiction that denies the propriety of lawmaking unless based on principles that all citizens can rationally agree upon, an appropriate model of substantive due process analysis recognizes that law must inevitably be based upon principles that cannot be agreed upon by all citizens in virtue of rationality alone. -/- Abstract Footnotes (291) Beta -/- Revise My Submission -/- -/- One-Click Download | Share | Email | Add to Briefcase -/- Facebook | Twitter | Digg | Del.icio.us | CiteULike | Permalink Using the URL or DOI link below will ensure access to this page indefinitely -/- Based on your IP address, your paper is being delivered by: New York, USA Processing request. [Processing request.] Illinois, USA Processing request. [Processing request.] Brussels, Belgium Processing request. [Processing request.] Seoul, Korea Processing request. [Processing request.] California, USA Processing request. [Processing request.] -/- If you have any problems downloading this paper, please click on another Download Location above, or view our FAQ File name: SSRN-id1004757. ; Size: 424K -/- Sample Cover You will receive a black and white printed and perfect bound version of this document in 8 1/2 x 11 inch format, with glossy color front and back covers. Currently shipping to the US addresses only. Your order will be shipped within three business days. Quantity: Total Price = $0.50 plus shipping (U.S. Only) -/- If you have any problems with this purchase, please email [email protected] or call 1-585-442-8170. Reason's Freedom and the Dialectic of Ordered Liberty -/- Edward C. Lyons University of Notre Dame Law School -/- Cleveland State Law Review, Vol. 55, p. 157, 2007 -/- Abstract: The project of "public reason" claims to offer an epistemological resolution to the civic dilemma created by the clash of incompatible options for the rational exercise of freedom adopted by citizens in a diverse community. The present Article proposes, via consideration of a contrast between two classical accounts of dialectical reasoning, that the employment of "public reason," in substantive due process analysis, is unworkable in theory and contrary to more reflective Supreme Court precedent. Although logical commonalities might be available to pick out from the multitude of particularized accounts of what constitutes "civic order," no "public reason" so derived could adequately capture - and thus be able to secure in a practical sense - any single determinate civic order, much less one that would be consistent with all citizens' conceptions of public order. -/- Part I of this Article raises a number of issues for consideration relating to the epistemology of law and focuses especially on the concept of public reason and its critique. Part II addresses alternative approaches to legal reasoning suggested by classical accounts of practical reasoning and virtue theory and considers the operation of such legal analysis outside the area of substantive due process; Part III analyzes post-Lawrence case law confirming the dilemma created by the Supreme Court's ambiguous approaches to substantive due process and concludes that only one interpretation - that articulated fully in Washington v. Glucksberg and given lip service in Lawrence v. Texas - provides a method for resolving novel substantive due process challenges that is philosophically sound as well as historically coherent. -/- Rather than perpetuating a fiction that denies the propriety of lawmaking unless based on principles that all citizens can rationally agree upon, an appropriate model of substantive due process analysis recognizes that law must inevitably be based upon principles that cannot be agreed upon by all citizens in virtue of rationality alone. -/- Keywords: substantive due process, practical reason, public reason, Rawls, Casey, Lawrence, Glucksberg, Plato, Aristotle, Kant, Hegel, dialectic, autonomy, freedom -/- . (shrink)

Standpoint logic is a recently proposed formalism in the context of knowledge integration, which advocates a multi-perspective approach permitting reasoning with a selection of diverse and possibly conflicting standpoints rather than forcing their unification. In this paper, we introduce nested sequent calculi for propositional standpoint logics---proof systems that manipulate trees whose nodes are multisets of formulae---and show how to automate standpoint reasoning by means of non-deterministic proof-search algorithms. To obtain worst-case complexity-optimal proof-search, we introduce a novel technique in the context (...) of nested sequents, referred to as "coloring," which consists of taking a formula as input, guessing a certain coloring of its subformulae, and then running proof-search in a nested sequent calculus on the colored input. Our technique lets us decide the validity of standpoint formulae in CoNP since proof-search only produces a partial proof relative to each permitted coloring of the input. We show how all partial proofs can be fused together to construct a complete proof when the input is valid, and how certain partial proofs can be transformed into a counter-model when the input is invalid. These "certificates" (i.e. proofs and counter-models) serve as explanations of the (in)validity of the input. (shrink)

We generalize intuitionistic tense logics to the multi-modal case by placing grammar logics on an intuitionistic footing. We provide axiomatizations for a class of base intuitionistic grammar logics as well as provide axiomatizations for extensions with combinations of seriality axioms and what we call "intuitionistic path axioms". We show that each axiomatization is sound and complete with completeness being shown via a typical canonical model construction.

We introduce a framework that allows for the construction of sequent systems for expressive description logics extending ALC. Our framework not only covers a wide array of common description logics, but also allows for sequent systems to be obtained for extensions of description logics with special formulae that we call "role relational axioms." All sequent systems are sound, complete, and possess favorable properties such as height-preserving admissibility of common structural rules and height-preserving invertibility of rules.

Is perception cognitively penetrable, and what are the epistemological consequences if it is? I address the latter of these two questions, partly by reference to recent work by Athanassios Raftopoulos and Susanna Seigel. Against the usual, circularity, readings of cognitive penetrability, I argue that cognitive penetration can be epistemically virtuous, when---and only when---it increases the reliability of perception.

Reaction-diffusion systems which have reaction term satisfying f(-q) = -f(q) tend strongly to form striped patterns. Haken’s slaving principle is used to derive differential equations for unstable mode amplitudes close to the Turing instability. This connects a dynamical symmetry to pattern selection, with possible relevance to biological and chemical pattern-forming phenomena.

We present a technique for the analysis of pattern formation by a class of models for the formation of ocular dominance stripes in the striate cortex of some mammals. The method, which employs the adiabatic approximation to derive a set of ordinary differential equations for patterning modes, has been successfully applied to reaction-diffusion models for striped patterns [1]. Models of ocular dominance stripes have been studied [2,3] by computation, or by linearization of the model equations. These techniques do not provide (...) a rationale for the origin of the stripes. We show here that stripe formation is a non-linear property of the models. Our analysis indicates that stripe selection is closely linked to a property in the dynamics of the models which arises from a symmetry between ipsilateral and contralateral synapses to the visual cortex of a given hemisphere. (shrink)

The paper offers a solution to the generality problem for a reliabilist epistemology, by developing an “algorithm and parameters” scheme for type-individuating cognitive processes. Algorithms are detailed procedures for mapping inputs to outputs. Parameters are psychological variables that systematically affect processing. The relevant process type for a given token is given by the complete algorithmic characterization of the token, along with the values of all the causally relevant parameters. The typing that results is far removed from the typings of folk (...) psychology, and from much of the epistemology literature. But it is principled and empirically grounded, and shows good prospects for yielding the desired epistemological verdicts. The paper articulates and elaborates the theory, drawing out some of its consequences. Toward the end, the fleshed-out theory is applied to two important case studies: hallucination and cognitive penetration of perception. (shrink)

Broadly speaking, the contemporary scientific realist is concerned to justify belief in what we might call theoretical truth, which includes truth based on ampliative inference and truth about unobservables. Many, if not most, contemporary realists say scientific realism should be treated as ‘an overarching scientific hypothesis’ (Putnam 1978, p. 18). In its most basic form, the realist hypothesis states that theories enjoying general predictive success are true. This hypothesis becomes a hypothesis to be tested. To justify our belief in the (...) realist hypothesis, realists commonly put forward an argument known as the ‘no-miracles argument’. With respect to the basic hypothesis this argument can be stated as follows: it would be a miracle were our theories as successful as they are, were they not true; the only possible explanation for the general predictive success of our scientific theories is that they are true. (shrink)

In response to historical challenges, advocates of a sophisticated variant of scientific realism emphasize that theoretical systems can be divided into numerous constituents. Setting aside any epistemic commitment to the systems themselves, they maintain that we can justifiably believe those specific constituents that are deployed in key successful predictions. Stathis Psillos articulates an explicit criterion for discerning exactly which theoretical constituents qualify. I critique Psillos's criterion in detail. I then test the more general deployment realist intuition against a set of (...) well-known historical cases, whose significance has, I contend, been overlooked. I conclude that this sophisticated form of realism remains threatened by the historical argument that prompted it. A criterion for scientific realism Assessing the criterion A return to the crucial insight: responsibility A few case studies Assessing deployment realism. (shrink)

The New Evil Demon Problem is supposed to show that straightforward versions of reliabilism are false: reliability is not necessary for justification after all. I argue that it does no such thing. The reliabilist can count a number of beliefs as justified even in demon worlds, others as unjustified but having positive epistemic status nonetheless. The remaining beliefs---primarily perceptual beliefs---are not, on further reflection, intuitively justified after all. The reliabilist is right to count these beliefs as unjustified in demon worlds, (...) and it is a challenge for the internalist to be able to do so as well. (shrink)

Scientific realists have claimed that the posit that our theories are (approximately) true provides the best or the only explanation for their success . In response, I revive two non-realists explanations. I show that realists, in discarding them, have either misconstrued the phenomena to be explained or mischaracterized the relationship between these explanations and their own. I contend nonetheless that these non-realist competitors, as well as their realist counterparts, should be rejected; for none of them succeed in explaining a significant (...) list of successes. I propose a related non-realist explanation of success that appears to be the most suitable among those considered. (shrink)

Epistemic defeat is standardly understood in either evidentialist or responsibilist terms. The seminal treatment of defeat is an evidentialist one, due to John Pollock, who famously distinguishes between undercutting and rebutting defeaters. More recently, an orthogonal distinction due to Jennifer Lackey has become widely endorsed, between so-called doxastic (or psychological) and normative defeaters. We think that neither doxastic nor normative defeaters, as Lackey understands them, exist. Both of Lackey’s categories of defeat derive from implausible assumptions about epistemic responsibility. Although Pollock’s (...) evidentialist view is superior, the evidentialism per se can be purged from it, leaving a general structure of defeat that can be incorporated in a reliabilist theory that is neither evidentialist nor responsibilist in any way. (shrink)

Can beliefs that are not consciously formulated serve as part of an agent's evidence for other beliefs? A common view says no, any belief that is psychologically immediate is also epistemically immediate. I argue that some unconscious beliefs can serve as evidence, but other unconscious beliefs cannot. Person-level beliefs can serve as evidence, but subpersonal beliefs cannot. I try to clarify the nature of the personal/subpersonal distinction and to show how my proposal illuminates various epistemological problems and provides a principled (...) framework for solving other problems. (shrink)

The axiological tenet of scientific realism, “science seeks true theories,” is generally taken to rest on a corollary epistemological tenet, “we can justifiably believe that our successful theories achieve (or approximate) that aim.” While important debates have centered on, and have led to the refinement of, the epistemological tenet, the axiological tenet has suffered from neglect. I offer what I consider to be needed refinements to the axiological postulate. After showing an intimate relation between the refined postulate and ten theoretical (...) desiderata, I argue that the axiological postulate does not depend on its epistemological counterpart; epistemic humility can accompany us in the quest for truth. Upon contrasting my axiological postulate against the two dominant non-realist alternatives and the standard realist postulate, I contend that its explanatory and justificatory virtues render it, among the axiologies considered, the richest account of the scientific enterprise. (shrink)

This article endeavors to identify the strongest versions of the two primary arguments against epistemic scientific realism: the historical argument—generally dubbed “the pessimistic meta-induction”—and the argument from underdetermination. It is shown that, contrary to the literature, both can be understood as historically informed but logically validmodus tollensarguments. After specifying the question relevant to underdetermination and showing why empirical equivalence is unnecessary, two types of competitors to contemporary scientific theories are identified, both of which are informed by science itself. With the (...) content and structure of the two nonrealist arguments clarified, novel relations between them are uncovered, revealing the severity of their collective threat against epistemic realism and its “no-miracles” argument. The final section proposes, however, that the realist’s axiological tenet “science seeks truth” is not blocked. An attempt is made to indicate the promise for a nonepistemic, purely axiological scientific realism—here dubbed “Socratic scientific realism.”. (shrink)

The scientific realism debate has now reached an entirely new level of sophistication. Faced with increasingly focused challenges, epistemic scientific realists have appropriately revised their basic meta-hypothesis that successful scientific theories are approximately true: they have emphasized criteria that render realism far more selective and, so, plausible. As a framework for discussion, I use what I take to be the most influential current variant of selective epistemic realism, deployment realism. Toward the identification of new case studies that challenge this form (...) of realism, I break away from the standard list and look to the history of celestial mechanics, with an emphasis on twentieth century advances. I then articulate two purely deductive arguments that, I argue, properly capture the historical threat to realism. I contend that both the content and form of these novel challenges seriously threaten selective epistemic realism. I conclude on a positive note, however, arguing for selective realism at a higher level. Even in the face of threats to its epistemic tenet, scientific realism need not be rejected outright: concern with belief can be bracketed while nonetheless advocating core realist tenets. I show that, in contrast with epistemic deployment realism, a purely axiological scientific realism can account for key scientific practices made salient in my twentieth century case studies. And embracing the realists favored account of inference, inference to the best explanation, while pointing to a set of the most promising alternative selective realist meta-hypothesis, I show how testing the latter can be immensely valuable to our understanding of science. (shrink)

Much of the intuitive appeal of evidentialism results from conflating two importantly different conceptions of evidence. This is most clear in the case of perceptual justification, where experience is able to provide evidence in one sense of the term, although not in the sense that the evidentialist requires. I argue this, in part, by relying on a reading of the Sellarsian dilemma that differs from the version standardly encountered in contemporary epistemology, one that is aimed initially at the epistemology of (...) introspection but which generalizes to theories of perceptual justification as well. (shrink)

Outside of philosophy, ‘intuition’ means something like ‘knowing without knowing how you know’. Intuition in this broad sense is an important epistemological category. I distinguish intuition from perception and perception from perceptual experience, in order to discuss the distinctive psychological and epistemological status of evaluative property attributions. Although it is doubtful that we perceptually experience many evaluative properties and also somewhat unlikely that we perceive many evaluative properties, it is highly plausible that we intuit many instances of evaluative properties as (...) such. The resulting epistemological status of evaluative property attributions is very much like it would be if we literally perceived such properties. (shrink)

There are two primary arguments against scientific realism, one pertaining to underdetermination, the other to the history of science. While these arguments are usually treated as altogether distinct, P. Kyle Stanford's ‘problem of unconceived alternatives’ constitutes one kind of synthesis: I propose that Stanford's argument is best understood as a broad modus ponens underdetermination argument, into which he has inserted a unique variant of the historical pessimistic induction. After articulating three criticisms against Stanford's argument and the evidence that he offers, (...) I contend that, as it stands, Stanford's argument poses no threat to contemporary scientific realism. Nonetheless, upon identifying two useful insights present in Stanford's general strategy, I offer an alternative variant of the modus ponens underdetermination argument, one that, although historically informed by science, requires no inductive premises. I contend that this non-inductive but historically informed variant of the modus ponens clarifies and considerably strengthens the case against scientific realism. (shrink)

Four Challenges to Epistemic Scientific Realism—and the Socratic Alternative.

Stewart Cohen argues that much contemporary epistemological theorizing is hampered by the fact that ‘epistemic justification’ is a term of art and one that is never given any serious explication in a non-tendentious, theory-neutral way. He suggests that epistemologists are therefore better off theorizing in terms of rationality, rather than in terms of ‘epistemic justification’. Against this, I argue that even if the term ‘epistemic justification’ is not broadly known, the concept it picks out is quite familiar, and partly because (...) it’s a term of art, justification talk is a better vehicle for philosophical theorizing. ‘Rational’ is too unclear for our philosophical purposes, and the fact that ‘epistemic justification’ gets fleshed out by appeal to substantive, controversial theses is no obstacle to its playing the needed role in epistemological theorizing. (shrink)

This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for STIT logics. A new class of cut-free complete labelled sequent calculi G3LdmL^m_n, for multi-agent STIT with at most n-many choices, is introduced. We refine the calculi G3LdmL^m_n through the use of propagation rules and demonstrate the admissibility of their structural rules, resulting in auxiliary calculi Ldm^m_nL. In the single-agent case, we (...) show that the refined calculi Ldm^m_nL derive theorems within a restricted class of (forestlike) sequents, allowing us to provide proof-search algorithms that decide single-agent STIT logics. We prove that the proof-search algorithms are correct and terminate. (shrink)

Goldman, though still a reliabilist, has made some recent concessions to evidentialist epistemologies. I agree that reliabilism is most plausible when it incorporates certain evidentialist elements, but I try to minimize the evidentialist component. I argue that fewer beliefs require evidence than Goldman thinks, that Goldman should construe evidential fit in process reliabilist terms, rather than the way he does, and that this process reliabilist understanding of evidence illuminates such important epistemological concepts as propositional justification, ex ante justification, and defeat.

Reflections on Trevor Paglen's (ab)use of the JAFFE dataset.

Nearly everyone agrees that perception gives us justification and knowledge, and a great number of epistemologists endorse a particular two-part view about how this happens. The view is that perceptual beliefs get their justification from perceptual experiences, and that they do so by being based on them. Despite the ubiquity of these two views, I think that neither has very much going for it; on the contrary, there’s good reason not to believe either one of them.

Twenty-five years ago, my colleagues Miyuki Kamachi and Jiro Gyoba and I designed and photographed JAFFE, a set of facial expression images intended for use in a study of face perception. In 2019, without seeking permission or informing us, Kate Crawford and Trevor Paglen exhibited JAFFE in two widely publicized art shows. In addition, they published a nonfactual account of the images in the essay “Excavating AI: The Politics of Images in Machine Learning Training Sets.” The present article recounts the (...) creation of the JAFFE dataset and unravels each of Crawford and Paglen’s fallacious statements. I also discuss JAFFE more broadly in connection with research on facial expression, affective computing, and human-computer interaction. (shrink)

According to standard scientific realism, science seeks truth and we can justifiably believe that our successful theories achieve, or at least approximate, that goal. In this paper, I discuss the implications of the following competitor thesis: Any theory we may favor has competitors such that we cannot justifiably deny that they are approximately true. After defending that thesis, I articulate three specific threats it poses for standard scientific realism; one is epistemic, the other two are axiological (that is, pertaining to (...) the claim that science seeks truth). I also flag an additional axiological “challenge,” that of how one might justify the pursuit of a primary aim, such as truth. Bracketing epistemic realism, I argue that the axiological threats can be addressed by embracing a refined realist axiological hypothesis, one that specifies a specific subclass of true claims sought in science. And after identifying three potential responses to the axiological “challenge,” I contend that, while standard axiological realism appears to lack the resources required to utilize any of the responses, the refined realist axiology I embrace is well suited to each. (shrink)

We introduce translations between display calculus proofs and labeled calculus proofs in the context of tense logics. First, we show that every derivation in the display calculus for the minimal tense logic Kt extended with general path axioms can be effectively transformed into a derivation in the corresponding labeled calculus. Concerning the converse translation, we show that for Kt extended with path axioms, every derivation in the corresponding labeled calculus can be put into a special form that is translatable to (...) a derivation in the associated display calculus. A key insight in this converse translation is a canonical representation of display sequents as labeled polytrees. Labeled polytrees, which represent equivalence classes of display sequents modulo display postulates, also shed light on related correspondence results for tense logics. (shrink)

A general insight of 20th-century philosophy of science is that the acceptance of a scientific theory is grounded, not merely on a theory's relation to data, but on its status as having no, or being superior to its, competitors. I explore the ways in which scientific realists might be thought to utilise this insight, have in fact utilised it, and can legitimately utilise it. In more detail, I point out that, barring a natural but mistaken characterisation of scientific realism, traditional (...) realism has not utilised that insight regarding scientific theories, i.e., has not explicitly factored that insight into, and invoked it as justification for, what realists believe. Nonetheless, a new form of realism has. In response to a key historical threat, two of the most thoroughly developed contemporary versions of realism—one put forward by Jarrett Leplin, another by Stathis Psillos—are anchored on the sensible tactic of requiring that the theories to which realists commit themselves have no competitors. I argue, however, that the particular kind of non-competitor condition they invoke is illegitimate in the context of the realism debate. I contend further that invoking a non-competitor condition that is legitimate, sensible, and even, as it turns out, required in the context of the debate threatens to eliminate the possibility of scientific realism altogether. (shrink)

Systematicity theory—developed and articulated by Paul Hoyningen-Huene—and scientific realism constitute separate encompassing and empirical accounts of the nature of science. Standard scientific realism asserts the axiological thesis that science seeks truth and the epistemological thesis that we can justifiably believe our successful theories at least approximate that aim. By contrast, questions pertaining to truth are left “outside” systematicity theory’s “intended scope” ; the scientific realism debate is “simply not” its “focus”. However, given the continued centrality of that debate in the (...) general philosophy of science literature, and given that scientific realists also endeavor to provide an encompassing empirical account of science, I suggest that these two contemporary accounts have much to offer one another. Overlap for launching a discussion of their relations can be found in Nicholas Rescher’s work. Following through on a hint from Rescher, I embrace a non-epistemic, purely axiological scientific realism—what I have called, Socratic scientific realism. And, bracketing the realist’s epistemological thesis, I put forward the axiological tenet of scientific realism as a needed supplement to systematicity theory. There are two broad components to doing this. First, I seek to make clear that axiological realism and systematicity theory accord with one another. Toward that end, after addressing Hoyningen-Huene’s concerns about axiological analysis, I articulate a refined axiological realist meta-hypothesis: it is, in short, that the end toward which scientific inquiry is directed is an increase in a specific subclass of true claims. I then identify a key feature of scientific inquiry, not generally flagged explicitly, that I take to stand as shared terrain for the two empirical meta-hypotheses. And I argue that this feature can be informatively accounted for by my axiological meta-hypothesis. The second broad component goes beyond mere compatibility between the two positions: I argue that, in want of a systematic account of science, we are prompted to find an end toward which scientific inquiry is directed that is deeper than what systematicity theory offers. Specifically, I argue that my refined axiological realist meta-hypothesis is required to both explain and justify key dimensions of systematicity in science. To the quick question, what is it that the scientific enterprise is systematically doing? My quick answer is that it is systematically seeking to increase a particular subclass of true claims. (shrink)

Response to Horgan, Goldman, and Graham. Part of a book symposium on my _Perception and Basic Beliefs_.

In this work we answer a long standing request for temporal embeddings of deontic STIT logics by introducing the multi-agent STIT logic TDS . The logic is based upon atemporal utilitarian STIT logic. Yet, the logic presented here will be neutral: instead of committing ourselves to utilitarian theories, we prove the logic TDS sound and complete with respect to relational frames not employing any utilitarian function. We demonstrate how these neutral frames can be transformed into utilitarian temporal frames, while preserving (...) validity. Last, we discuss problems that arise from employing binary utility functions in a temporal setting. (shrink)

We present an investigation into the relation between design princi- ples in Japanese gardens, and their associated perceptual effects. This leads to the realization that a set of design principles described in a Japanese gardening text by Shingen (1466), shows many parallels to the visual effects of perceptual grouping, studied by the Gestalt school of psychology. Guidelines for composition of rock clusters closely relate to perception of visual figure. Garden design elements are arranged into patterns that simplify figure-ground segmentation, while (...) seemingly balancing the visual salience of subparts and the global arrangement. Visual ‘ground’ is analyzed via medial axis transformation (MAT), often associated with shape perception in humans. MAT analysis reveals implicit structure in the visual ground of a quintessential rock garden design. The MAT structure enables formal com- parison of structure of figure and ground. They share some aesthetic qualities, with interesting differences. Both contain naturalistic asymmetric, self-similar, branching structures. While the branching pattern of the ground converges towards the viewer, that of the figure converges in the opposite direction. (shrink)

Raftopoulos’s most recent book argues, among other things, for the cognitive impenetrability of early vision. Before we can assess any such claims, we need to know what’s meant by “early vision” and by “cognitive penetration”. In this contribution to this book symposium, I explore several different things that one might mean – indeed, that Raftopoulos might mean – by these terms. I argue that whatever criterion we choose for delineating early vision, we need a single criterion, not a mishmash of (...) distinct criteria. And I argue against defining cognitive penetration in partly epistemological terms, although it is fine to offer epistemological considerations in defending some definitions as capturing something of independent interest. Finally, I raise some questions about how we are to understand the “directness” of certain putative cognitive influences on perception and about whether there’s a decent rationale for restricting directness in the way that Raftopoulos apparently does. (shrink)