We investigate two constants cT and rT, introduced by Chaitin and Raatikainen respectively, defined for each recursively axiomatizable consistent theory T and universal Turing machine used to determine Kolmogorov complexity. Raatikainen argued that cT does not represent the complexity of T and found that for two theories S and T, one can always find a universal Turing machine such that equation image. We prove the following are equivalent: equation image for some universal Turing machine, equation image for some universal Turing (...) machine, and T proves some Π1-sentence which S cannnot prove. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim. (shrink)

I argue that normative formal epistemology (NFE) is best understood as modelling, in the sense that this is the reconstruction of its methodology on which NFE is doing best. I focus on Bayesianism and show that it has the characteristics of modelling. But modelling is a scientific enterprise, while NFE is normative. I thus develop an account of normative models on which they are idealised representations put to normative purposes. Normative assumptions, such as the transitivity of comparative credence, (...) are characterised as modelling idealisations motivated normatively. I then survey the landscape of methodological options: what might formal epistemologists be up to? I argue the choice is essentially binary: modelling or theorising. If NFE is theorising it is doing very poorly: generating false claims with no clear methodology for separating out what is to be taken seriously. Modelling, by contrast, is a successful methodology precisely suited to the management of useful falsehoods. Regarding NFE as modelling is not costless, however. First, our normative inferences are less direct and are muddied by the presence of descriptive idealisations. Second, our models are purpose-specific and limited in their scope. I close with suggestions for how to adapt our practice. (shrink)

A preliminary statement of the formal theory of the truthmaker relation advanced in the paper “Truth-makers” (Mulligan, Simons and Smith) in 1984. Correspondence theories of truth have. I give a brief account of some more or less obvious formal characteristics of this almost forgotten basic truthmaker relation. I then attempt to show how this account may be extended to provide elements of a theory of truth which is in keeping with the spirit of Wittgenstein’s Tractatus.

Formal semantics is an approach to SEMANTICS1, the study of meaning, with roots in logic, the philosophy of language, and linguistics, and since the 1980’s a core area of linguistic theory. Characteristics of formal semantics to be treated in this article include the following: Formal semanticists treat meaning as mind-independent (though abstract), contrasting with the view of meanings as concepts “in the head” (see I-LANGUAGE AND E-LANGUAGE and MEANING EXTERNALISM AND INTERNALISM); formal semanticists distinguish semantics (...) from knowledge of semantics (Lewis 1975, Cresswell 1978), which has consequences for the notion of semantic COMPETENCE. A central part of the meaning of a sentence on this approach is its TRUTH CONDITIONS, and most although not all formal semantics is model-theoretic, relating linguistic expressions to model-theoretically constructed semantic values cast in terms of truth, REFERENCE, and possible worlds. This sets formal semantics apart from approaches which view semantics as relating a sentence just to a representation on another linguistic “level” (LOGICAL FORM) or a representation in an innate LANGUAGE OF THOUGHT. The formal semanticist could accept such representations as an aspect of semantics but would insist on asking what the model-theoretic semantic interpretation of the given representationlanguage is (Lewis 1970). Formal semantics is centrally concerned with COMPOSITIONALITY at the SYNTAX-SEMANTICS INTERFACE, how the meanings of larger constituents are built up from the meanings of their parts on the basis of their syntactic structure, and with the relation between compositional SENTENCE MEANING and meaning in discourse. (shrink)

Formal thought disorder (FTD) is a clinical mental condition that is typically diagnosable by the speech productions of patients. However, this has been a vexing condition for the clinical community, as it is not at all easy to determine what “formal” means in the plethora of symptoms exhibited. We present a logic-based model for the syntax–semantics interface in semantic networking that can not only explain, but also diagnose, FTD. Our model is based on description logic (DL), which is (...) well known for its adequacy to model terminological knowledge. More specifically, we show how faulty logical form as defined in DL-based Conception Language (CL) impacts the semantic content of linguistic productions that are characteristic of FTD. We accordingly call this the dyssyntax model. (shrink)

The aim of this paper is to propose foundations for a formal model of representation and numerical evaluation of a possibly broad class of arguments, including those that occur in natural discourse. Since one of the most characteristic features of everyday argumentation is the occurrence of convergent reasoning, special attention should be paid to the operation ⊕, which allows us to calculate the logical force of convergent arguments with an accuracy not offered by other approaches.

My aim in this note is to address the question of how a context of utterance can figure within a formal, specifically truth-conditional, semantic theory. In particular, I want to explore whether a formal semantic theory could, or should, take the intentional states of a speaker to be relevant in determining the literal meaning of an uttered sentence. The answer I’m going to suggest, contrary to the position of many contemporary formal theorists, is negative. The structure of (...) this note is then as follows: first, I’ll very briefly sketch three distinct forms of semantic theory. One, ‘strong formal semantics’, will be seen to be immediately problematic, leaving us with two other options: use-based theories and what I’ll term ‘moderate formal semantics’. If we opt for the latter position, the question arises of what kinds of appeals to a context of utterance are legitimate given a formal outlook. I’ll suggest that this question arises in two distinct ways and explore the moderate formal semanticist’s position in regard to both. However, the conclusion I will reach is that what is characteristic of formal semantics is that it makes only the most minimal semantic concessions to context. (shrink)

Some formal ontological relations are identified, in the context of an account of ontological categorization. It is argued that neither formal ontological relations nor ontological categories should themselves be regarded as elements of being, but that this does not undermine the claim of formal ontology to be a purely objective science. It is also argued that some formal ontological relations, like some ontological categories, are more basic than others. A four‐category ontology is proposed, in which two (...) basic categories of universals and two basic categories of particulars are distinguished in terms of certain formal ontological relations characteristically obtaining between entities belonging to the different categories. (shrink)

Some formal ontological relations are identified, in the context of an account of ontological categorization. It is argued that neither formal ontological relations nor ontological categories should themselves be regarded as elements of being, but that this does not undermine the claim of formal ontology to be a purely objective science. It is also argued that some formal ontological relations, like some ontological categories, are more basic than others. A four‐category ontology is proposed, in which two (...) basic categories of universals and two basic categories of particulars are distinguished in terms of certain formal ontological relations characteristically obtaining between entities belonging to the different categories. (shrink)

