In the so-called modern age, a transition can be observed in Western thought regarding this issue of tolerance. A perceptible shift can be seen in the understanding of tolerance as mere endurance to attempts to conceive of tolerance as a kind of well-grounded acceptance. It is regrettable, however, that this change in thinking has often remained hypothetical rather than heuristic. This certainly has to do with the fact that most of the time only large-scale theological, philosophical, or political projects were (...) negotiated. In this case, as is often happens, the directly concerned individual, the concrete person in the course of the demonstration efforts, was lost. We want to counter this loss with our study. In our investigation, which is based on a phenomenological reflection, we want to examine tolerance and respect as an existential problem couched within an individual. We wish to consider a person who desires to be tolerant and respectful; a person who accepts tolerance and respect as an existential task. (shrink)

The problem of identity is central to epistemic transference. However, relative identity appears to be the only way to work out an epistemic useful notion of identity. Relative identity, on its part, is either parasitic on strict identity or not identity at all. If, on the contrary, we ought for a strict concept of identity capable of satisfying its requirements, we end up with a tautologic and epistemic worthless category. The paper provides an (...) answer to this problem, which, while working with a strict notion, shows how it might still serve epistemic purposes. In doing so, it shows how a formal reconstruction of our objectual world and the identities we refer to poses a workable model upon which our messy epistemic one acquires stability. The paper focuses primarily on the Geach-Quine discussion on identity. (shrink)

Formalizing Euclid’s first axiom. Bulletin of Symbolic Logic. 20 (2014) 404–5. (Coauthor: Daniel Novotný) -/- Euclid [fl. 300 BCE] divides his basic principles into what came to be called ‘postulates’ and ‘axioms’—two words that are synonyms today but which are commonly used to translate Greek words meant by Euclid as contrasting terms. -/- Euclid’s postulates are specifically geometric: they concern geometric magnitudes, shapes, figures, etc.—nothing else. The first: “to draw a line from any point to any point”; the last: the (...) parallel postulate. -/- Euclid’s axioms are general principles of magnitude: they concern geometric magnitudes and magnitudes of other kinds as well even numbers. The first is often translated “Things that equal the same thing equal one another”. -/- There are other differences that are or might become important. -/- Aristotle [fl. 350 BCE] meticulously separated his basic principles [archai, singular archê] according to subject matter: geometrical, arithmetic, astronomical, etc. However, he made no distinction that can be assimilated to Euclid’s postulate/axiom distinction. -/- Today we divide basic principles into non-logical [topic-specific] and logical [topic-neutral] but this too is not the same as Euclid’s. In this regard it is important to be cognizant of the difference between equality and identity—a distinction often crudely ignored by modern logicians. Tarski is a rare exception. The four angles of a rectangle are equal to—not identical to—one another; the size of one angle of a rectangle is identical to the size of any other of its angles. No two angles are identical to each other. -/- The sentence ‘Things that equal the same thing equal one another’ contains no occurrence of the word ‘magnitude’. This paper considers the problem of formalizing the proposition Euclid intended as a principle of magnitudes while being faithful to the logical form and to its information content. (shrink)

In this paper I try to answer four basic questions: (1) How the concept of God is to be represented? (2) Are there any logical principles governing it? (3) If so, what kind of logic lies behind them? (4) Can there be a logic of the concept of God? I address them by presenting a formal-logical account to the concept of God. I take it as a methodological desideratum that this should be done within the simplest existing logical formalism. (...) I start with first-order logic (FOL) with identity, and then show that its simplest modal extension (SQML, or the simplest quantified modal logic) is enough for us to formalize a minimally satisfactory theory of the concept of God. I focus exclusively on the monotheistic concept of God. (shrink)

In his paper “Flaws of Formal Relationism”, Mahrad Almotahari argues against the sort of response to Frege's Puzzle I have defended elsewhere, which he dubs ‘Formal Relationism’. Almotahari argues that, because of its specifically formal character, this view is vulnerable to objections that cannot be raised against the otherwise similar Semantic Relationism due to Kit Fine. I argue in response that Formal Relationism has neither of the flaws Almotahari claims to identify.

The field of iterated belief change has focused mainly on revision, with the other main operator of AGM belief change theory, i.e. contraction, receiving relatively little attention. In this paper we extend the Harper Identity from single-step change to define iterated contraction in terms of iterated revision. Specifically, just as the Harper Identity provides a recipe for defining the belief set resulting from contracting A in terms of (i) the initial belief set and (ii) the belief set resulting (...) from revision by ¬A, we look at ways to define the plausibility ordering over worlds resulting from contracting A in terms of (iii) the initial plausibility ordering, and (iv) the plausibility ordering resulting from revision by ¬A. After noting that the most straightforward such extension leads to a trivialisation of the space of permissible orderings, we provide a family of operators for combining plausibility orderings that avoid such a result. These operators are characterised in our domain of interest by a pair of intuitively compelling properties, which turn out to enable the derivation of a number of iterated contraction postulates from postulates for iterated revision. We finish by observing that a salient member of this family allows for the derivation of counterparts for contraction of some well known iterated revision operators, as well as for defining new iterated contraction operators. (shrink)

What does it mean to be a modern American today? These slides summarize the discussion from five lectures delivered in winter 2019 at the University of Oregon's Osher Lifelong Learning Institute. The lectures themselves are available on YouTube -/- Just how different is American from other cultural identities? We have thought of ourselves as the specially modern nation, spreading the revolutionary gospel of freedom from traditional restrictions. Some condemn this American exceptionalism, while others celebrate it. Don't take sides too quickly, (...) there are deep issues here. -/- -- The first lecture poses the question whether American identity is a rigid given set of traditional substantive values, or a free floating modern identity with at most a set of formal procedural values. -/- -- The second and third lectures dismantle these options, arguing that any substantive identity must include areas of inner freedom and mobility, and any formal procedural identity needs substantive style and content in order to exist at all. Personal and social identities are two leveled, with given values and projects plus inner self-reflection and space for revision. -/- -- The fourth lecture argues that what makes American identity special is neither its substantive values nor its modern formalism, which are shared with other modern nations, but rather the particular slant of its second level attitudes and practices towards first level substance. -/- -- The fifth lecture asks what America can learn and teach in an increasingly multicultural world. (shrink)

