We analyze axioms and postulates as speech acts. After a brief historical appraisal of the concept of axiom in Euclid, Frege, and Hilbert, we evaluate contemporary axiomatics from a linguistic perspective. Our reading is inspired by Hilbert and is meant to account for the assertive, directive, and declarative components of modern axiomatics. We will do this by describing the constitutive and regulative roles that axioms possess with respect to the linguistic practice of mathematics.

Following logicism, Frege famously held that logic is a science on its own. Particularly, he held the informativity thesis, viz., that logic is a science because it is deductively informative. This paper aims to understand Frege’s informativity thesis and its connection with the conception of logic as science. For such, it focuses on some features of Frege’s philosophy that are key for understanding this connection, particularly his conception of analyticity, the role of judgments in inferential reasoning, and the use of (...) decomposition of functions as a means for concept-formation, which Frege names as fruitful definitions. Keywords: Gottlob Frege; Informativity of Logic; Judgements; Fruitful Definitions. (shrink)

Even though it is obvious that mathematics involves social activities, this rather trivial fact is rarely considered as important for its subject matter, mostly due to its undesired ontological consequences. An attempted solution for this tension was developed by Julian Cole’s institutional account of mathematics, named Practice- Dependent Realism. In the present paper, Cole’s account is evaluated, and its lights and shadows assessed concerning the ontological problem that he seeks to solve. I argue that his institutional account, although failing in (...) delivering a sufficient ontological account of mathematics, still opens an important linguistic route for explaining its practice. (shrink)

Em 2012, Jean Starobinski publicou o livro Accuser et Séduire. Essais sur Jean-Jacques Rousseau. Este livro, o último publicado e revisado pelo especialista francês, sobre a filosofia rousseauniana, traz no post-scriptum uma carta de Rousseau, que foi intitulada por Starobinski: La « Lettre sur la vertu », un texte oublié. Como o título sugere, não se trata de uma carta inédita, mas de uma carta, até então, pouco conhecida pelos pesquisadores. Com efeito, essa carta foi publicada pela primeira vez pelo (...) editor Paul Streckeisen-Moultou, em 1861, sob o título Lettres sur la vertu et le bonheur. Nela, Rousseau, ilustre por seu método hipotético dedutivo com o qual reconstitui o primórdio da humanidade no Discurso sobre a origem e os fundamentos da desigualdade entre os homens, insiste mais sobre a ordem civil, como no Contrato social, e menos sobre o estado de natureza, a fim de responder como a virtude e a felicidade estariam ligadas a sociabilidade. Trata-se, portanto, da tradução de uma carta inédita e pouco conhecida no Brasil. (shrink)

Therapeutic strategies capable of inducing and enhancing prosthesis embodiment are a key point for better adaptation to and acceptance of prosthetic limbs. In this study, we developed a training protocol using an EMG-based human-machine interface that was applied in the preprosthetic rehabilitation phase of people with amputation. This is a case series with the objective of evaluating the induction and enhancement of the embodiment of a virtual prosthesis. Six men and a woman with unilateral transfemoral traumatic amputation without previous use (...) of prostheses participated in the study. Participants performed a training protocol with the EMG-based HMI, composed of six sessions held twice a week, each lasting 30 mins. This system consisted of myoelectric control of the movements of a virtual prosthesis immersed in a 3D virtual environment. Additionally, vibrotactile stimuli were provided on the participant’s back corresponding to the movements performed. Embodiment was investigated from the following set of measurements: skin conductance response, crossmodal congruency effect, ability to control the virtual prosthesis, and reports before and after the training. The increase in the skin conductance response in conditions where the virtual prosthesis was threatened, recalibration of the peripersonal space perception identified by the crossmodal congruency effect, ability to control the virtual prosthesis, and participant reports consistently showed the induction and enhancement of virtual prosthesis embodiment. Therefore, this protocol using EMG-based HMI was shown to be a viable option to achieve and enhance the embodiment of a virtual prosthetic limb. (shrink)

