JØRGENSEN S DILEMMA:
THE QUEST FOR SEMANTIC FOUNDATIONS OF IMPERATIVES
MIGUEL Á. LEÓN UNTIVEROS
Universidad Nacional Mayor de San Marcos
miguel.leon.u@gmail.com
RESUMEN
En este trabajo atacamos el cuerno 2 del dilema de Jørgensen ( tesis
prohibitiva), con la idea de así fortalecer el cuerno 1 (tesis permisiva).
Asimismo, exploramos parcialmente la idea de una solución sintáctica
tomando como punto de partida que los imperativos carecen de valor de
verdad.
Palabras clave: Dilema de Jørgensen, lógica de imperativos, naturaleza de
la lógica, pluralismo lógico, consecuencia lógica.
ABSTRACT
In this paper we attack the Horn
of the Jørgensen s dilemma
(prohibitive thesis), so we enforce horn1 (permissive thesis). Also, we
explore partially the idea of a syntactical solution for a logic of
imperatives based on the fact of the lack of truth value of imperatives.
Key words: Jørgensen s dilemma, imperative logic, nature of logic, logical
pluralism, logical consequence.
I.
Jørgensen s dilemma.
In 1938, the positivist philosopher, Jørgen Jørgensen, proposed a dilemma about the
logic for imperatives1 despite Poincaré s dictum who considered it possible
(Poincaré H. , 1913). This dilemma has two horns: one, is, according to Poincaré, that
there is a logic of imperative reasoning, where the major premise is in imperative
mood and the minor premise is in indicative mood (we call it Horn 1, also permissive
thesis). On the other hand, the second horn (Horn 2, also prohibitive thesis) says
that because of imperative sentences lack of truth value and logic only deals with
propositions (which have truth value), there is no a logic for imperatives.
The sense of imperative is not uniform, in this work we understand it in the way used by (Rescher,
1966), i.e., as a command.
1
Jørgensen s dilemma has received a lot of attention especially in the question of
truth value of imperatives. And probably the most reasonable answer is the (almost
obvious) lack of truth value of imperatives2.
We think that even the lack of truth value of imperative, the reasons by which
Jørgensen formulate horn 2 are not tenable anymore, in the light of the current
situation of modern logic.
Reasons for Horn 2.
II.
In (1938) and (1999 [1938]), Jørgensen presents the reasons by which he accepts
Horn 2. First, only sentences which are capable of being true or false can function as
premises or conclusions in an inference, and second, according to the logical
positivist testability criterion of meaning, imperative sentences must be considered
meaningless. These reasons presupposes a state of logic which were current for
logical empiricism. Theses presuppositions are:
Unity of logic.
The hegemony of classical logic.
Classical logical consequence.
The only logic to give an account of reason is classical logic.
The relation between logic and reason is unilateral in favor of logic.
Our aim is to attack these presuppositions and weaken Horn 2, such that the
feasibility of Horn 1 will increase.
Some scholars claim that imperative has truth value, if we formulate it in terms of deontic possible
worlds, v.g., (Hintikka, 1971), (Stelmach & Brozek, 2006, pp. 31-33), but this is not the place where
to analyze it. However, we must say that using this modal approach of imperatives, we change the
sense of imperative sentences. If we accept that an imperative sentence has a truth value function,
then we have to admit that this imperative sentence is describing some deontic (ideal) state of affairs,
and this is contrary to the original sense of an imperative sentence, by which the agent pretends to
promote a change in the world, from the current one to another one (a potential and ideal one).
Uttering an imperative sentence is a specific kind of act of speech and it is different from uttering an
indicative sentence, by which the agent describes her current world.
2
2
§ 1. A plurality of logics.
In the current situation of logic, the real realm is given by the classical and
non-classical logics, especially deviant logics. To explicate the diversity let
us give the following and provisional definition of classical logic:
A logical system is a ordered pair L, Q , where
L: is the language which has a vocabulary, rules for well-formed formulae
and semantics, and,
Q: is the rules of inference.
Thus, a system of classic logic is a structure L, Q , with the following
properties
p ¬p [excluded middle].
p≡p [identity].
¬ p ¬p [non contradiction].
Σ⊆
Σ⊢
⇒
⊢
[monotony].
Naively, monotony says that no matter what else we learn, we must
conclude the same proposition.
A non-classical system of logic (i.e., deviant logics) is one that violates, at
least, one of these properties (even partially).
Some logical systems deviate from excluded middle, and thus they form the
family of polyvalent (also, multivalent) logics (which include fuzzy logics).
In this kind of logics, a proposition could not be only either true or false, in
a trivalent semantics, this could be neither true nor false. In a general way,
the semantics of this kind of logics can be n-valent where n is a natural real
number (n ∈ ℝ) and n is a number in the interval [0, 1], therefore, a
proposition can take infinitely many values, between truth (1) and false (0).
3
Other deviant logical systems arise from violation of non-contradiction
principle: this family is called paraconsistent logics. In this logic also fails
the principle of explosion: P, ¬P ⊢ Q (ex falso quodlibet sequitur). If a logical
system � distinguishes between two types of negation, say, ¬, ~, then � can
be paraconsistent for one of these negations, for example, ¬, and not so for
the other one, ~.
The next family of deviant logics is non-reflexive logics, recently proposed
by Newton da Costa and his collaborators3. This logic violates identity
principle and belongs to the larger family of quantum logics, which try to
account the interpretation of quantum mechanics, where there are
subatomic particles for which do not correspond the idea of identity (da
Costa, Krause, Becker Arenhart, & Schinaider, 2012, págs. 85-88).
There is another family of logics called non-monotonic logics. In this
systems fails monotonicity, and there is no guarantee for the conclusion,
which can be changed if we add some other different premises.
There are other families of logics (v.g., intuitionistic logics, etc.), but the
indicated ones are enough to show that logics is not a unique notion, and by
no formal means we are able to give an account of its unity (Gabbay D. M.,
2014), (Aliseda, 2014) without metaphysic commitments (León Untiveros,
2014).
Another remark: logics does not work anymore only with the Aristotelian
bivalent truth value. As we see above, for example, multivalent logics deals
with propositions which are neither true nor false. And, ironically, this ins
the case of imperatives. Therefore, its lack of bivalent truth value is not a
real reason to reject a logic for imperatives.
3
Cf. (da Costa & Bueno, 2009), (da Costa, Krause, Becker Arenhart, & Schinaider, 2012).
4
§ 2. ¿Hegemony of classical logic?
As we said before there are two Jørgensen s papers with the same subject:
one in English entitled Imperatives and Logic and the other in Danish
Imperativer og Logik , which means the same in English, even though both
of them were issued in the same year, 1938, however, they are different by
its content4. In his Danish paper, Jørgensen mentions modal logic only to
discard it (Jørgensen, 1999 [1938], p. 211), this strategy is fundamental for
his argumentation in favor of Horn 2. This implicates hegemony of classical
logic over non-classical logic. Is this Jørgensen s content tenable nowadays?
By 1938, C.I. Lewis and C.H. Langford (1932) have proposed a system of
modal logic, and since the end of the nineteenth century many-valued (or,
multivalued) logics has been proposed by the Scotsman High McColl (18371909), the American Charles Sanders Peirce (1839-1914), the Russian
Nicolai A. Vasil év (1880-1940) and the Polish Jan Łukasiewicz (18781956)5.
However, empiricist positivists were very influenced by David Hilbert s
metamathematics (Echeverría, 1998, pp. 53-54), (Milkov, 2013, pp. 20-24),
which can be summarized by Hilbert s dictum: in mathematical matters
there should be in principle no doubt; it should not be possible for halftruths or truths of fundamentally different sorts to exist. (Hilbert, 1996
[1922], p. 1117). For Hilbert, the axiomatic method does not need other
laws of logic apart of Aristotelian ones (Hilbert, 1967 [1925]).
In the current situation of logic, there is no a serious way to claim the
hegemony of classical logic against deviant logics. The recent proposal, like
Graham Priest s ones, (2003), (2006, pp. 194-209), fails, as showed by
We took notice of this very important information from (Alarcón Cabrera, 1999), the Danish paper
is translated into Spanish by Erling Strudsholm, Amedeo G. Conte and Carlos Alarcón Cabrera
(Jørgensen, 1999 [1938]).
5 For a beautiful history of many-valued logic see (Rescher, 1969).
4
5
(Estrada-González, 2009) and (León Untiveros, 2014). As we said in our
indicated paper, the geometric analogy as an argument in favor of the unity
of logic is not tenable, because of in logic it does not occur as in geometry in
which the formal relationship between geometries (Euclidean and nonEuclidean) is ontologically neutral. There is an ontological commitment of
logic. The idea of a syntactic intersection of Priest (2003), (2006, pp. 194209) or the a priori common elements idea, are not effective arguments in
favor of geometric analogy, but on the contrary, they are against geometric
analogy.
On the other hand, it can be seen that multivalent logics is a generalization
of classical logic (especially, in its semantics, because it goes from a
bivalency to an n-valency, where n≥ . And, the same can be said of modal
logic, where modal logic is a generalization of classical logic (Popkorn,
1994). Despite of these facts, we do not mean that we must give up classical
logic, mostly because it is the logic for mathematics, even though not for
ordinary language.
§ 3. A non-classical concept of logical consequence.
Jørgensen says that the relation between the premises and the conclusion
of an argument is a logical consequence one, by which he understand the
conclusion follows logically from the premises (that is, the last one is logical
consequence of premises) iff there is no assignment of truth values upon
which the premises come out true and the conclusion comes out false
(Jørgensen, 1999 [1938], p. 211). This is the classical concept of logical
consequence developed by Tarski (1983 [1935]).
However, since the works of Dov M. Gabbay (1985) and on, the concept of
logical consequence has changed, in order to give a proper account of the
use of arguments in Artificial Intelligence and Computer Science. Thus, it
has appeared a new property for logical consequence, and this is known by
6
non-monotonicity. This name is not much appropriate because it could give
the misleading idea of a mere lack of monotonicity6, but this is not the case.
In the logical literature, there are, at least, two non-classical notions of
monotonicity7. Let us see,
Classical logic
Classical Monotony
Rational Monotony8
Non-monotonic logics
Cautious Monotony
Σ⊆
⊬¬φ
⊢φ
Σ⊢
⇒
⊢ψ
⊢ψ
⇒
⇒
⊢
φ ⊢ψ)
φ ⊢ψ)
Roughly, classical monotony says that no matter what else we learn, we
must conclude the same proposition. Therefore, the conclusion is
guaranteed. This warrant only needs that the original set of premises Σ is
included in another set , and nothing else matters.
On the contrary, for example, with a cautious monotony, the conclusion ψ is
guaranteed iff from the set of premises
independently.
follows logically φ and ψ,
For example, let us consider a set of premises, say, Σ, from which follows a
conclusion ψ. Then, we learn something else different, say φ. If we work
with classical monotony, we must conclude that from Σ and φ follows ψ,
that is,
((Σ⊢ψ Σ⊆{Σ, φ}) ⇒
φ ⊢ψ
This remark was noted by professor Dr. Marino Llanos in personal conversation.
See (Antonelli, 2005) among others.
8 Rational monotony is not accepted for a suitable non-classical relation of logical consequence,
because it has a counter example, for a brief explanation see (Antonelli, 2005, pp. 7-9) and (León
Untiveros, 2015, numeral 2.3), for further explanation see (Stalnaker, 1994, p. 19) who adapts a
famous example used by (Quine, 1959, p. 15) and (Ginsberg, 1986, pp. 40-42).
6
7
7
In classical logic, it does not matter the content of the new information, φ.
Even, this could be contrary to ψ, i.e., ¬ψ, and from a classical logical point
of view the conclusion ψ follows correctly from the premises. This is
because classical monotony requires only one condition: that the original
set of premises should be a subset of the new one, i.e., Σ⊆{Σ, φ}.
In the case of cautious monotony, there is a more restricted condition,
which requires that the new premise φ should be the logical consequence
from the original set of premises Σ, i.e., ⊢φ.
§ 4. The fluid relationship between of reason is logic.
In textbooks, the defined aim of logic is to evaluate correctness of any
argument, and it is done, mostly, by classical or mathematical logic, thus
(Copi, Cohen, & McMaho, 2014) say: Logic is the study of the methods and
principles used to distinguish correct from incorrect reasoning , and
chapters about analogy and induction are considered as a kind of argument
which validity cannot be settled by logical means.
Once we accept this conception of logic, we must content that any argument
(or reasoning) which do not fulfill this restriction, is not logical or at most
it is just a fallacy, despite its plausible appearance.
Underlying this conception of the task of logic, there is the idea that logic
has a prior status against reason, this tradition or paradigm can be traced
back to Kant. In the preface of the second edition of Critique of Pure Reason ,
the German philosopher says: But I can think whatever I like, as long as I
do not contradict myself, i.e., as long as my concept is a possible thought,
(Kant, 1998 (1789), pp. 115, Bxxvi). However, this is no more tenable in the
light of current logic (especially, because of the case of paraconsistent
logics).
8
Nowadays the relation between reason and logic is fluid, a kind of mutual
and progressive adjustment9. That is the lesson caused by the discovery of
deviant logics. So, when we have to evaluate the correctness of a reasoning,
classical logic is not the only one option, there are a bunch of logical
alternatives, each one with a set of special features that must be evaluated
according to our goals, that is, the features of the specific reason we want to
emphasize, idealize, and analyze.
Therefore, is not tenable anymore the thesis that logic is prior before which
a reasoning must be judge, logic is not a tribunal for the reason. That means
the relation between them are bilateral, logic and reason interact mutually,
without priority. This situation arises the question about reason and its
relation to logic, however, this is not the place to try this very interesting
subject. Following Miró Quesada Cantuarias, we only can say that logic is
like reins which prevent reason unbolts itself (Miró Quesada Cantuarias,
1963).
III.
A feature of imperative reasoning.
Legal and moral reasoning have specific features which make them different from
mathematical reasoning. The most important are: graduality, inconsistency, and
defeasibility. Graduality is given by the notions like light, moderate and serious
interference with rights (Alexy, 2003)10. Inconsistency is given by conflict of moral
duties11. And, defeasibility is given by legal prescription of extinction of legal action
because the occurrence of a lapse of time, such that before that, it could be drawn as
(Bôcher, 1905, pp. 119-120), (Goodman, 1983), (Bunge, 1996, p. 68), (Gabbay & Woods, 2008),
among others.
10 This feature can be dealt by fuzzy logic (Mazzarese, 1993), (Mazzarese, 1999), (Miró Quesada
Cantuarias, 2000), (Puppo, 2012), among others
11 Thus, the famous Sartre s example: a student during the Second World War who felt for reasons of
patriotism and vengeance (his brother had been killed by the Germans) that he ought to leave home
in order to join the Free French, but who felt also, for reasons of sympathy and personal devotion,
that he ought to stay at home in order to care for his mother (Sartre, 1966 [1946], pp. 35-37). Horty
proposes a non-monotonic solution for this case (Horty, 1997).
9
9
the conclusion that someone is guilty, but this could be not the case anymore after
the occurrence of a lapse of time.
This three features of legal and moral reasoning are very important, and sadly,
classical logic could not provide an adequate answer (Horty, 1997), (Ausín, 2005).
Defeasibility is better dealt by non-monotonic logic. Contrary to what some
important legal scholars claim, for example (Alexy, 2000), classical logic is not a
suitable alternative for legal reasoning. We will see closely the example given by
Alexy to show that classical logic is adequate to modelling legal reasoning:
Let propositions p, q, r be:
p: Bob kills Peter,
q: Bob goes to jail,
r: Bob acts in self-defence.
The premises are:
1. p ⇒ q
2. p
3. p
r ⇒ ¬q
r
From here, by classical laws of logic, we derive the following, as Alexy does (Alexy,
2000).
4. q ⇒ ¬ p
5. ¬q
r)
2, Law of Contraposition
3, 4, Modus tollens
Here is where Alexy stops. He believes it is enough and he gets what we consider
just a correct conclusion, That is, ¬q, which means Bob does not go to jail .
However, from a logical point of view, the set of consequences (Cn) from a set of
10
premises (A) are the whole conclusions (or propositions, x) which logically follows
from the premises, that is, Cn(A) = {x | A⊢x}12. Thus, we can obtain
6. p
3, Simplification
7. q
1, 6 Modus Ponens
8. q ¬q
5, 6 Adjunction. [ABSURD]
Line 8 is an absurd (i.e., a contradiction). And, this contradiction is necessarily
obtained because of the use of classical logic. However, contradictions could be dealt
if we use nonmonotonic logics. Let us see this very roughly:
The premises are:
1. p ⇒ q
2. p
3. p
r ⇒ ¬q
r
We introduce here the revision operator *
At first, we have an initial set of set of premises
K = {1, 2}
But then, it happens 3, the question is to avoid contradiction if we add 3 to K. This
operation of revision is formulated as
K*3
By definition
12
Cf. (Makinson D. , Bridges from Classical to Nonmonotonic Logic, 2005, p. 4).
11
K* ≔ K ÷ ¬q)+313
The result is
K*3 = {2, 3}
The, we infer
4. ¬q
2, 3 MP.
Thus, we do avoid contradiction and we have used correctly a non-classical concept
of logical consequence.
IV.
¿A mere syntactical solution?
In the very end of the Danish paper, Jørgensen just mentions a possible syntactic
solution. This kind of proposal has been given by Mario Bunge (1989, p. 301), where
he introduces two axiological inference rules: modus volens and modus nolens14.
We want to address this question: is standard deontic logic a syntactical solution?
Its axiomatization looks like the following15:
Deontic operators: 〇 (obligated), P (permitted), F (forbidden).
We take as the primitive concept: 〇.
The other deontic operators are defined in the following way:
Pp := ¬〇¬p
Fp := 〇¬p
÷ means the operation of contraction, and + means the operation of expansion. For details see
(Hansson, 1999), for philosophical applications of belief logics see (Olsson & Enqvist, 2011).
14 In logical literature there is an interesting question about the admissibility of inference rules, cf.
(Rybakov, 1997), but this is not the place to analyze the kindness of this proposals.
15 We follow (Ausín, 2005, pp. 40-41).
13
12
Thus, the axiom schemes are:
(A0) All tautologies from propositional calculus.
(A1) 〇p ⇒ Pp [Bentham s o Leibniz s Law]
(A2) 〇 p ⇒ q ⇒ 〇p ⇒〇q) [K-deontic axiom]
And the inference rules are:
(MP
p ⇒ q, p / q
(DNR16 ⊢p /〇p (〇-necessitation)
Standard deontic logics has a formal semantics, but here we focus only on its
syntactic side17.
The underlying logic beyond this axiomatization is the so-called Dubislav
convention18, which states
(DC) An imperative F is called derivable from an imperative E if the
descriptive sentence belonging to F is derivable with the usual methods
from the descriptive sentence belonging to E, whereby identity of the
commanding authority is assumed (Dubislav, 1938).
Let !A, !B be imperatives, its corresponding descriptive sentences are A, B. Dubislav
convention has the following graphical shape (Hansen, 2008, p. 9):
Deontic necessitation rule.
As we said before, the semantics for standard deontic logic is the so-called possible worlds
semantics. The model for this case is the triple
ℳ = W, R, V
Where
(i) W is a non-empty set (heuristically, of 'possible worlds' or 'possible situations').
(ii) R ⊆ W x W (a binary relation on W, heuristically, of deontic alternativeness or
copermissibility ).
(iii) V is an assignment, which associates a truth-value 1 or 0 with each ordered pair (p, x) where
p is a proposition letter and x is an element of W; that is, V: Prop x W→{ ,0}.
For details, see (Åqvist, 1984).
18 After the German logician, philosopher of science, logical empiricist, Walter Dubislav (1895 –
1937).
16
17
13
The transformation !A ⇝ A reflects the analogy between norms and norm-
propositions in order to use classical logic. This is presupposed in standard deontic
logic, and it caused many shortcomings like the contrary-to-duty paradox19, Ross
paradox20, among others21.
The relation between A, B, is of logical consequence, A⊢B, i.e., there is a finite
sequence of statements where each statement in the list is either an axiom or the
result of applying a rule of inference to one or more preceding statements. The final
statement is the conclusion of the proof.
The transformation !A ⇝ A is a subject of the deontic necessitation rule, which states
by decree the transformation of a descriptive sentence into an imperative sentence.
The trick question is the notion deriving (transforming) a descriptive sentence from
an imperative F. The convention does not explain how we can proceed formally.
Thus, the convention is not clear.
This paradox states:
1. It ought to be that a certain man goes to assistance of his neighbors.
2. It ought to be that if he does go, he tells them he is coming.
3. If he does no go, then he ought not to tell them he is coming.
4. He does not go.
Therefore, he ought to come and he ought not to come.
20 This paradox states: take the imperative Post the letter! then use this method to derive the
imperative Post the letter or burn it!
21 For a recent discussion of this matter see (Hilpinen & McNamara, 2013) and (Navarro & Rodríguez,
2014), for a comprehensive list of problems in deontic logic see (León Untiveros, 2015)
19
14
Besides, DC does not explain how we can derive (transform) an imperative E from a
descriptive sentence. This question is the famous is-ought problem, raised by David
Hume, and standard deontic logic solves it by decree.
On the other hand, as we saw before, Jørgensen considers the conclusion follows
logically from the premises (that is, the last one is logical consequence of premises)
iff it excludes the possibility that the premises are true and the conclusion is false
(Jørgensen, 1999 [1938], p. 211). This is the semantic conception of logical
consequence (also called model-theoretic), but there is another account of logical
consequence, a syntactical one (also called proof-theoretic) which was first
proposed by Gerhard Gentzen in 1935, (Gentzen, 1969 [1935]), according to which
the meaning of a logical connective is defined by its introduction rules (while the
elimination rules are justified by respecting stipulation made by the introduction
rules). Thus, a formula B is a consequence of another A by virtue of the inferential
meaning of logical connectives (Caret & Hjortland, 2015, p. 8). So, we do not need
any valuation of truth. Some scholars, like (Read, 2015), even claim that analytically
valid arguments may yet fail to be truth preserving22.
Therefore, the syntactical line opened by the proof-theoretic conception of logical
consequence represents an alternative possibility for a (maybe) suitable account of
imperative reasoning. Thus, we think Horn 2 is not tenable anymore, at least, it is
not as strong as it was in 1938.
References
Alarcón Cabrera, C. (1999). Imperativos y lógica en Jørgen Jørgensen. Isegoría(20), 207-210.
Alchourrón, C. E. (1993). Philosophical Foundations of Deontic Logic. In J.-J. C. Meyer, & R. J. Wieringa
(Eds.), Deontic Logic in Computer Science. Normative System Specification (pp. 43-84). New
York: John Wiley & Sons.
Nowadays, there is an intense revision of the task of logical consequence because: (i) modeltheoretic consequence preserves truth-in-a-model, but this a theoretic construct that is not
necessarily a good model of truth simpliciter; (ii) with the popularity of many-valued logic it is
commonplace to talk about preservation of designed values rather than just the truth value true; and
(iii) it is not clear that consequence is best understood in terms of preservation of truth values, or at
least not as preservation of truth values alone. Perhaps, consequence requires preservation of
warrant, or a relevance relation between the content of the premises and the content of the
conclusion, such as variable sharing (Read, 1988), (Restall, 2009), (Caret & Hjortland, 2015, pp. 1516).
22
15
Alchourrón, C. E., & Martino, A. A. (1990). Logic without truth. Ratio Juris, 3(1), 46-67.
Alexy, R. (1989 (1978)). A theory of legal argumentation. The theory of rational discourse as theory
of legal justification. (R. Adler, & N. MacCormick, Trans.) Oxford: Claredon Press.
Alexy, R. (2000). Henry Prakken (1997), Logical Tools for Modelling Legal Argument. A Study of
Defeasible Reasoning in Law. Argumentation, 14, 66-72.
Alexy, R. (2003). On Balancing and Subsumption. A structural comparison. Ratio Juris, 433-49.
Aliseda, A. (2014). La lógica como Herramienta de la Razón. Razonamiento Ampliativo en la
Creatividad, la Cognición y la Inferencia. Milton Keynes: College Publications.
Antonelli, G. A. (2005). Grounded Consequence for Defeasible Logic. Cambridge: Cambridge
University Press.
Åqvist, L. (1984). Deontic Logic. In D. Gabbay, & F. Guenthner (Eds.), Handbook of Philosophical Logic
(Vol. II. Extensions of Classical Logic, pp. 605-714). Dordrecht: D. Reidel.
Ausín, T. (2005). Entre la Lógica y el Derecho. Paradojas y conflictos normativos. México: Plaza y
Valdés.
Ba⟩kent, C. Ed. .
6 . Perspectives on Interrogative Models of Inquiry. Developments in Inquiry
and Questions. Springer Cham Heidelberg New York Dordrecht London: Springer.
Berger, A. (2011). Kripke on the Incoherency of Adopting a Logic. In A. Berger (Ed.), Saul Kripke (pp.
177-207). Cambridge: Cambridge University Press.
Bobbio Rosas, F. (1968). La lógica jurídica de Fco Miró Quesada (Tesis de bachiller en Derecho ed.).
Lima: Universidad Nacional Mayor de San Marcos.
Bobbio Rosas, F. (1968). La lógica normativa (Tesis de bachiller en Filosofía ed.). Lima: Universidad
Nacional Mayor de San Marcos.
Bobbio Rosas, F. (1972). La lógica normativa: Balance de dos décadas de investigaciones y examen
de sus posibilidades (Tesis doctoral ed.). Lima: Universidad Nacional Mayor de San Marcos.
Bôcher, M. (1905). The fundamental conceptions and methods of mathematics. Bulletin of the
American Mathematical Society, XI, 115-35.
Bunge, M. (1989). Treatise on Basic Philosophy (Vol. 8. Ethics: The good and the right). Dordrecht:
D. Reidel Publishing Company.
Bunge, M. (1996). Intuición y Razón (Segunda, revisada y ampliada ed.). Buenos Aires, Sudamericana.
Burgess, J. P. (2009). Philosophical Logic. New Jersey: Princeton University Press.
Burgess, J. P. (2013). Kripke. Puzzles and Mysteries. Cambridge: polity.
Caret, C. R., & Hjortland, O. T. (2015). Logical Consequence: Its Nature, Structure, and Application. In
C. R. Caret, & O. T. Hjortland (Eds.), Foundations of Logical Consequence (pp. 3-29). Oxford:
Oxford University Press.
Cariani, F., Grossi, D., Meheus, J., & Parent, X. (Eds.). (2014). Deontic Logic and Normative Systems.
12th International Conference, DEON 2014 Ghent, Belgium, July 12-15, 2014 Proceedings.
Springer: Springer.
Chin-Mu Yang, S., Deng, D.-M., & Lin, H. (Edits.). (2016). Structural Analysis of Non-Classical Logics.
The Proceedings of the Second Taiwan Philosophical Logic Colloquium. Springer Heidelberg
New York Dordrecht London: Springer.
Copi, I. M., Cohen, C., & McMaho, K. (2014). Introduction to Logic. Fourteenth Edition. (Fourthteen
ed.). Essex: Pearson.
da Costa, N. C., Krause, D., Becker Arenhart, J. R., & Schinaider, J. (2012). Sobre uma fundamentação
não reflexiva da mecânica quântica. Sientiae Studia, 10(1), 71-104.
da Costa, N., & Bueno, O. (2009). Lógicas não-reflexivas. Revista Brasileira de Filosofía, 232, 181-96.
Dubislav, W. (1938). Zur Unbegründbarkeit der Forderamgssätze. Theoria, 3, 330-42.
Echeverría, J. (1998). Filosofía de la ciencia (Segunda ed.). Madrid: Akal.
Estrada-González, L. (2009). The Geometric Analogy and the idea of Pure Logic. In W. Carnielli, M. E.
Coniglio, & I. M. Loffredo D'Ottaviano (Eds.), The Many Sides of Logic (pp. 171-85). London:
College Publication.
Gabbay, D. (1985). Theoretical foundations for non-monotonic reasoning in expert systems. In K. R.
Apt (Ed.), Logics and Models of Concurrent Systems (pp. 439-457). Berlin Heidelberg New
York Tokyo: Springer.
Gabbay, D. M. (2014). What is a logical system? An Evolutionary View: 1964-2014. In D. M. Gabbay, J.
H. Siekmann, & J. Woods (Eds.), Handbook of the History of Logic (Vol. 9, pp. 41-132).
Amsterdam et al.: Elsevier.
16
Gabbay, D., & Woods, J. (2008). Resource-origins of Nonmonotonicity. (H. Leitgeb, Ed.) Studia Logica,
8(1. Special Issue: Psychologism in Logic?), 85-112.
Gentzen, G. (1969 [1935]). Investigations into logical deduction. In M. E. Szabo (Ed.), The collected
papers of Gerhard Gentzen (pp. 68-131). Amsterdam - London: North-Holland.
Ginsberg, M. L. (1986). Counterfactuals. Artificial Intelligence(30).
Goodman, N. (1983). Fact, Fiction and Forecast (Fourth ed.). Cambridge - London: Harvard
University Press.
Hansen, J. (2008). Imperatives and Deontic Logic. On the Semantic Foundations of Deontic Logic.
Leipzig: PhD dissertation Leipzig University.
Hansen, J. (2013). Imperative Logic and Its Problems. In D. Gabbay, J. Horty, X. Parent, R. van der
Meyden, & L. van der Torre (Eds.), Handbook of Deontic Logic and Normative Systems (pp.
137-191). Milton Keynes: College Publications.
Hansson, S. O. (1999). A Textbook of Belief Dynamics. Theory of Change and Database Updating.
Dordrecht: Kluwer Academic Publishers.
Hilbert, D. (1967 [1925]). On the infinite. In J. van Heijenoort (Ed.), From Frege to Gödel. A source
book in mathematical logic, 1979 - 1931 (J. van Heijenoort, Trans., pp. 367-392). Cambridge:
University Harvard Press.
Hilbert, D. (1996 [1922]). The new grounding of mathematics. In W. Ewald (Ed.), From Kant to
Hilbert: A Source Book in the Foundations of Mathematics (Vol. II, pp. 1115–34). Oxford:
Oxford University Press.
Hilpinen, R., & McNamara, P. (2013). Deontic Logic: A historical survey and introduction. In
Handbook of Deontic Logic and Normative Systems (pp. 3-136). Milton Keynes: College
Publications.
Hintikka, J. (1971). Some main problems of deontic logic. In R. Hilpinen (Ed.), Deontic logic:
Introduction and systematic readings (pp. 59-104). Dordrecht - Boston - London: D. Reidel
Publishing.
Horsten, L., & Pettigrew, R. (Eds.). (2011). The Continuum Companion to Philosophical Logic. London
- New York: Continuum.
Horty, J. F. (1997). Nonmonotonic foundations for deontic Logic. In D. Nute (Ed.), Defeasible Deontic
Logic (pp. 17-44). Dordrecht: Springer.
Jacquette, D. (Ed.). (2006). A Companion to Philosophical Logic. Malden - Oxford - Victoria: Blackwell
Publishing.
Jørgensen, J. (1938). Imperatives and Logic. Erkenntnis(7), 288-96.
Jørgensen, J. (1999 [1938]). Imperativos y lógica. Isegoría(20), 210-215.
Kant, I. (1998 (1789)). Critique of pure reason (Second ed.). (P. Guyer, & A. W. Wood, Trans.)
Cambridge: Cambridge University Press.
León Untiveros, M. Á. (2012, Diciembre). La aplicación de la lógica deóntica en la formalización de las
reglas jurídicas. Tesis, 5(5), 71-87.
León Untiveros, M. Á. (Noviembre de 2013). El concepto de derrotabilidad en H.L.A. Hart. Un punto
de vista lógico. IV Coloquio de Estudiantes de Filosofía y Teoría del Derecho, 20 y 21 de
noviembre de 2013, Pontificia Universidad Católica del Perú (págs. 1-9). Lima: inédito.
León Untiveros, M. Á. (2014). La analogía geométrica y la unidad de la lógica: Los compromisos
ontológicos de la filosofía de la lógica. Analítica(8), 61-82.
León Untiveros, M. Á. (2014). Las presunciones en el derecho: Un enfoque desde la filosofía
matemática. II Encuentro Latinoamericano de Epistemología Jurídica, inédito, 1-14.
León Untiveros, M. Á. (2015). El dilema de Jørgensen: Fundamentos semánticos de los imperativos.
Lima: Inédito.
León Untiveros, M. Á. (2015). There is no semantic truth in Law. Ponencia presentada en GTR15 –
TRENTO DAYS ON RHETORIC. Visual Argumentation & Reasonableness in Judicial Debate.
17-19 junio. Inédito, 1-7.
Llanos Villajuan, M. (2003). Lógica jurídica. Lógica del proceso judicial. Lima: Logos.
Makinson, D. (1999). On a Fundamental Problem of Deontic Logic. Norms, Logic, and Information
Systems (pp. 29-50). Amsterdam: IOS Press.
Makinson, D. (2005). Bridges from Classical to Nonmonotonic Logic. Milton Keynes: Lightning
Source.
Makinson, D. C. (1973). Topics in Moder nLogic. London: Methuen & Co Ltd.
17
Mazzarese, T. (1993). Fuzzy Logic and Judicial Decision-Making. A new Perspective on the Alleged
Norm-Irrationalism. Informatica e diritto, II(3), 13-36.
Mazzarese, T. (1999). "Norm Proposition": A Tentative Defense of a Sceptical View. In R. Egidi (Ed.),
In Search of a New Humanism. The Philosophy of Georg Henrik von Wright (pp. 193-204).
Dordrecht: Springer.
McGee, V. (2015). The Categoricity of Logic. In C. R. Caret, & O. T. Hjortland (Eds.), Foundations of
Logical Consequence (pp. 161-185). Oxford: Oxford University Press.
Milkov, N. (2013). The Berlin Group and the Vienna Circle: Affinities and Divergences. In M. Milkov,
& V. Peckhaus (Eds.), The Berlin Group and the Philosophy of Logical Empiricism (pp. 3-32).
Dordrecht: Springer.
Miró Quesada Cantuarias, F. (1963). Apuntes para una teoría de la razón. Lima: Universidad Nacional
Mayor de San Marcos.
Miró Quesada Cantuarias, F. (2000). Ratio Interpretandi. Ensayo de hermenéutica jurídica. Lima:
Fondo Editorial de la Universidad Inca Garcilaso de la Vega.
Navarro, P. E., & Rodríguez, J. L. (2014). Deontic Logic and Legal Systems. New York: Cambridge
University.
Nute, D. (Ed.). (1997). Defeasible deontic logic. Dordrecht: Kluwer Academic Publishers.
Olsson, E. J., & Enqvist, S. (Eds.). (2011). Belief Revision meets Philosophy of Science. Springer et al.:
Springer.
Poincaré, H. (1913). La Morale et la Science. In H. Poincaré, Dernières pensées (pp. 221-247). Paris:
Ernest Flammarion.
Poincaré, H. (1958 [1913]). The Value of Science. (G. B. Halsted, Trans.) New York: Dover.
Popkorn, S. (1994). First steps in modal logic. Cambridge: Cambridge University Press.
Priest, G. (2003). On Alternative Geometries, Arithmetics, and Logics. A Tribute to Łukasiewicz.
Studia Logica(74), 441-68.
Priest, G. (2006). Doubt Truth to Be a Liar. Oxford: Clarendon Press.
Puppo, F. (2012). Dalla vaghezza del linguaggio alla retorica forense. Saggio di logica giuridica. Milani:
CEDAM.
Quine, W. V. (1959). Methods of Logic. (Revised ed.). New York: Holt, Rinehart, and Winston.
Read, S. (1988). Relevant Logic. A Philosophical Examination of Inference. Oxford: Basil Blackwell.
Read, S. (2015). Proof-Theoretic Validity. In C. T. Caret, & O. T. Hjortland (Eds.), Foundations of
Logical Consequence (pp. 136-158). Oxford: Oxford University Press.
Rebuschi, M., Batt, M., Heinzmann, G., Lihoreau, F., Musiol, M., & Trognon, A. (Eds.). (2014).
Interdisciplinary Works in Logic, Epistemology, Psychology and Linguistics. Dialogue,
Rationality, and Formalism. Springer: Springer.
Rescher, N. (1966). The Logic of Commands. London: Routledge & Kegan Paul.
Rescher, N. (1969). Many-Valued Logic. Vermont: Greg Revivals.
Restall, G. (2009). Logical Pluralism and the Preservation of Warrant. In S. Rahman, J. Symons, D. M.
Gabbay, & J. P. van Bendegem (Eds.), Logic, Epistemology And The Unity Of Science (Vol. 1,
pp. 163-174). Springer: Springer.
Rybakov, V. V. (1997). Admissibility of logical inference rules. Amsterdam: Elsevier.
Salazar Bondy, A. (2010). Para una filosofía del valor. Madrid: Fondo de Cultura Económica.
Salinas Molina, M. A. (2011). Computabilidad y Máquina de Turing. Lima: Tesis de maestría en
filosofía de la Universiad Nacional Mayor de San Marcos.
Sánchez-Mazas, M. (1973). Cálculo de las normas. Ginebra: Ariel.
Sanz Elguera, J. C. (1972). La guillotina de Hume (Tesis de bachillerato en filosofía ed.). Lima:
Universidad Nacional Mayor de San Marcos.
Sanz Elguera, J. C. (1998). Argumentos morales y argumentos éticos. Lima: Fondo Editorial de la
Facultad de Letras y Ciencias Humanas de la Universidad Nacional Mayor de San Marcos.
Sartre, J.-P. (1966 [1946]). Existentialism is a Humanism. (P. Mairet, Trans.) London: Methuen & CO.
Sievers, J. M., & Magnier, S. (2015). Reasoning with Form and Content. In M. Armgardt, P. Canivez, &
S. Chassagnard-Pinet (Eds.), Past and Present Interactions in Legal Reasoning and Logic (pp.
187-221). Springer: Springer.
Smullyan, R. M. (1995). First-Order Logic (Second ed.). New York: Dover Publications.
Stadler, F. (2015). The Vienna Circle. Studies in the Origins, Development, and Influence of Logical
Empiricism. Revised edition (Revised ed.). Springer et al.: Springer.
18
Stalnaker, R. (1994). What is a nonmonotonic consequence relations? Fundamenta Informaticæ, 21,
7–21.
Stelmach, J., & Brozek, B. (2006). Methods of Legal Reasoning. Dordrecht: Springer.
Suppe, F. (1977). The Search for Philosophic Understading of Scientific Theories. In F. Suppe (Ed.),
The Structure of Scientific Theories (Second ed., pp. 3-241). Urbana: University of Illinois
Press.
Suppe, F. (1989). The semantic conception of theories and scientific realism. Urbana: University of
Illinois Press.
Tarski, A. (1983 [1935]). On the concept of logical consequence. In A. Tarski, & J. Corcoran (Ed.),
Logic, Semantics, Metamathematics (J. H. Woodger, Trans., Second ed., pp. 409-420).
Indianapolis: Hackett Publishing Company.
Tarski, A. (2002 (1935)). On the Concept of Following Logically. History and Philosophy of Logic,
155-196.
Tent, K., & Ziegler, M. (2012). A Course in Model Theory. Cambridge et al.: Cambridge University
Press.
Trelles Montero, J. Ó. (2001). Apuntes de Lógica Modal. Lima: Fondo Editiorial de la Pontificia
Universidad Católica del Perú.
Vasil'év, N. A. (2012). Logica immaginaria. (V. Raspa, Ed., G. Di Raimo, & V. Raspa, Trads.) Roma:
Carocci.
von Wright, G. H. (1951). An essay in modal logic. Amsterdam: North-Holland.
von Wright, G. H. (1957). Logical Studies. London: Routledge and Kegan Paul.
von Wright, G. H. (1963). Norm and Action. A logical enquiry. New York: Routledge & Kegan Paul.
von Wright, G. H. (1967 (1951)). Deontic Logic. In I. M. Copi, & J. A. Gould (Eds.), Contemporary
readings in logical theory (pp. 303-15). New York: The MacMIllan Company.
von Wright, G. H. (1968). An essay in Deontic Logic and The General Theory of Action. In Acta
Philosophica Fennica. Amsterdam: North-Holland.
von Wright, G. H. (1968). Deontic Logic and the Theory of Conditions. Crítica(2), 3-25.
von Wright, G. H. (1991, December). Is There a Logic of Norms? Ratio Juris, 4(3), 265-83.
von Wright, G. H. (1999). Deontic Logic: A Personal View. Ratio Juris, 12(1), 26-38.
Vranas, P. B. (2010). In Defense of Imperative Inference. Journal of Philosophical Logic, 39(1), 59-71.
Vranas, P. B. (2011, April). New Foundations for Imperative Logic: Pure Imperative Inference. Mind,
120(478), 369-446.
Weinberger, O. (1998). Alternative Action Theory. Simultaneously a Critique of Georg Henrik von
Wright's Practical Philosophy. (J. Zwart, Trans.) Springer: Springer.
Wohlrapp, H. R. (2014). The Concept of Argument. A Philosophical Foundation. Dordrecht: Springer.
Zuleta, H. R. (2008). Normas y justificación. Una investigación lógica. Madrid et al.: Marcial Pons.
19