Description Logics (DLs) are a family of well-known terminological knowledge representation formalisms in modern semantics-based systems. This research focuses on analysing how our developed Occurrence Logic (OccL) can conceptually and logically support the development of a description logic. OccL is integrated into the alternative theory of natural language syntax in `Deviational Syntactic Structures' under the label `EFA(X)3' (or the third version of Epi-Formal Analysis in Syntax, EFA(X), which is a radical linguistic theory). From the logical point of (...) view, OccL is a formal logic that mainly deals with the occurrences of symbols as well as with their priorities within linguistic descriptions, i.e. natural language syntax, semantics and phonology. In this article---based on our OccL-based definitions of the concepts of `strong implication' and `occurrence value' as well as of the logical concept `identical occurrence constructor (IDOC)' that is the most fundamental logical concept in our formalism---we will model Occurrence Description Logic ($\mathcal{ODL}$). Accordingly, we will formally-logically analyse `occurrence(s) of symbol(s)' within descriptions of the world in $\mathcal{ODL}$. In addition, we will analyse and assess the logical concepts of `occurrence' and `occurrence priority' in $\mathcal{ODL}$. This research can make a strong logical background for our future research in the development of a Modal Occurrence Description Logic. (shrink)

Corcoran, John. 2005. Meanings of word: type-occurrence-token. Bulletin of Symbolic Logic 11(2005) 117. -/- Once we are aware of the various senses of ‘word’, we realize that self-referential statements use ambiguous sentences. If a statement is made using the sentence ‘this is a pronoun’, is the speaker referring to an interpreted string, a string-type, a string-occurrence, a string-token, or what? The listeners can wonder “this what?”. -/- John Corcoran, Meanings of word: type-occurrence-token Philosophy, University at Buffalo, (...) Buffalo, NY 14260-4150 E-mail: [email protected] The four-letter written-English expression ‘word’, which plays important roles in applications and expositions of logic and philosophy of logic, is ambiguous (multisense, or polysemic) in that it has multiple normal meanings (senses, or definitions). Several of its meanings are vague (imprecise, or indefinite) in that they admit of borderline (marginal, or fringe) cases. This paper juxtaposes, distinguishes, and analyses several senses of ‘word’ focusing on a constellation of senses analogous to constellations of senses of other expression words such as ‘expression’, ‘symbol’, ‘character’, ‘letter’, ‘term’, ‘phrase’, ‘formula’, ‘sentence’, ‘derivation’, ‘paragraph’, and ‘discourse’. Consider, e.g., the word ‘letter’. In one sense there are exactly twenty-six letters (letter-types or ideal letters) in the English alphabet and there are exactly four letters in the word ‘letter’. In another sense, there are exactly six letters (letter-repetitions or letter-occurrences) in the word-type ‘letter’. In yet another sense, every new inscription (act of writing or printing) of ‘letter’ brings into existence six new letters (letter-tokens or ink-letters) and one new word that had not previously existed. The number of letter-occurrences (occurrences of a letter-type) in a given word-type is the same as the number of letter-tokens (tokens of a letter-type) in a single token of the given word. Many logicians fail to distinguish “token” from “occurrence” and a few actually confuse the two concepts. Epistemological and ontological problems concerning word-types, word-occurrences, and word-tokens are described in philosophically neutral terms. This paper presents a theoretical framework of concepts and principles concerning logicography, including use of English in logic. The framework is applied to analytical exposition and critical evaluation of classic passages in the works of philosophers and logicians including Boole, Peirce, Frege, Russell, Tarski, Church and Quine. This paper is intended as a philosophical sequel to Corcoran et al. “String Theory”, Journal of Symbolic Logic 39(1974) 625-637. https://www.academia.edu/s/cdfa6c854e?source=link -/- . (shrink)

This paper has a dual character, combining a philosophical ontological exploration with a conceptual modeling approach in systems and software engineering. Such duality is already practiced in software engineering, in which the current dominant modeling thesis is object orientation. This work embraces an anti-thesis that centers solely on the process rather than emphasizing the object. The approach is called occurrence-only modeling, in which an occurrence means an event or process where a process is defined as an orchestrated net (...) of events that form a semantical whole. In contrast to object orientation, in this occurrence-only modeling objects are nothing more than long events. We apply this paradigm to (1) a UML/BPMN inventory system in simulation engineering and (2) an event-based system that represents medical occurrences that occur on a timeline. The aim of such a venture is to enhance the field of conceptual modeling by adding yet a new alternative methodology and clarifying differences among approaches. Conceptual modeling’s importance has been recognized in many research areas. An active research community in simulation engineering demonstrates the growing interest in conceptual modeling. In the clinical domains, temporal information elucidates the occurrence of medical events (e.g., visits, laboratory tests). These applications give an opportunity to propose a new approach that includes (a) a Stoic ontology that has two types of being, existence and subsistence; (b) Thinging machines that limit activities to five generic actions; and (c) Lupascian logic, which handles negative events. With such a study, we aim to substantiate the assertion that the “occurrence only” approach is a genuine philosophical base for conceptual modeling. The results in this paper seem to support such a claim. (shrink)

Logics based on weak Kleene algebra (WKA) and related structures have been recently proposed as a tool for reasoning about flaws in computer programs. The key element of this proposal is the presence, in WKA and related structures, of a non-classical truth-value that is “contaminating” in the sense that whenever the value is assigned to a formula ϕ, any complex formula in which ϕ appears is assigned that value as well. Under such interpretations, the contaminating states represent occurrences of a (...) flaw. However, since different programs and machines can interact with (or be nested into) one another, we need to account for different kind of errors, and this calls for an evaluation of systems with multiple contaminating values. In this paper, we make steps toward these evaluation systems by considering two logics, HYB1 and HYB2, whose semantic interpretations account for two contaminating values beside classical values 0 and 1. In particular, we provide two main formal contributions. First, we give a characterization of their relations of (multiple-conclusion) logical consequence—that is, necessary and sufficient conditions for a set Δ of formulas to logically follow from a set Γ of formulas in HYB1 or HYB2 . Second, we provide sound and complete sequent calculi for the two logics. (shrink)

This paper and its sequel “look under the hood” of the usual sorts of proof-theoretic systems for certain well-known intuitionistic and classical propositional modal logics. Section 1 is preliminary. Of most importance: a marked formula will be the result of prefixing a formula in a propositional modal language with a step-marker, for this paper either 0 or 1. Think of 1 as indicating the taking of “one step away from 0.” Deductions will be constructed using marked formulas. Section 2 presents (...) the model-theoretic concepts, based on those in [7], that guide the rest of this paper. Section 3 presents Natural Deduction systems IK and CK, formalizations of intuitionistic and classical one-step versions of K. In these systems, occurrences of step-markers allow deductions to display deductive structure that is covered over in familiar “no step” proof-theoretic systems for such logics. Box and Diamond are governed by Introduction and Elimination rules; the familiar K rule and Necessitation are derived (i.e. admissible) rules. CK will be the result of adding the 0-version of the Rule of Excluded Middle to the rules which generate IK. Note: IK is the result of merely dropping that rule from those generating CK, without addition of further rules or axioms (as was needed in [7]). These proof-theoretic systems yield intuitionistic and classical consequence relations by the obvious definition. Section 4 provides some examples of what can be deduced in IK. Section 5 defines some proof-theoretic concepts that are used in Section 6 to prove the soundness of the consequence relation for IK (relative to the class of models defined in Section 2.) Section 7 proves its completeness (relative to that class). Section 8 extends these results to the consequence relation for CK. (Looking ahead: Part 2 will investigate one-step proof-theoretic systems formalizing intuitionistic and classical one-step versions of some familiar logics stronger than K.). (shrink)

The truth functional account of conditional statements ‘if A then B’ is not only inadequate; it eliminates the very conditionality expressed by ‘if’. Focusing only on the truth-values of the statements ‘A’ and ‘B’ and different combinations of these, one is bound to miss out on the conditional relation expressed between them. All approaches that treat conditionals as functions of their antecedents and consequents will end up in some sort of logical atomism where causal matters simply are reduced to the (...) joint occurrence of A and B. (shrink)