Este artigo analisa oficinas de leitura efetuadas com alunos do primeiro ano do Ensino Médio de uma escola pública e de uma escola particular da cidade de Dourados/MS. Tais oficinas foram constituídas por textos que reconfiguravam a personagem Chapeuzinho Vermelho ao longo do tempo, e a mediação de leitura visava a buscar, nas interpretações dos estudantes, novas leituras acerca dos textos Chapeuzinho Vermelho, nas versões de Charles Perrault e dos irmãos Grimm; além do conto Fita Verde no Cabelo: nova velha (...) estória, de Guimarães Rosa. A expectativa era perceber como o público das distintas realidades tem interpretado textos, tomando como base os Modos de Leitura defendidos pelo teórico Rildo Cosson como mecanismos para interpretar textos literários em suas indagações durante as atividades. Portanto, apresentamos aqui a análise das transcrições de áudios gravados durante as Oficinas de Leitura. A metodologia adotada está baseada nos estudos de Alves e Silva para análises qualitativas. Ao final, concluímos que os estudantes da escola pública e da escola particular se valem dos Modos de Leitura para interpretações de textos literários, entretanto, os primeiros se mostram mais apegados às temáticas dos textos por identificação de suas realidades, tornando assim a leitura mais pessoal, sem recorrer a teorias literárias para suas interpretações, enquanto os outros, mais conhecedores de teorias e conceitos de literatura, tornam suas interpretações menos pessoais e mais práticas. Como referencial teórico, dialogamos com Cosson e com o Referencial Curricular da Educação Básica da Rede de Estadual de Ensino/MS – Ensino Médio, dentre outros. (shrink)

Introduction Due to the constant scientific and technological development, health professionals are regularly confronted with situations in which there are always therapeutic options, regardless of the severity of the patient’s condition. However, regarding these therapeutic options as feasible in all situations can be harmful, since it is universally accepted that, despite all advances in health, there are inevitable limits and the promotion of some interventions may be useless or futile. Objective To characterize the use of the concept of futility in (...) the health literature. Method Review of the literature following the Scoping Review protocol of the Joanna Briggs Institute. The research was performed in CINAHL, Cochrane, Pubmed, Scopus e Web of Science to identify studies published prior to 2020. Nineteen studies were selected. Results There is no universally accepted definition for the concept of futility. In the literature there are different conceptions for the concept of futility that point to qualitative and quantitative roots and that are associated with ethical dilemmas that make it difficult to conceptualize this concept and make it operational in clinical practice. Conclusion The central elements of the concept of futility include: the diagnosis of futility is closely related to clinical judgment; futility has both quantitative and qualitative roots; futility is always appreciated posteriori; futility is related to the lack of benefit. It is essential to promote a discussion that enables the definition of the concept and that makes it possible to promote ethical principles in care, especially when the inevitable limits of treatments are reached. (shrink)

O trabalho é um exercício de pensamento referente ao lugar da filosofia no currículo do ensino médio. A investigação considera a recente presença da filosofia como disciplina obrigatória em todas as séries da escola média brasileira. Assim, a condição curricular, e o próprio lugar do docente são ainda uma lacuna a ser preenchida. Para essa “atividade” as provocações de Hannah Arendt e de Gilles Deleuze figuram como o solo conceitual da reflexão.O exercício intelectual de Arendt sobre o “vazio de pensamento” (...) e sua rigorosa análise sobre a faculdade de pensar articuladas com as provocações de Deleuze quanto a compreensão da filosofia como uma “produtora” e articuladora de conceitos, ditaram o caminho que sugere ser a filosofia, enquanto “disciplina”, um parar para pensar como forma de contrapor o pensar ao fluxo laboral de consumo de conteúdos da escola média. Aqui a filosofia enquanto disciplina é uma contemplação tão ativa quanto a ação. (shrink)

A country‘s development is bound to be influenced by external occurrences. This article analyses two astronomical examples in which Portuguese nationals used high visibility events in the international scientific community to press their own scientific interests upon the government, whether these interests were, or were not, directly linked to the events themselves.During the 1840s and 1850s the parallax, i.e. the distance, of Groombridge’s star 1830 was hotly debated. The astronomer Hervé Faye‘s suggestion at the Académie des Sciences de Paris that (...) observations be made in Lisbon due to its privileged location and the inadequacy of the Lisbon Navy Observatory to perform them rekindled the efforts to improve the Portuguese Navy observatory.In the 1850s and 1860s other Portuguese higher education institutions also wanted to upgrade their facilities or build new ones. Following accepted traditions, scientific field trips were considered a useful part of the acquisition planning for larger instruments, and therefore an important part of regeneration and renewal projects. The Portuguese scientists were, however, limited in their travels by government imposed budget constraints. The total solar eclipse of 18 July 1860 provided an extra argument to send Portuguese scientists abroad. The government support of the eclipse expedition led to an opportunity to travel through other countries and view their observatories and equipment.In the end, neither the Navy astronomers nor those from the Coimbra Astronomical observatory, the other significant site of Portuguese astronomical research, managed to fulfil their objectives, but the contacts initiated by some of the Portuguese travellers were important for the development of the Portuguese national Meteorological and Magnetic Observatories. (shrink)