In this paper we prove the completeness of three logical systems I LI, IL2 and IL3. IL1 deals solely with identities {a = b), and its deductions are the direct deductions constructed with the three traditional rules: (T) from a = b and b = c infer a = c, (S) from a = b infer b = a and (A) infer a = a(from anything). IL2 deals solely with identities and inidentities {a ± b) and its deductions include both (...) the direct and the indirect deductions constructed with the three traditional rules. IL3 is a hybrid of IL1 and IL2: its deductions are all direct as in IL1 but it deals with identities and inidentities as in IL2. IL1 and IL2 have a high degree of naturalness. Although the hybrid system IL3 was constructed as an artifact useful in the mathematical study of IL1 and IL2, it nevertheless has some intrinsically interesting aspects. The main motivation for describing and studying such simple systems is pedagogical. In teaching beginning logic one would like to present a system of logic which has the following properties. First, it exemplifies the main ideas of logic: implication, deduction, non-implication, counterargument(or countermodel), logical truth, self-contradiction, consistency,satisfiability, etc. Second, it exemplifies the usual general metaprinciples of logic: contraposition and transitivity of implication, cut laws, completeness,soundness, etc. Third, it is simple enough to be thoroughly grasped by beginners. Fourth, it is obvious enough so that its rules do not appear to be arbitrary or purely conventional. Fifth, it does not invite confusions which must be unlearned later. Sixth, it involves a minimum of presuppositions which are no longer accepted in mainstream contemporary logic. (shrink)

Construing the instantiation of a universal by a particular in terms of my theory of aspects resolves the basic mystery of this "non-relational tie", and gives theoretical unity to the four characteristics of instantiation discerned by Armstrong. Taking aspects as distinct in a way akin to Scotus's formal distinction, I suggest that instantiation is the sharing of an aspect by a universal and a particular--a kind of partial identity. This approach allows me to address Plato's multiple location and (...) One over Many problems, Bradley's problem concerning the instantiation of relations, and the problem of change. (shrink)

Habermas’ theory of communicative action is explored as an orientation to the question of understanding which negotiates a pathway between two opposing (and complementary) theoretical frameworks—namely, hermeneutical-relational and empirical-analytical frameworks. His perspective grounds speech, action and understanding in the ethics of human relations. In his approach, understanding is fixed by particular events or situations about which intersubjective agreement must be achieved through the offer and acceptance of reasons that simultaneously orient actors to three worlds: the objective, the social and the (...) personal worlds. This approach raises the question as to whether the process of abstracting from the particular event to the general form, through such rational discourse, might create systems of understanding which silence individual expression and naming, particularly if such expression involves an identity that is not shared with others in the group. In other words, is the origin of an event or situation necessarily a null point for all actors? As this question is explored, metaphor comes to the fore as a complementary process of showing that which cannot be grounded in the dominant system of understanding. The pivot role of naming in the formal structure of Godel’s First Incompleteness Theorem for Number Theory demonstrates the challenge to Habermas’ theory. (shrink)

We compare the medieval projects of commentaries and disputations with the modern projects of formal ontology and of mathematics.

Fichte’s Foundations of the Entire Wissenschaftslehre 1794 is one of the most fundamental books in classical German philosophy. The use of laws of thought to establish foundational principles of transcendental philosophy was groundbreaking in the late eighteenth and early nineteenth century and is still crucial for many areas of theoretical philosophy and logic in general today. Nevertheless, contemporaries have already noted that Fichte’s derivation of foundational principles from the law of identity is problematic, since Fichte lacked the tools to (...) correctly present the formal parts of Foundations. In this paper, however, we argue that Fichte’s approach intuitively offers an important contribution to transcendental philosophy, and especially to philosophy of logic. We first point out the difficulties of Fichte’s logic in the Foundations and improve it in a second part on the basis of a formal system in which both propositional logic and syllogistic are combined. (shrink)

Composition as Identity is the view that an object is identical to its parts taken collectively. I elaborate and defend a theory based on this idea: composition is a kind of identity. Since this claim is best presented within a plural logic, I develop a formal system of plural logic. The principles of this system differ from the standard views on plural logic because one of my central claims is that identity is a relation which comes (...) in a variety of forms and only one of them obeys substitution unrestrictedly. I justify this departure from orthodoxy by showing some problems which result from attempts to avoid inconsistencies within plural logic by means of postulating other non-singular terms besides plural terms. Thereby, some of the main criticisms raised against Composition as Identity can be addressed. Further, I argue that the way objects are arranged is relevant with respect to the question which object they compose, i.e. to which object they are identical to. This helps to meet a second group of arguments against Composition as Identity. These arguments aim to show that identifying composite objects on the basis of the identity of their parts entails, contrary to our common sense view, that rearranging the parts of a composite object does not leave us with a different object. Moreover, it allows us to carve out the intensional aspects of Composition as Identity and to defend mereological universalism, the claim that any objects compose some object. Much of the pressure put on the latter view can be avoided by distinguishing the question whether some objects compose an object from the question what object they compose. Eventually, I conclude that Composition as Identity is a coherent and plausible position, as long as we take identity to be a more complex relation than commonly assumed. (shrink)

In this paper we introduce some logical and philosophical refinements to OntoClean, first by developing some formal constraints on identity criteria, secondly by specifying a kind of identity criteria, two level identity criteria, whose role is to explain an identity among some entities referring to some other, more basic, entities. Using such refinement we add a formal constraint to the stock of OntoClean meta-constraints (OC+). We, then, observe that two level identity criteria have (...) an intuitive reading in terms of dependence of a kind of entities on some other entities, possibly specified in terms of a grounding relation. Are identity criteria grounding principles? In the second part of the paper we discuss this option. (shrink)

