квантор существования

[zkutch]

Уважаемый Котофеич
я сперва просмотрел отдельно InconsistentMathematics.pdf взяв это у Bremer - осталось впечатление, что это что-то вроде обзора. Т.е. обещают покормить, а не кормят. Теперь начал с начала указанное "Lectures on Paraconsistent Logic http://www.mbph.de/"

три ваших последних поста крайне интересны. Но обсуждать эти "вкусные" предложения хотелось бы после того как будет понимание хотя бы основных положений систематически. Нет ли где еще монографии, по которой можно читать?

Не хотелось бы терять и основную нить - пока не нашел понятия существования определенного в пара-мире

[Котофеич]

Квантор существования определен в разделе Inconsistent Logic. Этот раздел начинается с описания логики PL. Вам достаточно ознакомиться только с этим разделом.
Настоящая противоречивая логика с бесконечным числом уровней противоречия строится
на базе другой идеи. Я потом разъясню, что там делается и как применяется в классической
математике. Вам нужно разобраться с семантикой. Это в книжке хорошо описано. Другие
ссылки Вам пока не нужны.

[Котофеич]

Котофеич писал(а):

Котофеич писал(а):

Естественно возникает вопрос о том какова природа противоречивой логики
Существует две основных концепции, в рамках которых трактуется природа противоречивой
логики и природа противоречивых множеств.
1.Паралогический формализм.2.Паралогический платонизм.

1.Паралогический формализм. Это концепция, которая есть обобщение идеи
Д.Гильберта. Сторонники этой концепции не считают, что нужно придавать конкретный
смысл математическому утверждению А, если оно истинно одновременно с утверждением не А, в лучшем случае объекты этого типа относятся к некоторому
воображаемому универсуму V{Inc}.
Такой точки зрения придерживается большинство логиков-нематематиков. В частности
этой точки зрения придерживался великий русский логик Васильев-основоположник
современной теории противоречивых логик. По этой причине Васильев, назвал свою
логику Воображаемая логика. Он ошибочно полагал, что в реальном мире не может
существовать объективных противоречий.

2.Паралогический платонизм
(а)Паралогический платонизм в наиболее сильной форме. Это концепция согласно
которой противоречие признается как часть объективной реальности.
Сторонники этого направления не рассматривают парадокс лжеца как семантический
парадокс но только как объективное логическое противоречие избавиться от которого
принципиально невозможно. Как мы потом покажем ЛЖЕЦ имеет фундаментальную
математическую природу и в абстрактной форме всегда присутствует в топосах Гротендика
с противоречивой внутренней логикой.

[Котофеич]

zkutch писал(а):

Уважаемый Котофеич
я сперва просмотрел отдельно InconsistentMathematics.pdf взяв это у Bremer - осталось впечатление, что это что-то вроде обзора. Т.е. обещают покормить, а не кормят. Теперь начал с начала указанное "Lectures on Paraconsistent Logic http://www.mbph.de/"

три ваших последних поста крайне интересны. Но обсуждать эти "вкусные" предложения хотелось бы после того как будет понимание хотя бы основных положений систематически. Нет ли где еще монографии, по которой можно читать?

Не хотелось бы терять и основную нить - пока не нашел понятия существования определенного в пара-мире

Вот тут есть еще один дядька, пишущий про эти логики.
http://www.cle.unicamp.br/prof/carnielli/

[zkutch]

У дядьки (Walter Alexandre Carnielli) нашел вроде только Limits.pdf в Articles and Technical Reports - что-нибудь еще можно\нужно взять?

[Котофеич]

zkutch писал(а):

У дядьки (Walter Alexandre Carnielli) нашел вроде только Limits.pdf в Articles and Technical Reports - что-нибудь еще можно\нужно взять?

Да вот 10 ти страниц этой его статьи вполне достаточно

1.A Taxonomy of C-systems
ftp://logica.cle.unicamp.br/pub/e-prints/Taxonomy.pdf
Вот еще есть журнальчик
2.
http://www.cle.unicamp.br/e-prints/index.html
http://www.cle.unicamp.br/e-prints/abstract_5.htm
Вот здесь я раньше давал ссылки на Приеста
http://dxdy.ru/viewtopic.php?p=8540#8540

3. Вот есть арифметика с бесконечнозначной семантикой
Arithmetic and truth in Lukasiewicz’s infinitely valued logic
http://scholar.google.com/scholar?hl=en ... 4461691665

4.Greg Restall
http://scholar.google.com/scholar?hl=en ... tnG=Search

5 Вот в этом архиве есть моя статья по противоречивому нестандартному анализу

http://www.sciencedirect.com/preprintar ... 699fe2114d

[zkutch]

Даже стыдно признаваться, но как истинный барахольшик, я отоварился по всем ссылкам. Вроде все указанные источники сграбастал на случай, если у кого начнется спазм жадности (или наоборот закончится просвет доброты). Но пока продолжаю свыкаться с Lectures on Paraconsistent Logic.
Единственно с 5-м линком проблемы, я там зарегистрировался, но как использовать ваш линк после логина пока не понял.

[Котофеич]

zkutch писал(а):