ResumoNo presente artigo procura-se oferecer uma análise e avaliação críticas da posição de João Duns Scotus (ca. 1265 – 1308) a respeito do problema dos universais. Para tanto, é levada a cabo primeiramente uma breve exposição dos argumentos e conceitos centrais dos quais ele se utiliza para defender seu realismo. Em seguida, algumas críticas à posição de Scotus, em especial o cerne da que devemos a Guilherme de Ockham (ca. 1287 – 1347), são apresentadas em detalhes e então respondidas.Palavras-chave: (...) Scotus, Ockham, escolástica, universais, realismo, nominalismo.AbstractThe current paper aims to offer an analysis and evaluation of John Duns Scotus’ (ca. 1265 – 1308) position regarding the problem of universals. In order to do so, a brief exposition of the central arguments and concepts he employs to defend his realism is first carried out. Some criticisms of Scotus’ position, especially the core of the one we owe to William of Ockham (ca. 1287 – 1347), are then presented in detail and answered. (shrink)

A linguagem de comunicabilidade da imagética barroca expressa-se com inesperado ênfase no caso de uma desconhecida tela que representa Jesus Cristo perante Caifás e a negação de S. Pedro, num altar do Convento dos frades eremitas paulistas da vila de Portel. Pintada cerca de 1660, essa tela, que se inspira numa estampa nórdica de Schelte a Bolswert segundo modelo caravagesco de Gerard Seghers, leva a colocar a questão do papel assumido pela gravura italo­flamenga (a estampa solta e a estampa de (...) livro) na construção de uma imagética contra-reformista ao serviço da militância católica e do convencimento das populações em larga escala. A peça, que é devida, segundo se crê, a um secundário pintor proto-barroco de nome João da Cunha, morador em Beja, reforça a ideia do interesse da nossa pintura regional por cânones de influência caravagesca, uma tendência quase ignorada na arte portuguesa do século XVII. A pintura de Portel mostra uma narração para serviço do convencimento e revela-se um qualifi­cado painel de devoção, inspirado em modelo tenebrista de Seghers, com o seu dinâmico grupo de figuras a la candela que assiste ao trecho bíblico. Testemunha-se um caso de encomenda religiosa periférica que, apesar do seu grau aparente de vulgaridade, assume, através da utiliza­ção de uma estampa de sinal erudito, a experiência da inovação possível e as possibilidades da reconversão imagética do modelo, a fim de melhor servir o rigorismo do seu impacto visual. (shrink)

We extend meet-combination of logics for capturing the consequences that are common to both logics. With this purpose in mind we define meet-combination of consequence systems. This notion has the advantage of accommodating different ways of presenting the semantics and the deductive calculi. We consider consequence systems generated by a matrix semantics and consequence systems generated by Hilbert calculi. The meet-combination of consequence systems generated by matrix semantics is the consequence system generated by their product. On the other hand, the (...) meet-combination of consequence systems generated by Hilbert calculi is the consequence system generated by their interconnection. We investigate preservation of several properties. Capitalizing on these results we show that interconnection provides an axiomatization for the product. Illustrations are given for intuitionistic and modal logics, Łukasiewicz logic and some paraconsistent logics. (shrink)