B.K.Matilal, and earlier J.F.Staal, have suggested a reading of the `Nyaya five limb schema' (also sometimes referred to as the Indian Schema or Hindu Syllogism) from Gotama's Nyaya-Sutra in terms of a binary occurrence relation. In this paper we provide a rational justification of a version of this reading as Analogical Reasoning within the framework of Polyadic Pure Inductive Logic.

The passionate and staunch defence of logic of the controversial thinker Ibn Ḥazm, Abū Muḥammad ʿAlī b. Aḥmad b. Saʿīd of Córdoba (384-456/994-1064), had lasting consequences in the Islamic world. Indeed, his book Facilitating the Understanding of the Rules of Logic and Introduction Thereto, with Common Expressions and Juristic Examples (Kitāb al-Taqrīb li-ḥadd al-manṭiq wa-l-mudkhal ilayhi bi-l-alfāẓ al-ʿāmmiyya wa-l-amthila al-fiqhiyya), composed in 1025-1029, was well known and discussed during and after his time; and it paved the way for (...) the studies of his compatriots Ibn Bājjah (d. 1138), Ibn Ṭufayl (1185), and Ibn Rushd (1198), who each gave demonstrative reasoning a privileged place within the methods of attaining knowledge. Unfortunately, as too often in the history of science, Ibn Ḥazm’s innovative perspectives and contributions in logic have been overlooked or considered with an attitude of contempt. On the one hand, his work has been seen, at best, as promulgating the benefits of studying Aristotle’s logic, so that his contribution is assessed as more didactical than conceptual. And on the other hand, those who do examine his innovations often consider them to be mistaken. As indicated by Chejne (1984, p. 2) contempt towards the logical work of Ibn Ḥazm was also present in its reception by the Eastern philosophers who accused him of deviating from Aristotelian logic and of dabbling in things beyond his capability. However, a reassessment of his work on logic has since begun, by delving into the ways the thinker of Córdoba studied the links between deontic and modal qualification of propositions. In this context Lameer’s (2013) paper on the logical sources of Ibn Ḥazm is worth mentioning; the author (p. 417, footnote 1) observes that, although, strictly speaking, it was al-Fārābī who first drew the parallelism between deontic and modal concepts, it was Ibn Ḥazm who developed it and worked it out in a more precise manner. A primary aim of this paper is to help fill some of these gaps by stressing the role of the work of Ibn Ḥazm in developing a notion of deontic necessity deeply rooted in legal normativity, and in explicitly discussing the transference between deontic and modal concepts. According to our view; the basic units of Islamic deontic logic are what we might call, indulging in terminological anachronism, heteronomous imperatives. As it turns out, the heteronomy of imperatives within Islamic legal systems contrasts with those of the purely moral realm, which seem to be closer to an autonomous conception of moral law. There it concurs again with Leibniz’s proposal to define obligatory as “what is necessary for a good person to do”. In the present paper, we will focus on the heteronomous imperatives of legal systems rather than on the imperatives of the purely moral realm. In this context, the work of Ibn Ḥazm extends the parallelism between the necessity of events and that of human actions stressed by his predecessors. According to our understanding, Ibn Ḥazm’s parallelism can be rendered explicit formally by means of a conditional (or hypothetical) structure shared by both deontic and modal propositions. Moreover, this structure makes apparent that this parallelism displays an underlying system of “degrees”. Indeed, while in the domain of events, given some conditions, it makes sense to distinguish between an event that is more likely to happen than another. Ibn Ḥazm speaks of near and distant possibility (such as the higher degree of likelihood of rain, given the condensation of clouds in December, and its lower degree, when the condensation occurs in summer); and, in the domain of actions, the Islamic notion of weighting actions determines degrees of virtue (or of legal and moral value). So whereas the degree of virtue of performing a forbidden act as determined by the distribution of sanction and reward is 0, we obtain the same value by pondering the likelihood of an impossible event to take place. Furthermore, as discussed in section II.3.2, the system of values at work in the parallelism can be seen as opening the way to a more direct correspondence. Thus, while in the realm of nature, likelihood of occurrence of an event is dependent upon the conditions specific to the occurrence of that event; while, in the realm of jurisprudence, likelihood of performing an action is dependent upon the distribution of reward and sanction specific to that action (being that, given the choice to perform or not perform a given action, those that will be rewarded are more likely to be performed than those that are not). According to this perspective, the point of the parallelism is that both deontic and modal qualifications measure the degree of an action or event to become actual; that is – indulging once more in anachronism (but this time from the Leibnizian background) – the degree measures how feasible (facile) an action or event may be. This suggests that Ibn Ḥazm’s perspectives already herald the links to probability and possibility explored by Leibniz six centuries later – see for example Leibniz’s (1671, A VI, I, p. 424-26) use of probability in the context of conditional right. Nevertheless, it also shows a crucial difference to the approach developed in the Elementa Jura Naturalis: whereas Leibniz’s studies seek to define what is to be just or virtuous, the logical system of deontic imperatives within Islamic jurisprudence presupposes that what is to be virtuous has already been settled. Determining what is to be virtuous is not achieved by logical reasoning within the system of legal jurisprudence, but by delving into the higher objectives of the Sharīʿa. While developing our point, we will delve into the logical structure of the heteronomous imperatives. This distinguishes our contribution from the existing literature, such as the papers of Chejne (1984), Lameer (2014), and Guerrero (1997, 2010, 2014), which do not provide a logical analysis of the deontic concepts put into work by Ibn Ḥazm. The true antecedent to the present paper is the work of Farid Zidani (2007, 2015), who, so far as we know, was the first to undertake such a task. Some of our own developments and general epistemological thoughts go beyond Ibn Ḥazm’s framework and motivations; mainly those contained in sections II.3.2 and IV. However, according to our view, these reflections suggest that Ibn Ḥazm’s approach has the substance for a broader and deeper exploration of the logic of norms. The paper is structured as follows:I.Ibn Ḥazm’s Logic of Heteronomous Imperatives. After presenting some extracts of the relevant text, we proceed by providing a formal reconstruction of the five forms of deontic modalities. II. A Landmark in the History of the Logical Analysis of Norms. Duties and Modalities. In this section, we study the transferences from deontic to modal necessity and possibility. We briefly compare the deontic system of Islamic Jurisprudence with that of Leibniz.III. Leibniz and Hypothetical Imperatives in Law.IV. Beyond Ibn Ḥazm: Conclusions and the Work Ahead. We will conclude the paper by discussing briefly some conceptual points that distinguish the logic of heteronomous imperatives from contemporary deontic logic. Our final words will discuss deontic-modal parallelism in the context of Ibn Ḥazm’s rejection of reasoning by conjecture and what we call “the internalization of nature.”. (shrink)

[[[ (Here only the chapters 3 – 8, see *** ) First I argue that the prohibition of linguistic self-reference as a solution to the antinomy problem contains a pragmatic contradiction and is thus not only too restrictive, but just inconsistent (chap.1). Furthermore, the possibilities of non-restrictive strategies for antinomy avoidance are discussed, whereby the explicit inclusion of the – pragmatically presuposed – consistency requirement proves to be the optimal strategy (chap.2). ]]] The central question here is that about the (...) actual reason for antinomic structures. It turns out to be a form of negative self-conditioning (chap.3). This makes it necessary to clarify the status of negative concepts (chap.4). The generalization of these considerations (chap.5) leads to the actual analysis of the antinomic basic structure (chap.6): Decisively for the pragmatics of the concept is that it positively owns a meaning, so that positivity is always constituted by the concept qua concept. Thus a negative concept is characterized by a fundamental ambivalence: From a semantic point of view it has negative character, in its pragmatic status as a concept, however, it has positive character. If the meaning is especially that of a negative self-reference, the ambivalence leads to the antinomic constellation of a negative self-condition – that is the crux of the matter here! The concept thus possesses the property defined by it exactly when it does not possess it and vice versa. A closer analysis shows that the function of reflective structures for the occurrence of antinomies has to be judged much more differentiated than previous opinions suggest. Not only are four forms of reflectivity to be distinguished in this context – ontic, semantic, pragmatic reflectivity, and especially the form of negative self-condition; but it is also apparent that these are intertwined with each other in a way that is difficult to be understood. The astonishing variety of relationships associated with this makes the irritation that has always emanated from the antinomy problem appear more comprehensible. In the developed pragmatic perspective furtheron parallels to the structure of self-consciousness become visible (chap.7). I conclude with considerations about the significance of the antinomic structure for the problem of dialectics, especially for the synthesis formation of mutually exclusive terms (chap.8). (shrink)

‘Quantified pure existentials’ are sentences (e.g., ‘Some things do not exist’) which meet these conditions: (i) the verb EXIST is contained in, and is, apart from quantificational BE, the only full (as against auxiliary) verb in the sentence; (ii) no (other) logical predicate features in the sentence; (iii) no name or other sub-sentential referring expression features in the sentence; (iv) the sentence contains a quantifier that is not an occurrence of EXIST. Colin McGinn and Rod Girle have alleged that (...) standard first-order logic cannot adequately deal with some such existentials. The article defends the view that it can. (shrink)

James Sterba uses the Pauline Principle to argue that the occurrence of significant, horrendous evils is logically incompatible with the existence of a good God. The Pauline Principle states that (as a rule) one must never do evil so that good may come from it, and according to Sterba, this principle implies that God may not permit significant evils even if that permission would be necessary to secure other, greater goods. By contrast, I argue that the occurrence of (...) significant evils is logically compatible with the existence of a good God because victims of significant evils may themselves reasonably consent to their suffering. In particular, I argue that they may be able to accept their suffering if it turns out that there was no way for God to secure relevant greater goods (or prevent other, greater evils) except by way of allowing their suffering, and God also provides them with other compensating, heavenly comforts. After using this consent-based argument to address Sterba’s logical problem from evil, I briefly consider how this argument may also help address a related evidential problem from evil, which suggests that while it is possible that victims of significant evils would consent to their suffering, it is unlikely that they would do so. While I do not provide a definitive solution to this evidential problem of evil, I highlight one important example of a trade-off that God may need to make that would—along with the provision of compensating, heavenly comforts—potentially persuade victims of significant evils to consent to their suffering. Specifically, I argue that there may be a necessary trade-off that God needs to make between permitting significant evils (on the one hand) and protecting a certain, morally significant form of free will (on the other hand). (shrink)

Ontology as a branch of philosophy is the science of what is, of the kinds and structures of objects, properties, events, processes and relations in every area of reality. ‘Ontology’ is often used by philosophers as a synonym for ‘metaphysics’ (literally: ‘what comes after the Physics’), a term which was used by early students of Aristotle to refer to what Aristotle himself called ‘first philosophy’. The term ‘ontology’ (or ontologia) was itself coined in 1613, independently, by two philosophers, Rudolf Göckel (...) (Goclenius), in his Lexicon philosophicum and Jacob Lorhard (Lorhardus), in his Theatrum philosophicum. The first occurrence in English recorded by the OED appears in Bailey’s dictionary of 1721, which defines ontology as ‘an Account of being in the Abstract’. (shrink)

Vector models of language are based on the contextual aspects of language, the distributions of words and how they co-occur in text. Truth conditional models focus on the logical aspects of language, compositional properties of words and how they compose to form sentences. In the truth conditional approach, the denotation of a sentence determines its truth conditions, which can be taken to be a truth value, a set of possible worlds, a context change potential, or similar. In the vector models, (...) the degree of co-occurrence of words in context determines how similar the meanings of words are. In this paper, we put these two models together and develop a vector semantics for language based on the simply typed lambda calculus models of natural language. We provide two types of vector semantics: a static one that uses techniques familiar from the truth conditional tradition and a dynamic one based on a form of dynamic interpretation inspired by Heim’s context change potentials. We show how the dynamic model can be applied to entailment between a corpus and a sentence and provide examples. (shrink)

Mathematicians often speak of conjectures as being confirmed by evidence that falls short of proof. For their own conjectures, evidence justifies further work in looking for a proof. Those conjectures of mathematics that have long resisted proof, such as the Riemann hypothesis, have had to be considered in terms of the evidence for and against them. In recent decades, massive increases in computer power have permitted the gathering of huge amounts of numerical evidence, both for conjectures in pure mathematics and (...) for the behavior of complex applied mathematical models and statistical algorithms. Mathematics has therefore become (among other things) an experimental science (though that has not diminished the importance of proof in the traditional style). We examine how the evaluation of evidence for conjectures works in mathematical practice. We explain the (objective) Bayesian view of probability, which gives a theoretical framework for unifying evidence evaluation in science and law as well as in mathematics. Numerical evidence in mathematics is related to the problem of induction; the occurrence of straightforward inductive reasoning in the purely logical material of pure mathematics casts light on the nature of induction as well as of mathematical reasoning. (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)

The austere view of nonsense says that the source of nonsense is not a violation of the rules of logical syntax, but nonsense is always due to a lack of meaning in one of the components of a sentence. In other words, the necessary and sufficient condition for nonsensicality is that no meaning has been assigned to a constituent in a sentence. The austere conception is the key ingredient of the resolute reading of Tractatus Logico-Philosophicus that presents a therapeutical interpretation (...) of the work, and rejects a possibility of conveying some ineffable truths by means of nonsensical sentences. In this paper, I defend the austere view against the most important objections. Firstly, I discuss textual sources for ascribing to Wittgenstein the austere view that have not been sufficiently thoroughly discussed yet. Next, I indicate that the apparent occurrence of words out of the context of a sentence on lists of verbs and in definitions is not in conflict with the version of the context principle recommended by austere theorists, since this argument does not sufficiently take into account the distinction between sign and symbol. Furthermore, I argue that the austere conception and the principle of compositionality are jointly tenable, for the former view does not exclude the existence of syntactic and semantic rules, but only shows that they are recognizable conditionally. Finally, I indicate that the austere view of nonsense should be seen as a viable option by a contemporary theorist of nonsense, for it helps us to avoid making controversial assumptions about the nature of meaning and content. (shrink)

The phenomenon of distributed knowledge is well-known in epistemic logic. In this paper, a similar phenomenon in ethics, somewhat neglected so far, is investigated, namely distributed morality. The article explains the nature of distributed morality, as a feature of moral agency, and explores the implications of its occurrence in advanced information societies. In the course of the analysis, the concept of infraethics is introduced, in order to refer to the ensemble of moral enablers, which, although morally neutral per (...) se, can significantly facilitate or hinder both positive and negative moral behaviours. (shrink)

Othering is the construction and identification of the self or in-group and the other or out-group in mutual, unequal opposition by attributing relative inferiority and/or radical alienness to the other/out-group. The notion of othering spread from feminist theory and post-colonial studies to other areas of the humanities and social sciences, but is originally rooted in Hegel’s dialectic of identification and distantiation in the encounter of the self with some other in his “Master-Slave dialectic”. In this paper, after reviewing the philosophical (...) and psychological background of othering, I distinguish two kinds of othering, “crude” and “sophisticated”, that differ in the logical form of their underlying arguments. The essential difference is that the former is merely self-other distantiating, while the latter – as in Hegel’s dialectic – partially depends on self-other identification. While crude othering is closer to the paradigmatic notion of othering, sophisticated othering is closer to Hegel’s, but so is quasi-othering, which is nearly identical in form to sophisticated othering, but which misses the defining feature of othering – attributing relative inferiority and/or radical alienness. Because Hegel’s dialectic applies to any encounter of an interpreting self with some other, sophisticated or quasi-othering is at least potentially a very common occurrence in the interpretation of others, especially of those who do not belong to the in-group. However, although othering is usually undesirable, the Hegelian varieties can provide a “mirror”, which can be used as a tool to improve understanding of both the other and the interpreting self, and the malignant aspects of othering can be avoided through charity. (shrink)

It is often assumed that concepts from the formal sciences, such as mathematics and logic, have to be treated differently from concepts from non-formal sciences. This is especially relevant in cases of concept defectiveness, as in the empirical sciences defectiveness is an essential component of lager disruptive or transformative processes such as concept change or concept fragmentation. However, it is still unclear what role defectiveness plays for concepts in the formal sciences. On the one hand, a common view sees (...) formal concepts to be protected against defects because of their precise and stable nature. On the other, studies going back as far as Lakatos (1963) showcase the changeability of such concepts. -/- In this paper, I will investigate if and how defectiveness based on the occurrence of inconsistencies can appear with formal concepts. To make the case as strong as possible, I employ a strict notion of formal concept that assumes the concept to have a fixed and definite extension. I will show that there are indeed certain types of defectiveness that cannot occur with such concepts; but that there are other types of defectiveness that do occur. This means that while formal concepts have to be treated differently than non-formal concepts, questions about defectiveness---as raised in the conceptual engineering debate and philosophy of science---can still be applied to them. I will highlight this point by showing how formal sciences have special strategies available to them that allow them to resolve defectiveness of their concepts in a flexible and informative manner. (shrink)

I propose an apparatus for handling intrasentential change in context. The standard approach has problems with sentences with multiple occurrences of the same demonstrative or indexical. My proposal involves the idea that contexts can be complex. Complex contexts are built out of (“simple”) Kaplanian contexts by ordered n-tupling. With these we can revise the clauses of Kaplan’s Logic of Demonstratives so that each part of a sentence is taken in a different component of a complex context. I consider other (...) applications of the framework: to agentially distributed utterances (ones made partly by one speaker and partly by another); to an account of scare-quoting; and to an account of a binding-like phenomenon that avoids what Kit Fine calls “the antinomy of the variable.”. (shrink)

Recent theories of remembering and of reference (or singular thought) have de-emphasised the role causation was thought to play in mid- to late-twentieth century theorising. According to postcausal theories of remembering, such as simulationism, instances of the psychofunctional kind _remembering_ are not, in principle, dependent on appropriate causal chains running from some event(s) remembered to the occurrence of remembering. Instead they depend only on the reliability, or proper functioning, of the cognitive system responsible for their production. According to broadly (...) reliabilist accounts of _singular thought_, such thought is not, in principle, dependent on causal chains running from the object(s) of thought to the occurrence of thinking. Despite this common trend, accounts of the two phenomena have been pursued separately. In this paper, we argue that the two lines of research can profitably converge to address a neglected question: what enables occurrences of remembering to _refer_ to particular events, and what determines _which_ event a given occurrence of remembering refers to? We motivate and present a reliabilist account of reference-fixing for postcausal theories of remembering, focusing in particular on simulationism. We then show that this account draws attention to the possibility of _referential mnemic confabulation:_ cases where the reliability requirement for reference is met despite the improper functioning of the episodic construction system. We suggest that this makes sense of some underdiscussed phenomena described in the empirical literature on confabulation and argue that our reliabilist account of mnemic reference-fixing accommodates these more naturally than could causal theories of remembering. (shrink)

There is no such thing as moral luck or everyone is profoundly mistaken about its nature and a radical rethinking of moral luck is needed. The argument to be developed is not complicated, and relies almost entirely on premises that should seem obviously correct to anyone who follows the moral luck literature. The conclusion, however, is surprising and disturbing. The classic cases of moral luck always involve an agent who lacks control over an event whose occurrence affects her praiseworthiness (...) or blameworthiness. Close examination of what it is to have control or to lack it reveals the logical space for counterexamples that do not fit the pattern constitutive of moral luck, and so unravel the whole. (shrink)

Russell wrote in 1918 in The Philosophy of Logical Atomism: -/- When I speak of a fact ... I mean the kind of thing that makes a proposition true or false. If I say 'It is raining', what I say is true in a certain condition of weather and is false in other conditions of the weather. The condition of weather that makes my state­ment true (or false as the case may be), is what I should call a 'fact'. If (...) I say, 'Socrates is dead', my statement will be true owing to a certain physiological occurrence which happened in Athens long ago. -/- This classic statement of Russell's version of the correspondence theory of truth is defective on one point only: Russell was unwise to use the word 'fact'. Objects which perform the semantic role Russell accords to facts I shall call simply truth-makers. (shrink)

In this paper I argue that a truth functional account of conditional statements ‘if A then B’ not only is inadequate, but that it eliminates the very conditionality expressed by ‘if’. Focusing only on the truth-values of the statements ‘A’ and ‘B’ and different combinations of these, one is bound to miss out on the conditional relation expressed between them. But this is not a flaw only of truth functionality and the material conditional. All approaches that try to treat conditionals (...) as mere functions of their antecedents and consequents will end up in some sort of logical atomism where causal matters simply are reduced to the joint occurrence of A and B. What we need is a non-extensional approach to conditionals that can account for hypotheticality, potentiality, and dependency, none of which can be understood by looking to the antecedent or consequent per se. (shrink)

In a recent paper, Max Deutsch argues that there is no “qua problem” for purely causal theories of reference, according to which the extensions of some expressions are grounded in causal relations to members of their extensions during dubbing acts. The qua problem is the difficulty in specifying the facts in virtue of which the reference of “elephant” is grounded by causal contact with something _qua_ elephant and not _qua_ its other properties. If no such specification can be given, reference (...) remains unacceptably indeterminate. This has led many to abandon purely causal reference grounding. Deutsch’s argument for the dissolution of the problem goes as follows: we usually agree that an event can cause its effect _qua_ some of its properties and not _qua_ others. For example, a hot acidic solution causes a glass beaker to break due to its heat and not due to its acidity. Given this assumption, we can simply say that an event caused a dubbing act _qua_ the causally relevant property and not _qua_ the causally irrelevant properties, thus grounding the reference of the term; the qua problem has vanished. I will argue that causal mechanisms, and in particular the facts about causal relevance appealed to by Deutsch, are insufficient to dissolve the qua problem. It is not generally the case that a _unique_ property is causally relevant in purely physical cases of causation; but this is precisely what is required to avoid the referential indeterminacy highlighted by the qua problem. I will demonstrate that if we rely on causal relevance to dissolve the qua problem, there is no way to respect the uniqueness requirement: there are too many properties that are causally relevant to the occurrence of any single dubbing act, including the intentional states of the dubber. (shrink)

In his article, ‘What's Wrong with Tooley's Argument from Evil?’, Calum Miller's goal was to show that the evidential argument from evil that I have advanced is unsound, and in support of that claim, Miller set out three main objections. First, he argued that I had failed to recognize that the actual occurrence of an event can by itself, at least in principle, constitute good evidence that it was not morally wrong for God to allow events of the kind (...) in question. Miller's second objection was then that, in attempting to show that it is unlikely that God exists, I had failed to consider either positive arguments in support of the existence of God or possible theodicies, and thus that I was unjustified in drawing any conclusions concerning the probability that theism is true in the light of the total evidence available. Miller's third and final objection was that one of the approaches to logical probability that I employed – namely, that based upon a structure-description equiprobability principle, rather than a state-description equiprobability principle – was unsound since it has clearly unacceptable implications. In response, I argue that all three of Miller's objections are unsound. The third objection, however, is nevertheless important since it shows that my type of argument from evil cannot be based merely on the evils found in the world. One must also consider good states of affairs, and their relations to bad ones. I show, however, that that deficiency can be addressed in a completely satisfactory manner. (shrink)

The claim that there is “no alternative”, to contemporary neoliberal capitalism is widespread today. This paper proposes a reinterpretation of the notion of reification to scrutinize the alleged necessity of the capitalist social order. Developed by Georg Lukács, the problem of reification refers to the experience of social arrangements as thinglike entities rather than as products of social construction. By addressing the problem of reification within a social ontology of forms of life, the occurrence of reification is understood as (...) resulting from the normatively neutral self-presentation of the capitalist form of life. To de-neutralize social norms that shape the capitalist form of life, this paper argues that social critique should turn to shared standpoints from which reification is experienced as a problem. Such standpoints can be found in social practices that are already involved in shared, normatively imbued forms of life beyond the reified logic of the capitalist form of life. Hence, it is argued that alternative forms of life are positioned to de-reify the norms that guide the capitalist form of life at large. (shrink)

This paper could be thought of as divided into two parts. In the first I show through a series of thought experiments that it is a mistake to think of one’s individual experience as necessarily belonging to only one particular place, time and organism. In repetitions across a universe large enough to host them, the particular experience that one finds oneself in, which can be individuated only by the detailed type that is the entirety of its momentary subjective content, would (...) exist equally in every occurrence of that type, much as a moment in the plot of a novel would exist equally in every copy of that novel. Each distinguishable subjective moment of experience is thus a ‘moment universal’. In the second part of the paper I draw from this the conclusion that there could not be any proper possessors of lines of experience - that there are no proper persons - no continuing subjects of consciousness and self-interest. About five years after writing this paper I came to see that the particular identity of an experience could not be confined by types of momentary subjective detail any more than it could be confined by particular places, times or organisms. All experience is equally here, now and mine and all conscious organisms are equally I. My argument for this crucial further development is presented in ‘One Self – The Logic of Experience’, Inquiry 33 (1991): pp. 39-68. (shrink)

In this paper, I argue that a commitment to science and the methodo- logical commitment to causal closure do not require a rejection of the idea that the choices of souls explain the occurrence of certain events in the physical world. Stated slightly differently, I maintain that one can both affirm science and believe that souls causally interfere in the course of events in the physical world. Such an affirmation and belief are compatible. In short, science vis-à-vis the methodological (...) principle of causal closure poses no problem for souls as explanatory agents. (shrink)

This paper comprehensively examines Antoine Henri Becquerel’s discovery of radioactivity in 1896, a groundbreaking scientific advancement often viewed through serendipity. This case study explores the typologies of serendipity and investigates the conditions that foster its occurrence. A detailed study of Becquerel’s investigations reveals that his discovery aligns with a Walpolian type of serendipity, characterized by true serendipity heavily influenced by unforeseen experimental results. This paper emphasizes the role of bisociation, a cognitive process associating previously disconnected concepts, in Becquerel’s discovery, (...) challenging the view that his discovery was merely a chance event. Instead, it argues that Becquerel’s discovery represents an intricate interplay of logic and chance, exemplifying the Walpolian type of serendipity. Moreover, by examining Becquerel’s experimental design, results, and innovative approach, this paper illustrates that his discovery adheres to the fundamental aspects of the scientific method, albeit executed in a non-linear and iterative manner. The process and context of Becquerel’s discovery provide valuable insights into scientific knowledge inception, progression, and definition, underscoring the intertwined roles of serendipity and scientific inquiry in advancing science. (shrink)

A truth-preservation fallacy is using the concept of truth-preservation where some other concept is needed. For example, in certain contexts saying that consequences can be deduced from premises using truth-preserving deduction rules is a fallacy if it suggests that all truth-preserving rules are consequence-preserving. The arithmetic additive-associativity rule that yields 6 = (3 + (2 + 1)) from 6 = ((3 + 2) + 1) is truth-preserving but not consequence-preserving. As noted in James Gasser’s dissertation, Leibniz has been criticized for (...) using that rule in attempting to show that arithmetic equations are consequences of definitions. -/- A system of deductions is truth-preserving if each of its deductions having true premises has a true conclusion—and consequence-preserving if, for any given set of sentences, each deduction having premises that are consequences of that set has a conclusion that is a consequence of that set. Consequence-preserving amounts to: in each of its deductions the conclusion is a consequence of the premises. The same definitions apply to deduction rules considered as systems of deductions. Every consequence-preserving system is truth-preserving. It is not as well-known that the converse fails: not every truth-preserving system is consequence-preserving. Likewise for rules: not every truth-preserving rule is consequence-preserving. There are many famous examples. In ordinary first-order Peano-Arithmetic, the induction rule yields the conclusion ‘every number x is such that: x is zero or x is a successor’—which is not a consequence of the null set—from two tautological premises, which are consequences of the null set, of course. The arithmetic induction rule is truth-preserving but not consequence-preserving. Truth-preserving rules that are not consequence-preserving are non-logical or extra-logical rules. Such rules are unacceptable to persons espousing traditional truth-and-consequence conceptions of demonstration: a demonstration shows its conclusion is true by showing that its conclusion is a consequence of premises already known to be true. The 1965 Preface in Benson Mates (1972, vii) contains the first occurrence of truth-preservation fallacies in the book. (shrink)

A non-relativistic quantum mechanical theory is proposed that describes the universe as a continuum of worlds whose mutual interference gives rise to quantum phenomena. A logical framework is introduced to properly deal with propositions about objects in a multiplicity of worlds. In this logical framework, the continuum of worlds is treated in analogy to the continuum of time points; both “time” and “world” are considered as mutually independent modes of existence. The theory combines elements of Bohmian mechanics and of Everett’s (...) many-worlds interpretation; it has a clear ontology and a set of precisely defined postulates from where the predictions of standard quantum mechanics can be derived. Probability as given by the Born rule emerges as a consequence of insufficient knowledge of observers about which world it is that they live in. The theory describes a continuum of worlds rather than a single world or a discrete set of worlds, so it is similar in spirit to many-worlds interpretations based on Everett’s approach, without being actually reducible to these. In particular, there is no splitting of worlds, which is a typical feature of Everett-type theories. Altogether, the theory explains (1) the subjective occurrence of probabilities, (2) their quantitative value as given by the Born rule, and (3) the apparently random “collapse of the wavefunction” caused by the measurement, while still being an objectively deterministic theory. (shrink)

In 1935, the Nazi government introduced what came to be known as the abrogation of the pro- hibition of analogy. This measure, a feature of the new penal law, required judges to stray from the letter of the written law and to consider instead whether an action was worthy of pun- ishment according to the ‘sound perception of the people’ and the ‘underlying principle’ of existing criminal statutes. In discussions of Nazi law, an almost unanimous conclusion is that a system (...) of criminal law ought not to contain legislation of this sort. This conclusion is often based on how the abro- gation relates to the normative claim that the law ought to be predictable. In particular, it has been argued that since the law ought to be predictable, and since this type of analogy legis- lation implied, caused or contributed to the diminution of the law’s predictability, this type of legislation ought to be prohibited. In this paper, we argue that this argument is not entirely correct. While we believe that the law ought to be predictable and that there is evidence for the claim that the Nazis’ intro- duction of analogical reasoning implied, caused, or contributed to a diminution of predictability, this fact is logically too weak to ground the conclusion that necessarily a penal system ought not to contain legislation of this kind. Despite the undeniable wickedness of the Nazi penal system, this type of analogical reasoning can be made consistent with the pre- dictability of the law. We argue that consistency of this sort depends on whether the use of analogy is supplemented by certain contextual background conditions. The occurrence of these conditions blocks an inference from the fact that the law ought to be predictable to the conclusion that a penal system ought not to allow for this type of analogical reasoning. (shrink)

Wittgenstein responds in his Notes on Logic to a discussion of Russell's Principles of Mathematics concerning assertion. Russell writes: "It is plain that, if I may be allowed to use the word assertion in a non-psychological sense, the proposition "p implies q" asserts an implication, though it does not assert p or q. The p and the q which enter into this proposition are not strictly the same as the p or the q which are separate propositions." (PoM p35) (...) Wittgenstein replies: "Assertion is merely psychological. In not-p, p is exactly the same as if it stands alone; this point is absolutely fundamental." (NB p95) Wittgenstein's response is intriguing, not least because of the centrality to his Tractatus of the idea that a proposition says something. This paper will examine that idea, distinguishing it from 'merely psychological' assertion, and explore in this context how we should understand the occurrence of a Tractarian proposition within another. (shrink)

There are no universally adopted answers to the natural questions about scientific concepts: What are they? What is their structure? What are their functions? How many kinds of them are there? Do they change? Ironically, most if not all scientific monographs or articles mention concepts, but the scientific studies of scientific concepts are rare in occurrence. It is well known that the necessary stage of any scientific study is constructing the model of objects in question. Many years logical modeling (...) was dominant in the concept studies. Last decades, concepts came to be regarded as the subject of mathematical modeling. However, different authors take different features of concepts as independent variables of their models. Our objective is to characterize informally the spectra of relevant variables for the modeling of scientific concepts. (shrink)

It is possible and thereby feasible to develop and implement a pragmatic methodology for a preemptive evidentiary system of ‘Paraphysical Jurisprudence’ for mediating the occurrence of massacres. A required comprehensive completion and formalizing of the tools of epistemology (theory of knowledge) already exists and has been tested both ecumenically and scientifically. The evolution of epistemology has followed the historical progression from myth and superstition to logic and reason to empiricism and now finally to the utility of ‘transcendence’ as (...) a tool in knowledge acquisition. An inspiring example from popular culture is illustrated in the 2002 Hollywood film noir “Minority Report” designed by its director to present a ‘plausible future world’ for the year 2054 wherein an elaborate ‘Precrime Unit’ is tested to prevent murder by utilizing a trio of ‘precogs’ bathed in a ‘photonic milk’ able to presciently predetermine impending occurrences of homicide for which the Precrime Police Unit then intervenes to prevent. Disdain for a putative so-called scientific metaphysics by natural philosophers is deeply rooted in modern pragmatic societies; perhaps rightly so as consistency, credibility and lack of a comprehensive theory has been heretofore emphatically lacking. In addition to the major problem of repeatability is the perceived distinction between domains of the physical and so-called ‘spiritual’ as mutually exclusive. In this work a strong case is made for the rigorous viability and near term putative implementation of a system of paraphysical jurisprudence drawing on the utility of a panoply of concepts. The remaining question is when does feasible become practical in the face of a steady increase in the heinous massacre of innocents? (shrink)

As timely renovation of artificial ideology about authenticity of nature in proportion to contemporaneous historical background of remarkable highlight of microcosmic configuration of matter, “Homogenous Cosmos Originated from Unique Genesis” is innovative cosmos redefinition and thoroughly coherent PNT dynamics about universal existence & motion as spontaneous occurrence in the nature of essence of matter in a class by itself, which is radically extended from newly highlighted factuality that “discretionary particles in cosmos are mutually convertible” as lineal logic system (...) based on unique assumable precondition of Homogenous cosmos originated from unique genesis postulate. (shrink)

This paper investigates how the simulation of intelligence, an activity that has been considered the notional task of Artificial Intelligence, does not comprise its duplication. Briefly touching on the distinction between conceivability and possibility, and commenting on Ryan’s approach to fiction in terms of the interplay between possible worlds and her principle of minimal departure, we specify verisimilitude in Artificial Intelligence as the accurate resemblance of intelligence by its simulation and, from this characterization, claim the metaphysical impossibility of duplicating intelligence, (...) as neither verisimilarly nor convincingly simulating intelligence involves its duplication. To this end, we argue by a representative case of simulation that, albeit conceivable, Turing’s test for machine intelligence wrongly equates the occurrence of indistinguishable intelligence performance to intelligence duplication, which is grounded in a prima facie conceivable but metaphysically impossible view that separates intelligence from its origin. Finally, we establish the following criterion for evaluating simulation in Artificial Intelligence: simulations succeed in AI if and only if they are able to epistemically persuade human beings that intelligence has been duplicated, that is, if and only if verisimilar simulations can convincingly minimally depart from actual intelligence. (shrink)

Corcoran, J. 2007. Syntactics, American Philosophy: an Encyclopedia. 2007. Eds. John Lachs and Robert Talisse. New York: Routledge. pp.745-6. -/- Syntactics, semantics, and pragmatics are the three levels of investigation into semiotics, or the comprehensive study of systems of communication, as described in 1938 by the American philosopher Charles Morris (1903-1979). Syntactics studies signs themselves and their interrelations in abstraction from their meanings and from their uses and users. Semantics studies signs in relation to their meanings, but still in abstraction (...) from their uses and users. Pragmatics studies signs as meaningful entities used in various ways by humans. Taking current written English as the system of communication under investigation, it is a matter of syntactics that the two four-character strings ‘tact’ and ‘tics’ both occur in the ten-character string ‘syntactics’. It is a matter of semantics that the ten-character string ‘syntactics’ has only one sense and, in that sense, it denotes a branch of semiotics. It is a matter of pragmatics that the ten-character string ‘syntactics’ was not used as an English word before 1937 and that it is sometimes confused with the much older six-character string ‘syntax’. Syntactics is the simplest and most abstract branch of semiotics. At the same time, it is the most basic. Pragmatics presupposes semantics and syntactics; semantics presupposes syntactics. The basic terms of syntactics include the following: ‘character’ as alphabetic letters, numeric digits, and punctuation marks; ‘string’ as sign composed of a concatenation of characters; ‘occur’ as ‘t’ and ‘c’ both occur twice in ‘syntactics’. However, perhaps the most basic terms of syntactics are ‘type’ and ‘token’ in the senses introduced by Charles Sanders Peirce (1839-1914), America’s greatest logician, who could be considered the grandfather of syntactics, if not the father. These are explained below. (shrink)

Some people believe that critical thinking is not a modern science, but its roots are old and deeply rooted in the history of philosophy. Its roots date back to Aristotle, the inventor of logic and who was called the first teacher by virtue of this invention. Aristotle was impressed by the language of mathematics and wanted to invent a language to logic similar to the language of Mathematics. What encouraged Aristotle to do so is that Math language is (...) quite different from daily life language. For example , when you say one in Mathematics language, what is this one you mean or intend? That is what is one? Is it a specific man or an animal or something abstract or any creature of the creatures of the natural world? The one we are talking about is neither this nor that and you can use it to talk about one human being or one animal or one creature. Therefore, the concept of the one is something abstract and it is so far from the creatures of the exterior world. Geometry has the same case. Triangle, quarter and rectangle as such are mere geometrical shapes and are far away from real life language. But when we use them in our daily life language we give them specific life meanings. -/- As I said, Aristotle was impressed by the language of Mathematics and wanted to build a similar language for logic .The rationale behind this is to get away from the language of ambiguity caused by the use of daily life language .One word or utterance in a language has many usages in one language or when translated into other languages , and therefore it causes many problems in usage instead of simplifying it and this is what Aristotle tried to avoid. Aristotle chose letters instead of words, the letter is part of the word, and the letter is meaningless unless it is a part of the word. The meaning of a letter depends on its occurrence in the word. If you compose a word from a group of letters and use it , it becomes ambiguous because it becomes part of the used language. -/- However, Aristotle did not combine letters in a word but he used them as abstract letters and gave them meanings in the language of logic where there is no divergence about its use. Aristotle used them in syllogism and they mean the limits of reason . Until recently critical thinking was part of formal logic and learning it means that you have logical background or at least you are familiar with the rules and fundamentals of logic. But critical thinking theorists soon took the initiative to separate it from logic because the latter started to suffer from its rules which are difficult to understand and which require some awareness and thoughts on the part of the scholar to understand. Hence , critical thinking is not supposed to possess a background of logic and it adopts a specific questioning approach where it suggests a number of questions the practitioner of critical thinking has to successively answer since he has to make sure that the opinion he reaches does not rely on any subjective considerations. This is how the skills that are acquired on a continuum of related critical questions are established ,this is not to mention that the concept of critical thinking itself is usually defined in this context as the awareness of such kinds of questions and the ability to arouse and answer them at appropriate times. My paper explains, How to be able to implement these skills in high education and what are the benefits of these skills? The paper includes; Critical Thinking and Logic Socrates `s Approach The impact of critical thinking on teaching methods Questioning How questions are organized in the light of critical thinking? Using Critical Thinking in Problem-Solving Use of Non-Oral language in Critical Thinking. (shrink)