Даже стыдно признаваться, но как истинный барахольшик, я отоварился по всем ссылкам. Вроде все указанные источники сграбастал на случай, если у кого начнется спазм жадности (или наоборот закончится просвет доброты). Но пока продолжаю свыкаться с Lectures on Paraconsistent Logic.
Единственно с 5-м линком проблемы, я там зарегистрировался, но как использовать ваш линк после логина пока не понял.

По названию и номерам.
"Foundation of paralogical nonstandard
analysis and its application to some famous problems of
trigonometrical and orthogonal series.PartI,II."
http://www.mathpreprints.com/math/Prepr ... 20040330/1
http://www.mathpreprints.com/math/Preprint/-/20040221/1
Вот еще версия того же
http://www.geocities.com/jaykovf/PART.I.pdf
http://www.geocities.com/jaykovf/PART.II..pdf

[Котофеич]

Котофеич писал(а):

zkutch писал(а):

Даже стыдно признаваться, но как истинный барахольшик, я отоварился по всем ссылкам. Вроде все указанные источники сграбастал на случай, если у кого начнется спазм жадности (или наоборот закончится просвет доброты). Но пока продолжаю свыкаться с Lectures on Paraconsistent Logic.
Единственно с 5-м линком проблемы, я там зарегистрировался, но как использовать ваш линк после логина пока не понял.

По названию и номерам.
"Foundation of paralogical nonstandard
analysis and its application to some famous problems of
trigonometrical and orthogonal series.PartI,II."
http://www.mathpreprints.com/math/Prepr ... 20040330/1
http://www.mathpreprints.com/math/Preprint/-/20040221/1
Вот еще версия того же
http://www.geocities.com/jaykovf/PART.I.pdf
http://www.geocities.com/jaykovf/PART.II..pdf

FOURTH EUROPEAN CONGRESS OF MATHEMATICS
STOCKHOLM, SWEDEN JUNE 27 ­ - JULY 2, 2004
http://www.math.kth.se/4ecm/poster.list.html#01
http://www.math.kth.se/4ecm/abstracts/1.5.pdf
Abstract Harmonic Analysis.Structure of Nonlocallycompact Abelyan Groups.Representations.
http://planetmath.org/?op=getobj&from=books&id=106

[dikun]

Вот ещё на русском есть
"Противоречивые логики предикатов с нерекурсивным правилом
отделения и паранепротиворечивая теория множеств ZFC" (J.Foukzon)

[Yuri Gendelman]

Есть большая обзорная статья: Paraconsistent Logic, by Graham Priest.

Напечатана в "Handbook of Philosophical Logic," Second Edition.
Volume 6, p.287-393
Kluwer Academic Publishers, 2002. ISBN: 1402005830.

Книга доступна в eDonkey:

ed2k://|file|handbook%20of%20philosophical%20logic%20vol%206.ps|2648454|16320A36AA2C584741A0EFF801080229|h=U3UDD3FHU33H3P37HZSTEDDNZB3Q4NFM|/

ed2k://|file|handbook%20of%20philosophical%20logic%20vol%206.pdf|2429704|DED79ADE34F02C6C5D0EDE4F8A5EC2E2|/

[Котофеич]

Yuri Gendelman писал(а):

Есть большая обзорная статья: Paraconsistent Logic, by Graham Priest.

Напечатана в "Handbook of Philosophical Logic," Second Edition.
Volume 6, p.287-393
Kluwer Academic Publishers, 2002. ISBN: 1402005830.

Книга доступна в eDonkey:

ed2k://|file|handbook%20of%20philosophical%20logic%20vol%206.ps|2648454|16320A36AA2C584741A0EFF801080229|h=U3UDD3FHU33H3P37HZSTEDDNZB3Q4NFM|/

ed2k://|file|handbook%20of%20philosophical%20logic%20vol%206.pdf|2429704|DED79ADE34F02C6C5D0EDE4F8A5EC2E2|/

Там чтойто по этим ссылкам пусто

[Yuri Gendelman]

Котофеич писал(а):

Там чтойто по этим ссылкам пусто

Я использую клиент eMule, который, кроме eD2K, работает еще с сетью Kad. Поиск дал обе ссылки, которые я и привел. Я скачал версию .ps (был всего 1 источник). Могу прислать файл email-ом, но нужен Ваш адрес (через ЛП?). Длина файла - 2.7Mb.

[Котофеич]

dikun писал(а):

Вот ещё на русском есть
"Противоречивые логики предикатов с нерекурсивным правилом
отделения и паранепротиворечивая теория множеств ZFC" (J.Foukzon)

Идея построения таких логик, опирается на ряд идей А. Колмогорова, касающихся
обобщения интуиционистской логики Брауэра. Краткое описание соответствующей работы Колмогорова имеется в книге В. Успенского стр. 20.
http://www.mccme.ru/free-books/usp.htm
В этой работе Колмогорова впервые подвергнут сомнению, следующий важнейший закон
классической логики
$ ¬b\Rightarrow b\Rightarrow a$

[Котофеич]

Yuri Gendelman писал(а):

Котофеич писал(а):

Там чтойто по этим ссылкам пусто

Я использую клиент eMule, который, кроме eD2K, работает еще с сетью Kad. Поиск дал обе ссылки, которые я и привел. Я скачал версию .ps (был всего 1 источник). Могу прислать файл email-ом, но нужен Ваш адрес (через ЛП?). Длина файла - 2.7Mb.

Большое спасибо. Можно вот на этот адрес.
[e-mail]