An overcomplete logic is a logic that ‘ceases to make the difference’: According to such a logic, all inferences hold independently of the nature of the statements involved. A negation-inconsistent logic is a logic having at least one model that satisfies both some statement and its negation. A negation-incomplete logic has at least one model according to which neither some statement nor its negation are satisfied. Paraconsistent logics are negation-inconsistent yet non-overcomplete; paracomplete logics are negation-incomplete yet non-overcomplete. A paranormal logic (...) is simply a logic that is both paraconsistent and paracomplete. -/- Despite being perfectly consistent and complete with respect to classical negation, nearly every normal modal logic, in its ordinary language and interpretation, admits to some latent paranormality: It is paracomplete with respect to a negation defined as an impossibility operator, and paraconsistent with respect to a negation defined as non-necessity. In fact, as it will be shown here, even in languages without a primitive classical negation, normal modal logics can often be alternatively characterized directly by way of their paranormal negations and related operators. So, instead of talking about ‘necessity’, ‘possibility’, and so on, modal logics could be seen just as devices tailored for the study of (modal) negation. This paper shows how and to what extent this alternative characterization of modal logics can be realized. (shrink)

We say that things happen accidentally when they do indeed happen, but only by chance. In the opposite situation, an essential happening is inescapable, its inevitability being the sine qua non for its very occurrence. This paper will investigate modal logics on a language tailored to talk about essential and accidental statements. Completeness of some among the weakest and the strongest such systems is attained. The weak expressibility of the classical propositional language enriched with the non-normal modal operators of essence (...) and accident is highlighted and illustrated, both with respect to the definability of the more usual modal operators as well as with respect to the characterizability of classes of frames. Several interesting problems and directions are left open for exploration. (shrink)

Social norms have played a key role in the evolution of human cooperation, serving to stabilize prosocial and egalitarian behavior despite the self-serving motives of individuals. Young children’s behavior mostly conforms to social norms, as they follow adult behavioral directives and instructions. But it turns out that even preschool children also actively enforce social norms on others, often using generic normative language to do so. This behavior is not easily explained by individualistic motives; it is more likely a result of (...) children’s growing identification with their cultural group, which leads to prosocial motives for preserving its ways of doing things. (shrink)

Young children interpret some acts performed by adults as normatively governed, that is, as capable of being performed either rightly or wrongly. In previous experiments, children have made this interpretation when adults introduced them to novel acts with normative language (e.g. ‘this is the way it goes’), along with pedagogical cues signaling culturally important information, and with social-pragmatic marking that this action is a token of a familiar type. In the current experiment, we exposed children to novel actions with no (...) normative language, and we systematically varied pedagogical and social-pragmatic cues in an attempt to identify which of them, if either, would lead children to normative interpretations. We found that young 3-year-old children inferred normativity without any normative language and without any pedagogical cues. The only cue they used was adult socialpragmatic marking of the action as familiar, as if it were a token of a well-known type (as opposed to performing it, as if inventing it on the spot). These results suggest that – in the absence of explicit normative language – young children interpret adult actions as normatively governed based mainly on the intentionality (perhaps signaling conventionality) with which they are performed. (shrink)

This paper has a negative and a positive claim. The negative claim is that the Frege-Russell account of existence as a higher-order predicate is mistaken and should be abandoned, even with respect to general statements of existence such as “Flying mammals exist” (where statements of this sort are supposed to be best accommodated by the account). The Frege-Russell view seems to be supported by two ideas. First, the idea that existence is entirely expressed by the existential quantifier of standard predicate (...) logic. Second, the idea that the existential quantifier is a higher-order predicate, a predicate of predicates, not of individuals. I think that both ideas are wrong but will focus on the latter. By construing prima facie first-order statements such as “Flying Mammals exist” as higher-order predications such as “The Fregean Concept Flying Mammal maps at least one individual onto the True”, the Frege-Russell view commits one - merely on the basis of the meaning it assigns to the existence predicate – to abstract objects such as concepts (Gottlob Frege), or propositional functions (Bertrand Russell), or classes (Rudolf Carnap), or properties, kinds, and so on. This cannot be right, I think. The positive claim of the present paper is that, at least in the context of first-order discourse, the existence predicate is just what it seems to be: a bona fide first-order predicate (pace Kant, Hume, Frege, Russell and others). Three important ideas about existence are shared with the Frege-Russell conception of existence, though. (1) Being and existence are one and the same thing: there is no difference between “Unicorns are not”, or “There are no unicorns”, and “Unicorns do not exist”, or “There exist no unicorns”. (2) To be is to be the value of a bound variable, to belong to a domain of quantification (Willard Quine). (3) Anti-Meinongianism, the idea that there are no non-existent objects (Russell). However, we diverge from the Frege-Russell tradition with respect to the following claim. (4) The best concept of existence, in the sense of the one that is best understood and best enables us to formulate ontological disputes, is a purely logical first-level concept defined in terms of existential quantification and identity. First-order statements of existence and non-existence like “Flying Mammals exist” and “Unicorns do not exist” are accordingly taken at face value and analyzed in terms of a logical first-order predicate of existence, the predicate “is (identical to) something”. Reasons are given to prefer this notion of existence to other first-order non-logical notions that have been proposed in the literature, notions characterized in terms of predicates such as “is in space-time”, “is concrete”, “is causally efficacious”, “is actual”, “is real”, etc. (shrink)