Traditional spiritual literature contains rich anecdotal reports of spontaneously arising experiences occurring during meditation practice, but formal investigation of such experiences is limited. Previous work has sometimes related spontaneous experiences to the Indian traditional contemplative concept of kundalini. Historically, descriptions of kundalini come out of Tantric schools of Yoga, where it has been described as a “rising energy” moving within the spinal column up to the brain. Spontaneous meditation experiences have previously been studied within Buddhist and Christian practices and (...) within eclectic groups of contemplative practitioners. Prior explorations of kundalini have emphasized extreme experiences, sometimes having clinical consequences. We conducted a first such investigation of kundalini-related experiences within a sample of meditators from a single Tantric Yoga tradition that emphasizes the role of kundalini. We developed a semi-structured questionnaire to conduct an exploratory pilot investigation of spontaneous sensory, motor and affective experiences during meditation practice. In addition to identifying the characteristics of subjective experiences, we measured quantity of meditation, supplemental practices, trait affect and trait mindfulness. We administered it to 80 volunteers at two Ananda Marga retreats. Among reported experiences, we found the highest prevalence for positive mood shifts, followed by motor and then sensory experiences. The frequency of spontaneous experiences was not related to the quantity of practiced meditation or trait measures of mindfulness and affect. Self-reports included multiple descriptions of rising sensations, sometimes being directly called kundalini. Experiences with rising sensations were complex and many included references to positive affect, including ecstatic qualities. There were also reports of spontaneous anomalous experiences. These experiences of rising sensations resemble prior clinical descriptions that were considered kundalini-related. The individuals who reported rising sensations could not be distinguished from other participants based on the incidence of experiences, quantity of meditation practice, or trait measures of mindfulness and affect. In contrast, greater amount of Tantric Yoga meditation practice was associated with greater positive affect, less negative affect and greater mindfulness. Further study of these exploratory findings and how they may be related to spiritual and well-being goals of meditation is warranted along with scientific investigation of purported kundalini phenomena. (shrink)

o formalization of intensional functions was made for the purpose of many-valued interpretation of the belief-operators within the scope of the classical logic system. The first aim of the paper is to present and discuss this rather unknown many-valued construction and its properties. The fact that the manyvaluedness of o systems is purely formal - their characteristic matrices are Boolean - calls for further consideration. Departing from intristic similarities of the tables for the epistemic operators to the information functions (...) we show that o structures may be rewritten as special knowledge representation systems. These systems use 0 and 1 as the only values and are called “epistemic”. Their role for the theory of knowledge information systems may be compared to that of the functionally complete matrices in the class of all logical matrices for a given propositional language. (shrink)

A formal language is introduced that contains expressions for the dependency of a legal relation on the claims that the concerned individuals make and on the permissions that they grant. It is used for a classification of legal relations into six major categories: categorical obligation, categorical permission, claimable obligation, grantable permission, claim-dependent obligation and grant-dependent permission. Legal rights may belong to any of these six categories, but the characteristics of a right-holder are shown to be different in each (...) of the six types. (shrink)

The wider topic to which the content of this paper belongs is that of the relationship between formal logic and real argumentation. Of particular potential interest in this connection are held to be substantive arguments constructed by philosophers reputed equally as authorities in logical theory. A number of characteristics are tentatively indicated by the author as likely to be encountered in such arguments. The discussion centers afterwards, by way of specification, on a remarkable piece of argument quoted in (...) Cicero’s dialog On Divination and ascribed to Stoic thinkers. The Stoics’ formal theory of inference is summarily referred to in this context, with special emphasis on their basic deductive schemata (‘indemonstrables’), some of them recognizable as links in the overall structure of the quoted argument. The main lines of Cicero’s criticism of the Stoic argument are next commented upon, with emphasis on his implied view as to the requirements of a good argument. Towards the end of the paper, a few considerations are added on the changes in the prevailing style of argumentation conspicuous in the three famous Roman Stoics. (shrink)

Agrobiodiversity is an evident outcome of a long-lasting human–nature relationship, as the continuous use, conservation and management of crops has resulted in biological as well as cultural diversity of seeds and breeds. This paper aims to understand the interlocking of formal and informal seed supply routes by considering the dynamic flow of seeds within networks across the intersections of gender, ethnicity and age in South India as social categories structuring human–nature relations. This changing relationship under formal and informal (...) institutional settings has consequences on performance for men and women in rice seed systems. Undertaking an empirical analysis of the organization of seed management and exchange, we seek to shed light on the gendered organization of agrobiodiversity as a social network. The study builds on Net-Map interviews conducted in 2012, embedded in the larger BioDIVA project in the district of Wayanad in Kerala, India. Based on network analysis, the interactive method employed has enabled identification of important actors in the seed system and the characteristics of their relationships. We look into the gendered structure of information exchange regarding seed varieties and actual seed transactions, while also examining clusters of actors collaborating regarding seed supply. Finally, we identify the institutional gap concerning seed sources left by formal and informal institutions, like the availability of varieties. We show how informal and formal seed systems coexist and overlap due to actors moving between systems and argue that the degree and areas of overlap are shaped by gendered human–nature relations. (shrink)

i) We show for each context-free language L that by considering each word of L as a structure in a natural way, one turns L into a finite union of classes which satisfy a finitary analog of the characteristic properties of complete universal first order classes of structures equipped with elementary embeddings. We show this to hold for a much larger class of languages which we call free local languages. ii) We define local languages, a class of languages between free (...) local and context-sensitive languages. Each local language L has a natural extension L ∞ to infinite words, and we prove a series of "pumping lemmas", analogs for each local language L of the "uvxyz theorem" of context free languages: they relate the existence of large words in L or L ∞ to the existence of infinite "progressions" of words included in L, and they imply the decidability of various questions about L or L ∞ . iii) We show that the pumping lemmas of ii) are independent from strong axioms, ranging from Peano arithmetic to ZF + Mahlo cardinals. We hope that these results are useful for a model-theoretic approach to the theory of formal languages. (shrink)

