Deductive inference is usually regarded as being “tautological” or “analytical”: the information conveyed by the conclusion is contained in the information conveyed by the premises. This idea, however, clashes with the undecidability of first-order logic and with the (likely) intractability of Boolean logic. In this article, we address the problem both from the semantic and the proof-theoretical point of view. We propose a hierarchy of propositional logics that are all tractable (i.e. decidable in polynomial time), although by means of growing (...) computational resources, and converge towards classical propositional logic. The underlying claim is that this hierarchy can be used to represent increasing levels of “depth” or “informativeness” of Boolean reasoning. Special attention is paid to the most basic logic in this hierarchy, the pure “intelim logic”, which satisfies all the requirements of a natural deduction system (allowing both introduction and elimination rules for each logical operator) while admitting of a feasible (quadratic) decision procedure. We argue that this logic is “analytic” in a particularly strict sense, in that it rules out any use of “virtual information”, which is chiefly responsible for the combinatorial explosion of standard classical systems. As a result, analyticity and tractability are reconciled and growing degrees of computational complexity are associated with the depth at which the use of virtual information is allowed. (shrink)

FDE, LP and K3 are closely related to each other and admit of an intuitive informational interpretation. However, all these logics are co-NP complete, and so idealized models of how an agent can think. We address this issue by shifting to signed formulae, where the signs express imprecise values associated with two bipartitions of the corresponding set of standard values. We present proof systems whose operational rules are all linear and have only two structural branching rules that express a generalized (...) Principle of Bivalence. Each of these systems leads to defining an infinite hierarchy of tractable approximations to the respective logic, in terms of the maximum number of allowed nested applications of the two branching rules. Further, each resulting hierarchy admits of an intuitive 5-valued non-deterministic semantics. (shrink)

FDE is a logic that captures relevant entailment between implication-free formulae and admits of an intuitive informational interpretation as a 4-valued logic in which “a computer should think”. However, the logic is co-NP complete, and so an idealized model of how an agent can think. We address this issue by shifting to signed formulae where the signs express imprecise values associated with two distinct bipartitions of the set of standard 4 values. Thus, we present a proof system which consists of (...) linear operational rules and only two branching structural rules, the latter expressing a generalized rule of bivalence. This system naturally leads to defining an infinite hierarchy of tractable depth-bounded approximations to FDE. Namely, approximations in which the number of nested applications of the two branching rules is bounded. (shrink)

Il tema della complessità della scienza è stato da qualche decennio oggetto di una vasta letteratura sia sul versante più strettamente scientifico, sia sul piano filosofico. Un argomento emerso con notevole interesse ha riguardato un aspetto della complessità inteso come rinuncia a una generalizzazione dei procedimenti assiomatico-deduttivi come metodo generale della ricerca scientifica. È stata espressa la convinzione che la fisica pre-relativistica sia stata fondata prevalentemente sul trionfo di questo metodo, sulla scia, fra l’altro, della gloriosa tradizione dei Principia newtoniani. (...) Pur riconoscendo la sua imponenza storica e concettuale, che ha condotto spesso a una sua identificazione con la stessa tradizione della scienza occidentale, la mia ricerca storica ha evidenziato una posizione antagonista presente nelle idee di Newton, e ripresa da due grandi fisici ottocenteschi, Ampere e Maxwell, posizione consistente in un ricorso alla cosiddetta deduzione dai fenomeni, un metodo di ricerca che rappresenta un’importante alternativa rispetto al metodo assiomatico-deduttivo. Nei primi decenni del nuovo secolo, si impongono poi progressivamente le idee di Einstein, che sul problema del metodo presentano un’irrisolta problematica. La celebrazione del metodo assiomatico-deduttivo si contrappone ad una lode dell’osservazione dei fenomeni e della riflessione sugli esperimenti, una variazione sul tema della deduzione dai fenomeni. Seppure i contributi del grande scienziato alle teorie derivate dagli assiomi del campo generalizzato non portarono a teorie conclusive, le sue idee in merito contribuirono enormemente alla moderna riflessione storico-epistemologica sulla scienza. (shrink)

Contemporary psychologism has been amended for most of the objections by its opponents over a century ago. However, some authors still raise doubts about its ability to account for some peculiar properties of logic. In particular, it is argued that the psychological universality of patterns of inferential behavior is not sufficient to account for the normativity of logic. In this paper, I deal with the issue and offer three alternative solutions that do not rely on mere empirical universality. I will (...) use the works of Laurence Jonathan Cohen, Diego Marconi and Marcello D'Agostino, adapting them for the purpose of defending logical psychologism. I will therefore argue that, although more refined work on the subject is needed, contemporary psychologism has the key resources to retain its place in the philosophical debate on the foundations of logic. (shrink)

This paper reconstructs the ways in which metaphors are used in the text of “The Wealth of Nations”. Its claims are: a) metaphor statements are basically similar to those in the “Theory of the Moral Sentiments”; b) the metaphors’ ‘primary subjects’ refer to mechanics, hydraulics, blood circulation, agriculture, medicine; c) metaphors may be lumped together into a couple of families, the family of mechanical analogies, and that of iatro-political analogies. Further claims are: a basic physico-moral analogy is the framework for (...) Smith’s psychological theory as well as for his overall social theory and for his theory of market mechanisms; a iatro-mechanical analogy is as pervasive as the physico-moral analogy and provides the framework for his overall evolutionary theory of society; the invisible-hand simile relies on the physico-moral analogy, and elaborates on the role of vis attractiva and vis a tergo in mechanics. (shrink)