Friedrich Engels: Herrn Eugen Dührings Umwälzung der Wissenschaft. (Anti-Dühring) Lesefreundlicher Großdruck in 16-pt-Schrift Großformat, 210 x 297 mm Berliner Ausgabe, 2019 Durchgesehener Neusatz mit einer Biographie des Autors bearbeitet und eingerichtet von Theodor Borken Erstdruck in: Vorwärts (Leipzig), 3.1.1877 - 7.7.1878. Erste Buchausgabe, Leipzig 1878. Der Text folgt der letzten von Engels durchgesehenen und vermehrten Ausgabe, Stuttgart (J.H.W. Dietz) 1894. Textgrundlage ist die Ausgabe: Karl Marx, Friedrich Engels: Werke. Herausgegeben vom Institut für Marxismus-Leninismus beim ZK der SED, 43 Bände, Band (...) 20, Berlin: Dietz-Verlag, 1962. Umschlaggestaltung von Thomas Schultz-Overhage. Gesetzt aus der Minion Pro, 16 pt. Henricus Edition Deutsche Klassik UG (haftungsbeschränkt). (shrink)

O trabalho que aqui se propões tem por objetivo analisar as obras de Immanuel Kant buscando sintetizar suas contribuições para a compreensão da filosofia enquanto atitude filosófica, num diálogo com as pedagogias ativas, bem como refletir sobre os métodos para o seu ensino. A pesquisa partirá de um viés bibliográfico a fim de trazer os conceitos de autonomia e esclarecimento para uma reflexão sobre os métodos adequados para o despertar de uma consciência filosófica. Embora distante de sua finalidade, a educação (...) deve manter-se em constante busca por melhorias, pelo desenvolvimento da humanidade em todas as suas esferas. (shrink)

This paper addresses the problems of justifying and explaining beliefs about facts in the context of civil trials. The first section contains some remarks about the nature of adjudicative fact-finding and highlights the communicative features of deciding about facts in judicial context. In Sect. 2, some difficulties and the incompleteness presented by Bayesian and coherentist frameworks, which are taken as methods suitable to solve the above-mentioned problems, are pointed out. In the third section, the purely epistemic approach to the justification (...) and the explanation of beliefs about facts is abandoned and focus is given to the dialectical nature of civil procedure, where the parties and, particularly, the judge have to make their reasoning clear enough to allow a fruitful and efficient debate about facts. For this purpose, a communication/argumentation system is put forward, consisting of fourteen intertwined rules of discourse. The system embodies the fundamental epistemic principle according to which belief is updated given new evidence, is tailored for abductive inferences and is structured on fundamental concepts of civil procedural law. The fourth section presents an empirical application of the system to a real case. (shrink)

In classical logic, a contradiction allows one to derive every other sentence of the underlying language; paraconsistent logics came relatively recently to subvert this explosive principle, by allowing for the subsistence of contradictory yet non-trivial theories. Therefore our surprise to find Wittgenstein, already at the 1930s, in comments and lectures delivered on the foundations of mathematics, as well as in other writings, counseling a certain tolerance on what concerns the presence of contradictions in a mathematical system. ‘Contradiction. Why just this (...) spectre? This is really very suspicious.’ In the last decades, several authors have been digging into Wittgenstein’s rather non-standard standpoint on what concerns the interpretation and import of contradiction in logic and mathematics, and many other authors have been investigating the possibility of taking Wittgenstein seriously as one of the early forerunners of paraconsistency. While many advances have been made on the first front, the second set of investigations has led almost exclusively to negative results: no, no operational proposal about the construction of a logic in which contradictions are made inoffensive can be read from Wittgenstein’s philosophical work; in fact, it appears that the most one can find there is the exhortation for mathematicians to alter their attitude with respect to contradictions and to consistency proofs. The play is done, and one looks for a resume of the opera. This paper fills that blank, as a thorough investigation of the possible relations between Wittgenstein and paraconsistency. • DOI:10.5007/1808-1711.2010v14n1p135. (shrink)