In this paper, I elaborate on the Strong Nuclear Theory (SNT) of tropes and substances, which I have defended elsewhere, using my metatheory about formal ontology and especially fundamental ontological form. According to my metatheory, for an entity to have an ontological form is for it to be a relatum of a formal ontological relation or relations jointly in an order. The full fundamental ontological form is generically identical to a simple formal ontological relation or relations jointly (...) in an order. Regarding generic identity, I follow Fabrice Correia and Alexander Skiles, who consider it a form of generalized identity as distinguished from numerical identity. The SNT states that for any trope to have the full fundamental ontological form is for it to be a strongly rigidly or generically (existentially) dependent individual simple part. Therefore, the common dichotomous set-up of asking whether tropes are fundamentally properties rather than objects or vice versa is a non-starter to me in formal ontological terms. The elaboration of the SNT also supplies me with the resources to respond to the arguments against tropes by Douglas Ehring, Robert K. Garcia and Herbert Hochberg. Finally, I argue that non-fundamentally but necessarily, every trope is a proper part of a substance and is concrete in the SNT. (You may access the published paper via the external link below.). (shrink)

There are well-known quasi-formal arguments that identity is a "strict" relation in at least the following three senses: (1) There is a single identity relation and a single distinctness relation; (2) There are no contingent cases of identity or distinctness; and (3) There are no vague or indeterminate cases of identity or distinctness. However, the situation is less clear cut than it at first may appear. There is a natural formal theory of identity (...) that is very close to the standard classical theory but which does not validate the formal analogues of (1)-(3). The core idea is simple: We weaken the Principle of the Indiscernibility of Identicals from a conditional to an entailment and we adopt a weakly classical logic. This paper investigates this weakly classical theory of identity (and related theories) and discusses its philosophical ramifications. It argues that we can accept a reasonable theory of identity without committing ourselves to the uniqueness, necessity, or determinacy of identity. (shrink)

In this paper I will develop a lambda-term calculus, lambda-2Int, for a bi-intuitionistic logic and discuss its implications for the notions of sense and denotation of derivations in a bilateralist setting. Thus, I will use the Curry-Howard correspondence, which has been well-established between the simply typed lambda-calculus and natural deduction systems for intuitionistic logic, and apply it to a bilateralist proof system displaying two derivability relations, one for proving and one for refuting. The basis will be the natural deduction system (...) of Wansing's bi-intuitionistic logic 2Int, which I will turn into a term-annotated form. Therefore, we need a type theory that extends to a two-sorted typed lambda-calculus. I will present such a term-annotated proof system for 2Int and prove a Dualization Theorem relating proofs and refutations in this system. On the basis of these formal results I will argue that this gives us interesting insights into questions about sense and denotation as well as synonymy and identity of proofs from a bilateralist point of view. (shrink)

In The Philosophy of Logical Atomism Russell held the view that facts in the world are formally structured complexes, the structure of which matches the logical structure of correspondent propositions. Russell also seems to have denied that there are facts of identity and of diversity. This paper argues that Identity and Diversity can be understood as purely formal structures in Russellian facts. It considers Russell’s possible reasons for denying the existence of facts of identity and diversity (...) and shows how problematic these reasons are. In particular, I argue that identity statements are not tautologies, and their denial does not result into a contradiction. An important consequence of this thesis is that Metaphysics and Logic are not as tied up as Russell took them to be, but nevertheless these are good news for the old formal program for Metaphysics that lies at the very heart of what he called philosophical logic. (shrink)

Usual narratives among prehistoric archaeologists consider typological approaches as part of a past and outdated episode in the history of research, subsequently replaced by technological, functional, chemical, and cognitive approaches. From a historical and conceptual perspective, this paper addresses several limits of these narratives, which (1) assume a linear, exclusive, and additive conception of scientific change, neglecting the persistence of typological problems; (2) reduce collective developments to personal work (e.g. the “Bordes’” and “Laplace’s” methods in France); and (3) presuppose the (...) coherence and identity of these “methods” over time. It explores the case of the “Structural and analytical typology” method, developed in France, Spain, and Italy from the 1950s to the 2000s by Georges Laplace and his collaborators for lithic implements. This paper (1) provides a detailed historical account of the evolving content of this collective endeavour over five decades; (2) it addresses the epistemological question of what makes the identity and unity of a scientific method, demonstrating that the core component of the “analytical typology” lies in its particular way to represent real-world phenomena through its notation system; and (3) it reveals how this little known but significant episode of advances in the methods and theory of archaeology, contemporary but independent of the “New Archaeology” trend in English-speaking archaeology, was instrumental in the continuation of evolutionary perspectives in France and in the development of quantitative and formal methods in archaeology in southwestern Europe, foreseeing crucial knowledge representation issues raised today by digital methods in archaeology and data curation. (shrink)

In "Counting and Indeterminate Identity", N. Ángel Pinillos develops an argument that there can be no cases of `Split Indeterminate Identity'. Such a case would be one in which it was indeterminate whether a=b and indeterminate whether a=c, but determinately true that b≠c. The interest of the argument lies, in part, in the fact that it appears to appeal to none of the controversial claims to which similar arguments due to Gareth Evans and Nathan Salmon appeal. I argue (...) for two counter-claims. First, the formal argument fails to establish its conclusion, for essentially the same reason Evans's and Salmon's arguments fail to establish their conclusions. Second, the phenomena in which Pinillos is interested, which concern the cardinalities of sets of vague objects, manifest the existence of what Kit Fine called `penumbral connections', phenomena that the logics Pinillos considers are already known not to handle well. (shrink)

forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), symbolizing English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as modal logic, soundness, and functional completeness. Exercises with solutions (...) are available. It is provided in PDF (for screen reading, printing, and a special version for dyslexics), HTML, and in LaTeX source code. (shrink)