This paper argues that the principle of continuity that underlies Benjamin’s understanding of what makes the reality of a thing thinkable, which in the Kantian context implies a process of “filling time” with an anticipatory structure oriented to the subject, is of a different order than that of infinitesimal calculus—and that a “discontinuity” constitutive of the continuity of experience and (merely) counterposed to the image of actuality as an infinite gradation of ultimately thetic acts cannot be the principle on which (...) Benjamin bases the structure of becoming. Tracking the transformation of the process of “filling time” from its logical to its historical iteration, or from what Cohen called the “fundamental acts of time” in Logik der reinen Erkenntnis to Benjamin’s image of a language of language (qua language touching itself), the paper will suggest that for Benjamin, moving from 0 to 1 is anything but paradoxical, and instead relies on the possibility for a mathematical function to capture the nature of historical occurrence beyond paradoxes of language or phenomenality. (shrink)

This article has been written about the explanation of the scientific affair. There are the philosophical circles that a philosopher must consider their approaches. Postmodern thinkers generally refuse the universality of the rational affair. They believe that the experience cannot reach general knowledge. They emphasize on the partial and plural knowledge. Any human being has his knowledge and interpretation. The world is always becoming. Diversity is an inclusive epistemological principle. Naturally, in such a state, the scientific activity is a non-sense (...) process. The postmodern world is a post-scientific world. Another collection of approaches to science belongs to the analytical philosophy. The main part of analytical philosophy context centers around language. Language is the center of the world. We can study the world through language. Language is the possibility of knowledge. If we overcome the language games, we can study the world accurately. Generally, at present, it seems that the rational thoughts are marginal points in the sea of irrationality. We can probably talk about an anarchistic epistemological situation. Another issue is the role of observation to form a scientific activity. In this situation, the question is whether the observation is the technique of gathering information or the final reference of original scientific analysis. In relation to this issue, the confrontation of science with the families and the categories of the objects is the main problem. For more than two thousand years, the totalitarian heritage of the Aristotelian logic has been the guideline of categorizations for the human being. In order to reach an inclusive and applicable result, we should categorize everything; but it is not really known that if the method of the world categorization is the same or not. The accordance of the conceptual categories with their extensions in the world is one of the main problems which has malfunctioned the scientific system. It is better to say that it has deactivated science. Moreover, there are many interpretations for each event based on its occurrence conditions. For example, consider a fever; In order to diagnose its cause, the most significant factor is the role of a physician. There is no sense in saying that the observation has diagnosed the cause of the fever. This is the observer that plays a determinative role. Another problem is the disputes between realism and instrumentalism. Instrumentalists believe that to form a theory, the concepts are just the tools of scientific researches. Based on realism, but we confront the concepts in the original way. This chaos causes the scientific system to collapse. Now the question is what the solution is. I would like to propose my scheme that is constructed based on a main principle: there is no occurrence in the world unless we can trace the effect of consciousness back in that occurrence. In other words, there is no accident in the world. One can argue that it is the main problem that the effects of consciousness ---if there is such a concept--- is not traceable in the world. An immediate response to this problem is an inefficient technique . The observation is a technique . It is not the method of interpretation. Some people argue that the empirical approach cannot lead us to an authentic criterion to know the world. Because there is no criterion for truth, and if there is probably such a criterion, we can obtain it via several ways. The solution to the first problem is simple. Any occurrence is a truth; even we suppose it as a partial truth. Therefore we can say we face a multi-facial world. It can be the solution of the second problem: if consciousness is essentially the origin of the world and all occurrences, we face consciousness as a unique truth; even its creations contradict each other. If there is no consciousness as a creator of the world and we cannot trace it back in all existents, then what should we do? If there is consciousness, why its creations contradict each other. Since consciousness is a will, it is able to decide in any situation it intends. The issue of contradictory consciousness intentions has a teleological aspect. We cannot judge its teleological substance at present. If we are able to believe that there is no consciousness at all, it will contradict the main practical principle in our lives. Every action that we take in our lives is conjoined with consciousness. We learn many things from many sources. The substance of our instincts and emotions can be questioned. It is true that, infact we cannot analyze our instincts and emotions, but we can discuss explicitly about the rational elements of the instincts. What are these elements? These elements are the quality of their appearance. The quality of instinct appearance is different among beings. The strength and the depth and length of these irrational qualities are different in all beings. What factors or factor cause the differences among these aspects? There is certainly a determinative factor. The same factor which determines the occurrence of any event. Even if we believe in partial knowledge, we must accept the confrontation of the occurrences. Thus it is not possible to refuse the occurrences as the reference unit of knowledge. In spite of the difference, every occurrence, even as a single occurrence, happens and we can regard it as the reference unit of knowledge. Then we can consider every occurrence as an occurred object. When an occurrence happens, then it is a determined object. Everywhere there is a determination, there is certainly a determiner. Why do not we encounter a multi-determinative consciousness? Because there are a few aspects of the unique super-consciousness. These aspects are motion and growth and the amount of constituent material in every being. In all over the world, the difference in these factors creates all differences. Thus we do not encounter the plural consciousness. Is the world birth accidental? Infact, there is no accident. The accident has no meaning in the world. As explained above, the constructing element of the world is the occurrence. An occurrence can be analyzed. Therefore, we should not talk about the accident until we are not able to analyze all phenomena. We can look at every subject from different points of view at present. Thus there is theoretically no possibility to say that a certain matter is the consequence of the accident. The accident is a popular and inexact concept that has no philosophical content. Moreover, the definition of consciousness versus its contradiction causes the collapse of all epistemological axioms. We can ask why we must not define other logical principles against their contradictions. Thinkers who deny the role of logic usually ignore the role of logic. They have not been able to deny the logical function to form an epistemological system because it is not an easy task. In this article some other issues were discussed, such as the consideration of restriction as a stable and firm foundation of knowledge instead of the Descartes cogito. In addition to these philosophical points some other issues were propounded such as the role of instrumental mechanism to form the new science and the great alterations in philosophy and history of Europe. Many issues threaten human civilization. The only way to deal with such threats is certainly to use scientific facilities. The scientific possibilities undoubtedly come from a complete and inclusive scientific theory. The present article is an attempt to explain the scientific affair in order to develop human achievement, however small. -/- . (shrink)

