Логика и информатика для юристов

Знаменитую фразу Чарльза Дарвина обычно искажают, говоря: «Выживает сильнейший». Между тем в оригинале фраза звучит «survival of the fittest», то есть «выживание наиболее приспособленных». Американский фантаст Гарри Гаррисон еще в конце XX в. писал: «Мы — крысы в подполье общества <...>. Сейчас наше общество построено из железобетона и нержавеющей стали. Щелей стало меньше, и крысе приходится быть изворотливой, чтобы их обнаружить. В таких условиях выживают только стальные крысы». Как быть нашему брату юристу, которому тоже приходится выискивать щели — в законах, в писаных и неписаных правилах? Мир год от года меняется, мы существуем и действуем в киберпространстве. Приспособишься — выживешь. Перед вами третья книга Вячеслава Оробинского, продолжение легендарной «Чему не учат на юрфаке», которая поможет вам освоить информационные навыки и научиться измерять свою приспособленность к современным технологиям. Что входит в информационные навыки? Какими устройствами и программными продуктами пользуются юристы? Что такое «виртуальный этикет»? Что такое «война правок»? Какие существуют источники информации, полезной для юриста? Как заработать на информации? Ответы на эти и другие вопросы, примеры из жизни, ценные советы и, безусловно, оценка рисков каждой уловки и технологии — все это окажет помощь и молодому, и опытному юристу.

Эта книга может представлять интерес как для будущих и уже работающих биологов, так и для представителей точных наук. Для биологов — чтобы не просто освоить логику, но освоить ее в применимой для их деятельности форме, чтобы задуматься о логике своей науки. Для представителей точных наук — чтобы понять, где именно в биологии работают строгие и хорошо логически формализуемые структуры, к которым они привыкли, а где такие структуры осекаются. Одни из самых полезных книг — это те, которые позволяют найти и прочитать другие книги. Авторы старались написать этот учебник прежде всего для достижения данной цели. В нем нет ни большого количества формул, ни переизбытка терминов. Тем не менее, ознакомившись с этой книгой, читатель легко ответит на вопрос типа: «Эквивалентны ли друг другу закон противоречия и закон исключения третьего?» Но еще важней, что он приобретет навык корректных и содержательных рассуждений в значимых для него областях деятельности, научится избегать логических ошибок и ловушек. Естественно, чтобы научиться плавать, надо плавать, а чтобы научиться рассуждать — надо рассуждать. И если для занятий в большой группе книге может понадобиться дополнение в виде задачника, то для индивидуального и коллективного самообразования заданий в ней вполне достаточно. Кроме того, книга адресована биологу, который задумывается о логике развития своей науки, о логике биологических рассуждений, а также о применимости к этим проблемам тех или иных формализаций, которых в истории логики предлагалось немало. Для читателей такого рода предназначена часть текста, набранная мелким шрифтом. Она же позволит не скучать, даже начиная с азов. А последовательность в изучении подобного материала очень важна. Книга содержит материал, дающий возможность работать как со свойствами, так и с отношениями. Последние главы посвящены разным типам противоречий и причинам их возникновения.

В настоящей книге описываются события послесталинской эпохи, относящиеся к философии и логике, особенно математической логике. Читатель прочтет рассказ о спорах вокруг логики, о развитии историко-логических исследований. Внимание автора сосредоточено не только на логике, математической и философской, но и на тех ученых, кто сумел творчески работать в тяжелых условиях того времени. К материалам книги приведены дополнения: «Бернард Больцано. Философия математики. Вклад в создание математической логики» (Б.В. Бирюков, Л.Г. Бирюкова); «Сопричасность логосу: Диалектика марксизма в оценке Н.О. Лосского и споры о логике в интеллектуальном пространстве советской философии 50-60-х гг. XX века» (И.П. Прядко, Б.В. Бирюков). Рекомендуется философам, логикам, психологам, историкам науки, а также преподавателям, студентам и аспирантам вузов, изучающим советский период отечественной истории.

Вниманию читателей предлагается фундаментальный труд известного отечественного философа А.И. Введенского (1856-1925), в котором даются главные выводы его философской системы. В книге излагаются логические законы и формы мышления; параллельно автор описывает способы доказательства и методы их проверки, а также дает сравнительную оценку познавательного значения суждений. По мнению автора, ценность логики — в той роли, которую она может сыграть для теории познания, проверяя истинность последней, и поэтому логика является частью теории познания и должна быть строго отграничена от психологии. Книга будет полезна философам, логикам, историкам науки, студентам и аспирантам соответствующих специальностей, всем читателям, желающим ознакомиться с философским творчеством крупнейшего представителя критической философии в России.