Psychological well-being is a major global concern receiving more scholarly attention following the 2008 Great Recession, and it becomes even more relevant in the context of COVID-19 outbreak. In this study, we investigated the impact of economic uncertainty resulting from natural disasters, epidemics, and financial crisis on individuals' mental health. As unemployment rate exponentially increases, individuals are faced with health and economic concerns. Not all society members are affected to the same extent, and marginalized groups, such as those suffering from (...) chronic mental illnesses or low-income families cannot afford the downsizing, mass lay-offs and lack of access to public health services. Psychiatric profession is familiarized with the phenomenon of intolerance of uncertainty (IU), and we examine how this concept is associated with job uncertainty and social identity disturbance. Several studies have formally investigated the effects of IU, but to our knowledge, this is the first research integrating the psychological well-being, job uncertainty and identity disturbance caused by economic breakdown. Literature points to many reported cases of PTSD, anxiety, depression and suicidal tendencies following major social disasters. Yet, we have undertaken to analyze the subjective experiences underlying the self-harming behaviors in an attempt to fill the methodological gap by drawing insights from prominent psychological, sociological and economic theories. We find economic uncertainty to have a positive relation to job uncertainty and identity disturbance, and a negative relationship with psychological well-being. Psychological well-being depends on coherency between both abstract subjective and concrete objective identity, and when these perceptions are inconsistent, cognitive dissonance arises resulting in identity disturbance. We argue that stability is not associated with monetary advantage only, but also with a wide range of other benefits that are crucial for individuals' growth, satisfaction and sense of identity. Therefore, we propose the implementation of social support and public welfare policies to mitigate health risks during the turbulent socio-economic changes. (shrink)

[This is a paper that was originally written in 2017 and doesn't represent Silva's current thinking about degrees of confidence, conviction, and rationality.] Can there be knowledge and rational belief in the absence of a rational degree of confidence? Yes, and cases of "mistuned knowledge" demonstrate this. In this paper we leverage this normative possibility in support of advancing our understanding of the metaphysical relation between belief and credence. It is generally assumed that a Lockean metaphysics of belief that reduces (...) outright belief to degrees of confidence would immediately effect a unification of coarse-grained epistemology of belief with fine-grained epistemology of confidence. Scott Sturgeon has suggested that the unification is effected by understanding the relation between outright belief and confidence as an instance of the determinable-determinate relation. But determination of belief by confidence would not by itself yield the result that norms for confidence carry over to norms for outright belief unless belief and high confidence are token identical. We argue that this token-identity thesis is incompatible with the neglected phenomenon of “mistuned knowledge”—knowledge and rational belief in the absence of rational confidence. We contend that there are genuine cases of mistuned knowledge and that, therefore, epistemological unification must forego token identity of belief and high confidence. We show how partial epistemological unification can be secured given determination of outright belief by degrees of confidence even without token-identity. Finally, we suggest a direction for the pursuit of thoroughgoing epistemological unification. (shrink)

ABSTRACT An apparent objection against my theory of instantiation as partial identity is that identity is necessary, yet instantiation is often contingent. To rebut the objection, I show how it can make sense that identity is contingent. I begin by showing how it can make sense that identity is temporary. I rely heavily on Andre Gallois’s formal theory of occasional identity, but argue that there is a gap in his explanation of how his formalisms (...) make sense that needs to be filled by appeal to my theory of Aspects. (shrink)

An introduction to sentential logic and first-order predicate logic with identity, logical systems that significantly influenced twentieth-century analytic philosophy. After working through the material in this book, a student should be able to understand most quantified expressions that arise in their philosophical reading. -/- This books treats symbolization, formal semantics, and proof theory for each language. The discussion of formal semantics is more direct than in many introductory texts. Although forall x does not contain proofs of soundness (...) and completeness, it lays the groundwork for understanding why these are things that need to be proven. -/- The book highlights the choices involved in developing sentential and predicate logic. Students should realize that these two are not the only possible formal languages. In translating to a formal language, we simplify and profit in clarity. The simplification comes at a cost, and different formal languages are suited to translating different parts of natural language. (shrink)

Sebastian Rödl’s 2018 book articulates and unfolds the thought that judgment’s self-consciousness is identical with its objectivity. This view is laid forth in a Hegelian spirit, against the spirit of Kant’s merely formal or transcendental idealism. I review Rödl’s central theses and then offer a criticism of his reading of Kant. I hold that we can agree with Rödl that self-consciousness is identical with objectivity (though only in a ‘formal’ sense). We can also agree with Rödl that this (...) identity enables us to see the completeness and the incompleteness of judgment as two sides of one coin. And, it is not necessary to reject the formality or ‘emptiness’ of Kant’s ‘I think’ in order to establish these points. Indeed, the virtues of these theses flows directly from such notions in Kant. And, because Rödl need not reject the central features of Kant’s formal idealism, he also need not locate them as the source of the need for a turn to Hegel. (shrink)

God is dead, but, contrary to Nietzsche’s diagnosis, ‘we’ didn’t kill him; he died of cancer. This perhaps crudely cold and off-putting opening does not refer to a naively metaphorically constituted transcendental abstraction, but to a spatio-temporally situated rock legend, Ronnie James Dio. This study aims at contributing to the burgeoning research field of memory and collective identity by providing a sociosemiotic account of the formation of collective narrative identity. By drawing on the three major categories whereby collective (...) memory is formed, that is artifacts, processes, places, as well as on the three key sociosemiotic metafunctions which are responsible for shaping a cultural event as sign system, the pursued interpretive route seeks to effectively contextualize how collective memory is fleshed out situationally in the context of Dio’s memorial. At the same time, by expanding the interpretive canvass to incorporate phenomenological perspectives on the mode of formation of collective memory, the offered analytic is intent on tracing invisible structures that point to operative mechanisms beyond the formal constraints of a sociosemiotic reading. Both phenomenological and sociosemiotic approaches are reinscribed within an overarching narrativity paradigm, wherein their relative merits in addressing the scrutinized phenomenon are discussed in an attempt to formulate a hybrid sociosemiotic phenomenological perspective of memorial events. (shrink)