Suyolcu-zāde Nahrī Aḥmad (d.1182/1768-1769) was an important sûfî poet being a member of Ismā‘īl Rūmī branch, the sect of Qādiriyya. He carried out the duty of spiritual and ethical guidance at Qādiriyya Lodge in Tekirdağ. Besides his sûfî character, he was a poet having an extensive knowledge about the theoretical and aesthetical bases of Dīwān literature. The only original copy of Nahrī’s Dīwānçe including his poems registered in the Vatican Library, Turkish Manuscripts, nr. 235. There are forty-five Turkish, twelve Arabic (...) and three Persian poems by Nahrī in this copy. The goal of this article is to present the formal and contextual features of Nahrī’s poems in Dīwānçe in the light of the analysis on some poems that we chose. Any study was not found about the poet’s life and poems in the literature review we made. In this study, poems are classified according to the verse form and the language, and the number of couplets, type of prosody, form, style and content of the chosen poems are evaluated accordingly. This study has importance in terms of providing insight about the Religious-Sûfîstic belief in the region and period of Nahrī Aḥmad who was a sûfî poet and a member of Qādiriyya sect. In addition, the study gives information about many important influencers of the period, particularly Niyāzī-i Miṣrī and inform the readers about these influencers’ and sûfîs’ effects on Nahrī’s poems and ideas. The study also makes contribution to determining literary-sûfistic terminology of 18th century.Summary: Suyolcu-zâde Nahrī Aḥmad (d.1182/1768-1769) was a member of Qādiriyya Dervish Convent in Tekirdag where he was born. He became the head sheikh of this convent following his father Sheikh Muḥammad Efendi and worked for the convent in several ways. Nahrī Aḥmad moved back to his hometown in 1182/1768-1769 after completing his Hajj duty and died soon after that. Nahrī had two works according to Osmanlı Müellifleri (Ottoman Authors) and it is stated that the first one of these two works is about “unity of existence”. It should be mentioned that we haven’t found a copy of this work yet. The other work of Nahrī is his Dīwānçe, which includes his poems. The only copy of this significant work is registered in Vatican Library, Turkish Manuscripts, nr. 235. In this study, we had the chance to determine a third work of Nahrī which has never been mentioned in the related literature. This third work that we determined is based on the information in an Arabic poem on the page 21a of the poet’s Dīwānçe. This book that we determined is an interpretation book completed in 1166/1752-53 but Nahrī Aḥmad didn’t mention the name of the work. Nahrī Aḥmad was a spiritual guide and sufi, and he was assigned to the duty of showing the true path in dervish lodge following his madrassa education, learning Qādiriyya lodge’s morals and methods and completing his “spiritual journey”. Besides these, he was a significant poet who could write poems in Arabic, Persian and Turkish languages and he was literary competent who knew the theoretical and aesthetic rules of Dīwān literature and used these features professionally in his works. When Nahrī’s poems are analyzed, it can be seen that he adopted the understanding of existence, knowledge and belief based on Islamic Sufism. Besides, it can be seen that he internalized the significant Religious-Sufi Turkish literature figures including especially Yūnus Emre.In the copy of his Dīwānçe, registered in Vatican Library, there are forty-five Turkish, twelve Arabic and three Persian poems. There are two other poems that weren’t written by Nahrī in the same work. These poems were written by a poet with penname of ‘Ᾱrif in the period when Nahrī’s son Muḥammad Muṣlih al-Dīn was the head sheikh in the same Dervish convent. These historical poems are significant as they describe the re-building of ruined Tekirdag Qādiriyya convent after Nahrī’s period. The goal of this article is to present the formal and contextual features of poems in Nahrī’s Dīwānçe on the basis of chosen poems. As far as we could determine, there is no other study on Nahrī’s works. Nahrī’s Dīwānçe wasn’t a kind of rearranged work of collected poems. Therefore, we classified the poems in terms of the form and language and evaluated the number of couplets, aruz prosody, shape, type and content. Poems of Nahrī in Dīwānçe in terms of verse style are: Four Turkish, three Arabic, one Persian ode, one Turkish compounded stanza, seventeen Turkish, nine Arabic and one Persian major stanza, three Turkish five-line stanzas, two Turkish pentastichs, eighteen Turkish and one Persian lyric.Nahrī Aḥmad wrote five-line stanzas for three of Niyāzī-i Miṣrī’s lyrics and one of Bāqī’s lyrics. He wrote parallel poems about one pentastich, one lyric and one other poem written in a specific style of blank verse of Niyāzī-i Miṣrī. Besides, there is also an original poem that is quite unique in the work. Nahrī wrote five couplets before each verse in Niyāzī-i Miṣrī’s ode which resulted in the creation of a common ode. Poems in Dīwānçe are contextually religious-Sufi based. ‘Abd al-Qādir al-Jīlānī, Ismā‘īl Rūmī who was the founder of the order of Rūmiyya branch and other sheikhs of Qādiriyya dervish order are the main names mentioned in the poems. One other significant point in Nahrī’s poems is that he had a deep love and respect for Niyāzī-i Miṣrī. There are praises, quintets and parallel poems about Miṣrī in Dīwānçe which shows Niyāzī-i Miṣrī’s effect on his work. This effect is so great that it covered not only the content but also there are the signs of the effect in terms of metaphoric language, words and verses. It can be said that ‘Abd al-Qādir al-Jīlānī and Niyāzī-i Miṣrī, a member of Khalwatī order, were two significant names that surrounded the mental world of Nahrī, located in the texture of his poems and gave characteristic features to his works. There is a great number of historical poems in Nahrī’s Dīwānçe. He wrote twenty-six historical verses about various historical issues such as birth and death, construction of mosque, dervish monastery, zawiya, pavilion, repairing of mansion, renovation of dervish convent, enthronement of Sultan and appointment of Grand Vizier. Also, there are some other important parts in Nahrī’s Dīwānçe such as invocation, praise and self-adulation.Although there are not many poems in the previously mentioned copy in Vatican Library, there are various names mentioned in these poems. When these poems are analyzed, it can be seen that there are the names of some prophets, some companions of Prophet Muḥammad such as ‘Alī, Ja‘far al-Sādiq, some Persian legendary characters such as Afrāsiyāb, Rustem and Anūshirwān, some Sufi names such as Manṣūr al-Hallaj, Jalāl al-Dīn Rūmī, Shams al-Dīn of Tabrīz, Ḥācī Bektash Velī, Ibn al-‘Arabī and Bāyazīd al-Bisṭāmī, philosopher Galen and famous love heroes Laylā and Majnūn. That is to say, the poet has a rich world of references. On the other hand, there are the names of some works mentioned in Dīwānçe. Epistle of Niyāzī-i Miṣrī named Devre-i ‘Arshiyya, and Ibn al-‘Arabī’s al-Futūhāt al-Makkiyya are the other names mentioned in the work. Name of the places included in Nahrī’s poems are: Aden, Aqmescit, Baghdad, Baghcesaray, Baṭḥā, Balkh, Dimashq, Ḥijāz, Iraq, Iran, Cairo, Ken‘ān, Karbalā, Qılburun, Crimea, Kirmān, Egypt, Nemce, Rūm, Sanaa, Shām, Yemen. This study has importance in terms of providing insight about the religious-sûfî belief in the region and period of Nahrī Aḥmad who was a sûfî poet and a member of Qādiriyya sect. In addition, the study gives information about many important influencers of the period, particularly Niyāzī-i Miṣrī. Moreover, it informs the readers about these influencers’ and sûfîs’ effects on Nahrī’s poems and ideas. The study also makes contribution to determining literary-sûfistic terminology of 18th century. (shrink)

