In recent years, the microfinance industry has received a substantial amount of cross-border funding from both public and private sources. This funding reflects the increasing interest in microfinance as part of a more general trend towards socially responsible investments. In order to be able to secure sustained interest from these investors, it is important that the microfinance industry can show evidence of its contribution to reducing poverty at the bottom of the pyramid. For this, it is crucial to understand under (...) what conditions microfinance institutions are able to reduce poverty. This paper contributes to this discussion by investigating the relationship between the extent to which social capital formation is facilitated within different societies and the financial and social performance of MFIs. This focus on social capital formation is important, because in many cases MFIs use group loans with joint liability to incentivize asset-poor borrowers to substitute the lack of physical collateral by their social capital. Hence, the success of a large part of the loan relationship between MFIs and their borrowers depends on the social capital those borrowers can bring into the contract. We carry out a cross-country analysis on a dataset containing 100 countries and identify different social dimensions as proxies for how easy social capital can be developed in different countries. We hypothesize that microfinance is more successful, both in terms of their financial and social aims, in societies that are more conducive to the development of social capital. Our empirical results support our hypothesis. (shrink)

A natural extension theorem for strongly continuous mappings, the morphisms in the category of apartness spaces, is proved constructively.

The paper deals with proximal convergence and Leader's theorem, in the constructive theory of uniform apartness spaces.

In this paper, Carnap's modal logic C is reconstructed. It is shown that the Carnapian approach enables us to create some epistemic logics in a relatively straightforward way. These epistemic modifications of C are axiomatized and one of them is compared with intuitionistic logic. At the end of the paper, some connections between this epistemic logic and Medvedev's logic of finite problems and inquisitive semantics are shortly discussed.

Facial perception plays a key role in various social interactions, including formidability assessments. People make relatively accurate inferences about men’s physical strength, aggressiveness, and success in physical confrontations based on facial cues. The physical factors related to the perception of fighting ability and their relative contribution have not been investigated yet, since most existing studies employed only a limited number of threat potential measures or proxies. In the present study, we collected data from Czech Mixed Martial Arts (MMA) fighters regarding (...) their fighting success and physical performance in order to test physical predictors of perceived fighting ability made on the basis of high-fidelity facial photographs. We have also explored the relationship between perceived and actual fighting ability. We created standardized 360° photographs of 44 MMA fighters which were assessed on their perceived fighting ability by 94 raters (46 males). Further, we obtained data regarding their physical characteristics (e.g. age, height, body composition) and performance (MMA score, isometric strength, anaerobic performance, lung capacity). In contrast to previous studies, we did not find any significant links between the actual and perceived fighting ability. The results of a multiple regression analysis have, however, shown that heavier fighters and those with higher anaerobic performance were judged as more successful. Our results suggest that certain physical performance-related characteristics are mirrored in individuals’ faces but assessments of fighting success based on facial cues are not congruent with actual fighting performance. (shrink)

The article focuses on Rahel Jaeggi’s project of a critique of forms of life. Jaeggi seeks to create a new theory of social critique whose object is what Jaeggi calls a form of life: an ensemble of practices within which we always already live our lives and which represent solutions to certain problems. The critical procedure that Jaeggi defends is an immanent one, meaning that social critics, rather than bringing in external standards, should concentrate on contradictions characterizing forms of life (...) themselves. This procedure presupposes a concept of social change, which happens in a rational way and admits progressive development. This concept in turn serves as the highest criterium for a critique of forms of life. (shrink)

The main purpose of this paper is to investigate constructively the relationship between proximal convergence, uniform sequential convergence and uniform convergence for sequences of mappings between apartness spaces. It is also shown that if the second space satisfies the Efremovic axiom, then proximal convergence preserves strong continuity.

In the constructive theory of uniform spaces there occurs a technique of proof in which the application of a weak form of the law of excluded middle is circumvented by purely analytic means. The essence of this proof-technique is extracted and then applied in several different situations.

This paper introduces and explores a conservative extension of inquisitive logic. In particular, weak negation is added to the standard propositional language of inquisitive semantics, and it is shown that, although we lose some general semantic properties of the original framework, such an enrichment enables us to model some previously inexpressible speech acts such as weak denial and ‘might’-assertions. As a result, a new modal logic emerges. For this logic, a Fitch-style system of natural deduction is formulated. The main result (...) of this paper is a theorem establishing the completeness of the system with respect to inquisitive semantics with weak negation. At the conclusion of the paper, the possibility of extending the framework to the level of first order logic is briefly discussed. (shrink)

This paper introduces a generalized version of inquisitive semantics, denoted as GIS, and concentrates especially on the role of disjunction in this general framework. Two alternative semantic conditions for disjunction are compared: the first one corresponds to the so-called tensor operator of dependence logic, and the second one is the standard condition for inquisitive disjunction. It is shown that GIS is intimately related to intuitionistic logic and its Kripke semantics. Using this framework, it is shown that the main results concerning (...) inquisitive semantics, especially the axiomatization of inquisitive logic, can be viewed as particular cases of more general phenomena. In this connection, a class of non-standard superintuitionistic logics is introduced and studied. These logics share many interesting features with inquisitive logic, which is the strongest logic of this class. (shrink)