Allegations of fraud involving falsification as research misconduct may result in severe consequences for those convicted. The focus of this article is the Public Health Service’s (PHS) definition of falsification . A well-articulated revised definition is required for veritable instances of falsification as misconduct to be consistently identified and potentially offer a framework for elucidation. A philosophical critique of the explicit definition is undertaken to determine what comprises falsification at its core, which could substantially reduce the number of allegations of (...) fraud as suspected instances of misconduct. The flaw in the PHS definition of falsification is due to circular logic, which allows anything to be proven according to it. Furthermore, to be confident that falsification has occurred, one must be certain of what is true when it has not occurred, which is demonstrated not to be plausible. falsification was found to be the most common type of fraud as misconduct alleged yet the rarest to be determined to occur because the flawed definition confounds what constitutes an occurrence of it. In addition to conceptual ambiguity and ignorance, allegations of falsification are suggested to occur strategically as maneuvers by researchers who may exploit the inherent flaw in the definition to eliminate rival competitors. -/- The purpose of part two is to critique the definition of falsification as research misconduct according to the Public Health Service (PHS) in order to better understand what it entails. In support of this purpose, the approach decided upon for analysis was philosophical including framing the issue borrowing from both mereological and epistemological perspectives. Through the consideration given to parthood relations of mereology, we gained insight from a cognitive imperfection standpoint about similarities that exist between the epistemic constraints on knowledge and the nature of violations concerning research misconduct. Findings from the examination of a case study include the significance of accuracy in representation in falsification as misconduct and the core dimensions comprising an instance of falsification, which are Deliberateness, Alteration, and Inclusion. Given that either behavior or actions must occur that violate these three aspects in order to qualify as an instance of misconduct under falsification, the author proposes that, at a minimum, any revisions made to the definition of falsification stipulate what he refers to as the Violation Imperative. (shrink)

