Filters








47,686 Hits in 1.0 sec

Rank logic is dead, long live rank logic! [article]

Erich Grädel, Wied Pakusa
2015 arXiv   pre-print
Solvability logic can easily be embedded into rank logic, but it is open whether it is a strict fragment.  ...  In particular we show that the variant of rank logic FPR* with an operator that uniformly expresses the matrix rank over finite fields is more expressive than FPR.  ...  σ (restricted to the indices from Y w ) in the subtree T xq i−hw +1 +dw hw−1 Rank logic is dead, long live rank logic!  ... 
arXiv:1503.05423v1 fatcat:coz4qftg65go7dcttf6t3guwwa

Issues of Logicism and Objectivity

Trudy Govier
2017 Informal Logic  
Much of the difference between our approaches concerns what he deems to be a logicistic approach (referred to here as logicism) on my part.  ...  There is no firm criterion that will allow us to pronounce an expression to be a metaphor, or to be a live or dead metaphor.  ...  But for those who would push the notion of metaphorical status to its limits, arguably living still. The notion of the deadness of a metaphor merits further study.  ... 
doi:10.22329/il.v37i3.4832 fatcat:tolitx5xivcdjehvfwlvrltyny

JSL volume 84 issue 1 Cover and Front matter

2019 Journal of Symbolic Logic (JSL)  
The BULLETIN, the JOURNAL and the REVIEW OF SYMBOLIC LOGIC are the offi cial organs of the Association for Symbolic Logic, an international organization for furthering research in logic and the exchange  ...  The JOURNAL invites submission of original scholarly work in mathematical logic and its applications.  ...  logic is dead, long live rank logic!  ... 
doi:10.1017/jsl.2019.9 fatcat:2rjeahckqne6rlj25pjcjgdmte

From formulas to cirquents in computability logic