Abstract The present paper examines the role of epistemic virtues in the formation of intellectual identity and its impact on improving our truth-seeking behaviors. A epistemic virtue is a special faculty or trait of a person whose operation makes that person a thinker, believer, learner, scholar, knower, cognizer, perceiver, etc., or causes his intellectual development and perfection, and improves his truth-seeking and knowledge-acquiring behaviours and places him on the path to attain understanding, perception and wisdom. Virtue epistemology is a (...) set of approaches in contemporary epistemology that regards knowledge as "a true belief arising from humans epistemic virtues." Virtue responsibilism and Virtue reliabilism are two important approaches to virtue epistemology that differ together in their attitude to the nature of epistemic virtue. Responsibilisms regards epistemic virtues as an acquired character traits that must be attained through practice and training with plenty of effort from the agent who possesses the will. In contrast, virtue reliabilisms considers epistemic virtues as reliable and innate cognitive faculties, and believes that this natural faculties has been placed in the human being from the very beginning and, if used in the appropriate condition and in a proper environment, is reliably truth-conducive. So virtue epistemology, which is distinguished from belief-based analytical epistemology by focusing on the cognitive character of the agent rather than the belief, regards epistemic virtues as the constructive factor of the epistemic agent and the condition of reaching the truth. From the two approaches of virtue reliabilism and virtue responsibilism, this paper focuses on the second approach and with using of the nine-fold virtues, that Jason Baehr posed, shows how to make epistemically good and thinker human by utilizing these virtues and avoiding the corresponding vices and through this, gained the truth in various epistemic areas. After explaining these virtues and their role in the two mentioned domains based on the virtue epistemology, the significance of this relationship in the view of Mulla Sadra as an example of Islamic philosophy is examined, For the reason that he sees knowledge as the produce of some factors that epistemic virtues is considered part of them. In the view of Sadra, epistemic virtues is the specific attributes and traits of reason faculty that their function causes man to be a very good and strong perciever, and their actual possesion or their gradual acquisition leads to the perfection of the soul and the dignity of human existence. In a new theory of soul-  Ph.D. Student of Islamic Philosophy and Theology, Qom University, Qom, Iran (Responsible author) [email protected]  Associate Professor of Islamic Philosophy and Theology, Qom University, Qom, Iran. [email protected]  Professor of Islamic Philosophy and Theology, Qom University, Qom, Iran. [email protected] 2/ Comparative Theology, Vol: 9, No: 19, Spring & Summer 2018 knowledge, he considers the journey of the soul from the outset as evolutionary journey, and, on the other hand, he considers all human activities directly as an activity of the soul (epistemic agent), which he performs through his own faculties. As a result, the soul is a increasing and evolving being, while at the same time acquiring knowledge is also from its own activities, and therefore the factors that make up the soul are also influential in its products. Now, as knowledge comes from soul exposure to the outside world, the more this soul is refined from pollutions and adorned to virtues, the better reflection from reality will be. Undoubtedly, the desire to engage in the process of truth-seeking and the responsible use of cognitive virtues and skills lead man to a desirable goal (recognition of truth) and forms his true intellectual identity. In the end, the paper suggests that because of the importance of epistemic virtues in the improvement of truth-seeking behaviors, educating and cultivating of these types of virtues should be part of the spoken and written course content of universities and schools, and must be proper critical thinking is institutionalized and strengthened in the spirit of community members. Educational resources contain a wide range of information that can deeply influence our epistemic behaviors and actions. Hence, it is necessary to include praised cognitive skills and epistemic virtues training in them. Teachers play an important role in educating and developing epistemic virtues as part of the formal curriculum content of educational centers, perhaps as part of critical thinking and logic courses. The formal education of epistemic virtues and the creation of opportunities for practicing and exercising them will be a good starting point for institutionalizing and developing admired cognitive skills among members of the community. In a society where individuals in their epistemic processes use their own cognitive virtues and organize their beliefs on their basis, the community itself and the social relations will also be virtuous, because the necessity of such an virtues is that individuals interact with their peers and In these interactions, rule virtue. Observing fairness towards others, intellectual humility, intellectual generosity, courage against miscreant and one who has weak arguments, observance of neutrality and other epistemic virtues, if it is to be found in societies as a habit and praised skill, then that society will be virtuous and its relations will be healthier and with the cultivating of those virtues, Intellectual and moral development will also become easier and more common. Intellectual virtues (or praised cognitive skills) should be taught to the community members, so that they display such characteristics when engaging in social activities, whean expressing opinions, when doing research, and so on. It is important to change our education policies, because the decay of praised cognitive skills leads to devastating consequences for intellectual identity and the truth-seeking and knowledgeacquiring behavior of the community members. (shrink)

The paper puts forward that the basic principle of Wittgenstein’s Tractatus (4.0312) transforms the supreme principle of all synthetic judgments a priori in Kant’s Critique of Pure Reason (A158/B197) from a level of reason to the level of language. Both philosophers, Kant and Wittgenstein, put forward a transcendental principle and both hold a formal identity true, Kant an identity between the form of experience and the form of the object of experience, Wittgenstein an identity between the (...) form of a sentence and the form of a fact. (shrink)

Revista Cunoașterea Științifică este o publicație trimestrială din domeniile științei și filosofiei, și domenii conexe de studiu și practică. -/- Cuprins: -/- EDITORIAL Cunoașterea științifică – Metodologii, de Nicolae Sfetcu -/- ȘTIINȚE NATURALE Drobeta Turnu Severin Heavy Water Plant: Functioning and Shutting Down, de Nicolae Sfetcu Pandemia: Women and Policewomen, de Albert Torma -/- ȘTIINȚE SOCIALE Poziția statelor emergente în raport cu politica externă şi de securitate comună a Uniunii Europene, de Alexandru Cristian Parohia în textul sfintelor canoane și în (...) practică bisericească, de Dumitru Mazilu Abandonul școlar în România, de Alexandra Mocanu Despre calitatea de paroh-administrator în funcționarea unei unități parohiale moderne, de Dumitru Mazilu Anime culture in Romania, de Alexandra Mocanu -/- ȘTIINȚE FORMALE Identity and Artificial Intelligence in The Adventures of Pinocchio, de Nicolae Sfetcu -/- FILOSOFIE Teorii cauzale ale referinței, de Nicolae Sfetcu -/- RECENZII CĂRȚI Reconstrucția rațională a științei prin programe de cercetare, de Nicolae Sfetcu -/- ISSN 2821– 8086 ISSN – L 2821 – 8086, DOI: 10.58679/CS33642. (shrink)

The paper puts forward that the basic principle of Wittgenstein’s Tractatus (4.0312) transforms “the supreme principle of all synthetic judgments a priori” in Kant’s “Critique of Pure Reason” (A158/B197) from a level of reason to the level of language. Both philosophers, Kant and Wittgenstein, put forward a transcendental principle and both hold a formal identity true, Kant an identity between the form of experience and the form of the object of experience, Wittgenstein an identity between the (...) form of a sentence and the form of a fact. Both transform the identity of thinking and being first formulated by Parmenides “... to gar auto noein estin te kai einai“ (D/K.B3). (shrink)