In contemporary discussions on identity, difference and subjectivity, the thinking of Judith Butler has played a significant role, viewing identity as a problematic question of how the subject is constituted by historical structures of power that deprives it of original ownness and substantiality. As this situation for Butler stems neither from a historical occurrence, nor is clearly ontological, the question of the origin of this problem of identity and power remains. Through the thinking of Martin Heidegger, the present study (...) develops the argument that this problem indicates the completion of subject metaphysics, not its overcoming. When identity is thought and lived in terms of subjectivity, power will be its condition. This argument is first developed through a comparison of Butler’s and Heidegger’s respective appropriations of He-gel’s philosophy, together with an independent account of Hegel’s thinking. For Hegel, identi-ty involves a strive for being as a mediation of subjectivity and objectivity, where conscious-ness incorporates both beyond their split. According to Butler, this is impossible, as subjectivi-ty and objectivity are multiple, temporal and shared. For Heidegger however, the problem lies in the very thought of being as a connection of subjectivity and objectivity, and the under-standing of the human as the ground of this reconciliation. I will thereafter examine Heidegger’s “The Principle of Identity” (1957) as a response to this metaphysical comprehen-sion of identity. Here, Heidegger develops his notion of a belonging-together of man and be-ing, as a Sameness grounded in an enduring of the ontological difference between being and beings. In holding out this difference, man discovers that his primary belonging is that to the very being of his existence as such, rather than beings of subjective or objective kind. The no-tion of belonging-together is closely connected to the notion of the event (Ereignis), signify-ing Sameness as occurrence. The study covers Butler’s central writings up to 2006, Hegel’s Encyclopedia Logic, Science of Logic and Phenomenology of Spirit, as well as the whole of Heidegger’s late thought on this topic from the 30’s and onward together with a selection of his earlier works, among them Being and Time. (shrink)