Giorgi Japaridze, S. Barry Cooper
2011 Logical Methods in Computer Science  
Computability logic (CoL) (see http://www.cis.upenn.edu/~giorgi/cl.html) is a recently introduced semantical platform and ambitious program for redeveloping logic as a formal theory of computability, as  ...  With logical operators standing for operations on games, the formalism of CoL is open-ended, and has already undergone series of extensions.  ...  And nature's "decisions" about whether Victor lives or dies is a ▽ -style combination of "Victor is alive" and "Victor is dead", where nature can switch from the former to the latter but never back, as  ... 
doi:10.2168/lmcs-7(2:1)2011 fatcat:ma2kbjotfvcopo2zxt7cbdu52a

Logical Inconsistencies in 3 Preference Elicitation Methods for EQ-5D Health States

Mônica Viegas Andrade, Kenya Noronha, Paul Kind, Carla de Barros Reis, Lucas Resende de Carvalho
2015 Medical decision making  
Logical inconsistency for health states preferences occurs when one logically worse health state, in terms of quality of life, is ranked higher than a logically better health state. Objective.  ...  It compares the level of inconsistency in 3 preference-based methods: ranking, visual analog scale (VAS), and time tradeoff (TTO).  ...  Logical inconsistency for health states preferences occurs when one logically worse health state, in terms of quality of life, is ranked higher than a logically better health state. Objective.  ... 
doi:10.1177/0272989x15601047 pmid:26289747 fatcat:ctc4snxqhrgalaa4mjoiabdl2e

Practice random acts of aggression and senseless acts of intimidation: The logic of status contests in social groups

Joan B. Silk
2003 Evolutionary Anthropology (print)  
APPLYING THE LOGIC OF RANDOM AGGRESSION IN CERCOPITHECINE PRIMATE GROUPS The logic of unprovoked and unpredictable aggression potentially applies to any animals that live in stable groups of familiar individuals  ...  Several juveniles bounce on the unstable limbs of a dead tree. One female who is resting in the shade looks up as a dominant female approaches.  ... 
doi:10.1002/evan.10038 fatcat:iqki6xnyingzpamwx642tbpihy

Reactive Synthesis: Branching Logics and Parameterized Systems [article]

Ayrat Khalimov
2018 arXiv   pre-print
Reactive synthesis is an automatic way to translate a human intention expressed in some logic into a system of some kind. This thesis has two parts, devoted to logic and to systems.  ...  The first architecture is guarded systems and is inspired by cache coherence protocols.  ...  For long running examples, SMT solving contributes most of the time.  ... 
arXiv:1808.09430v1 fatcat:27ry7e4bwneqno6zmtcw55m23q

Democracy and the Logic of Goodness

J. W. Scott
1919 International Journal of Ethics  
the process is "logical," in the sense in which we are using the term.  ...  It is the recurrent period in human history when the dead weight of arbitrary social necessity is lifted for a time, and man ceases to be visibly and palpably "up against" the ultimate.  ... 
fatcat:7vp2cejlpnhihkjof3ck2yievi

Recursion Schemes and Logical Reflection

Christopher H. Broadbent, Arnaud Carayol, C.-H. Luke Ong, Olivier Serre
2010 2010 25th Annual IEEE Symposium on Logic in Computer Science  
We say that R is (constructively) reflective w.r.t. L just if there is an algorithm that transforms a given pair (R, ϕ) to Rϕ.  ...  Let R be a class of generators of node-labelled infinite trees, and L be a logical language for describing correctness properties of these trees.  ...  (i) There is an algorithm that transforms (S, ϕ) to an order-n CPDA A such that L(A) = ||t|| ϕ . (ii) There is an algorithm that transforms (S, ϕ) to an order-n recursion scheme that generates t ϕ .  ... 
doi:10.1109/lics.2010.40 dblp:conf/lics/BroadbentCOS10 fatcat:qpkit35y3fb6zc6xo5z4jjw2be

Wright's Better Reasoning

Rita C. Manning
1983 Informal Logic  
is a subtle and sophisticated treatment of argument analysis and language.  ...  It bears reviewing because of its sophistication, which is, while its great strength, a. possible source of confusion to the student and the instructor who uses it for the first time.  ...  This is ranking the rivals in order of their plausibility. The rival which is number one on the plausibility ranking will not necessarily be the explanation.  ... 
doi:10.22329/il.v5i2.2753 fatcat:epzuxyluzbeqxfu7skktjhtgye

Belief and the logic of Lisu spirits

E. Paul Durrenberger
1980 Bijdragen tot de Taal-, Land- en Volkenkunde  
When adults die, there are ceremonies to separate the soul of the dead from the souls of the living and send the dead person's soul to the land of the dead.  ...  People say a dead person's soul lingers at the grave site at least until it is ceremonially separated from the living.  ... 
doi:10.1163/22134379-90003535 fatcat:ol6dehawube23gnk3swmiorkqe

Logic and the Sachverhalt [chapter]

Barry Smith
1996 The School of Franz Brentano  
They do not exist as dead preparations or petrifactions, but only in the context of the living being of the mind.  ...  Its importance consists not least in the fact that it is the first influential alternative to the combination theory, a theory that had for so long remained unchallenged.  ... 
doi:10.1007/978-94-015-8676-4_13 fatcat:pwc4difh5nc67bv6cl3mni2nme

Logic and the Sachverhalt

Barry Smith, Sherwood J. B. Sugden
1989 The Monist  
They do not exist as dead preparations or petrifactions, but only in the context of the living being of the mind.  ...  Its importance consists not least in the fact that it is the first influential alternative to the combination theory, a theory that had for so long remained unchallenged.  ... 
doi:10.5840/monist19897212 fatcat:qtzavcr6pvc7vdexq3yshlrgwe

A Logical Calculus of Meaning and Synonymy

Yiannis N. Moschovakis
2006 Linguistics and Philosophy  
The claim that meanings are algorithms is a philosophical one, but this is primarily a paper in logic, not in the philosophy of language or in linguistics.  ...  surely not right: among other things, it makes "there are infinitely many odd numbers" synonymous with "there are infinitely many prime numbers", which it is not.  ...  of p would need to satisfy rank(p) > rank(p), which is absurd.  ... 
doi:10.1007/s10988-005-6920-7 fatcat:kas4q4vn6vfffh6jg53jwdwvma

On the Babylonian Origin of Symbolic Logic

Andrew Schumann
2017 Studia Humana  
The only law code of the Greeks that was excavated is the Code of Gortyn (Crete, the 5th century B.C.).  ...  It is so similar to the Babylonian codes by its law formulations; therefore, we can suppose that the Greeks developed their codes under a direct influence of the Semitic legal tradition: the code was represented  ...  It is prohibited to sell the inheritance of children as well as the same is forbidden by Hammurabi: As long as the father lives, no one shall offer to purchase any of the paternal property from a son nor  ... 
doi:10.1515/sh-2017-0016 fatcat:yuprajlcvjefvigj6s4qukegxe
« Previous Showing results 1 — 15 out of 47,686 results