Search results for 'Belnap R' (try it on Scholar)

1000+ found
Sort by:
  1. Alan Ross Anderson, Nuel D. Belnap & John R. Wallace (1960). Independent Axiom Schemata for the Pure Theory of Entailment. Mathematical Logic Quarterly 6 (1‐6):93-95.score: 240.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  2. Nuel D. Belnap & John R. Wallace (1965). A Decision Procedure For the System EĪ of Entailment with Negation. Mathematical Logic Quarterly 11 (4):277-289.score: 240.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. N. D. Belnap, H. Leblanc & R. H. Thomason (1963). On Not Strengthening Intuitionistic Logic. Notre Dame Journal of Formal Logic 4 (4):313-320.score: 240.0
    tic sequenzen-kalkul of Gentzen, into rules for PCc, the classical sequenzenkalkul. We shall limit ourselves here to sequenzen or turnstile statements of the form A„A„..., A„ I- B, where A„A„..., A„(n ~ 0), and B are wffs consisting of propositional variables, zero or more of the connectives '5', "v', ' ', ')', and '=', and zero or more parentheses. One can pass from PCi to PCc by amending the intelim rules for ' a result of long standing, or by amending (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  4. Alan R. Anderson & Nuel D. Belnap (1975). Entailment: The Logic of Relevance and Neccessity, Vol. I. Princeton University Press.score: 240.0
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  5. Nuel D. Belnap (1970). Review: R. B. Angell, A Propositional Logic with Subjunctive Conditionals. [REVIEW] Journal of Symbolic Logic 35 (3):464-465.score: 240.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  6. Michael A. McRobbie & Nuel D. Belnap (1979). Relevant Analytic Tableaux. Studia Logica 38 (2):187 - 200.score: 120.0
    Tableau formulations are given for the relevance logics E (Entailment), R (Relevant implication) and RM (Mingle). Proofs of equivalence to modus-ponens-based formulations are vialeft-handed Gentzen sequenzen-kalküle. The tableau formulations depend on a detailed analysis of the structure of tableau rules, leading to certain global requirements. Relevance is caught by the requirement that each node must be used; modality is caught by the requirement that only certain rules can cross a barrier. Open problems are discussed.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  7. N. Belnap, Nuel Belnap Under Carnap's Lamp: Flat Pre-Semantics.score: 120.0
    “Flat pre-semantics” lets each parameter of truth (etc.) be considered separately and equally, and without worrying about grammatical complications. This allows one to become a little clearer on a variety of philosophical-logical points, such as the usefulness of Carnapian tolerance and the deep relativity of truth. A more definite result of thinking in terms of flat pre-semantics lies in the articulation of some instructive ways of categorizing operations on meanings in purely logical terms in relation to various parameters of (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  8. Stig Kanger (1971). Review: A. R. Anderson, N. D. Belnap Jr., First Degree Entailments. [REVIEW] Journal of Symbolic Logic 36 (3):520-521.score: 72.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  9. José M. Méndez (1987). Axiomatizing E→ and R→ with Anderson and Belnap's 'Strong and Natural'list of Valid Entailments. Bulletin of the Section of Logic 16 (1):2-7.score: 72.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  10. Donald Paul Snyder (1973). Review: Alan Ross Anderson, Nuel D. Belnap, John R. Wallace, Independent Axiom Schemata for the Pure Theory of Entailment. [REVIEW] Journal of Symbolic Logic 38 (2):327-328.score: 72.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  11. Eunsuk Yang (2013). R and Relevance Principle Revisited. Journal of Philosophical Logic 42 (5):767-782.score: 54.0
    This paper first shows that some versions of the logic R of Relevance do not satisfy the relevance principle introduced by Anderson and Belnap, the principle of which is generally accepted as the principle for relevance. After considering several possible (but defective) improvements of the relevance principle, this paper presents a new relevance principle for (three versions of) R, and explains why this principle is better than the original and others.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  12. Gemma Robles, José M. Méndez & Francisco Salto (2010). A Modal Restriction of R-Mingle with the Variable-Sharing Property. Logic and Logical Philosophy 19 (4):341-351.score: 54.0
    A restriction of R-Mingle with the variable-sharing property and the Ackermann properties is defined. From an intuitive semantical point of view, this restriction is an alternative to Anderson and Belnap’s logic of entailment E.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  13. Kazimierz Swirydowicz (1999). There Exist Exactly Two Maximal Strictly Relevant Extensions of the Relevant Logic R. Journal of Symbolic Logic 64 (3):1125-1154.score: 42.0
    In [60] N. Belnap presented an 8-element matrix for the relevant logic R with the following property: if in an implication A → B the formulas A and B do not have a common variable then there exists a valuation v such that v(A → B) does not belong to the set of designated elements of this matrix. A 6-element matrix of this kind can be found in: R. Routley, R.K. Meyer, V. Plumwood and R.T. Brady [82]. Below we (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  14. José M. Méndez (1990). Exhaustively Axiomatizing RMO with an Appropiate Extension of Anderson and Belnap's “Strong and Natural List of Valid Entailments”. Theoria 5 (1):223-228.score: 42.0
    RMO -> is the result of adding the ‘mingle principle’ (viz. A-> (A -> A)) to Anderson and Belnap’s implicative logic of relevance R->. The aim of this paper is to provide all possible axiomatizations with independent axioms of RMO -> formulable with Anderson and Belnap’s list extended with three characteristic minglish principles.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  15. Fabrice Correia (2004). Semantics for Analytic Containment. Studia Logica 77 (1):87 - 104.score: 36.0
    In 1977, R. B. Angell presented a logic for <span class='Hi'>analytic</span> containment, a notion of relevant implication stronger than Anderson and Belnap's entailment. In this paper I provide for the first time the logic of first degree <span class='Hi'>analytic</span> containment, as presented in [2] and [3], with a semantical characterization—leaving higher degree systems for future investigations. The semantical framework I introduce for this purpose involves a special sort of truth-predicates, which apply to pairs of collections of formulas instead of (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  16. Alan Ross Anderson, Ruth Barcan Marcus, R. M. Martin & Frederic B. Fitch (eds.) (1975). The Logical Enterprise. Yale University Press.score: 30.0
    Metaphysics and language: Quine, W. V. O. On the individuation of attributes. Körner, S. On some relations between logic and metaphysics. Marcus, R. B. Does the principle of substitutivity rest on a mistake? Van Fraassen, B. C. Platonism's pyrrhic victory. Martin, R. M. On some prepositional relations. Kearns, J. T. Sentences and propositions.--Basic and combinatorial logic: Orgass, R. J. Extended basic logic and ordinal numbers. Curry, H. B. Representation of Markov algorithms by combinators.--Implication and consistency: Anderson, A. R. Fitch on (...)
     
    My bibliography  
     
    Export citation  
  17. J. Michael Dunn (2000). Partiality and its Dual. Studia Logica 66 (1):5-40.score: 24.0
    This paper explores allowing truth value assignments to be undetermined or "partial" (no truth values) and overdetermined or "inconsistent" (both truth values), thus returning to an investigation of the four-valued semantics that I initiated in the sixties. I examine some natural consequence relations and show how they are related to existing logics, including ukasiewicz's three-valued logic, Kleene's three-valued logic, Anderson and Belnap's (first-degree) relevant entailments, Priest's "Logic of Paradox", and the first-degree fragment of the Dunn-McCall system "R-mingle". None of (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  18. Edwin D. Mares (1994). Why We Need a Relevant Theory of Conditionals. Topoi 13 (1):31-36.score: 24.0
    This paper presents ConR (Conditional R), a logic of conditionals based on Anderson and Belnap''s system R. A Routley-Meyer-style semantics for ConR is given for the system (the completeness of ConR over this semantics is proved in E. Mares and A. Fuhrmann, A Relevant Theory of Conditionals (unpublished MS)). Moreover, it is argued that adopting a relevant theory of conditionals will improve certain theories that utilize conditionals, i.e. Lewis'' theory of causation, Lewis'' dyadic deontic logic, and Chellas'' dyadic deontic (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  19. Robert K. Meyer & Greg Restall, “Strenge” Arithmetics.score: 24.0
    In Entailment, Anderson and Belnap motivated their modification E of Ackermann’s strenge Implikation Π Π’ as a logic of relevance and necessity. The kindred system R was seen as relevant but not as modal. Our systems of Peano arithmetic R# and omega arithmetic R## were based on R to avoid fallacies of relevance. But problems arose as to which arithmetic sentences were (relevantly) true. Here we base analogous systems on E to solve those problems. Central to motivating E is (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  20. Alan Ross Anderson (1972). An Intensional Interpretation of Truth-Values. Mind 81 (323):348-371.score: 24.0
    R-Dagger is the theory of relevant implication, Got from the calculus r (see belnap, Jsl, 32, 1-22), By adding machinery for propositional quantification. In r-Dagger define t as for some p, P, F as for all p, P. Then (t, F) is closed in r-Dagger under truth-Functions and relevant implication, Which, When confined to (t, F) acts just like material 'implication.' but r-Dagger admits of many propositions other than t, F. The article also contains polemics against extensionalism and nominalism. (...)
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  21. Robert K. Meyer (1998). ⊃E is Admissible in “True” Relevant Arithmetic. Journal of Philosophical Logic 27 (4):327 - 351.score: 24.0
    The system R## of "true" relevant arithmetic is got by adding the ω-rule "Infer VxAx from AO, A1, A2, ...." to the system R# of "relevant Peano arithmetic". The rule ⊃E (or "gamma") is admissible for R##. This contrasts with the counterexample to ⊃E for R# (Friedman & Meyer, "Whither Relevant Arithmetic"). There is a Way Up part of the proof, which selects an arbitrary non-theorem C of R## and which builds by generalizing Henkin and Belnap arguments a prime (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  22. John Slaney & Edward Walker (2013). The One-Variable Fragment of T→. Journal of Philosophical Logic:1-12.score: 24.0
    We show that there are infinitely many pairwise non-equivalent formulae in one propositional variable p in the pure implication fragment of the logic T of “ticket entailment” proposed by Anderson and Belnap. This answers a question posed by R. K. Meyer.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  23. A. Walsh (2002). Greek Thought: A Guide to Classical Knowledge. Australasian Journal of Philosophy 80 (1):132-132.score: 24.0
    Book Information Greek Thought: A Guide to Classical Knowledge. By Jacques Bruschwig and Geoffrey, E. R. Lloyd. MA, Belnap Press. Cambridge. 2000. Pp. xv + 1024. Hardback, US$49.00.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  24. Diderik Batens (1987). Relevant Implication and the Weak Deduction Theorem. Studia Logica 46 (3):239 - 245.score: 24.0
    It is shown that the implicational fragment of Anderson and Belnap's R, i.e. Church's weak implicational calculus, is not uniquely characterized by MP (modus ponens), US (uniform substitution), and WDT (Church's weak deduction theorem). It is also shown that no unique logic is characterized by these, but that the addition of further rules results in the implicational fragment of R. A similar result for E is mentioned.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  25. Robert K. Meyer (1998). ŠƒE is Admissible in €œTrue” Relevant Arithmetic. Journal of Philosophical Logic 27 (4):327-351.score: 24.0
    The system R## of "true" relevant arithmetic is got by adding the ω-rule "Infer VxAx from AO, A1, A2, ...." to the system R# of "relevant Peano arithmetic". The rule ⊃E (or "gamma") is admissible for R##. This contrasts with the counterexample to ⊃E for R# (Friedman & Meyer, "Whither Relevant Arithmetic"). There is a Way Up part of the proof, which selects an arbitrary non-theorem C of R## and which builds by generalizing Henkin and Belnap arguments a prime (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  26. John O. Nelson (1964). A Question of Entailment. Review of Metaphysics 18 (2):364 - 377.score: 24.0
    A r anderson and n d belnap, Jr., Maintained in their 1962 article, "the pure calculus of entailment," that necessary propositions can be entailed only by necessary propositions, And not by contingent ones. Against this r w ashby offered an apparently conclusive counterexample in "entailment and modality" (1963). In support of anderson and belnap, The author of the present paper develops a definition of entailment and argues that contingent propositions never entail necessary ones. However, Psychological factors may intervene (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  27. Lisa Galminas & John G. Mersch (2012). A Pretabular Classical Relevance Logic. Studia Logica 100 (6):1211-1221.score: 24.0
    In this paper we construct an extension, ℒ, of Anderson and Belnap's relevance logic R that is classical in the sense that it contains p&p → q as a theorem, and we prove that ℒ is pretabular in the sense that while it does not have a finite characteristic matrix, every proper normal extension of it does. We end the paper by commenting on the possibility of finding other classical relevance logics that are also pretabular.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  28. L. R. S., J. M. Dunn & A. Gupta (1993). Truth or Consequences: Essays in Honor of Nuel Belnap. Philosophical Quarterly 43 (172):399.score: 24.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  29. Gerson Zaverucha (1992). Relevant Logic as a Basis for Paraconsistent Epistemic Logics. Journal of Applied Non-Classical Logics 2 (2):225-241.score: 24.0
    ABSTRACT In this work we argue for relevant logics as a basis for paraconsistent epistemic logics. In order to do so, a paraconsistent nonmonotonic multi-agent epistemic logic, MDR (for Modal Defeasible Relevant), is briefly introduced. In MDR each agent has two kinds of belief: an absolute belief that P, represented by AiP, and a defeasible belief that P, represented by DiP. Therefore, an agent can reason with his own absolute and defeasible beliefs about the world and also reason about his (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  30. Alan Anderson, Belnap R., D. Nuel & J. Michael Dunn (1992). Entailment: The Logic of Relevance and Necessity, Vol. Ii. Princeton University Press.score: 24.0
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  31. R. A. Bull (1974). Review: Aldo Bressan, A General Interpreted Modal Calculus; Nuel D. Belnap, Foreword. [REVIEW] Journal of Symbolic Logic 39 (2):352-352.score: 24.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  32. Robert Łyczek (2008). Uwagi o okresie warunkowym, implikacji i entailmencie. Filozofia Nauki 2.score: 24.0
    This article is the analysis of the logical system-E (entailment) proposed in work ‘Entailment’, vol 1 i 2 [1975, 1992] by R. A. Aderson and N. D. Belnap Jr. The First part presents a brief history of notion ‘entailment’ and the application of logical systems of entailment. The Second part contains any characterization of reasons of construction of this logical system. The Third part presents logical system-E, and the last part focuses on the weak points of this type of (...)
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  33. Charles R. Pigden (1990). Ought-Implies-Can: Erasmus Luther and R.M. Hare. Sophia 29 (1):2-30.score: 18.0
    l. There is an antinomy in Hare's thought between Ought-Implies-Can and No-Indicatives-from-Imperatives. It cannot be resolved by drawing a distinction between implication and entailment. 2. Luther resolved this antinomy in the l6th century, but to understand his solution, we need to understand his problem. He thought the necessity of Divine foreknowledge removed contingency from human acts, thus making it impossible for sinners to do otherwise than sin. 3. Erasmus objected (on behalf of Free Will) that this violates Ought-Implies-Can which he (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  34. Charles H. Pence (2011). “Describing Our Whole Experience”: The Statistical Philosophies of W. F. R. Weldon and Karl Pearson. Studies in History and Philosophy of Biological and Biomedical Sciences 42 (4):475-485.score: 18.0
    There are two motivations commonly ascribed to historical actors for taking up statistics: to reduce complicated data to a mean value (e.g., Quetelet), and to take account of diversity (e.g., Galton). Different motivations will, it is assumed, lead to different methodological decisions in the practice of the statistical sciences. Karl Pearson and W. F. R. Weldon are generally seen as following directly in Galton’s footsteps. I argue for two related theses in light of this standard interpretation, based on a reading (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  35. A. H. Louie (2006). (M,R)-Systems and Their Realizations. Axiomathes 16 (1-2):35-64.score: 18.0
    Robert Rosen’s (M,R)-systems are a class of relational models that define organisms. The realization of relational models plays a central role in his study of life, itself. Biology becomes identified with the class of material realizations of a certain kind of relational organization, exhibited in (M,R)-systems. In this paper I describe several realizations of (M,R)-systems, and in particular alternate realizations of the replication component.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  36. Alasdair Urquhart (2010). Anderson and Belnap's Invitation to Sin. Journal of Philosophical Logic 39 (4):453 - 472.score: 18.0
    Quine has argued that modal logic began with the sin of confusing use and mention. Anderson and Belnap, on the other hand, have offered us a way out through a strategy of nominahzation. This paper reviews the history of Lewis's early work in modal logic, and then proves some results about the system in which "A is necessary" is intepreted as "A is a classical tautology.".
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  37. David Sloan Wilson (1999). A Critique of R.D. Alexander's Views on Group Selection. Biology and Philosophy 14 (3):431-449.score: 18.0
    Group selection is increasingly being viewed as an important force in human evolution. This paper examines the views of R.D. Alexander, one of the most influential thinkers about human behavior from an evolutionary perspective, on the subject of group selection. Alexander's general conception of evolution is based on the gene-centered approach of G.C. Williams, but he has also emphasized a potential role for group selection in the evolution of individual genomes and in human evolution. Alexander's views are internally inconsistent and (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  38. James Tabery (2008). R. A. Fisher, Lancelot Hogben, and the Origin(s) of Genotype-Environment Interaction. Journal of the History of Biology 41 (4):717 - 761.score: 18.0
    This essay examines the origin(s) of genotype-environment interaction, or G×E. "Origin(s)" and not "the origin" because the thesis is that there were actually two distinct concepts of G×E at this beginning: a biometric concept, or \[G \times E_B\] , and a developmental concept, or \[G \times E_D \] . R. A. Fisher, one of the founders of population genetics and the creator of the statistical analysis of variance, introduced the biometric concept as he attempted to resolve one of the main (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  39. Jan G. Michel, Dirk Franken & Attila Karakus (eds.) (2010). John R. Searle: Thinking About the Real World. ontos.score: 18.0
    John R. Searle is one of the world's leading philosophers. During his long and outstanding career, he has made groundbreaking and lasting contributions to the philosophy of language, to the philosophy of mind, as well as to the nature, structure, and functioning of social reality. This volume documents the 13th Münster Lectures on Philosophy with John R. Searle. It includes not only 11 critical papers on Searle's philosophy and Searle's replies to the papers, but also an original article by John (...)
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  40. Helen E. Lees (2013). Is R.S. Peters' Way of Mentioning Women in His Texts Detrimental to Philosophy of Education? Some Considerations and Questions. Ethics and Education 7 (3):291 - 302.score: 18.0
    (2012). Is R.S. Peters' way of mentioning women in his texts detrimental to philosophy of education? Some considerations and questions. Ethics and Education: Vol. 7, Creating spaces, pp. 291-302. doi: 10.1080/17449642.2013.767002.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  41. Vivekananda Mukherjee & Shyama V. Ramani (2011). R&D Cooperation in Emerging Industries, Asymmetric Innovative Capabilities and Rationale for Technology Parks. Theory and Decision 71 (3):373-394.score: 18.0
    Starting from the premise that firms are distinct in terms of their capacity to create innovations, this article explores the rationale for R&D cooperation and the choice between alliances that involve information sharing, cost sharing or both. Defining innovative capability as the probability of creating an innovation, it examines firm strategy in a duopoly market, where firms have to decide whether or not to cooperate to acquire a fixed cost R&D infrastructure that would endow each firm with a firm-specific innovative (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  42. David A. Hollinger (1975). Morris R. Cohen and the Scientific Ideal. Mit Press.score: 18.0
    This is Hollinger's book on the life and work of the American philosopher of science Morris R. Cohen.
    Direct download  
     
    My bibliography  
     
    Export citation  
  43. Dagmar Wilhelm (2007). R-Spondin1 - Discovery of the Long-Missing, Mammalian Female-Determining Gene? Bioessays 29 (4):314-318.score: 18.0
    Until recently, sex determination in mammals has often been described as a male determination process, with male differentiation being the active and dominant pathway, and only in its absence is the passive female pathway followed. This picture has been challenged recently with the discovery that the gene encoding R-spondin1 is mutated in human patients with female-to-male sex reversal.((1)) These findings might place R-spondin1 in the exceptional position of being the female-determining gene in mammals. In this review, possible roles of R-spondin1 (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  44. Marie-Laure Cabon-Dhersin & Shyama V. Ramani (2004). Does Trust Matter for R&D Cooperation? A Game Theoretic Examination. Theory and Decision 57 (2):143-180.score: 18.0
    The game theoretical approach to R&D cooperation does not investigate the role of trust in the initiation and success of R&D cooperation: it either assumes that firms are non-opportunists or that the R&D cooperation is supported by an incentive mechanism that eliminates opportunism. In contrast, the present paper focuses on these issues by introducing incomplete information and two types of firms: opportunist and non-opportunist. Defining trust as the belief of each firm that its potential collaborator will respect the contract, it (...)
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  45. Subrata Chakrabarty & Liang Wang (2012). The Long-Term Sustenance of Sustainability Practices in MNCs: A Dynamic Capabilities Perspective of the Role of R&D and Internationalization. [REVIEW] Journal of Business Ethics 110 (2):205-217.score: 18.0
    What allows MNCs to maintain their sustainability practices over the long-term? This is an important but under-examined question. To address this question, we investigate both the development and sustenance of sustainability practices. We use the dynamic capabilities perspective, rooted in resource-based view literature, as the theoretical basis. We argue that MNCs that simultaneously pursue both higher R&D intensity and higher internationalization are more capable of developing and maintaining sustainability practices. We test our hypotheses using longitudinal panel data from 1989 to (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  46. Desh Raj Sirswal, Dr. B.R.Ambedkar ‘s Critique of Democracy in India.score: 18.0
    Various philosophers, political scientists and writers have given numerous ideas on democracy. Dr. B.R. Ambedkar was a relentless champion of human rights and staunch believer in democracy, he said: “Democracy is not a form of government, but a form of social organisation.” In “Prospects of Democracy in India” he analyzed Indian Democracy and said a democracy is more than a form of government. It is primarily a mode of associated living. The roots of democracy are to be searched in the (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  47. Yanping Liu (forthcoming). Skopos Theory and Legal Translation: A Case Study of Examples From the Criminal Law of the P.R.C. International Journal for the Semiotics of Law - Revue Internationale de Sémiotique Juridique:1-9.score: 18.0
    Legal translation (shortened as LT) has become a principal means to unfold Chinese laws to the world in the global era and the study of it has proved to be of practical significance. Since the proper theory guidance is the key to the quality of LT translation, this paper focuses on the Skopos theory and the strategies applied in the practice of LT. A case study of LT examples from the Criminal Law of the P.R.C. has been made while briefly (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  48. J. Prideaux (2011). Kinetic Models of (M-R)-Systems. Axiomathes 21 (3):373-392.score: 18.0
    Kinetic models using enzyme kinetics are developed for the three ways that Louie proved that Rosen’s minimal (M-R)-System can be closed to efficient cause; i.e., how the “replication” component can itself be entailed from within the system. The kinetic models are developed using the techniques of network thermodynamics. As a demonstration, each model is simulated using a SPICE circuit simulator using arbitrarily chosen rate constants. The models are built from SPICE sub-circuits representing the key terms in the chemical rate equations. (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  49. Steffen Lempp, André Nies & D. Reed Solomon (2001). On the Filter of Computably Enumerable Supersets of an R-Maximal Set. Archive for Mathematical Logic 40 (6):415-423.score: 18.0
    We study the filter ℒ*(A) of computably enumerable supersets (modulo finite sets) of an r-maximal set A and show that, for some such set A, the property of being cofinite in ℒ*(A) is still Σ0 3-complete. This implies that for this A, there is no uniformly computably enumerable “tower” of sets exhausting exactly the coinfinite sets in ℒ*(A).
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  50. Michael T. Stuart (2012). REVIEW: James R. Brown, Laboratory of the Mind. [REVIEW] Spontaneous Generations 6 (1):237-241.score: 15.0
    Originally published in 1991, The Laboratory of the Mind: Thought Experiments in the Natural Sciences, is the first monograph to identify and address some of the many interesting questions that pertain to thought experiments. While the putative aim of the book is to explore the nature of thought experimental evidence, it has another important purpose which concerns the crucial role thought experiments play in Brown’s Platonic master argument.In that argument, Brown argues against naturalism and empiricism (Brown 2012), for mathematical Platonism (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 1000