В книге известного отечественного философа Э.В. Ильенкова (1924-1979) рассматриваются важнейшие, в том числе и дискуссионные, вопросы теории материалистической диалектики, диалектической логики, истории ее формирования. Книга по сути представляет собой систематическое критическое исследование дискуссии о природе мышления и науки о нем, цель которого — обнаружение внутренней логики этого многовекового спора. Книга адресована широкому кругу читателей, интересующихся проблемами философии.

В книге известного российского философа и методолога анализируется знаменитый «Логико-философский трактат» (ЛФТ) Людвига Витгенштейна; при этом автор опирается не только на исследование ЛФТ Владимиром Бибихиным и другими философами и логиками, но и на собственную реконструкцию генезиса логики и науки. Розин показывает, что уже в работах Аристотеля расходятся содержания, относящиеся к трем будущим философским дисциплинам: формальной логике, логике содержательной и методологии. Специально анализируются программа реформирования логики Г. Лейбницем и программа обоснования логики в духе Д.Гильберта, определившие, по мнению автора, современное состояние и отчасти кризис символической логики. Опираясь на проведенный анализ, Розин реконструирует принципиальную схему ЛФТ. Автор показывает, что Витгенштейн работает не понятийно; подобно Платону, он с помощью схем конституирует картину мира и онтологию для символической логики и обосновывает автономию ее дискурса. В двух последних главах книги Розин характеризует свое понимание методологии и описывает в качестве примера работы в «новой содержательной логике» метод гуманитарного научного познания. Книга предназначена для широкой аудитории философов, логиков, ученых и педагогов.

Настоящая книга, написанная в виде занимательных этюдов, призвана способствовать формированию межпредметных связей, развитию логического мышления и изучению психотипов. На примерах известных логических парадоксов в ней показывается применение понятия логического массива. Особое внимание уделяется ключевому понятию книги — логическому вектору, который является частным случаем логического массива. Книга предназначена для широкого круга читателей, она будет полезна школьникам старших классов, а также студентам высших учебных заведений, изучающим логику и соционику.

В настоящей книге рассматривается развитие многозначной логики начиная от Аристотеля и до наших дней. В силу той особой роли, которую играет многозначная логика в компьютерных науках и в различных приложениях, большое внимание в работе уделяется ее теории функциональных свойств. Автор особо выделяет также сложнейшую философскую проблему интерпретации истинностных значений, которая в итоге приводит к идее их структурализации. Книга может служить справочником по многозначной логике, поскольку в ней тщательно соблюдается хронология развития многозначной логики, содержится большой список использованной литературы; к тому же она не предполагает наличия у читателя каких-либо предварительных знаний. Книга рассчитана на самый широкий круг читателей, в том числе философов, логиков, математиков и студентов соответствующих специальностей.

Настоящий учебник, написанный в 1947 году известным российским специалистом в области истории философии, логики и литературоведения В.Ф.Асмусом (1894-1975), стал в свое время первой работой по формальной логике, вышедшей в СССР после долгого периода нигилистического отношения к этому научному направлению. Эта книга во многом положила начало не только изданию научно-педагогической литературы по логике, но и, без преувеличения, возвращению формальной логики в российскую систему образования. В своем учебнике В.Ф.Асмус сохраняет и развивает лучшие традиции русской логической школы, опираясь на идеи М.И.Каринского и С.И.Поварнина. Впервые изданная более шестидесяти лет назад, эта книга не утратила своего значения по настоящее время и будет полезной как для студентов вузов, изучающих логику, так и для всех желающих познакомиться с основами традиционной логики самостоятельно.

В учебном пособии изложены основы базовых понятий по информационным технологиям, а также возможности практического применения в профессиональной деятельности программ офисных пакетов MS Office и OpenOffice.org под управлением операционных систем семейства Windows и Linux. Значительное внимание уделено вопросам информационной безопасности и защиты информации, как на локальном компьютере, так и при работе в глобальной сети Интернет. Дано описание и приведены алгоритмы работы с автоматизированными информационными системами и специализированным программным обеспечением: программы обработки графических изображений, программы сканирования и распознавания текстов, программы автоматического перевода текстов, справочно-правовые системы. Для выработки практических навыков пособие содержит задания с подробными инструкциями по их выполнению.