Following Kelsen’s influential theory of law, the concept of validity has been used in the literature to refer to different properties of law (such as existence, membership, bindingness, and more), and so it is inherently ambiguous. More importantly, Kelsen’s equivalence between the existence and the validity of law prevents us from accounting satisfactorily for relevant aspects of our current legal practices, such as the phenomenon of “unlawful law.” This chapter addresses this ambiguity to argue that the most important function of (...) the concept of validity is constituting the complex ontological paradigm of modern law as an institutional-normative practice. In this sense, validity is an artificial ontological status that supervenes on that of the existence of legal norms, thus allowing law to regulate its own creation and creating the logical space for the occurrence of “unlawful law.” This function, I argue in the last part, is crucial to understanding the relationship between the ontological and epistemic dimensions of the objectivity of law. Given the necessary practice-independence of legal norms it is the epistemic accessibility of their creation that enables the law to fulfill its general action-guiding (and thus coordinating) function. (shrink)

Tarski’s Convention T—presenting his notion of adequate definition of truth (sic)—contains two conditions: alpha and beta. Alpha requires that all instances of a certain T Schema be provable. Beta requires in effect the provability of ‘every truth is a sentence’. Beta formally recognizes the fact, repeatedly emphasized by Tarski, that sentences (devoid of free variable occurrences)—as opposed to pre-sentences (having free occurrences of variables)—exhaust the range of significance of is true. In Tarski’s preferred usage, it is part of the meaning (...) of true that attribution of being true to a given thing presupposes the thing is a sentence. Beta’s importance is further highlighted by the fact that alpha can be satisfied using the recursively definable concept of being satisfied by every infinite sequence, which Tarski explicitly rejects. Moreover, in Definition 23, the famous truth-definition, Tarski supplements “being satisfied by every infinite sequence” by adding the condition “being a sentence”. Even where truth is undefinable and treated by Tarski axiomatically, he adds as an explicit axiom a sentence to the effect that every truth is a sentence. Surprisingly, the sentence just before the presentation of Convention T seems to imply that alpha alone might be sufficient. Even more surprising is the sentence just after Convention T saying beta “is not essential”. Why include a condition if it is not essential? Tarski says nothing about this dissonance. Considering the broader context, the Polish original, the German translation from which the English was derived, and other sources, we attempt to determine what Tarski might have intended by the two troubling sentences which, as they stand, are contrary to the spirit, if not the letter, of several other passages in Tarski’s corpus. (shrink)