Hume's analyses of human apprehension and of causality were the most penetrating up to his time and continue to have great influence. Contemporary Spanish philosopher Xavier Zubiri has examined both and identified three underlying errors: the failure to recognize that there are three stages of human intellection, and especially that the first, primordial apprehension, has quite unique characteristics; the attempt to place an excessive burden on the content of impressions while ignoring what Zubiri terms their 'formality of reality'; and (...) the failure to recognize that functionality, not causality, is the basis for most of our knowledge. Causal chains in general cannot be adequately known, and therefore are not and cannot be the basis of our knowledge of the external world. Only in the area of persons and morality does causality play a critical role. (shrink)

An essential aspect of conceptual data modeling methodologies is the language’s expressiveness so as to represent the subject domain as precise as possible to obtain good quality models and, consequently, software. To gain better insight in the characteristics of the main conceptual modeling languages, we conducted a comparison between ORM, ORM2, UML, ER, and EER with the aid of Description Logic languages of the DLR family and the new formally defined generic conceptual data modeling language CMcom that is based (...) on DLRifd. ORM, ER, EER, and UML class diagrams are proper fragments of ORM2 and CMcom has the most expressive common denominator with these languages. CMcom simplifies prospects for automated, online, interoperability among the considered languages so that modelers not only can continue using their preferred modeling language yet be compatible with the other ones, but also have a common ground that eases database and software integration based on commonly used conceptual data models. (shrink)

The paper provides both a description of conspiracy beliefs and an insight into their cultural significance. On one side, it highlights their specific formal features, on the other, and this constitutes its peculiarity in the recent literature on the topic, it considers them within the broader genre of general conceptual beliefs, whose main characteristics are weak methodology and logical structure, strong affective and dispositional constraints, epistemic closure and mauvaise foi, and whose main function is practical and self-representative (not (...) epistemic). The paper also claims that political theory and social sciences had some influence in legitimizing certain ideas and stereotypes that are exacerbated in conspiracy beliefs, while other te(le)ological conceptions, such as finalism and providence, may be an important source of ideas that turn out to be widely spread in contemporary criticism towards those same beliefs. (shrink)

Having a satisfactory definition of behavioural deception is important for understanding several types of evolutionary questions. No definition offered in the literature so far is adequate on all fronts. After identifying characteristics that are important for a definition, a new definition of behavioural deception is offered. The new definition, like some other proposed attempts, relies on formal game-theoretic models of signalling. Unlike others, it incorporates explicit consideration of the population in which the potentially deceptive interactions occur. The general (...) structure of the definition satisfies many of the characteristics that were problematic for other definitions, and others are satisfied by explicitly incorporating information about the population in which interactions occur. Examples are given for chick begging in the Sir Philip Sidney game and other situations. 1 Introduction2 Deception in Formal Models2.1 Formal models of signalling2.2 Deception as dishonesty2.3 Deception as negative value of information2.4 Deception as misinformation with payoff conditions3 A Revised Definition3.1 Technical definitions3.2 Begging behaviour and the Sir Philip Sidney game3.3 ‘Universal’ deception and a possible objection3.4 One-on-one interactions3.5 Lucky errors4 Discussion and Conclusions. (shrink)

This paper explores the relationship between informal reasoning, creativity in mathematics, and problem solving. It underscores the importance of environments that promote interaction, hypothesis generation, examination, refutation, derivation of new solutions, drawing conclusions, and reasoning with others, as key factors in enhancing mathematical creativity. Drawing on argumentation logic, the paper proposes a novel approach to uncover specific characteristics in the development of formalized proving using “proof-events.” Argumentation logic can offer reasoning mechanisms that facilitate these environments. This paper proposes how (...) argumentation can be implemented to discover certain characteristics in the development of formalized proving with “proof-events”. The concept of a proof-event was introduced by Goguen who described mathematical proof as a multi-agent social event involving not only “classical” formal proofs, but also other informal proving actions such as deficient or alleged proofs. Argumentation is an integral component of the discovery process for a mathematical proof since a proof necessitates a dialogue between provers and interpreters to clarify and resolve gaps or assumptions. By formalizing proof-events through argumentation, this paper demonstrates how informal reasoning and conflicts arising during the proving process can be effectively simulated. The paper presents an extended version of the proof-events calculus, rooted in argumentation theories, and highlights the intricate relationships among proof, human reasoning, cognitive processes, creativity, and mathematical arguments. (shrink)

Carl Philipp Emanuel Bach's grand cantata, Karl Wilhelm Rammlers Auferstehung und Himmelfahrt Jesu displays a masterful integration of features. This study first surveys the work's historical background, genesis, and early history, then examines both libretto and music for distinguishing characteristics of architecture, philosophical outlook, symbolism, rhetorical approach, and genre. A detailed analysis of seven sonata-style movements then reveals Bach's achievement of artistic unity across every level of scale. His techniques include: a treatment of music and text which synthesizes elements (...) of variety and repetition; continuous development of themes; through-composition of da capo forms achieved through sonata procedures; motivic cross-references which acquire ever-deeper layers of associations as the oratorio progresses; and a tonal "story" that accommodates dynamic contrasts of tempo, timbre, key, and melody within a single trajectory. (shrink)