The thesis that gives the discourse its characteristic liberal twist is that of the possibility not just of arguing on values in principle but of effective communication about values between different social subjects, instead of, for example, mere compromise between opposing interests that are unable to understand each other's reasons or imposition of one interest on another. From this thesis derives the possibility of the proposal of combining "science" and "ethics".

I intend to: a) clarify the origins and de facto meanings of the term relativism; b) reconstruct the reasons for the birth of the thesis named “cultural relativism”; d) reconstruct ethical implications of the above thesis; c) revisit the recent discussion between universalists and particularists in the light of the idea of cultural relativism.. -/- 1.Prescriptive Moral Relativism: “everybody is justified in acting in the way imposed by criteria accepted by the group he belongs to”. Universalism: there are at least (...) some judgments which are valid inter-culturally Absolutism: there are at least some particular prescriptions which are valid without exception everywhere and always -/- 2. The traditional proof of prescriptive moral relativism: the argument from variability: Judgments, rules, and shared values are de facto variable in time and space. The traditional counter-proof: examples of variability do not prove what skeptics contend. -/- 3. Pre-history of the doctrine -Ancient sophists: either immoralist or contractualist -Modern moral scepticism (xvii c.): variability as an historical and ethnographic fact supports a sceptical conclusion more moderate than sheer immoralism. - Voltaire, Kant, Reid counter-attack pointing at a universally shared moral sense - Romantics and idealists stage an even more moderate reformulation: instead of universally shared moral sense they point at the Spirit of a People which is: a)alternative to abstract and universal philosophical systems as far as it is lived ‘culture’; b) indivisible unity with an inner harmony and a source of normative standards; c) dynamic, in so far as it is a manifestation of the Spirit through the becoming of National cultures. -/- 4. The birth of Cultural Relativism and its ethical implications 4.1. The 18th c. doctrine was the noble savage (a non-historical doctrine: state of nature vs. social state) 4.2 Edward Tylor (1832-1817) and ethnocentric historicism Savage moral standards are real enough, but they are far and weaker than ours. 4.3 Boas and Malinowski and an holistic reaction to ethnocentric historicism -/- Franz Boas (1858-1942): a) Development of civilizations is not ruled by technical progress nor does it follow a one-way path; instead there are parallel developments (for ex. Agriculture does not follow stock-raising); b) racial characters have no relevance in development of civilization; c) we are not yet in a position to compare externally identical kinds of behaviour till we have not yet understood beliefs and intentions laying at their roots (for ex.: “From an ethnological point of view murder cannot be considered as a single phenomenon”; d) we should distinguish among different practices which are only superficially similar (fro ex. practices traditionally classified under the label “tabù”); e) there is as a fact just one normative ethic, constant in its contents but varying in its extension; f) the implication is not that we cannot judge behavior by members of other groups; it is only a recommendation of caution. -/- Bronislaw Malinowski (1884-1942): a) against Tylor’s and Frazer’s “magpie” methodology, field-work is required, a culture as a whole should be observed from inside; individual elements are incomprehensible; b) a culture is an organic whole; c) its elements are accounted for by their function (economy), avoiding non-observables (empio-criticism). -/- Ruth Benedict and Melville Herskovitz identify Boas’s approach with “cultural relativism”. Benedict: what is normal and abnormal is to be judged on a culture’s own standards, not on our own (“Anthropology and the Abnormal”). Herskovits: “Boas adumbrates what we have come to call cultural relativism” (The Mind, p. 10); “Judgements are based on experience, and experience is interpreted by each individual in terms of his own enculturation” (Man and his Works). -/- 4. How analytic philosophy understood and misunderstood the discussion 4.1. At the beginning of the 20th c., the new view in ethics was non-cognitivism (emotivist and subjectivist). Eric Westermark combines this view with an old-style ethnographic approach in support of relativity of moralities. Moralities are codes, or systems of emotive ‘disinterested’ reactions selected by evolution on their usefulness in terms of survival value for the society that is the carrier of such systems or codes. The moral relativity thesis: there are cases of disagreement that cannot be settled even after agreement about facts. 4.2 Anti-realists Brandt, Mackie, Gilbert, Harman adopt Westermark’s approach in a more sophisticated version: a) moralities are codes with an overall function and may be appraised only as wholes; b) variability is an argument for moral subjectivism; c) apparent legitimacy of deriving shift from ought is legitimized only within one institution d) morality should not be described but instead made, and existing moralities may be improved. Is it ‘real’ relativism? It is clearly subjectivism (a metaethical thesis). The normative thesis is that there better and worse codes, and survival values is the normative standard. -/- 4.3 Particularists MacIntyre, Sandel, Taylor, Wiggins, McDowell ‘Wittgensteinian’ prospectivist arguments bent to support weak-relativist claims MacIntyre: there is ‘incommensurability’ between different theoretical systems in both science and ethics. No argument is possible through different systems Different traditions may coexist for a long time without being able to bring their conflicts to a rational solution. -/- 4.4 Kantian universalists Baier, Gewirth, Rawls, Apel, Habermas Shared claim: justice concerns the right and is universal in so far as it may be based on minimal assumptions Other virtues are relative to context in so far as they are related to comprehensive views of the good - O’Neill criticism: a) it is an assumption shared by both alignments; b) after an alleged crisis brought about by alleged loss of metaphysical certainties, theories of justice have dropped demanding assumptions and kept universalism, virtue theories have kept demanding assumptions and dropped universalism; c) the opposition of virtue and justice has arisen in an unjustified way. O’Neill’s positive proposal: ‘constructive’ procedures may be adopted both (i) concerning all the range of virtues and (ii) across cultures once we abandon idealization and confine ourselves to abstraction from real-world cases. -/- 4.5 A metaethical relativist and anti-relativist normative ethicists: Bernard Williams Williams: vulgar relativism may be assumed to claim that: a) 'just' means 'just in a given society'; b) 'just in a given society' is to be understood in functionalist sense; c) it is wrong for one society’s members to condemn another society’s values. It is inconsistent since in (c) uses ‘just’ in a non-relative way that has been excluded in (a). William’s positive proposal: i) keep a number of substantive or thick ethical concepts that will be different in space and time; ii) admit that public choices are to be legitimized through recourse to more abstract procedures and relying on more thin ethical concepts. -/- 5. Critical remarks 5.1 The only real relativism available is ‘vulgar’ relativism (Westermark?) 5.2. Descriptive universalism (or absolutism) has a long pedigree, from Cicero on, reaching Boas himself but it is useless as an answer to normative questions 5.3. Twentieth-century philosophical discussion seems to discuss an ad hoc doctrine reconstructed by assembling obsolete philosophical ideas but ignoring the real theory of cultural relativism as formulated by anthropologists. -/- 6. A distinction between ethoi and ethical theories as a way out of confusions a)There are systems of conventions de facto existing. These may be studies from outside as phenomena or facts. b)There is moral argument and this, when studies from outside, is a fact, but this does not influence in any degree the possible validity of claims advanced. c) the difference between the above claims and Mackie’s criticism to Searle’s argument of the promising game is that promises, arguments etc. are also phenomena, but they are also communicative phenomena with a logical and pragmatic structure. -/- 7.Conclusions: a) cultural relativism, as a name for Boas’s methodology is a valuable discovery, and in this sense we are all relativists; b) ethical relativism, as an alleged implication of cultural relativism, has been argued in a philosophically quite unsophisticated way by Benedict and Herskovits; philosophers apparently discussed ethical relativism in the basis of a rather faint impression of what cultural relativism had been. c) a full-fledged ethical relativism has hardly been defended by anybody among philosophers; virtually no modern philosopher really argued a prescriptive version of the thesis; d) we may accept the grain of truth in ethical relativism by including relativist critique to ethical absolutism into a universalist normative doctrine that be careful in separating open-textured formulations of universal claims from culturally conditioned particular prescriptions. -/- . (shrink)

