Although Zermelo-Fraenkel set theory (ZFC) is generally accepted as the appropriate foundation for modern mathematics, proof theorists have known for decades that virtually all mainstream mathematics can actually be formalized in much weaker systems which are essentially number-theoretic in nature. Feferman has observed that this severely undercuts a famous argument of Quine and Putnam accordin...

Some aestheticians, e.g., Peter Kivy,' are Platonists about pieces of music. They hold that a piece of music is the sound structure indicated by the notation, and that performances are (or, present) tokens of the sound structure, i.e., tokens of a type. Other philosophers, e.g., Jerrold Levinson, deny this; in Kivy's terminology they are anti-Platonists. Levinson holds that the essential charac...

Abstract This chapter examines the Platonizing myths of Dio Chrysostom, Plutarch, and (to a lesser degree) Aelius Aristides, in light our evidence for both philosophical literary-rhetorical reception Plato’s own myths. It argues that, while reflections development Platonism as systematic philosophy can be detected them, it hard may some respects pointless to disentangle this input neatly from r...

The best way to support secure communication in the Internet is the subject of much debate. The role of secure routing, in particular, has received considerable attention. The debate has been dominated by a “purist” philosophy that advocates the ubiquitous deployment of a secure version of BGP. The purist approach seems natural, if not mandatory, since BGP is the glue that holds the disparate p...

Increasingly I have come to believe that educating students to understand their values about people and relationships is an essential aspect of preparing them for professional practice. In this paper I explore the challenges involved in facilitating students’ learning processes when values exploration is on the agenda, especially when controversy may occur from sharing value-based opinions. Thi...

The elements of a pluralist systemic framework for the evaluation of factors affecting software development productivity are discussed. The framework is based on the Multiple Perspectives concept by Linstone, Multimethodology by Mingers and Critical Systems Thinking. The proposed mix of methods complements existing cost estimation techniques by providing deeper understanding of the role of the ...

Modern democracies practice different systems of state-private sector interaction in policymaking. Relevant systems include the neopluralist, also known as pressure group or advocacy pluralism and the neocorporatist, also referred to as liberal or societal corporatism, as well as mixed corporatist-pluralist systems. The Poverty Reduction Strategy Papers introduced by IMF and the World Bank in t...

It is shown that the problem of source and essence morality most satisfactorily solved on basis metaphysics Platonism. Its concrete implementation in form a fundamental physical theory relational paradigm theoretical physics. A number consequences have been developed from interpretation as transcendent connection person with First Cause being for religious philosophy social ideology.