Is identity fundamental to formal systems? Even if a system have no the identity relation, is that concept is not assumed in any way – whether in a metalinguistic or intuitive level? In this paper we shall discuss this issue. Otávio Bueno (2014, 2016) argues against the elimination of identity, holding that this concept is fundamental and non-eliminable (even in does systems that claim to do so). Décio Arenhart Krause and Jonas (2015), by the other hand, (...) have a number of objections to Bueno’s thesis. Firstly, we look at how the concept of identity was accounted in the philosophical tradition, as well as part of its formal account. We will also examine the notion of indiscernibility that, according to the traditional approach to identity, is equivalent to the notion of identity, but (arguably) is not it logically equivalent. Thus, we shall state Krause and Arenhart’s strategy, according to, in a formal system we can eliminate identity in favor of the indiscernibility notion. Finally, we shall expose Bueno’s criticism to such strategy, and then to put forward some objections against it. (shrink)

This chapter explores some key issues within Descartes’s theory of cognition. The starting-point is a recent interpretation, according to which Descartes is part of a tradition of theorizing about human cognition, beginning from the idea that we are in principle capable of articulating or grasping the basic order of reality. Earlier readings often take Descartes to question whether we have any cognitive access to reality at all. On the new reading, Descartes instead defends a robust conception of our cognitive relation (...) to reality—our cognition needs to be “determined by reality,” as John Carriero puts it. One important element of Carriero’s interpretation is that Descartes’s notion of idea is to be understood along the lines of the Aristotelian doctrine of formal identity between cognizer and cognized. Here it is argued that retaining the latter doctrine faces some difficulties, given the novel conception of the structure of reality defended by Descartes. This chapter proposes that he needs an alternative account of what it is for a cognizer to be determined by reality. Attending to some important differences between the innate idea of extension and that of God, the chapter concludes that Descartes may not have a fully worked-out account of his own. Considering some of the problems inherent in his views can, however, shed light on the, from our contemporary perspective, peculiar role both Spinoza and Leibniz give to God in accounting for cognition. (shrink)

This book addresses the problem of self-knowledge in Kant’s philosophy. As Kant writes in his major works of the critical period, it is due to the simple and empty representation ‘I think’ that the subject’s capacity for self-consciousness enables the subject to represent its own mental dimension. This book articulates Kant’s theory of self-knowledge on the basis of the following three philosophical problems: 1) a semantic problem regarding the type of reference of the representation ‘I’; 2) an epistemic problem regarding (...) the type of knowledge relative to the thinking subject produced by the representation ‘I think’; and 3) a strictly metaphysical problem regarding the features assigned to the thinking subject’s nature. The author connects the relevant scholarly literature on Kant with contemporary debates on the huge philosophical field of self-knowledge. He develops a formal reading according to which the unity of self-consciousness does not presuppose the identity of a real subject, but a formal identity based on the representation ‘I think’. (shrink)

Dennis Whitcomb argues that there is no God on the grounds that God is supposed to be omniscient, yet nothing could be omniscient due to the nature of grounding. We give a formally identical argument that concludes that one of the present co-authors does not exist. Since he does exist, Whitcomb’s argument is unsound. But why is it unsound? That is a difficult question. We venture two answers. First, one of the grounding principles that the argument relies on is false. (...) Second, the argument equivocates between two kinds of grounding: instance-grounding and quasi-mereological grounding. Happily, the equivocation can be avoided; unhappily, avoidance comes at the price of a false premise. (shrink)

Rohingya refugee children in Bangladesh are forced into labour both inside and outside the camps for a wide range of reasons. This article examines this situation in relation to the access to education for those children living in the camps in Cox’s Bazar. Being informed by several perspectives concerning child labour and access to schooling in developing country contexts, this research work has adopted a qualitative approach to study various factors working behind this pressing issue. After collecting data by means (...) of qualitative methods, including non-participant observations and semi-structured interviews, the researcher has analyzed the findings with these informed perspectives. Results show that lack of formal identity, limited access to the formal labour market, absence of social sanctions against child employment, lack of aspirations, household composition, and substandard living conditions are some of the key factors that drive children to engage in various forms of labour, especially outside the camps. They often work in small workshops as labourers and in the host community households as domestic workers. Undocumented children are also reported to become victims of bonded labour, sex trade, and trafficking in the region. The author argues that a lack of formal education has compounded this issue into a severe humanitarian crisis which calls for immediate support and actions from local and international agencies. (shrink)

The paper puts forward that the basic principle of Wittgenstein’s Tractatus (4.0312) transforms “the supreme principle of all synthetic judgments a priori” in Kant’s “Critique of Pure Reason” (A158/B197) from a level of reason to the level of language. Both philosophers, Kant and Wittgenstein, put forward a transcendental principle and both hold a formal identity true, Kant an identity between the form of experience and the form of the object of experience, Wittgenstein an identity between the (...) form of a sentence and the form of a fact. Both transform the identity of thinking and being first formulated by Parmenides “... to gar auto noein estin te kai einai“ (D/K.B3) . (shrink)

Twentieth-century Canadian philosopher Bernard J. F. Lonergan and nineteenth-century German philosopher G. W. F. Hegel regarded themselves as Aristotelian thinkers. As Aristotelians, both affirmed that human knowing is essentially a matter of knowing by identity: in the act of knowing, the knower and the known are formally identical. In spite of their common Aristotelian background and their common commitment to the idea that human knowing is knowing by identity, Lonergan and Hegel also differed on a number of crucial (...) points. This essay discusses some key similarities and differences between Lonergan and Hegel on the issue knowing, in the hope that such a discussion might uncover a few possible avenues for further philosophical dialogue about these two important thinkers. (shrink)