A critical discussion of DAVID WILSON and WILLIAM DIXON, A History of Homo Economicus. The nature of the moral in economic theory, London and New York, Routledge, pp. xviii+123 ISBN 978-0-415-59568-1. I declare agreement with one basic idea in this book, that economic discourse is performative, or economic theory is not pure theorìa. I add several objections to the historical reconstruction carried out os such authors as Malthus and Ricardo and I object to the definition adopted of homo economicus.

I discuss the three theses defended by Anscombe in 'Modern Moral Philosophy'. I argue that: a) her answer to the question "why should I be moral?" requires a solution of the problem of theodicy and ignores any attempts to save the moral point of view without recourse to divine retribution; b) her notion of divine law is an odd one, more neo-Augustinian than Biblical or Scholastic; c) her image of Kantian ethics and intuitionism is the impoverished image manufactured by consequentialist (...) opponents for polemical purposes, which she seems to endorse even though it is an image manufactured by the same writers she choose as a polemical target; d) the difficulty to identify the "relevant descriptions" of acts is not an argument in favor of an ethics of virtue and against consequentialism or Kantian ethics, and indeed the role of judgment in the latter is precisely a response to difficulties raised by the case of judgment concerning future action, a case for which Anscombe herself has nothing better to offer. (shrink)

Amerini declares that by this book he did not want to make any contribution to the contemporary bioethical debate, or in another way, he wanted to give a preliminary contribution of great importance. His opinion on the implications of Aquinas's embryological theory for today's bioethical debate is in fact that it "certainly has some bioethical consequences, but it does not give rise to one particular bioethical theory rather than another. It is, as said, a philosophical explanation, traced in terms of (...) Aristotelian metaphysics, and as such can only be of support for the elaboration of a bioethical theory". (shrink)

The aim of this study is to illustrate the role played by Augustine’s Commentary on the Genesis in the writings of Thomas Aquinas. This work is of great importance for Aquinas, not only because it is the work where Augustine clarifies his interpretation of creation, but also because creation is, among the theological topics, perhaps the most philosophical, insofar as it gives the opportunity of elaborating on many philosophical issues. In particular, the goal of the study is to rethink the (...) positions of Aquinas and Augustine on one of these issues, that is the relationship between soul and body. I mean to call into question two historiographical theses: first, that Augustine and Aquinas formulate positions that are irreconcilable with each other, and second, that they in no way address that which we today call the Mind-Body Problem. (shrink)

