Constitutive Rules: Games, Language, and Assertion
نویسندگان
چکیده
منابع مشابه
Arbitral Functions and Constitutive Rules
It is nowadays widely recognized that constitutive rules play a key role in social ontology. Their definitional character is the primary source of the meaning of every rule-based activity, but what can ensure the persistence of this activity? The most common reply found in literature is to rely on social acceptance; even though this is certainly true, it is nonetheless not sufficient to explain...
متن کاملAn Assertion Language for Constraint Logic Programs
In an advanced program development environment, such as that discussed in the introduction of this book, several tools may coexist which handle both the program and information on the program in different ways. Also, these tools may interact among themselves and with the user. Thus, the different tools and the user need some way to communicate. It is our design principie that such communication...
متن کاملSALT - Structured Assertion Language for Temporal Logic
This paper presents Salt. Salt is a general purpose specification and assertion language developed for creating concise temporal specifications to be used in industrial verification environments. It incorporates ideas of existing approaches, such as specification patterns, but also provides nested scopes, exceptions, support for regular expressions and real-time. The latter is needed in particu...
متن کاملRules in Computer Games Compared to Rules in Traditional Games
Michael Liebe argues that Salen and Zimmerman's interpretation of Huizinga's magic circle does not apply to computer games. Liebe's insight reveals not only a different relation for computer games to the magic circle, but also hints at a difference in the nature of rules in computer games. Jesper Juul's comparison of non-digital sports to simulations of those sports highlights a missing aspect ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Philosophy and Phenomenological Research
سال: 2018
ISSN: 0031-8205,1933-1592
DOI: 10.1111/phpr.12525