Identity is traditionally taken to be a fundamental notion of our conceptual framework as well as a fundamental metaphysical component of entities. But as far as we make this claim we face ourselves with two problems: what is identity? And why would it be fundamental? These questions will guide us towards a discussion put forward by Bueno (2014), Krause and Arenhart (2015). Bueno holds that there are four aspects that make identity being fundamental: (1) identity is (...) assumed in every conceptual system; (2) it is required for a minimal characterisation of being an individual; (3) it cannot be defined; and (4) identity is required for quantification. On the other hand, Krause and Arenhart refuse the thesis that identity is fundamental replying to Bueno's arguments. In this dissertation we will deal with this debate. In the introduction we will deal with the first problem what is identity? , showing how this concept is traditionally understood, either for its metaphysical characteristics as for its formal account. After that we will deal with each of the four aspects defended by Bueno and challenged by Krause and Arenhart. After a critical presentation of each position we will also provide other arguments for the current debate. Finally we will outline an alternative view to those defended throughout this work. -/- . (shrink)

(Abstract - Inglês) Identity is traditionally taken to be a fundamental notion of our conceptual framework as well as a fundamental metaphysical component of entities. But as far as we make this claim we face ourselves with two problems: what is identity? And why would it be fundamental? These questions will guide us towards a discussion put forward by Bueno (2014), Krause and Arenhart (2015). Bueno holds that there are four aspects that make identity being fundamental: (1) (...) identity is assumed in every conceptual system; (2) it is required for a minimal characterisation of being an individual; (3) it cannot be defined; and (4) identity is required for quantification. On the other hand, Krause and Arenhart refuse the thesis that identity is fundamental replying to Bueno's arguments. In this dissertation we will deal with this debate. In the introduction we will deal with the first problem – what is identity? –, showing how this concept is traditionally understood, either for its metaphysical characteristics as for its formal account. After that we will deal with each of the four aspects defended by Bueno and challenged by Krause and Arenhart. After a critical presentation of each position we will also provide other arguments for the current debate. Finally we will outline an alternative view to those defended throughout this work. -/- (Resumo - Português) Tradicionalmente a identidade é adotada como uma noção fundamental de nosso arcabouço conceitual e como um componente metafísico fundamental das entidades. Mas logo ao fazermos essa afirmação nos deparamos com dois problemas: O que é a identidade? E por que ela seria fundamental? Estas perguntas irão nos guiar à discussão conduzida por Otávio Bueno (2014), Décio Krause e Jonas Arenhart (2015). Bueno defende que há quatro aspectos que fazem a identidade ser fundamental: (1) A identidade é pressuposta em todo sistema conceitual; (2) é requerida para uma caracterização mínima de indivíduo; (3) não pode ser definida; e (4) a identidade é requerida para a quantificação. Por outro lado, Krause e Arenhart recusam a tese de que a identidade seja fundamental, respondendo aos argumentos de Bueno. Neste trabalho iremos tratar desse debate. Na introdução iremos tratar do primeiro problema – O que é a identidade? –, mostrando como este conceito é tradicionalmente compreendido, tanto suas características metafísicas como também seu tratamento formal. Posteriormente iremos tratar de cada um dos quatro aspectos defendidos por Bueno e atacados por Krause e Arenhart. Além da exposição crítica de cada posição iremos também oferecer outros argumentos para o debate atual. Ao final iremos esboçar uma posição alternativa às defendidas ao longo do texto. (shrink)

This paper offers a new interpretation of Spinoza's doctrine of parallelism. It argues Spinoza reinterprets the ancient doctrine of metaphysical sympathy among ostensibly disconnected and distant beings in terms of fully intelligible relations of 1) identity between formal and objective reality, and in terms of 2) "real identity," grounded in Spinoza's substance-monism. Finally, the paper argues against the standard reading of mind-body pairs as "numerically identical".

I argue that an individual has aspects numerically identical with it and each other that nonetheless qualitatively differ from it and each other. This discernibility of identicals does not violate Leibniz's Law, however, which concerns only individuals and is silent about their aspects. They are not in its domain of quantification. To argue that there are aspects I will appeal to the internal conflicts of conscious beings. I do not mean to imply that aspects are confined to such cases, but (...) the best way to start is to recognize them experientially. We can feel the conflicts within ourselves. In doing so we can feel some of our aspects. I will try to enhance our understanding of the concept of aspect by listing and formalizing some principles for its use. After that I will argue that all sorts of individual things have aspects, not just people who are conflicted. (shrink)

Work on the nature and scope of formal logic has focused unduly on the distinction between logical and extra-logical vocabulary; which argument forms a logical theory countenances depends not only on its stock of logical terms, but also on its range of grammatical categories and modes of composition. Furthermore, there is a sense in which logical terms are unnecessary. Alexandra Zinke has recently pointed out that propositional logic can be done without logical terms. By defining a logical-term-free language with (...) the full expressive power of first-order logic with identity, I show that this is true of logic more generally. Furthermore, having, in a logical theory, non-trivial valid forms that do not involve logical terms is not merely a technical possibility. As the case of adverbs shows, issues about the range of argument forms logic should countenance can quite naturally arise in such a way that they do not turn on whether we countenance certain terms as logical. (shrink)

Two systems of belief change based on paraconsistent logics are introduced in this article by means of AGM-like postulates. The first one, AGMp, is defined over any paraconsistent logic which extends classical logic such that the law of excluded middle holds w.r.t. the paraconsistent negation. The second one, AGMo , is specifically designed for paraconsistent logics known as Logics of Formal Inconsistency (LFIs), which have a formal consistency operator that allows to recover all the classical inferences. Besides the (...) three usual operations over belief sets, namely expansion, contraction and revision (which is obtained from contraction by the Levi identity), the underlying paraconsistent logic allows us to define additional operations involving (non-explosive) contradictions. Thus, it is defined external revision (which is obtained from contraction by the reverse Levi identity), consolidation and semi-revision, all of them over belief sets. It is worth noting that the latter operations, introduced by S. Hansson, involve the temporary acceptance of contradictory beliefs, and so they were originally defined only for belief bases. Unlike to previous proposals in the literature, only defined for specific paraconsistent logics, the present approach can be applied to a general class of paraconsistent logics which are supraclassical, thus preserving the spirit of AGM. Moreover, representation theorems w.r.t. constructions based on selection functions are obtained for all the operations. (shrink)