Descartes’s causal theory is often taken to announce modernity by radically breaking with the Aristotelian past. Specifically, Descartes is often taken to reject the full Aristotelian causal theory in favor of the efficient causes characteristic of mechanistic physics and the activity of minds. In this chapter, I argue against this view by showing that Descartes endorses an avowedly Aristotelian notion of formal causation. First, I articulate Cartesian formal causation in light of its Aristotelian background, and I show that (...) Descartes endorses what Francisco Suárez termed metaphysical formal causal explanation. Then, I argue against taking formal causation to be a peripheral explanatory notion for Descartes by showing it to be both well-attested textually and part and parcel of his Platonic intellectualism. I conclude by suggesting some further contexts in which this Cartesian notion of formal causation could be profitably wielded. (shrink)

Originally published in 1965. This is a textbook of modern deductive logic, designed for beginners but leading further into the heart of the subject than most other books of the kind. The fields covered are the Propositional Calculus, the more elementary parts of the Predicate Calculus, and Syllogistic Logic treated from a modern point of view. In each of the systems discussed the main emphases are on Decision Procedures and Axiomatisation, and the material is presented with as much formal (...) rigour as is compatible with clarity of exposition. The techniques used are not only described but given a theoretical justification. Proofs of Consistency, Completeness and Independence are set out in detail. The fundamental characteristics of the various systems studies, and their relations to each other are established by meta-logical proofs, which are used freely in all sections of the book. Exercises are appended to most of the chapters, and answers are provided. (shrink)

We compare our model of unsupervised learning of linguistic structures, ADIOS [1, 2, 3], to some recent work in computational linguistics and in grammar theory. Our approach resembles the Construction Grammar in its general philosophy (e.g., in its reliance on structural generalizations rather than on syntax projected by the lexicon, as in the current generative theories), and the Tree Adjoining Grammar in its computational characteristics (e.g., in its apparent affinity with Mildly Context Sensitive Languages). The representations learned by our (...) algorithm are truly emergent from the (unannotated) corpus data, whereas those found in published works on cognitive and construction grammars and on TAGs are hand-tailored. Thus, our results complement and extend both the computational and the more linguistically oriented research into language acquisition. We conclude by suggesting how empirical and formal study of language can be best integrated. (shrink)

In his argument for the possibility of knowledge of spatial objects, in the Transcendental Deduction of the B-version of the Critique of Pure Reason, Kant makes a crucial distinction between space as “form of intuition” and space as “formal intuition.” The traditional interpretation regards the distinction between the two notions as reflecting a distinction between indeterminate space and determinations of space by the understanding, respectively. By contrast, a recent influential reading has argued that the two notions can be fused (...) into one and that space as such is first generated by the understanding through an act of synthesis of the imagination. Against this reading, this article argues that a key characteristic of space as a form of intuition is its nonconceptual unity, which defines the properties of space and is as such necessarily independent of determination by the understanding through the transcendental synthesis of the imagination. The conceptual unity that the understanding prescribes to the manifold in intuition, by means of the categories, defines the formal intuition. Furthermore, this article argues that it is the sui generis, nonconceptual unity of space, when takenas a unity for the understanding by means of conceptual determination, that first enables geometric knowledge and knowledge of spatially located particulars. (shrink)

The prevalence and characteristics of research misconduct have mainly been studied in highly developed countries. In moderately or poorly developed countries such as Croatia, data on research misconduct are scarce. The primary aim of this study was to determine the rates at which scientists report committing or observing the most serious forms of research misconduct, such as falsification, fabrication, plagiarism, and violation of authorship rules in the Croatian scientific community. Additionally, we sought to determine the degree of development and (...) the extent of implementation of the system for defining and regulating research misconduct in a typical scientific community in Croatia. An anonymous questionnaire was distributed among 1232 Croatian scientists at the University of Rijeka in 2012/2013 and 237 returned the survey. Based on the respondents who admitted having committed research misconduct, 9 admitted to plagiarism, 22 to data falsification, 9 to data fabrication, and 60 respondents admitted to violation of authorship rules. Based on the respondents who admitted having observed research misconduct of fellow scientists, 72 observed plagiarism, 69 observed data falsification, 46 observed data fabrication, and 132 respondents admitted having observed violation of authorship rules. The results of our study indicate that the efficacy of the system for managing research misconduct in Croatia is poor. At the University of Rijeka there is no document dedicated exclusively to research integrity, describing the values that should be fostered by a scientist and clarifying the forms of research misconduct and what constitutes a questionable research practice. Scientists do not trust ethical bodies and the system for defining and regulating research misconduct; therefore the observed cases of research misconduct are rarely reported. Finally, Croatian scientists are not formally educated about responsible conduct of research at any level of their formal education. All mentioned indicate possible reasons for higher rates of research misconduct among Croatian scientists in comparison with scientists in highly developed countries. (shrink)

