Section 1 discusses properties and propositions, and some of the motivation for an account in which property instantiation and propositional truth behave naively . Section 2 generalizes a standard Kripke construction for naive properties and propositions, in a language with modal operators but no conditionals. Whereas Kripke uses a 3-valued value space, the generalized account allows for a broa...

Image factorizations in regular categories are stable under pullbacks, so they model a natural modal operator in dependent type theory. This unary type constructor [A] has turned up previously in a syntactic form as a way of erasing computational content, and formalizing a notion of proof irrelevance. Indeed, semantically, the notion of a support is sometimes used as surrogate proposition asser...

Like so many words that are bandied about, the word theory threatens to become meaningless. Because its referents are so diverse including everything from minor working hypotheses, through comprehensive but vague and unordered speculations, to axiomatic systems of thought use of the word often obscures rather than creates understanding. The term sociological theory refers to logically interconn...

Institutional ethnography (IE) is a valuable ontological approach for investigating the coordination of social relations, both locally and trans-locally. However, much work utilizing IE remains within confines local or national empirical field. This means there are limited accounts exploring geographically dispersed institutions that cross borders span regions. paper makes case critically think...

Purpose Social robots increasingly adopt service roles in the marketplace. While research is beginning to unravel implications for theory and practice, other scientific disciplines have amassed a wealth of empirical data assuming such roles. The purpose this paper synthesize these findings from role perspective with aim advancing human–robot interaction (HRSI). Design/methodology/approach A sys...

Abstract Developing the critique of notions “integration immigrants”, twelve propositions are advanced to diagnose methodological nationalism mainstream approaches. The concept “integration” contains assumptions about nature and functioning modern society which, in a post-industrial post-colonial context, falsely trapped within normative bounds thinking for nation-state. An alternate empirical ...

As widely evidenced in the past decades, level of “humanity's metabolism” is unsustainable and must be reduced. It especially related to issues, such as availability resources, impacts transportation, waste management, external costs that could adversely affect economic environmental scenario at a global level. In transition circular economy (CE), moving from insights industrial ecology (IE) “b...

Walter Block’s (2003) supposedly “entirely critical” (p. 48) reply greatly narrows the gap between our positions (Caplan 2001, 1999, 1997; Block 1999). It is a major concession for Block to admit that synthetic a priori propositions can have a low probability and empirical propositions can have a high probability. The implication, though he does not admit it, is that his initial claims most con...