The enormous increasing of connections between people and the noteworthy enlargement of domains and methods in sciences have augmented extraordinarily the cardinality of the set of meaningful human symbols. We know that complexity is always on the way to become complication, i.e. a non-tractable topic. For this reason scholars engage themselves more and more in attempting to tame plurality and chaos. In this book distinguished scientists, philosophers and historians of science reflect on the topic from a multidisciplinary point of view. (...) Is it possible to dominate complexity through reductionism? Are there other conceptual instruments useful to take account of complexity? What is complexity in biology, mathematics, physics and philosophy of mind? These are some of the questions which are faced in this volume. (shrink)

L'antigiudaismo cristiano è essenzialmente la credenza che il popolo ebraico debba rinunciare alla propria fede e convertirsi al cristianesimo. In questo testo viene studiata la prima forma sistematica di antigiudaismo sviluppata in termini filosofici e teologici da Agostino d'Ippona. Alla luce dell'analisi filosofica sembra che l'avversione di Agostino per la fede ebraica si fondi su un'autentica rimozione della specificità del popolo eletto, della Legge e della Rivelazione sul Sinai.

L’Exercitium academicum circa praescientiam daemonum (1666), pubblicato nella riformata Jena, tematizza una questione dibattuta nella Scolastica fra XIII e XIV secolo ma le cui radici risalgono ad Agostino d'Ippona, cui si deve il primo testo sull'argomento: la prescienza dei demoni. L'analisi segue la traccia del De divinatione daemonum agostiniano, mentre appare critica nei confronti delle posizioni di Tommaso d'Aquino e dei tomisti. Ad esse, in particolare riguardo alla natura delle facoltà intellettive demoniche, egli contrappone Giovanni Duns Scoto, Durando di san (...) Porziano e non meglio specificati nominales, accomunati in un indistinto riferimento alla teoria delle species. Ciò non toglie che il testo segua poi Tommaso nell'articolazione delle forme di prescienza dei demoni e nella definizione di questa come conoscenza congetturale. Scopo del nostro intervento sarà infatti mostrare, attraverso l'analisi che per la prima volta sarà condotta sul testo, lo spaccato di una comunità conversazionale nella quale le linee di forza e le distinzioni che animano il dibattito si mostrano autonome rispetto alle posizioni storiche di cattolici e riformati. Nell’Exercitium, Duns Scoto è contrapposto ai tomisti e, con Agostino e Durando di san Porziano – che costituisce una fonte comune del dibattito secentesco insieme a Bonaventura, Aureolo, Suarez, Vazquez, Gregorio di Valencia, e in tale veste sarà ripreso di lì a poco da Leibniz -, è cooptato tra gli autori a sostegno della sua tesi. Lungi dall'essere un esercizio di eclettismo o la stanca ripetizione di formule scolastiche, lo scritto getta luce su un dibattito universitario nel quale le fonti sono usate non come auctoritates ma quale repertorio di teorie da smontare e rimontare; ad esse l’Exercitium attinge per soluzioni che si definiscono in relazione a finalità filosofiche o dottrinali, ma non politiche né confessionali. (shrink)

La storia di un’idea che ha attraversato i secoli, dal mondo pagano e poi cristiano fino alle soglie dell’età contemporanea, passando per il lungo millennio medievale: l’intelligenza del diavolo, che si manifesta nella preveggenza e in capacità cognitive fuori dal comune. Ma qual è la natura di questo potere? Com’è possibile che Lucifero, principe degli angeli e sommamente sapiente, abbia peccato? E ciò significa che l’intelligenza è intrinsecamente demoniaca? Conoscenza e bontà possono convivere, e si può essere al contempo intelligenti (...) e malvagi, o addirittura malvagi perché intelligenti? Tutti interrogativi che si raccolgono attorno alla figura teologica del diavolo e al suo “scandaloso” potere cognitivo. Una questione che si muove tra filosofia, teologia, letteratura, scienza e mito, tessendo le fila di una storia intellettuale che vede spesso come protagonisti autori e testi poco noti, ma capaci di raccogliere il testimone di auctoritas come Agostino d’Ippona e Anselmo d’Aosta, Dante e Tommaso d’Aquino, Cartesio e Voltaire. (shrink)

Recent progress in artificial intelligence (AI) has drawn attention to the technology’s transformative potential, including what some see as its prospects for causing large-scale harm. We review two influential arguments purporting to show how AI could pose catastrophic risks. The first argument — the Problem of Power-Seeking — claims that, under certain assumptions, advanced AI systems are likely to engage in dangerous power-seeking behavior in pursuit of their goals. We review reasons for thinking that AI systems might seek power, that (...) they might obtain it, that this could lead to catastrophe, and that we might build and deploy such systems anyway. The second argument claims that the development of human-level AI will unlock rapid further progress, culminating in AI systems far more capable than any human — this is the Singularity Hypothesis. Power-seeking behavior on the part of such systems might be particularly dangerous. We discuss a variety of objections to both arguments and conclude by assessing the state of the debate. (shrink)