Background: SNOMED CT is a large terminology system designed to represent all aspects of healthcare. Its current form and content result from decades of bottom-up evolution. Due to SNOMED CT’s formal descriptions, it can be considered an ontology. The Basic Formal Ontology (BFO) is a foundational ontology that proposes a small set of disjoint, hierarchically ordered classes, supported by relations and axioms. In contrast, as a typical top-down endeavor, BFO was designed as a foundational framework for domain ontologies (...) in the natural sciences and related disciplines. Whereas it is mostly assumed that domain ontologies should be created as extensions of foundational ontologies, a post-hoc harmonization of consolidated domain ontologies in use, such as SNOMED CT, is known to be challenging. Methods: We explored the feasibility of harmonizing SNOMED CT with BFO, with a focus on the SNOMED CT Clinical Finding hierarchy. With more than 100,000 classes, it accounts for about one third of SNOMED CT’s content. In particular, we represented typical SNOMED CT finding/disorder concepts using description logics under BFO. Three representational patterns were created and the logical entailments analyzed. Results: Under a first scrutiny, the clinical intuition that diseases, disorders, signs and symptoms form a homogeneous ontological upper-level class appeared incompatible with BFO’s upper-level distinction into continuants and occurrents. The Clinical finding class seemed to be an umbrella for all kinds of entities of clinical interest, such as material entities, processes, states, dispositions, and qualities. This suggests the conclusion that Clinical finding would not be a suitable upper-level class from an BFO perspective. On closer inspection of the taxonomic links within this hierarchy and the implicit meaning derived thereof, it became clear that Clinical finding classes do not characterize the entity (e.g. a fracture, allergy, tumor, pain, hemorrhage, seizure, fever) in a literal sense but rather the condition of a patient having that fracture, allergy, pain etc. This gives sense to the current characteristic of the Clinical Finding hierarchy, in which complex classes are modeled as subclasses of their constituents. Most of these taxonomic links are inferred, as the consequence of the ‘role group’ design pattern, which is ubiquitous in SNOMED CT and has often been subject of controversy regarding its semantics. Conclusion: Our analyses resulted in the proposal of (i) equating SNOMED CT’s ‘role group’ property with the reflexive and transitive BFO relation ‘has occurrent part’; and (ii) reinterpreting Clinical Findings as Clinical Occurrents, i.e. temporally extended entities in an organism, having one or more occurrents as temporal parts that occur in continuants. This re-interpretation was corroborated by a manual analysis of classes under Clinical Finding, as well as the identification of similar modeling patterns in other ontologies. As a result, SNOMED CT does not require any content redesign to establish compatibility with BFO, apart from this re-interpretation, and a suggested re-labeling. Regarding the feasibility of harmonizing terminologies with principled foundational ontologies post-hoc, our results provide support to the assumption that this does not necessarily require major redesign efforts, but rather a careful analysis of the implicit assumptions of terminology curators and users. (shrink)

The purpose of this research will be to present the classroom management issues faced by prison teachers and introduce strategies applied by prison teachers managing them within the formal education system in correctional service. Cell classrooms, inmate students, and prison teachers’ characteristics and the importance of prison education are to be analyzed within Kosovo Correctional Service. To reach these goals three questions will be raised: 1. What are the classroom management issues in prison schools? 2. Are the prison (...) teachers professionally prepared to teach to inmate students? and 3. Do prison schools differ from schools in the common world? This study will be introduced through qualitative data and a literature review as instruments of the study dedicated to prison classroom management and characteristics, teachers and inmates’ responsibilities and benefits within the informal education system within Kosovo Correctional Service. The research findings revealed that similar classroom management issues are present in prison schooling compared to classrooms in the free world; prison teachers are not additionally prepared to teach in prison classrooms to inmate students. Prisoners, who plan to rehabilitate and reintegrate themselves through formal prison education, want their circumstances and prison characteristics to be taken into consideration by all factors involved in their schooling within prison walls. (shrink)

Notes and Discussions European Identity and National Characteristics in the Historia philosophica of the Seventeenth and Eighteenth Centuries Philosophy proper commences in the West. It is in the West that this freedom of self- consciousness first comes forth; the natural consciousness, and likewise Mind disap- pear into themselves. In the brightness of the East the individual disappears; the fight first becomes in the West the flash of thought which strikes within itself, and from thence creates its world out of (...) itself. For Hegel, in whose time the West still coincided with Europe, philosophy was a profoundly European phenomenon. However, in its definable rise and development in Greece, it was connected with a particular political, social, and spiritual organization or rather with a "people" or "nation" , and it is to this category that Hegel referred again in his exposition of "Recent German Philosophy": In the philosophy of Kant, Fichte, and Schelling, the revolution to which in Germany mind has in these latter days advanced, was formally thought out and expressed; the sequence of these philosophies shows the course which thought has taken. In this great epoch of the world's history.., two nations only have played a part, the German and the French, and this in spite of their absolute opposition, or rather because they are so opposite. The other nations have taken no real inward part in the same .... * Hegel's Lectures on the History of.. (shrink)

Functions of type n are characteristic functions on n-ary relations. Keenan [5] established their importance for natural language semantics, by showing that natural language has many examples of irreducible type n functions, i.e., functions of type n that cannot be represented as compositions of unary functions. Keenan proposed some tests for reducibility, and Dekker [3] improved on these by proposing an invariance condition that characterizes the functions with a reducible counterpart with the same behaviour on product relations. The present paper (...) generalizes the notion of reducibility (a quantifier is reducible if it can be represented as a composition of quantifiers of lesser, but not necessarily unary, types), proposes a direct criterion for reducibility, and establishes a diamond theorem and a normal form theorem for reduction. These results are then used to show that every positive n function has a unique representation as a composition of positive irreducible functions, and to give an algorithm for finding this representation. With these formal tools it can be established that natural language has examples of n-ary quantificational expressions that cannot be reduced to any composition of quantifiers of lesser degree. (shrink)

Some students in the humanities take fright when introduced to the formal manipulations characteristic of elementary sentential & predicate logic. One way to lessen the pain of initiation is to start with word games, of which Lewis Carroll’s Doublets (section 1) is a familiar example. The paper presents some other games that successively introduce more of the..

One of the oldest systems of paraconsistent logic is the set of so-called C-systems of Newton da Costa, and this has been generalized into a family of systems now known as logics of formal inconsistencies by Walter Carnielli, Marcelo Coniglio and João Marcos. The characteristic notion in these systems is the so-called consistency operator which, roughly speaking, indicates how gluts are behaving. One natural question then is to ask if we can let not only gluts but also gaps be (...) around and generalize the notion of consistency into classicality. This is already considered by Andréa Loparić and da Costa in the style of C-systems. The aim of this paper is to develop a family of systems that generalizes the system of Loparić and da Costa which may be called logics of formal classicality. (shrink)

Originally published in 1965. This is a textbook of modern deductive logic, designed for beginners but leading further into the heart of the subject than most other books of the kind. The fields covered are the Propositional Calculus, the more elementary parts of the Predicate Calculus, and Syllogistic Logic treated from a modern point of view. In each of the systems discussed the main emphases are on Decision Procedures and Axiomatisation, and the material is presented with as much formal (...) rigour as is compatible with clarity of exposition. The techniques used are not only described but given a theoretical justification. Proofs of Consistency, Completeness and Independence are set out in detail. The fundamental characteristics of the various systems studies, and their relations to each other are established by meta-logical proofs, which are used freely in all sections of the book. Exercises are appended to most of the chapters, and answers are provided. (shrink)