This paper applies homotopy type theory to formal semantics of natural languages and proposes a new model for the linguistic phenomenon of copredication. Copredication refers to sentences where two predicates which assume different requirements for their arguments are asserted for one single entity, e.g., "the lunch was delicious but took forever". This paper is particularly concerned with copredication sentences with quantification, i.e., cases where the two predicates impose distinct criteria of quantification and individuation, e.g., "Fred picked up and mastered (...) three books." In our solution developed in homotopy type theory and using the rule of existential closure following Heim analysis of indefinites, common nouns are modeled as identifications of their aspects using HoTT identity types, e.g., the common noun book is modeled as identifications of its physical and informational aspects. The previous treatments of copredication in systems of semantics which are based on simple type theory and dependent type theories make the correct predictions but at the expense of ad hoc extensions (e.g., partial functions, dot types and coercive subtyping). The model proposed here, also predicts the correct results but using a conceptually simpler foundation and no ad hoc extensions. (shrink)

Abstract and Keywords This chapter offers an account of central issues and themes in feminist philosophical engagements with poststructuralism, reflection on examples of important contributions to this discussion, a discussion of the extent to which feminist work has engaged and critiqued the mainstream of the field, and feminist poststructuralist theorizations of the subject, identity, and culture. It also offers a critical genealogy of the epistemological paradigm poststrustructuralism has come to represent, in search of its continuities and breaks from its (...) foundations furnished by French structuralism, psychoanalysis and tangential links with Marxian critical theory. It argues that the anglophone appropriations of structuralism in postmodern context, as it would have been termed in the French academe, have veered away from the original and purely formal conceptualization of the subject by resorting to what might be called, in Marxian terminology, identity centered reifications. This chapter puts forward the claim that poststructuralist discourse and the neoliberal discourse of individual and social mobility, transformativity and the concomitant proclamation of “the death of ideology” (and history) have established numerous and mutually opportune discursive and ideological correspondences. (shrink)

According to standard trope nominalism, there are simple tropes that do not have parts or multiply distinct aspects. Douglas Ehring’s reductio ad absurdum against this standard view concludes that there are no simple tropes. In this paper, we provide a response to Ehring defending the standard view. Ehring’s argument may be refuted by (1) distinguishing the ontological form of tropes from their contribution to the ontological content of the world, and (2) construing tropes as having primitive identity. At the (...) same time, standard trope nominalism is elaborated on by distinguishing between ontological form and content, for which there are also independent reasons. (shrink)

The epistemology of self-locating belief concerns itself with how rational agents ought to respond to certain kinds of indexical information. I argue that those who endorse the thesis of Time-Slice Rationality ought to endorse a particular view about the epistemology of self-locating belief, according to which ‘essentially indexical’ information is never evidentially relevant to non-indexical matters. I close by offering some independent motivations for endorsing Time-Slice Rationality in the context of the epistemology of self-locating belief.

The advance of mechanism in science and philosophy in the 17th century created a great interest to machines or automata. Leibniz was no exception - in an early memoir Drôle de pensée he wrote admiringly about a machine that could walk on water, exhibited in Paris. The idea of automatic processing in general had a large role in his thought, as can be seen, for example, in his invention of the binary code and the so-called Calculemus!-model for solving controversies. In (...) metaphysics, the idea of an automata was expressed most clearly in the 1695 article New System of the Nature of Substances and their Communication, and the ensuing correspondence with, among others, Foucher, Bayle, Lamy, Jaquelot and Masham. In the article Leibniz discusses the soul as a spiritual machine in the context of pre-established harmony, arguing that God can "give to a substance at the outset a nature or internal force which could produce in it an orderly way (as in spiritual or formal automaton; but a free one, in the case of a substance which is endowed with a share of reason) everything that is going to happen to it, that is to say, all the appearances or expressions it is going to have, and all without the help of any created thing." The basic idea of Leibniz's spiritual machine is that the soul or entelechy is an autonomous and spontaneous unity, consisting of internal active force and producing its own perceptions (both confused and distinct). It is a self-moving machine, driven by its perceptions and appetites, but it follows (without being conscious of it) a lawful series or programme created by God. The entelechy remains the same despite undergoing an infinite number of changes. To Foucher he explained that each state of the individual substance is a consequence of its preceding one, "as if there were only God and the substance in the world". Despite this, the spiritual machine is related not only to God, but through the pre-established harmony to bodies or natural machines. However, as it is not dependent on them, the spiritual machine is superiot to natural machines. In this paper I concentrate on three moral themes related to the spiritual machine: moral deliberation, moral identity and the goal of moral action. All these themes are more or less implicit in the New System, but are discussed in more detail in the ensuing correspondence after the publication of the article. Finally, the themes are given an extended discussion especially in the second book of New Essays on Human Understanding (1704, published 1765), written partly at the same time as some of the correspondence and unpublished related material. I will first give an overview of Leibniz's position concerning the spiritual machine or automaton in the New System and then go on to explore the three moral themes one by one, as they feature in the subsequent correspondence and in the New Essays. I will show that the three topics are essential to the function of the spiritual machine – to Sophie Charlotte Leibniz wrote: "...let us say that everything in bodies happens mechanically, or in accordance with laws of motion, and that everything in the soul happens morally, or in accordance with perceived good or evil." There are many texts that anticipate the views in the New System (notably the unpublished memoir De Affectibus of 1679) and Leibniz continued to discuss its themes later on (in addition to correpondence, for example, in Theodicy of 1710 and Monadology and Principles of Nature and Grace of 1714). Here I focus on the short-term development of Leibniz's views on the topic (around 1695-1705), but I argue that his basic view of the spiritual machine did not change much after finishing the dialogue with Locke in 1704. (shrink)

The way in which vision represents objects as being the same despite movement and qualitative changes has been extensively investigated in contemporary psychology. However, the formal properties of the visual sameness relation are still unclear, for example, whether it is an identity-like, equivalence relation. The paper concerns one aspect of this problem: the transitivity of visual sameness. Results obtained by using different experimental paradigms are analysed, in particular studies using streaming/bouncing stimuli, multiple object tracking experiments and investigations concerning (...) object-specific preview benefit, and it is argued that the transitive interpretation of visual sameness is the most plausible given the current stage of knowledge. What is more, it is claimed that the way in which visual sameness is represented suggests that in some cases it should be characterized as a “primitive sameness”, similarly as in philosophical theories postulating “thisness”. (shrink)