Formal series are associated with ascriptions of numbers. They are ordered by formal operations that, unlike negation and disjunction, are not truth-operations. In spite of this, they are required to build propositions involving generic reference to numbers, and are essential to the Tractarian version of the logicist project.

Proteoglycan 4 (PRG4), first identified in synovial fluid, is an extracellular matrix structural protein in the joint implicated in reducing shear at the cartilage surface as well as controlling adhesion‐dependent synovial growth and regulating bulk protein deposition onto the cartilage. However, recent evidence suggests that it can bind to and effect downstream signaling of a number of cell surface receptors implicated in regulating the inflammatory response. Therefore, we pose the hypothesis: Does PRG4 regulate the inflammatory response and maintain tissue homeostasis? (...) Based on these novel findings implicating PRG4 as an inflammatory signaling molecule, we will present and discuss several hypotheses regarding potential mechanisms by which PRG4 may be able to regulate inflammation. If future studies can demonstrate that PRG4 is a potent inflammatory mediator, this will change current paradigms in the musculoskeletal and ophthalmological fields regarding the how the inflammatory microenvironment is regulated in these tissues and potentially others. (shrink)

So-called ‘anonymous’ tissue samples are widely used in research. Because they lack externally identifying information, they are viewed as useful in reconciling conflicts between the control, privacy and confidentiality interests of those from whom the samples originated and the public (or commercial) interest in carrying out research, as reflected in ‘consent or anonymise’ policies. High level guidance documents suggest that withdrawal of consent and samples and the provision of feedback are impossible in the case of anonymous samples. In view of (...) recent developments in science and consumer-driven genomics the authors argue that such statements are misleading and only muddle complex ethical questions about possible entitlements to control over samples. The authors therefore propose that terms such as ‘anonymised’, ‘anonymous’ or ‘non-identifiable’ be removed entirely from documents describing research samples, especially from those aimed at the public. This is necessary as a matter of conceptual clarity and because failure to do so may jeopardise public trust in the governance of large scale databases. As there is wide variation in the taxonomy for tissue samples and no uniform national or international standards, the authors propose that a numeral-based universal coding system be implemented that focuses on specifying incremental levels of identifiability, rather than use terms that imply that the reidentification of research samples and associated actions are categorically impossible. (shrink)

We introduce a general technique for finding sets of axioms for a given class of semigroups. To illustrate the technique, we provide new sets of defining axioms for groups of exponent n, bands, and semilattices.

O fim do texto é a discussão histórica de práticas de representação italianas, espanholas e luso-brasileiras do século XVII hoje anacronicamente unificadas como “Barroco". Analisa modelos teológico-políticos e retóricos da agudeza que caracteriza a racionalidade de Corte dramatizada nelas, particularizando a análise com EI Díscreto, de Baltazar Gracián.

Este artigo tem como objetivo analisar o filme Equilibrium de Kurt Wimmer em que a técnica surge como única possibilidade de fundamentação do desenvolvimento da humanidade. No filme os sentimentos são identificados como fonte do sofrimento e das desgraças humanas, sendo então estabelecido que devem ser exterminados com o uso de uma droga. A técnica se apresenta no filme como fim para a história da humanidade, tal qual teme Heidegger. A fim de mostrar as conseqüências ultimas do domínio da técnica (...) sobre o sentir e sobre o próprio ser se discorrerá esse artigo, sempre fazendo uma alusão ao filme Equilibrium. (shrink)

Hume é conhecido por sua teoria da indução por repetição, mas em sua filosofia há lugar para inferências derivadas de experiências singulares. Parte do fundamento destas inferências depende de uma regra newtoniana, mas é preciso acrescentar a especificação do tipo de classe de objetos a que pertencem tanto a causa como o efeito – de um modo que pode esclarecer a exata natureza do “empirismo” humiano.