We’ll approach the notion of object in Wittgenstein’s Tractatus LogicoPhilosophicus (1921), initially from the so-called “substance argument”. The discourse about necessary conditions for the propositional sense cannot be treated in terms of truth or falsity in the Tractatus without resulting in a infinite regress. Such a situation is avoided by postulating a substance made up of simple objects, thus ensuring the assumed total determination of sense. Passages from the Notebooks (1914-1916) suggest that the idea of simples is given in the (...) ideia of logical analysis and is reached without the necessity of examples for objects. Another early Wittgenstein’s remarks provide examples for objects based on itens of phenomenical nature, such as a point in the visual field. An important analogy for the phenomenical approach for the object, which is found in the aphorisms 2.013-2.0131 of Tractatus, presents a problem for the absolute simplicity. This problem concerns the notion of form, a concept that attributes an ontological dependence to the object given by its essencial capacity of occurrence in atomic facts. The form of the objects results from an appropriation of the Context Principle used by Frege in his Grundlagen der Arithmetik (1884) and differs from the notions of pictorial form and logical form. The dependence assigned to the object through its form contradicts the independent subsistence established by its simplicity. The Tractarian object results from necessary demands for determination of propositional sense, reached by means of an clarificatory analysis which prioritizes the transformative and regressive modes of analysis. Simplicity and Context Principle are, under this perspective, rules of a syntax for a logical or significative use of language, which are reflected in the Tractarian ontology through the ideia that the logico-philosophical investigation of language reveals essencial aspects of the intimate structure of the world. (shrink)

