He distinguished levels of logical reasoning, and introduced the notion of metalogic. Vasiliev spent 1912-13 in Western Europe (mostly Germany) and published his salient works ``Logic and Metalogic'' and ``Imaginary (non-Aristotelian) logic''. Vasiliev constructed non-Aristotelian logic using the concepts, and even the manner of reasoning, common to Aristotelian logic. He was aware of the achievement in mathematical logic (and even carefully studied Ernst Schr*der 's works) but did not make an attempt to formalise ``imaginary'' logic.
He distinguished levels of logical reasoning, and introduced the notion of metalogic.
nsubj
Case=Nom|Gender=Masc|Number=Sing|Person=3|PronType=Prs
he
He
PRON
PRP
root
Mood=Ind|Number=Sing|Person=3|Tense=Past|VerbForm=Fin
distinguish
distinguished
VERB
VBD
obj
Number=Plur
level
levels
NOUN
NNS
case
of
of
ADP
IN
amod
Degree=Pos
logical
logical
ADJ
JJ
nmod
Number=Sing
reasoning
reasoning
NOUN
NN
punct
,
,
PUNCT
,
cc
and
and
CCONJ
CC
conj
Mood=Ind|Number=Sing|Person=3|Tense=Past|VerbForm=Fin
introduce
introduced
VERB
VBD
det
Definite=Def|PronType=Art
the
the
DET
DT
obj
Number=Sing
notion
notion
NOUN
NN
case
of
of
ADP
IN
nmod
Number=Sing
metalogic
metalogic
NOUN
NN
punct
.
.
PUNCT
.
Vasiliev spent 1912-13 in Western Europe (mostly Germany) and published his salient works ``Logic and Metalogic'' and ``Imaginary (non-Aristotelian) logic''.
nsubj
Number=Sing
Vasiliev
Vasiliev
PROPN
NNP
root
Mood=Ind|Number=Sing|Person=3|Tense=Past|VerbForm=Fin
spend
spent
VERB
VBD
obj
NumForm=Digit|NumType=Card
1912
1912
NUM
CD
case
-
-
SYM
SYM
nmod
NumForm=Digit|NumType=Card
13
13
NUM
CD
case
in
in
ADP
IN
amod
Degree=Pos
western
Western
ADJ
JJ
obl
Number=Sing
Europe
Europe
PROPN
NNP
punct
(
(
PUNCT
-LRB-
advmod
mostly
mostly
ADV
RB
appos
Number=Sing
Germany
Germany
PROPN
NNP
punct
)
)
PUNCT
-RRB-
cc
and
and
CCONJ
CC
conj
Mood=Ind|Number=Sing|Person=3|Tense=Past|VerbForm=Fin
publish
published
VERB
VBD
nmod:poss
Case=Gen|Gender=Masc|Number=Sing|Person=3|Poss=Yes|PronType=Prs
his
his
PRON
PRP$
amod
Degree=Pos
salient
salient
ADJ
JJ
obj
Number=Plur
work
works
NOUN
NNS
punct
``
``
PUNCT
``
appos
Number=Sing
logic
Logic
PROPN
NNP
cc
and
and
CCONJ
CC
conj
Number=Sing
Metalogic
Metalogic
PROPN
NNP
punct
'
'
PUNCT
''
punct
'
'
PUNCT
``
cc
and
and
CCONJ
CC
punct
``
``
PUNCT
``
conj
Degree=Pos
imaginary
Imaginary
ADJ
JJ
punct
(
(
PUNCT
-LRB-
appos
non
non
X
FW
punct
-
-
PUNCT
HYPH
conj
Number=Sing
Aristotelian
Aristotelian
PROPN
NNP
punct
)
)
PUNCT
-RRB-
obj
Number=Sing
logic''
logic''
NOUN
NN
punct
.
.
PUNCT
.
Vasiliev constructed non-Aristotelian logic using the concepts, and even the manner of reasoning, common to Aristotelian logic.
nsubj
Number=Sing
Vasiliev
Vasiliev
PROPN
NNP
root
Mood=Ind|Number=Sing|Person=3|Tense=Past|VerbForm=Fin
construct
constructed
VERB
VBD
advmod
non
non
ADV
AFX
compound
Number=Sing
-Aristotelian
-Aristotelian
PROPN
NNP
obj
Number=Sing
logic
logic
NOUN
NN
advcl
VerbForm=Ger
use
using
VERB
VBG
det
Definite=Def|PronType=Art
the
the
DET
DT
obj
Number=Plur
concept
concepts
NOUN
NNS
punct
,
,
PUNCT
,
cc
and
and
CCONJ
CC
advmod
even
even
ADV
RB
det
Definite=Def|PronType=Art
the
the
DET
DT
conj
Number=Sing
manner
manner
NOUN
NN
case
of
of
ADP
IN
nmod
Number=Sing
reasoning
reasoning
NOUN
NN
punct
,
,
PUNCT
,
amod
Degree=Pos
common
common
ADJ
JJ
case
to
to
ADP
IN
amod
Degree=Pos
Aristotelian
Aristotelian
ADJ
JJ
obl
Number=Sing
logic
logic
NOUN
NN
punct
.
.
PUNCT
.
He was aware of the achievement in mathematical logic (and even carefully studied Ernst Schr*der 's works) but did not make an attempt to formalise ``imaginary'' logic.
nsubj
Case=Nom|Gender=Masc|Number=Sing|Person=3|PronType=Prs
he
He
PRON
PRP
cop
Mood=Ind|Number=Sing|Person=3|Tense=Past|VerbForm=Fin
be
was
AUX
VBD
root
Degree=Pos
aware
aware
ADJ
JJ
case
of
of
ADP
IN
det
Definite=Def|PronType=Art
the
the
DET
DT
obl
Number=Sing
achievement
achievement
NOUN
NN
case
in
in
ADP
IN
amod
Degree=Pos
mathematical
mathematical
ADJ
JJ
nmod
Number=Sing
logic
logic
NOUN
NN
punct
(
(
PUNCT
-LRB-
cc
and
and
CCONJ
CC
advmod
even
even
ADV
RB
advmod
carefully
carefully
ADV
RB
conj
Mood=Ind|Number=Sing|Person=3|Tense=Past|VerbForm=Fin
study
studied
VERB
VBD
nmod:poss
Number=Sing
Ernst
Ernst
PROPN
NNP
flat
Number=Sing
Schr*der
Schr*der
PROPN
NNP
case
's
's
PART
POS
obj
Number=Plur
work
works
NOUN
NNS
punct
)
)
PUNCT
-RRB-
cc
but
but
CCONJ
CC
aux
Mood=Ind|Number=Sing|Person=3|Tense=Past|VerbForm=Fin
do
did
AUX
VBD
advmod
not
not
PART
RB
conj
VerbForm=Inf
make
make
VERB
VB
det
Definite=Ind|PronType=Art
a
an
DET
DT
obj
Number=Sing
attempt
attempt
NOUN
NN
mark
to
to
PART
TO
acl
VerbForm=Inf
formalise
formalise
VERB
VB
punct
`
`
PUNCT
``
punct
`
`
PUNCT
``
amod
Degree=Pos
imaginary
imaginary
ADJ
JJ
punct
''
''
PUNCT
''
obj
Number=Sing
logic
logic
NOUN
NN
punct
.
.
PUNCT
.