Purpose This paper aims to formalize long-term trajectories of human civilization as a scientific and ethical field of study. The long-term trajectory of human civilization can be defined as the path that human civilization takes during the entire future time period in which human civilization could continue to exist. -/- Design/methodology/approach This paper focuses on four types of trajectories: status quo trajectories, in which human civilization persists in a state broadly similar to its current state into the distant future; catastrophe (...) trajectories, in which one or more events cause significant harm to human civilization; technological transformation trajectories, in which radical technological breakthroughs put human civilization on a fundamentally different course; and astronomical trajectories, in which human civilization expands beyond its home planet and into the accessible portions of the cosmos. -/- Findings Status quo trajectories appear unlikely to persist into the distant future, especially in light of long-term astronomical processes. Several catastrophe, technological transformation and astronomical trajectories appear possible. -/- Originality/value Some current actions may be able to affect the long-term trajectory. Whether these actions should be pursued depends on a mix of empirical and ethical factors. For some ethical frameworks, these actions may be especially important to pursue. (shrink)

Aristotle is essentially human; that is, for all possible worlds metaphysically consistent with our own, if Aristotle exists, then he is human. This is a claim about the essential property of an object. The claim that objects have essential properties has been hotly disputed, but for present purposes, we can bracket that issue. In this essay, we are interested, rather, in the question of whether properties themselves have essential properties (or features) for their existence. We call those who suppose they (...) do “property essentialists”; those who do not, “property anti-essentialists,” or “quidditists.” We offer two complementary arguments. Our total argument is under-girded by two assumptions: transworld identity theory and “received view” counterfactual semantics, a la David Lewis. We then argue that, if one presumes that these are true, then one risks running headlong into paradox if one also accepts property anti-essentialism. That's the first argument. By contrast, if one accepts these same assumptions in conjunction with property essentialism, then the paradox is avoided. This is the second argument. We take it that our arguments work to show that, between property essentialism and quidditism, the property essentialist is on better footing. Plausibly, properties themselves do have essential properties for their existence. (shrink)

Background Retraction is a mechanism for alerting readers to unreliable material and other problems in the published scientific and scholarly record. Retracted publications generally remain visible and searchable, but the intention of retraction is to mark them as “removed” from the citable record of scholarship. However, in practice, some retracted articles continue to be treated by researchers and the public as valid content as they are often unaware of the retraction. Research over the past decade has identified a number of (...) factors contributing to the unintentional spread of retracted research. The goal of the Reducing the Inadvertent Spread of Retracted Science: Shaping a Research and Implementation Agenda (RISRS) project was to develop an actionable agenda for reducing the inadvertent spread of retracted science. This included identifying how retraction status could be more thoroughly disseminated, and determining what actions are feasible and relevant for particular stakeholders who play a role in the distribution of knowledge. -/- Methods These recommendations were developed as part of a year-long process that included a scoping review of empirical literature and successive rounds of stakeholder consultation, culminating in a three-part online workshop that brought together a diverse body of 65 stakeholders in October–November 2020 to engage in collaborative problem solving and dialogue. Stakeholders held roles such as publishers, editors, researchers, librarians, standards developers, funding program officers, and technologists and worked for institutions such as universities, governmental agencies, funding organizations, publishing houses, libraries, standards organizations, and technology providers. Workshop discussions were seeded by materials derived from stakeholder interviews (N = 47) and short original discussion pieces contributed by stakeholders. The online workshop resulted in a set of recommendations to address the complexities of retracted research throughout the scholarly communications ecosystem. -/- Results The RISRS recommendations are: (1) Develop a systematic cross-industry approach to ensure the public availability of consistent, standardized, interoperable, and timely information about retractions; (2) Recommend a taxonomy of retraction categories/classifications and corresponding retraction metadata that can be adopted by all stakeholders; (3) Develop best practices for coordinating the retraction process to enable timely, fair, unbiased outcomes; and (4) Educate stakeholders about pre- and post-publication stewardship, including retraction and correction of the scholarly record. -/- Conclusions Our stakeholder engagement study led to 4 recommendations to address inadvertent citation of retracted research, and formation of a working group to develop the Communication of Retractions, Removals, and Expressions of Concern (CORREC) Recommended Practice. Further work will be needed to determine how well retractions are currently documented, how retraction of code and datasets impacts related publications, and to identify if retraction metadata (fails to) propagate. Outcomes of all this work should lead to ensuring retracted papers are never cited without awareness of the retraction, and that, in public fora outside of science, retracted papers are not treated as valid scientific outputs. (shrink)

The article investigates the main characteristics of the financial stability of Ukrainian banks, their risk profile, structure of assets, liabilities, income, expenses based on the monthly reporting data for 2004-2020 (number of observations – 3 813). The Kohonen self-organizing map (SOM) toolkit is used to form homogeneous groups of banks based on a large number of financial indicators. The selected toolkit provides a convenient visualization of the results. Each bank occupies a specific place on the SOM. The close location of (...) banks on the map indicates that these banks have many common characteristics. This study is called the method of structural and functional groups of banks. The study formed stable groups of banks with the same characteristics of business models and risk profile. The formation of consecutive maps for each reporting period allows to obtain the characteristics of each bank separately and the banking system as a whole. The trajectory of an individual bank’s activity during the observation period characterizes the development of its business strategy. The migration of a large number of banks between groups reflects the objective changes in the conditions of banking. Increasing groups of high-risk banks indicate systemic problems. The results show that after a significant reduction in the banking system of Ukraine in 2014-2016, the business models of banks have changed significantly. The resource base relies on unstable sources of current funds with no set term of use. In the assets of banks, a significant portion is invested in government securities – government bonds. Bank loan portfolios have declined and have a higher proportion of non-performing assets (NPL). Many banks have increased currency risk. Concerns are raised about the state of large state-owned banks that hold a separate high-risk group. Thus, the conducted research allows to distinguish groups of banks with specific characteristics of business models and to observe changes of risk profile inherent to these groups. For each structural-functional group, changes in the values of financial indicators are investigated and migration between groups is studied. The proposed methodology is useful for studying both macro and macro levels. (shrink)