From the perspective of philosophy of science and technologies, we firstly attend to the issue of the role of nanotechnologies within the evolution of technologies. We recognize their utmost importance in the respect that they are technologies of life itself. We further explain that the nano-level is the domain of intersection of the rules of quantum physics and traditional Newtonian physics. This is our starting point from which we discuss the issue of conditions under which minimizing things also changes their (...) functional essence. We use the example of the Drexler vs. Smalley debate to demonstrate the paradigmatic incomparability of the two perspectives and the physical-chemical and engineering-related limits of nanotechnologies. We discuss to what extent are the dangers and ethical implications emerging from Drexler’s contemplations real, be it what he calls the “grey goo” problem or the issues of molecular production. We regard certain problems linked to synthetic biology as more serious. We conclude our text with the consideration that the human civilization should think of the possibilities of nanotechnologies in the development of life as an existential challenge. (shrink)

Polemic, with commentaries, on Śuddhādvaita philosophy, refuting other Hindu schools.

A conversation can be conceived as aiming to circumscribe a set of possibilities that are relevant to the goals of the conversation. This set of possibilities may be conceived as determined by the goals and objective circumstances of the interlocutors and not by their propositional attitudes. An indicative conditional can be conceived as circumscribing a set of possibilities that have a certain property: If the set of relevant possibilities is subsequently restricted to one in which the antecedent holds, then it (...) will be restricted as well to one in which the consequent holds. We will identify a number of desiderata concerning the validity of arguments; we will develop a formally precise semantics for conditionals conceived in this way that satisfies the desiderata, and we will present a deductive calculus that is sound and complete with respect to the semantics. Finally, we will argue that the semantics compares well, both formally and foundationally, with two other semantic theories of indicative conditionals that satisfy the desiderata, namely, those of Gillies and Bledin. (shrink)

This paper introduces the inquisitive extension of R, denoted as InqR, which is a relevant logic of questions based on the logic R as the background logic of declaratives. A semantics for InqR is developed, and it is shown that this semantics is, in a precisely defined sense, dual to Routley-Meyer semantics for R. Moreover, InqR is axiomatized and completeness of the axiomatic system is established. The philosophical interpretation of the duality between Routley-Meyer semantics and the semantics for InqR is (...) also discussed. (shrink)

Besides Dracula, Ceauşescu, and Nadia Comăneci, monasteries constitute a permanent Romanian brand, inextricably linked in every foreign visitor's mind to Romanianness. Specific to Moldavia and Bucovina—the Eastern and Northern parts of Romania—these monasteries have attracted visitors for the past 500 years. The person visiting a sacred site is transformed from being merely a tourist into a pilgrim. The painting “The Ladder towards Heaven” at the Pângăraţi Monastery, for example, highlights the importance of the mental and physical involvement of the tourist-pilgrim (...) as an interactive participant in the process of self-discovery. (shrink)

This paper combines propositional dynamic logic ) with propositional inquisitive logic ). The result of this combination is a logical system \ that conservatively extends both \ and \, and, moreover, allows for an interaction of the question-forming operator from \ with the structured modalities from \. We study this system from a semantic as well as a syntactic point of view. These two perspectives are linked via a completeness proof, which also shows that \ is decidable.

This paper explores the relation between the philosophical idea that logic is a science studying logical forms, and a mathematical feature of logical systems called the principle of uniform substitution, which is often regarded as a technical counterpart of the philosophical idea. We argue that at least in one interesting sense the principle of uniform substitution does not capture adequately the requirement that logic is a matter of form and that logical truths are formal truths. We show that some specific (...) logical expressions can produce propositions of different kinds and the resulting diversity of informational types can lead to a justified failure of uniform substitution without undermining the view that logic is a purely formal discipline. (shrink)

In this paper we introduce a class of inquisitive Heyting algebras as algebraic structures that are isomorphic to algebras of finite antichains of bounded implicative meet semilattices. It is argued that these structures are suitable for algebraic semantics of inquisitive superintuitionistic logics, i.e. logics of questions based on intuitionistic logic and its extensions. We explain how questions are represented in these structures and provide several alternative characterizations of these algebras. For instance, it is shown that a Heyting algebra is inquisitive (...) if and only if its prime filters and filters generated by sets of prime elements coincide and prime elements are closed under relative pseudocomplement. We prove that the weakest inquisitive superintuitionistic logic is sound with respect to a Heyting algebra iff the algebra is what we call a homomorphic p-image of some inquisitive Heyting algebra. It is also shown that a logic is inquisitive iff its Lindenbaum–Tarski algebra is an inquisitive Heyting algebra. (shrink)

We investigate an information based generalization of the incompatibility-frame treatment of logics with non-classical negation connectives. Our framework can be viewed as an alternative to the neighbourhood semantics for extensions of lattice logic by various negation connectives, investigated by Hartonas. We set out the basic semantic framework, along with some correspondence results for extensions. We describe three kinds of constructions of canonical models and show that double negation law is not canonical with respect to any of these constructions. We also (...) compare our semantics to Hartonas’. (shrink)