As timely renovation of artificial ideology about authenticity of nature in proportion to contemporaneous historical background of remarkable highlight of microcosmic configuration of matter, “Homogenous Cosmos Originated from Unique Genesis” is innovative cosmos redefinition and thoroughly coherent PNT dynamics about universal existence & motion as spontaneous occurrence in the nature of essence of matter in a class by itself, which is radically extended from newly highlighted factuality that “discretionary particles in cosmos are mutually convertible” as lineal logic system (...) based on unique assumable precondition of Homogenous cosmos originated from unique genesis postulate. (shrink)

As timely renovation of artificial ideology about authenticity of nature in proportion to contemporaneous historical background of remarkable highlight of microcosmic configuration of matter, “Homogenous Cosmos Originated from Unique Genesis” is innovative cosmos redefinition and thoroughly coherent PNT dynamics about universal existence & motion as spontaneous occurrence in the nature of essence of matter in a class by itself, which is radically extended from newly highlighted factuality that “discretionary particles in cosmos are mutually convertible” as lineal logic system (...) based on unique assumable precondition of Homogenous cosmos originated from unique genesis postulate. (shrink)

If everything is in permanent change, can the Universe itself be fundamentally passive? Answering this question requires a clear concept of ‘activity.’ The nature of ‘action’ is a central and unsolved philosophical problem. Actions play a crucial role in the way we conceive of ourselves, life and the Universe, and the value we put on these. In four decades of research on solar activity, we found that activity is not a mere occurrence but a genuine activity of the Sun, (...) initiated globally by the Sun using quantum processes as tools that generates suitable primary mass flows locally in the solar core that are capable of producing a working dynamo. We argue that solar activity is initiated by biological causes given by the fundamental principle of biology. This universal activity is the basis of our life instinct and of logic too. (shrink)