In this article, we argue that John Henry Newman was right to think that our passional nature can play a legitimate epistemic role. First, we unpack the standard objection to Newman’s understanding of the relationship between our passional nature and the evidential basis of faith. Second, we argue that the standard objection to Newman operates with a narrow definition of evidence. After challenging this notion, we then offer a broader and more humane understanding of evidence. Third, we survey recent scholarship (...) arguing that emotions, a key aspect of our passional nature, are cognitive. In this light, they plausibly have a proper epistemic role. Fourth, we defend Newman’s reliance on the passional nature in epistemic matters by showing how reasonable it is in light of this recent work on evidence and the nature of emotions. Newman’s insistence that the formation of a right state of heart and mind is crucial for epistemic success is far from untenable. (shrink)

Mathematics is considered one of the most challenging courses for many elementary pre-service teachers (EPTs). In hopes for improvement, teacher educators have been incorporating a jigsaw strategy to equip future teachers with the necessary competencies. Hence, the study aimed to determine the effectiveness of the jigsaw strategy with EPTs’ level of mathematics achievement and interest in an online cooperative learning environment. The research utilized a pre-experimental design with 40 participants. The researchers used pretest and posttest questions covering fraction operations and (...) a mathematics interest questionnaire before and after the intervention. With the implementation of the jigsaw strategy, results showed that the EPTs’ mathematics achievement improved while their interest in mathematics improved to some extent. Likewise, a significant difference between the pre-and post-intervention concerning the EPTs’ mathematics achievement and interest in mathematics was found. Furthermore, correlation analysis revealed that study time is negatively related to mathematics achievement, as is the overall level of interest in mathematics. These findings imply that a jigsaw strategy is a useful tool in teaching mathematics online. However, several modifications may be considered to recognize that the EPTs’ interest in mathematics varies from one person to another. Teacher education institutions are encouraged to apply this strategy not only for EPTs to increase their mathematical know-hows but also to serve as an example for them to employ in their future teaching careers. (shrink)

In Big Gods, Norenzayan (2013) presents the most comprehensive treatment yet of the Big Gods question. The book is a commendable attempt to synthesize the rapidly growing body of survey and experimental research on prosocial effects of religious primes together with cross-cultural data on the distribution of Big Gods. There are, however, a number of problems with the current cross-cultural evidence that weaken support for a causal link between big societies and certain types of Big Gods. Here we attempt to (...) clarify these problems and, in so doing, correct any potential misinterpretation of the cross-cultural findings, provide new insight into the processes generating the patterns observed, and flag directions for future research. (shrink)

How does one formalize the structure of structures necessary for the foundations of physics? This work is an attempt at conceptualizing the metaphysics of pregeometric structures, upon which new and existing notions of quantum geometry may find a foundation. We discuss the philosophy of pregeometric structures due to Wheeler, Leibniz as well as modern manifestations in topos theory. We draw attention to evidence suggesting that the framework of formal language, in particular, homotopy type theory, provides the conceptual building blocks for (...) a theory of pregeometry. This work is largely a synthesis of ideas that serve as a precursor for conceptualizing the notion of space in physical theories. In particular, the approach we espouse is based on a constructivist philosophy, wherein ``structureless structures'' are syntactic types realizing formal proofs and programs. Spaces and algebras relevant to physical theories are modeled as type-theoretic routines constructed from compositional rules of a formal language. This offers the remarkable possibility of taxonomizing distinct notions of geometry using a common theoretical framework. In particular, this perspective addresses the crucial issue of how spatiality may be realized in models that link formal computation to physics, such as the Wolfram model. (shrink)

In this paper, I argue that David Lewis’s possible world semantics for counterfactual discourse and for fictional discourse are apparently inconsistent and in need of revision. The problem emerges for Lewis’s account once one considers how to evaluate ambifictional counterfactuals. Since this is likely not a concept familiar to most, and since it does not appear that the problem has been previously recognized in the critical literature, I will begin by rehearsing Lewis’s possible worlds semantics for counterfactuals and fiction. Then (...) I will explicate the distinction between intrafictional, extrafictional, interfictional, and ambifictional propositions. Next, I will state what an ambifictional counterfactual proposition is, and explain why this kind of discourse confounds Lewis’s system. I will conclude, finally, with a brief discussion of how the Lewisian would be best advised to resolve the paradox. (shrink)