Many theories of kind representation suggest that people posit internal, essence-like factors that underlie kind membership and explain properties of category members. Across three studies (N = 281), we document the characteristics of an alternative form of construal according to which the properties of social kinds are seen as products of structural factors: stable, external constraints that obtain due to the kind’s social position. Internalist and structural construals are similar in that both support formal explanations (i.e., “category member (...) has property P due to category membership C”), generic claims (“Cs have P”), and the generalization of category properties to individual category members when kind membership and social position are confounded. Our findings thus challenge these phenomena as signatures of internalist thinking. However, once category membership and structural position are unconfounded, different patterns of generalization emerge across internalist and structural construals, as do different judgments concerning category definitions and the dispensability of properties for category membership. We discuss the broader implications of these findings for accounts of formal explanation, generic language, and kind representation. (shrink)

If we were to pose the question of identifying the most characteristically metaphysical of the teachings of the neopositivists, the reply, in our belief, would have to be: their elaboration of the basic concept of their epistemology, the concept of "logical analysis." This concept has some connection both with the history of the understanding of analysis within the bounds of previous philosophical teachings and — in particular — with its treatment in modern symbolic logic. However, the neopositivists have given this (...) concept a distinctive coloration, which merits examination. (shrink)

Leibniz’s universal characteristic is a fundamental aspect of his theory of cognition. Without symbols or characters it would be difficult for the human mind to define several concepts and to achieve many demonstrations. In most disciplines, and particularly in mathematics, the mind must then focus on symbols and their combinatorial rules rather than on mental contents. For Leibniz, mental perception is most of the time too confused for attaining distinct notions and valid deductions. In this paper, I argue that the (...) functions of symbolization differ depending upon the kind of concepts that are replaced with characters. In my view, most commentators did not sufficiently underline the distinction between two main functions of formal substitution in Leibniz’s characteristic: either increasing our knowledge or simply structuring it. In the first case, we complete our knowledge because formal substitution makes sensible and imaginary concepts more distinct. In the second case, symbolization helps to organize contents that are already conceived of by reason. Thus the process of substitution is not always identically applicable, for symbols replace different types of concepts. (shrink)

The aim of the study was to verify hypotheses about time changeability of dream characteristics depending on the participants’ age and affective value of the dream. The study was conducted online. Participants of the study were 68 individuals between the age of 17 and 85. The participants were asked to prepare detailed descriptions of their dreams, next they had to identify elements of the dreams, refer them to their real life, and assess their affective value. In the dreams of (...) late adolescents, and young and middle-aged adults the most frequently recalled period in a positive context turned out to be late adolescence and early adulthood, whereas in a negative context the participants would recall their present developmental phase and the period of late childhood. Unpleasant dreams of older individuals were mainly connected with the period of middle adulthood, whereas those pleasant ones referred to various periods of their entire life. (shrink)

Church youth work is the activities and programs organized by churches for young people. These activities aim to contribute to the religious, spiritual and social development of young people. Church youth work brings young people together and supports them in areas such as religious education, spiritual development, community service, leadership development and active participation in the religious community. It is seen that youth work, which was previously a part of family work, has been organized as a different field of work (...) over time. Churches carry out activities in this field through an organizational structure called youth ministry. Churches generally have a certain systematic and work program in their youth work. Most churches organize their youth programs according to the relevant educational levels. Churches tend to create smaller sub-groups within the youth program and divide young people by grade level. These divisions are usually at the middle and high school level, but youth groups extend to university students and are often referred to as "college and career". Higher education seems to be emphasized in youth work. Many theological faculties offer different postgraduate programs to meet various needs. The quality of youth work is largely determined by the academic studies conducted in this field. Practical theology, which is established as an academic discipline in faculties of theology, both provides the theoretical background that shapes the practice of these studies and provides training to train qualified personnel in the field. The approach to youth ministry can vary, taking into account the different views on the subject, the places where this ministry is provided and the characteristics of people. There are different paradigms in church youth work, especially for young people living in cities. These are called traditional, liberal, activist and prophet-centered youth paradigms. Another pillar of church youth work is spiritual counseling services. Recently, churches have started to employ professional spiritual counselors. Spiritual counseling, a concept that emphasizes the Christian cultural origins of counseling, is now included in youth work. Spiritual counseling is seen as a professional guidance fed by religious and spiritual sources. Church spiritual counselors listen to the problems faced by young people, support them and try to understand them. Spiritual counselors provide guidance based on religious teachings and values to support the personal development of young people. Spiritual counseling conducted by churches can take various forms. These include individual counseling, group counseling, family counseling, online counseling, retreats and workshops. The personnel who carry out the youth work of the churches are also called youth leaders. Accordingly, it is seen that various leadership models in the literature are discussed in this context. Some leadership models that are thought to inspire youth work are: Servant leadership, ethical leadership, spiritual leadership and transformational leadership. In this research, these leadership models are discussed in the context of church youth work. This research aims to reveal the basic approaches and principles in this field by focusing on the studies in the context of non-formal religious education in Catholic Churches. Although it varies from region to region or from church to church, the main problem of this study is to examine the youth work of the Catholic Church in the context of non-formal religious education in general. The research data were obtained through document analysis method. On this occasion, it is thought that this study will also be useful in the context of a comparative evaluation of non-formal religious education in our country. (shrink)

The digital shift leads to increasing changes. Employees can deal with changes through informal learning that enables needs-based development. For successful informal learning, self-regulated learning is crucial, i.e., to set goals, plan, apply strategies, monitor, and regulate learning for example by applying resource strategies. However, existing SRL models all refer to formal learning settings. Because informal learning differs from formal learning, this study investigates whether SRL models can be transferred from formal learning environments into informal work settings. (...) More precisely, are all facets relevant, and what are the relational patterns? Because informal workplace learning occurs through interaction with the context, this study investigates the influence of context, i.e., organizational learning culture and job characteristics on SRL. Structural equation modeling of N = 170 employees in various industries showed the relevance of the self-reported metacognitive strategies planning, monitoring, and regulation; the resource strategies help-seeking and effort regulation; and deep processing strategy elaboration. However, there was no evidence for organization strategies. The learning strategies were associated with self-efficacy and mastery-approach goal orientation. Regarding context, results supported indirect effects over self-motivational beliefs of learning strategies. Organizational learning culture was connected with mastery-approach goal orientation, whereas job characteristics autonomy and feedback were related to self-efficacy, which were again related to SRL strategies. Therefore, context can empower employees not only to accomplish their tasks but to develop themselves by applying SRL strategies. The results are discussed, and practical implications are outlined. (shrink)