В книге предлагается увлекательное введение в символическую логику. Дана унифицированная трактовка трех «возможных миров»: эпистемического мира человеческих убеждений в истинности высказываний; мира машин, способных воспроизводить истинные высказывания, и мира математических систем, в которых можно доказывать высказывания. Предложено нестандартное изложение знаменитых теорем Геделя о неполноте формальных систем и теоремы Леба и увлекательный анализ взаимоотношения между понятиями «непротиворечивость», «доказуемость» и «разрешимость». Эта книга для тех, кто желает: — не только научиться успешно искать свою подругу, которая иногда улетает на острова, населенные всегда говорящими правду рыцарями и бессовестно лгущими плутами, но даже стать в этом деле мастером, не хуже сыщиков из Скотланд-Ярда; — блеснуть в компании интеллектуалов своим нестандартным пониманием сути знаменитых результатов из области математической логики, известных как теоремы Геделя о неполноте и теорема Леба; — решая увлекательные задачи, познакомиться с серьезной научной дисциплиной, именуемой «символическая логика»; — познакомиться с модальной логикой в форме «возможных миров» — миров человеческих мнений или убеждений; понять, какие трудности подстерегают нас при доказательстве непротиворечивости наших рассуждений и в рассуждениях о непротиворечивости наших доказательств.

Данная небольшая работа, принадлежащая перу известного датского мыслителя Гаральда Геффдинга (1843-1931), находится на стыке двух гуманитарных наук — философии и психологии. По мнению автора, логическое исследование рассуждений, дающее ясные формулировки и построения, зачастую не согласуется с реальными рассуждениями, поскольку логика заменяет богатый язык повседневной жизни выражениями сжатыми и более точными. Поэтому логические формы и условия должны иметь психологическую основу, изучение которой, как полагает Г. Геффдинг, представляет огромный интерес для теории познания. Проводя психологическое исследование процесса суждения, автор небезуспешно пытается выяснить как реальную связь между логикой и психологией, так и различие их точек зрения на рассуждение. Книга рекомендуется психологам, философам, историкам и методологам науки, а также широкому кругу заинтересованных читателей.

Известный азербайджанский ученый размышляет о роли экономического мышления в современных условиях. Книга рассчитана на всех интересующихся преобразованиями в экономической науке на современном этапе.

Исследование посвящено Северину Боэцию (480–525) — римскому мыслителю, жившему в переходную эпоху и сумевшему как никто другой соединить в своих трудах античную философию и христианское мировоззрение («последний римлянин и первый схоласт»). Боэций известен в основном как переводчик на латынь «Органона» Аристотеля. Благодаря своим переводам он сделал логику наукой римлян, а через них она сделалась наукой всего западного мира, сформировав рационалистический стиль мышления христианского Запада. Представленная монография — первая книга на русском языке, посвященная Боэцию как логику. В книге на основе последних исследований дана попытка ответа на вопрос, имелось ли у Боэция самобытное логическое учение или он выступает исключительно как транслятор античных авторов. Рассмотрена проблема преемственности и новаторства в историко-философском процессе и определено место Боэция в истории логики и теологии. Показано значительное влияние логических взглядов Боэция на его философию и теологию. В третьей части рассмотрена роль логики в «золотой книге» Боэция «Утешение Философией». В книгу включены впервые переведенные на русский язык логические трактаты Боэция «О делении» и «О гипотетических силлогизмах». Монография предназначена для всех тех, кто интересуется логикой, философией, теологией, историей христианства.

В обзоре раскрывается содержание новых исследовательских программ аналитической философии: циклопедический подход к единству науки в свете идей О. Пейрата. а также новейшая интерпретация развития неопозитивизма после 60-х годов XX в. («вторая волна» аналитической философии). Анализируются проблемы, актуальные для современного развития логики. Для философов, преподавателей вузов, аспирантов и студентов.

Работа посвящена анализу интегративных структур научного знания и информационного пространства, процессов их формирования. Основное внимание уделено описанию процедур различения, с выполнения которых фактически начинается построение как научных, так и информационных систем. Эти процедуры, как правило, оставались вне поля зрения исследователей, поскольку они обеспечивают выделение структур, состоящих из элементов-феноменов, радикально отличающихся по своей логической форме от элементов, фиксируемых с помощью стандартных формально-языковых средств. Представляется, что содержащееся в работе описание алгоритмов выполнения процедур различения, а также способов конструирования сложных процедур различения из простых будет способствовать экспликации скрытых целостнообразующих механизмов научных и информационных систем.