In recent years, Duncan Pritchard has developed a position in religious epistemology called quasi‐fideism that he claims traces back to John Henry Newman's treatment of the rationality of religious belief. In this paper, we give three reasons to think that Pritchard's reading of Newman as a quasi‐fideist is mistaken. First, Newman's parity argument does not claim that religious and non‐religious beliefs are on a par because both are groundless; instead, for Newman, they are on a par because both often stem (...) from implicit rather than explicit reasoning. Second, pace Pritchard, Newman's distinction between simple and complex assent does not map onto the Wittgensteinian distinction between groundless hinge commitments and beliefs that flow from these hinges. For Newman, simple and complex assent differ in terms of the believer's level of awareness of their grounds. Third, and finally, Newman does not reject Locke's evidentialism in toto. Instead, he argues that certitude is not restricted to beliefs stemming from intuition and demonstration but often rightly includes probabilistically supported (or fallibly evidenced) beliefs. (shrink)

Recent years have seen fresh impetus brought to debates about the proper role of statistical evidence in the law. Recent work largely centres on a set of puzzles known as the ‘proof paradox’. While these puzzles may initially seem academic, they have important ramifications for the law: raising key conceptual questions about legal proof, and practical questions about DNA evidence. This article introduces the proof paradox, why we should care about it, and new work attempting to resolve it.

Philosophers of language have drawn on metamathematical results in varied ways. Extensionalist philosophers have been particularly impressed with two, not unrelated, facts: the existence, due to Frege/Tarski, of a certain sort of semantics, and the seeming absence of intensional contexts from mathematical discourse. The philosophical import of these facts is at best murky. Extensionalists will emphasize the success and clarity of the model theoretic semantics; others will emphasize the relative poverty of the mathematical idiom; still others will question the aptness (...) of the standard extensional semantics for mathematics. In this paper I investigate some implications of the Gödel Second Incompleteness Theorem for these positions. I argue that the realm of mathematics, proof theory in particular, has been a breeding ground for intensionality and that satisfactory intensional semantic theories are implicit in certain rigorous technical accounts. (shrink)

Lawrence Kohlberg's Approach to Moral Education presents what the late Lawrence Kohlberg regarded as the definitive statement of his educational theory. Addressing the sociology and social psychology of schooling, the authors propose that school culture become the center of moral education and research. They discuss how schools can develop as just and cohesive communities by involving students in democracy, and they focus on the moral decisions teachers and students face as they democratically resolve problems. As the authors put it: "...we (...) propose an educational renewal of our democratic society.... We have attempted to establish schools that do more than just teach about democratic citizenship, that are themselves democratic societies.". (shrink)

Concept representation is still an open problem in the field of ontology engineering and, more generally, of knowledge representation. In particular, the issue of representing “non classical” concepts, i.e. concepts that cannot be defined in terms of necessary and sufficient conditions, remains unresolved. In this paper we review empirical evidence from cognitive psychology, according to which concept representation is not a unitary phenomenon. On this basis, we sketch some proposals for concept representation, taking into account suggestions from psychological research. In (...) particular, it seems that human beings employ both prototype-based and exemplar-based representations in order to represent non classical concepts. We suggest that a similar, hybrid prototype-exemplar based approach could also prove useful in the field of knowledge representation technology. Finally, we propose conceptual spaces as a suitable framework for developing some aspects of this proposal. (shrink)

Recent work takes both philosophical and scientific progress to consist in acquiring factive epistemic states such as knowledge. However, much of this work leaves unclear what entity is the subject of these epistemic states. Furthermore, by focusing only on states like knowledge, we overlook progress in intermediate cases between ignorance and knowledge—for example, many now celebrated theories were initially so controversial that they were not known. -/- This paper develops an improved framework for thinking about intellectual progress. Firstly, I argue (...) that we should think of progress relative to the epistemic position of an intellectual community rather than individual inquirers. Secondly, I show how focusing on the extended process of inquiry (rather than the mere presence or absence of states like knowledge) provides a better evaluation of different types of progress. This includes progress through formulating worthwhile questions, acquiring new evidence, and increasing credence on the right answers to these questions. I close by considering the ramifications for philosophical progress, suggesting that my account supports rejecting the most negative views while allowing us to articulate different varieties of optimism and pessimism. (shrink)

This thesis justifies the need for and develops a new integrated model of practical reasoning and argumentation. After framing the work in terms of what is reasonable rather than what is rational (chapter 1), I apply the model for practical argumentation analysis and evaluation provided by Fairclough and Fairclough (2012) to a paradigm case of unreasonable individual practical argumentation provided by mass murderer Anders Behring Breivik (chapter 2). The application shows that by following the model, Breivik is relatively easily able (...) to conclude that his reasoning to mass murder is reasonable – which is understood to be an unacceptable result. Causes for the model to allow such a conclusion are identified as conceptual confusions ingrained in the model, a tension in how values function within the model, and a lack of creativity from Breivik. Distinguishing between dialectical and dialogical, reasoning and argumentation, for individual and multiple participants, chapter 3 addresses these conceptual confusions and helps lay the foundation for the design of a new integrated model for practical reasoning and argumentation (chapter 4). After laying out the theoretical aspects of the new model, it is then used to re-test Breivik’s reasoning in light of a developed discussion regarding the motivation for the new place and role of moral considerations (chapter 5). The application of the new model shows ways that Breivik could have been able to conclude that his practical argumentation was unreasonable and is thus argued to have improved upon the Fairclough and Fairclough model. It is acknowledged, however, that since the model cannot guarantee a reasonable conclusion, improving the critical creative capacity of the individual using it is also of paramount importance (chapter 6). The thesis concludes by discussing the contemporary importance of improving practical reasoning and by pointing to areas for further research (chapter 7). (shrink)