A desigualdade da condição feminina tem como ponto central na análise de Hume a diferença nas atitudes da sociedade perante o dever de castidade. Esta é explicada – pela incerteza da paternidade e suas consequências -, mas nem por isso justificada. Hume aponta também outras desigualdades derivadas de privilégios masculinos injustificáveis. Como no caso das linhagem de nobreza e sobretudo no caso dos fenômenos de sujeição das mulheres pelos homens, que compara aos fenômenos históricos de opressão étnica.

We give an axiomatization of first‐order logic enriched with the almost‐everywhere quantifier over finitely additive measures. Using an adapted version of the consistency property adequate for dealing with this generalized quantifier, we show that such a logic is both strongly complete and enjoys Craig interpolation, relying on a (countable) model existence theorem. We also discuss possible extensions of these results to the almost‐everywhere quantifier over countably additive measures.

The program of intervening, manipulating, constructing and creating is central to natural and engineering sciences. A renewed wave of interest in this program has emerged within the recent practices and discourse of nano-technoscience. However, it is striking that, framed from the perspective of well-established epistemologies, the constructed technoscientific objects and engineered things remain invisible. Their ontological and epistemological status is unclear. The purpose of the present paper is to support present-day approaches to techno-objects ( ontology ) insofar as they make (...) these hidden objects epistemologically perceivable. To accomplish this goal, it is inspiring to look back to the origin of the project of modernity and to its founding father: Francis Bacon. The thesis is that everything we need today for an adequate (dialectic-materialist), ontologically well-informed epistemology of technoscience can be found in the works of Bacon—this position will be called epistemological real-constructivism. Rather than describing it as realist or constructivist, empiricist or rationalist, Bacon’s position can best be understood as real-constructivist since it challenges modern dichotomies, including the dichotomy between epistemology and ontology. Such real-constructive turn might serve to promote the acknowledgement that natural and engineering sciences, in particular recent technosciences, are creating and producing the world we live in. Reflection upon the contemporary relevance of Bacon is intended as a contribution to the expanding and critical discussion on nano-technoscience. (shrink)

Context: Philosophical debates in recent decades have developed new ways of dealing with old philosophical problems such as reality, truth, knowledge, language, communication, and action. These new approaches deserve serious consideration because they can improve the discourse of radical constructivism. Problem: This paper discusses the following problem: How can we overcome dualistic and ontological approaches to basic philosophical problems – problems that are relevant to all scientific domains? Method: The method applied here can be roughly described as a transition from (...) entities/substantives/identities to actions and processes, the actions and processes from which so-called entities result. Action-orientation – or an actor-based process – is necessarily combined with sense-orientation as provided by culture and society. Results: The paper demonstrates how the problems mentioned above can be reformulated in a non-dualistic and non-ontological way. Implications: Opening up constructivist thinking to insights provided by neighbouring philosophical approaches facilitates interdisciplinary cooperation and helps overcome dualistic remnants – as well as the cognitive one-sidedness of traditional constructivism. (shrink)

During gestation, fetomaternal exchange occurs in the villous tree (labyrinth) of the placenta. Development of this structure depends on tightly coordinated cellular processes of branching morphogenesis and differentiation of specialized trophoblast cells. The basal chorionic trophoblast (BCT) cell layer that localizes next to the chorioallantoic interface is of critical importance for labyrinth morphogenesis in rodents. Gcm1‐positive cell clusters within this layer initiate branching morphogenesis thereby guiding allantoic fetal blood vessels towards maternal blood sinuses. Later these cells differentiate and contribute to (...) the syncytiotrophoblast of the fetomaternal barrier. Additional cells within the BCT layer sustain continued morphogenesis, possibly through a repopulating progenitor population. Several mouse mutants highlight the importance of a structurally intact BCT epithelium, and a growing number of studies addresses its patterning and epithelial architecture. Here, we review and discuss emerging concepts in labyrinth development focussing on the biology of the BCT cell layer. (shrink)

This paper proposes that we read a late work of Georg Lukács, The Ontology of Social Being, as an indispensable contribution to ontological investigation in general and particularly to the understanding of social reality. As the ontology of Lukács tends not to be familiar even to those who have foregrounded ontological issues in recent decades, it seems to be extremely fruitful to bring it into discussion. Comparing the analysis of Lukács with the ontology of critical realism, we argue that it (...) is not only possible to identify obvious convergences but also to shed light on many questions that still demand a proper treatment from an ontological perspective. (shrink)