Логику не изучают в школе. Тем не менее, мы пользуемся ее законами с детских лет: учимся размышлять и принимать решения, осмысливаем происходящее, постигаем разные науки и, самое главное, общаемся с другими людьми — поясняем свою позицию, возражаем, спорим, убеждаем... Современный умный, развитый человек просто обязан владеть логическим мышлением — оно упорядочивает полученные знания, придает ясность речи, делает убедительной аргументацию и позволяет добиваться победы в дискуссиях. Книга «Удивительная логика» требует определенного напряжения умственных сил и может служить своеобразной проверкой базовых логических способностей человека. В то же время она позволяет развить персональные интеллектуальные данные и творческие навыки поиска нестандартных решений. Одним словом, она учит МЫСЛИТЬ. Тестовым и развивающим целям служат и приведенные в конце издания оригинальные логические задачи. Книга адресована в первую очередь старшеклассникам и студентам, интересующимся логикой и желающим активно использовать ее законы для достижения личного успеха.

Настоящая книга посвящена жизни и творческой деятельности Юрия Алексеевича Гастева (1928-1995) — сына репрессированного в годы «большого террора» А.К. Гастева, создателя Центрального института труда и поборника НОТ. Гастев Ю.А. был математиком по специальности и философом по интеллектуальным устремлениям. Его публикации внесли заметный вклад в отечественную культуру; логик-мыслитель, он был активным правозащитником. Вынужденный властями эмигрировать из СССР, скончался в США. Книга рассчитана на интересующихся логикой, философией, основаниями математики, историей культуры; она может быть использована преподавателями и студентами, изучающими логику, философию, историю науки, культурологию.

Данная брошюра в популярной форме знакомит читателей с наиболее значимыми разделами Русской логики, которая опровергает многие постулаты классической логики, являясь на сегодня единственной истинно математической логикой. Брошюра рассчитана на школьных преподавателей математики и информатики, но может быть освоена и школьниками старших классов. Она будет весьма полезна преподавателям и студентам вузов, а также всем профессорам и академикам.

Вниманию читателей предлагается книга известного французского математика и философа Луи Кутюра (1868-1914), содержащая основы алгебры логики — раздела математической логики, в котором изучаются логические операции над высказываниями. Представлены две интерпретации логического исчисления. Излагаются принципы и законы алгебры логики, важнейшие теоремы; рассматриваются логические функции и основные формулы. Издание включает два приложения, добавленные при переводе книги на русский язык, в которых рассматривается вопрос о чисто формальном обосновании логики предложений. Книга рекомендуется математикам, философам, логикам, историкам и методологам науки, студентам и аспирантам соответствующих специальностей.

В западной цивилизации именно логика связывает воедино философские, научные и правовые системы. Логика окружает нас повсюду — начиная с языка, на котором мы говорим, и заканчивая техническими новинками, например мобильными телефонами. Логика способна объяснить даже принципы сочинения «мыльной оперы»! «Логика: графический путеводитель» — иллюстрированный справочник демонстрирующий связи логики с философией, наукой и многими другими отраслями знаний. Следуя от «размытой логики» к парадоксу лжеца, эта книга знакомит читателя с идеями величайших мыслителей, начиная с Платона и Аристотеля и до некоторых самых блестящих ученых современности, таких как Алан Тьюринг, который смог разгадать код нацистской «Энигмы» и стал основателем теории искусственного интеллекта; Людвиг Витгенштейн, выдающийся гений философии XX столетия; борец за мир и философ Бертран Рассел, и еще многих других.

Книга А.Ф. Лосева «Музыка как предмет логики», впервые опубликованная в 1927 году, является одной из важнейших работ великого русского мыслителя, раскрывающих его самобытную философскую систему. Опираясь на античное понимание числа (Платон, неоплатоники) и времени как алогического числового становления, Лосев синтезирует это понимание с романтической и постромантической (символистской) концепцией музыки как иррациональной стихии. Данный синтез привел Лосева к формированию уникального философского определения музыки и ее важнейших элементов (ритма, мелодии, гармонии и т.п.) Книга предназначена философам, музыковедам, а также музыкантам, склонным к философскому осмыслению своего искусства.

Издание предназначено для обучения юристов грамотному и эффективному использованию компьютера, приобретения необходимых навыков работы в Windows, справочных правовых системах Консультант и Эталон, текстовом редакторе Word, электронной таблице Excel, приложении для создания презентации PowerPoint. Разобраны конкретные ситуации, возникающие в юридической практике, и решение проблем средствами, предоставляемыми Microsoft Office. Эта книга ориентирована как на пользователей, уже имеющих опыт работы, которые желают систематизировать свои знания, так и на студентов юридических специальностей, которые изучают современные офисные пакеты.

Дано определение юридической наукометрии как российской юридической науки (части наукометрии), предметом которой является процесс и результат наукометрических исследований научной информации в отечественной юриспруденции, рассмотрены ее объект и методы, а также некоторые иные основные положения, составляющие Общую часть юридической наукометрии.