We analyze N. C. A. da Costa and F. A. Doria’s “exotic formalization” of the conjecture P = NP [3–7]. For any standard axiomatic PA extension T and any number-theoretic sentence ${\varphi }$ , we let ${\varphi ^{\star} := \varphi \vee \lnot \mathsf{Con}\left( \mathsf{T}\right)}$ and prove the following “exotic” inferences 1–3. 1. ${\mathsf{T}+\varphi ^{\star}}$ is consistent, if so is T, 2. ${\mathsf{T}+\varphi}$ is consistent, provided that ${\mathsf{T}+\varphi ^{\star}}$ is ω-consistent, 3. ${\mathsf{T}+\varphi}$ is consistent, provided that T is consistent and has (...) the same provably total recursive functions as ${\mathsf{T}+\left( \varphi \leftrightarrow \varphi ^{\star }\right) }$ . Furthermore we show that 1–3 continue to hold for ${\varphi ^{\star} := \varphi _{S} :=\varphi \vee \lnot S}$ , where ${S=\forall x\exists yR\left( x,y\right)}$ is any ${\Pi _{2}^{0}}$ sentence satisfying: 4. ${\left( \forall n\in \omega \right) \left( \mathsf{T}\vdash S_{x}\left[ \underline{n}\right] \right) }$ , 5. ${\mathsf{Con}\left( \mathsf{T}\right) \Rightarrow \mathsf{T}\nvdash S}$ . We observe that if ${\varphi :=\left[ \mathsf{P}=\mathsf{NP}\right] }$ and ${S:= \left[\digamma total\right] }$ , where ${\digamma=\digamma _{\mathsf{T}}}$ is da Costa-Doria “exotic” function with respect to T, then 4, 5 are satisfied for most familiar (presumably) consistent T in question, while ${\varphi _{S}}$ becomes equivalent to da Costa-Doria “exotic formalization” ${\left[ \mathsf{P}=\mathsf{NP}\right]^{\digamma}}$ . Moreover, the corresponding “exotic” inferences 1–3 generalize analogous da Costa-Doria results. Hence these “exotic” inferences are universal for all number-theoretic sentences and not characteristic to the conjecture P = NP. Nor do they infer relative consistency of P = NP (see Conclusion 15 in the text). (shrink)

Participation in further education is a central success factor for economic growth and societal as well as individual development. This is especially true today because in most industrialized countries, labor markets and work processes are changing rapidly. Data on further education, however, show that not everybody participates and that different social groups participate to different degrees. Activities in continuous vocational education and training are mainly differentiated as formal, non-formal and informal CVET, whereby further differences between offers of non- (...) class='Hi'>formal and informal CVET are seldom elaborated. Furthermore, reasons for participation or non-participation are often neglected. In this study, we therefore analyze and compare predictors for participation in both forms of CVET, namely, non-formal and informal. To learn more about the reasons for participation, we focus on the individual perspective of employees and additionally integrate institutional characteristics. The results mainly show that non-formal CVET is still strongly influenced by institutional settings. In the case of informal CVET, on the other hand, the learning biography plays a central role. (shrink)

Nelson Goodman's new riddle of induction forcefully illustrates a challenge that must be confronted by any adequate theory of inductive inference: provide some basis for choosing among alternative hypotheses that fit past data but make divergent predictions. One response to this challenge is to distinguish among alternatives by means of some epistemically significant characteristic beyond fit with the data. Statistical learning theory takes this approach by showing how a concept similar to Popper's notion of degrees of testability is linked to (...) minimizing expected predictive error. In contrast, formal learning theory appeals to Ockham's razor, which it justifies by reference to the goal of enhancing efficient convergence to the truth. In this essay, I show that, despite their differences, statistical and formal learning theory yield precisely the same result for a class of inductive problems that I call strongly VC ordered, of which Goodman's riddle is just one example. (shrink)

The development of behavioral ethics has brought forth a detailed understanding of the processes of moral perception, decision-making and behavior within and beyond organizations and communities. However, prescriptive recommendations of behavioral research regarding how to support an ethical environment often underestimate the specifics of organizational characteristics that may encourage the occurrence and persistence of dishonesty, especially regarding deception as a desired action in some instances by some employees and managers. Furthermore, behavioral research does not adequately recognize the notion that (...) dishonesty can be sometimes viewed as an acceptable cost for some expected traits or skills of an employee such as intelligence or creativity. Under some conditions, deception can be even considered a moral, prosocial activity. Finally, formal ethics systems and situational measures to promote honesty may be inefficient or directly harmful. This article highlights questions of how to assess such factors in research on (un)ethical behavior within organizations. (shrink)

ABSTRACT:Business networks, which include joint ventures, supply chains, industry and trade associations, industrial districts, and community business associations, are considered the signature organizational form of the global economy. However, little is known about how they affect the social performance of their members. We utilize institutional theory to develop the position that business social performance has collectivist roots that deserve at least as much scholarly attention as owner/manager characteristics and business attributes. Hypotheses are tested using multilevel analysis on data gathered (...) from 898 members of twenty-nine business associations. Support is provided for institutional theory’s explanation for business social performance. Members of business associations are likely to conform to the pattern of social performance prevailing in their association, but not necessarily to the articulated values of the association. The potential of business associations to influence members’ social performance should be considered by agencies that start and support them as mechanisms for regional and local economic development. (shrink)

ABSTRACT:Business networks, which include joint ventures, supply chains, industry and trade associations, industrial districts, and community business associations, are considered the signature organizational form of the global economy. However, little is known about how they affect the social performance of their members. We utilize institutional theory to develop the position that business social performance has collectivist roots that deserve at least as much scholarly attention as owner/manager characteristics and business attributes. Hypotheses are tested using multilevel analysis on data gathered (...) from 898 members of twenty-nine business associations. Support is provided for institutional theory’s explanation for business social performance. Members of business associations are likely to conform to the pattern of social performance prevailing in their association, but not necessarily to the articulated values of the association. The potential of business associations to influence members’ social performance should be considered by agencies that start and support them as mechanisms for regional and local economic development. (shrink)