What is cruelty? How and why does it matter? What do the legal rejection of cruelty and the requirements of mercy entail? This essay asks these questions of Lucius Seneca, who first articulated an agent-based conception of cruelty in the context of punishment. The hypothesis is submitted that the answers to these questions offered in Seneca's De clementia constitute one of the turning points in the evolution of practical reason in law. I conclude, however, by arguing that even the mainstream (...) punitive practices of contemporary western societies fail to meet the modest imperatives of the rejection of cruelty and the unconditionality of mercy propounded by Seneca. (shrink)

La logica modale è nata per studiare i ragionamenti su ciò che è possibile e ciò che è necessario. Negli ultimi decenni, a partire dal lavoro di logici e filosofi quali Rudolf Carnap, Saul Kripke e David Lewis, la sua applicazione è stata progressivamente estesa ad altri ambiti, quali il ragionamento sul tempo, sulla conoscenza e sui sistemi di norme. Queste ricerche hanno condotto a un complesso e intrigante dialogo con alcune fondamentali branche della filosofia: la metafisica, l’epistemologia, la filosofia (...) del linguaggio. Lo scopo del volume è offrire una panoramica di questo dialogo al contempo accessibile e rigorosa, pensata sia per gli studenti di un corso universitario, sia per il lettore non specialista. Se da un lato tutte le necessarie nozioni tecniche sono rese accessibili ai non addetti ai lavori, dall'altro si restituisce un'immagine fedele delle sfide concettuali che la ricerca in questi settori è oggi chiamata ad affrontare. (shrink)

The Fifth Element (1997) is a French science-fiction film in English, directed and co-written by Luc Besson. The title and the plot of the film refer to a central notion of Greek philosophy, that is, pemptousia, or quintessence. Pre-Socratic philosophers such as Thales, Anaxagoras, Anaximenes and others, were convinced that all natural beings – in fact, nature itself – consist in four primary imperishable elements or essences (ousiai), i.e., fire, earth, water, and air. To these four, Aristotle added aether, a (...) fifth essence (pemptousia). The introduction of aether gave birth to a great tradition in late Antique and Medieval philosophy, and eventually it came to signify not an additional primary element, but the core-essence of all beings, their fundamental ontological structure. Besson’s film draws its inspiration on this philosophical tradition but its cinematographic rendering of the concept of Quintessence is typical of the contemporaneous views on the core characteristics of matters. The modernity that stimulates the film is equally anti-transcendentalist and anti-essentialist. Thus, the fifth element of the film is existentially personified and genderized making the traditional philosophical significance of the term to be adjusted by modernity in an immanent and temporal context where in addition aesthetics plays a crucial role. (shrink)

In this paper, I intend to deny the morality and instrumentality of the behavior known as bestiality, or the use of non-human animals for sexual gratification by human beings. While to most modern peoples, this hardly even seems like it should be in question, it should be the nature of the human mind to occasionally question long-standing traditional moray in the hopes of finding solutions to problems and the disbanding of superstition. It has been proposed that the moral question, and (...) by extension the legal question, of bestiality is based on traditions long outlived and unnecessary. In an IceNews.is article written in 2008, Norwegian lawyers were growing concerned over the prevalence of animal brothels in Denmark and the precedent it set for Norway [http://www.icenews.is, 2008]. The article, when coupled with the 2001 article title “Heavy Petting” by prominent Utilitarian philosopher, Peter Singer, proves that the issue of bestiality is no longer the purview of jokes and psychological discussions. I will argue against bestiality as a socially acceptable practice based on five standard premises. The standard premises I will present will contain notes in regard to: instrumentality; consent; disease transmission; deviance; and morality. There is significant work available on the harm done to the beast, so aside from brief summary; the question of the good of the beast is not in the focus. I will also ignore any religious concerns, either surrounding morality or freedom of practice. Instead, these arguments are in support of the moral identity of the individual and of society as a whole. (shrink)

One of the important questions discussed by philosophers of technology has to do with the moral significance of artefacts in human life. While many philosophers agree that artefacts do have moral significance attached to them, opinions vary as to how it is to be construed. In this paper we deal with the approach of the influential Dutch philosopher of technology Peter Paul Verbeek. He criticizes traditional ethical theories for assuming that whatever relevancy artefacts have for morality is entirely dependent on (...) human beings, since artefacts are mere passive instruments of human agency. In contrast, he develops a view of moral agency that includes artefacts and that ascribes moral agency to human-technology hybrids rather than to humans as such. The goal of this paper is to elucidate Verbeek’s account of moral agency and evaluate it. We also deal with his views on post phenomenology and mediation underlying this account. Although the general gist of our paper is expository, we point out to several problems for Verbeek’s account. (shrink)

Despite playing an important role in epistemology, philosophy of science, and more recently in moral philosophy and aesthetics, the nature of understanding is still much contested. One attractive framework attempts to reduce understanding to other familiar epistemic states. This paper explores and develops a methodology for testing such reductionist theories before offering a counterexample to a recently defended variant on which understanding reduces to what an agent knows.