kosta.gif
повестки arrow дождя

жалуем

ПРИСУТСТВУЮЩИХ

OS: Linux s
PHP: 5.1.6
MySQL: 10.0.28-MariaDB-cll-lve
Время: 05:50
Caching: Disabled
GZIP: Enabled
Участников: 4
Новостей: 345
Ссылок: 4
посетителей: 11649969

Wednesday, 22 November 2017

ловкость пальцев
 понимания на которых основывается пророческое
Введите искомое слово.

Названии Комментариях Везде
Редакт. глоссарий
Отправить термин

Все | А | Б | В | Г | Д | З | И | К | Л | М | Н | О | П | Р | С | Т | У | Ф | Ц | Ч | Э | Ю | Я


Л
Найдено 19 записей вглоссарии.
страница: 1 2 »
Термин Определение
Лемма (от греч. lemma — предположение) - в математике вспо¬могательное предложение, употребляемое при доказательстве од¬ной или нескольких теорем. В логике — условно-разделительное, или лемматическое, умозаключение (см.: Дилемма). / 23 июня сего года случай был наехали те кто в законе при погонах на того кто в бизнесе при деньгах мол в силе ибо в звании но тот и сам при силе оказался ибо грамотен вот так и съехали с него ибо не дал наехать на себя и вот чем интересна эта лемма одни гордятся могут выебать другие тем что отъебаться третьи тем что бог смиренье завещал ну и есть ещё четвёртые к которым собственно и отношусь а именно любители предположеньем подсоблять мол ага он так и завещал ублажайте горит пидарасов а то мужиков обидите ещё раз перечисленные три категории постоянно обижаются на категорию иисуса мол она по их понятиям петушиная членов которой они с верой в добро опущения опускают заметь в то время как мы их поднять питаемся заметил кто в силе тот в боге не нуждается а кто бессилен тот немощен нуждаться ну и ещё заметь проблема то четвёртой в неумении косноязычного общения договариваться с мягкотелыми содомлянами ибо при умении заключать компромиссы благоустраивают а не распинают вот тут на помощь моисею брат его иуда заметил эту лемму аароном
 
Лжеца Парадокс - один из наиболее известных логиче¬ских парадоксов. В простейшем его варианте человек произносит одну фразу: «Я лгу». Или говорит: «Высказывание, которое я сей¬час произношу, является ложным». Или: «Это высказывание лож¬но». Если высказывание ложно, то говорящий сказал правду и, зна¬чит, сказанное им не является ложью. Если же высказывание не является ложным, а говорящий утверждает, что оно ложно, то его высказывание ложно. Оказывается, таким образом, что, если говорящий лжет, он говорит правду, и наоборот. Традиционная лаконичная формулировка парадокса гласит: если лгущий говорит, что он лжет, то он одновременно лжет и говорит правду. В ср. в. была распространенной такая формулировка «Л.» п.: «Ска¬занное Платоном - ложно, — говорит Сократ. - То, что сказал Сократ, — истина, - говорит Платон». Возникает вопрос: кто из них высказывает истину, а кто — ложь? Открытие «Л.» п. приписывается древнегреческому философу Евбулиду (IV в. до н. э.). Оно произвело громадное впечатление. Философ-стоик Хрисипп (ок. 281-208 до н. э.) посвятил ему три книги. Некто Филет Косский, отчаявшись разрешить парадокс, покончил с собой. Предание говорит, что известный древнегре¬ческий логик Диодор Кронос (ум. ок. 307 до н. э.) уже на склоне лет дал обет не принимать пищу до тех пор, пока не найдет решение «Лжеца», и вскоре умер, ничего не добившись. В древности «Лжец» рассматривался как хороший пример двусмысленного выражения. В ср. в. «Л.» п. был отнесен к т. наз. «неразрешимым предложениям» и сделался объектом систематического анализа. Особым вниманием «Л.» п. пользуется в современной логике. Нередко он именуется «королем логических парадоксов», ему по¬священа обширная научная литература. И тем не менее, как и в случае многих других парадоксов, остается неясным, какие имен¬но проблемы скрываются за данным парадоксом и как следует избавляться от него. Чаще всего «Л.» п. считается характерным примером тех труд¬ностей, к которым ведет смещение двух языков: языка предметно¬го, на котором говорится о лежащей вне языка действительности, и метаязыка, на котором говорят о самом предметном языке. В повседневности нет различий между этими языками: и о дей¬ствительности, и о языке говорится на одном и том же языке. Если язык и метаязык разграничиваются, утверждение «Я лгу» уже не может быть сформулировано. Проблемы, связывавшиеся на протяжении веков с «Л.» п., ра¬дикально менялись в зависимости от того, рассматривался ли он как пример двусмысленности, или же как выражение, внешне пред¬ставляющееся осмысленным, но по своей сути бессмысленное, или же как образец смешения языка и метаязыка. И нет уверенности в том, что с этим парадоксом не окажутся связанными в будущем и другие проблемы (см.: Антиномия). / любая задача решается при достаточном количестве исходных данных ибо недостаточность данных порождает недоумение в процессе решения недостаточного так вот выходят из положения просто перечисляют возможные варианты ещё раз если остаться в положении недодачи то войдёте в тупиковую ситуацию а если обогатите положение то выйдите из ситуации как на примере платона и сократа где сказанное сократом всё сказанное платоном и где сказано платоном что именно сказанное сократом ещё раз на примере я лгу эйнштейн бы тут же вёл понятье относительности и решил бы забавляясь абсолютностью
 
Логика (от греч. logos — слово, понятие, рассуждение, разум), или: Формальная логика, — наука о законах и операциях пра¬вильного мышления. Согласно основному принципу Л., пра¬вильность рассуждения (вывода) определяется только его логиче¬ской формой, или структурой, и не зависит от конкретного содержания входящих в него утверждений. Различие между формой и содержанием может быть сделано явным с помощью особого язы¬ка, или символики, оно относительно и зависит от выбора языка. Отличительная особенность правильного вывода в том, что от истинных посылок он всегда ведет к истинному заключению. Та¬кой вывод позволяет из имеющихся истин получать новые исти¬ны с помощью чистого рассуждения, без обращения к опыту, интуиции и т. п. Неправильные выводы могут от истинных посы¬лок вести как к истинным, так и к ложным заключениям. Л. занимается не только связями высказываний в правильных выводах, но и многими иными проблемами: смыслом и значением выражений языка, различными отношениями между терминами (понятиями), операциями определения и логического деления по¬нятий, вероятностными и статистическими рассуждениями, па¬радоксами и логическими ошибками и т. д. Но главные темы логи¬ческих исследований - анализ правильности рассуждения, формулировка законов и принципов, соблюдение которых являет¬ся необходимым условием получения истинных заключений в процессе вывода. Правильным является, напр., рассуждение, следующее схеме: «Если есть первое, то есть и второе; есть первое, значит, есть и второе» (см.: Модус поненс). По этой схеме из высказываний «Если сейчас день, то светло» и «Сейчас день» вытекает высказывание «Сейчас светло». Какие бы конкретные истинные высказывания ни подставлялись в указанную схему, заключение обязательно бу¬дет истинным. В правильном рассуждении заключение вытекает из посылок с логической необходимостью, общая схема такого рассуждения вы¬ражает логический закон. Рассуждать логически правильно — значит рассуждать в соответствии с законами Л. Л. не просто перечисляет некоторые схемы правильного рас¬суждения. Она выявляет различные типы таких схем, устанавлива¬ет общие критерии их правильности, выделяет исходные схемы, из которых по определенным правилам могут быть получены другие схемы данного типа, исследует проблему взаимной совместимости схем и т. д. В современной Л. логические процессы изучаются путем их отображения в языках формализованных, или логических, исчислений. Построение исчисления отличается тщательностью, с которой формулируются его синтаксические и семантические правила, от¬сутствием исключений, характерных для естественного языка. Ис¬следованием формального строения логических исчислений, пра¬вил образования и преобразования входящих в них выражений занимается логический синтаксис. Отношения между исчисления¬ми и содержательными областями, служащими их интерпретаци¬ями или моделями, исследуются семантикой логической. Современная Л. слагается из большого числа логических систем, описывающих отдельные фрагменты, или типы, содержательных рассуждений. Эти системы принято делить на Л. классическую, включающую классические Л. высказываний и Л. предикатов, и Л. неклассическую, в которую входят модальная Л., интуиционист¬ская Л., многозначная Л., неклассические теории логического следо¬вания, паранепротиворечивая Л., Л. квантовой механики и др. Каж¬дая из этих Л. также включает, как правило, соответствующие Л. высказываний и Л. предикатов. Таким образом, хотя Л. как наука едина, она слагается из множества более или менее частных сис¬тем, ни одна из которых не может претендовать на выявление ло¬гических характеристик мышления в целом. Единство Л. проявляет¬ся прежде всего в том, что входящие в нее «отдельные» Л. пользуются при описании логических процессов одними и теми же методами исследования. Все они отвлекаются от конкретного содержания выс¬казываний и умозаключений и оперируют только их формальным, структурным содержанием. В каждой применяется язык символов и формул, строящийся в соответствии с общими для всех систем принципами. И наконец, «сконструированная» Л. вызывает ряд вопросов, характерных для любой системы: нет ли в ней противоре¬чий, охватывает ли она все истины рассматриваемого рода и др. (см.: Непротиворечивость, Полнота, Разрешения проблема). Между разными логическими системами имеются определенные связи. Одни системы могут быть эквивалентны другим, или включаться в них, или быть их обобщением и т. д. Единство Л. проявляется также в том, что разные Л. не противоречат друг другу: законами одной из них не являются отрицания законов, принятых в другой. История Л. насчитывает около двух с половиной тысячелетий и разделяется на два основных этапа. Первый начался с трудов Ари¬стотеля (384-322 до н. э.) и продолжался до второй половины XIX - начала XX в., второй — с этого времени до наших дней. На первом этапе Л. развивалась очень медленно, это дало И. Канту по¬вод заявить, что она является с самого начала завершенной наукой, не продвинувшейся после Аристотеля ни на один шаг. Ошибоч¬ность такого представления была ясно показана в последние сто с небольшим лет, когда в Л. произошла научная революция и на смену традиционной Л. пришла современная Л., называемая также математической или символической Л. В основе последней — идеи Г. Лейбница (1646-1716) о возможности представить доказатель¬ство как математическое вычисление. Д. Буль (1815-1864) истол¬ковал умозаключение как результат решения логических равенств, в результате чего теория умозаключения приняла вид своеоб¬разной алгебры, отличающейся от обычной алгебры лишь от¬сутствием численных коэффициентов и степеней. С работ Г. Фреге (1848-1925) начинается применение Л. для исследования оснований математики. Значительный вклад в развитие Л. в дальнейшем внесли Б. Рассел (1872-1970), А. Н. Уайтхед (1861-1947), Д. Гильберт (1862-1943) и др. В 30-е годы фундаментальные результаты получили К. Гёдель (1906-1978), А. Тарский (1901-1983), А.Чёрч(р. 1903). На первых порах современная Л. ориентировалась почти всеце¬ло на анализ только математических рассуждений. Это поддерживало иллюзию, что развитие Л. не зависит от эволюции теорети¬ческого мышления и не является в к.-л. смысле отображением последней. В 20-е годы XX в. предмет логических исследований существенно расширился. Начали складываться многозначная Л., предполага¬ющая, что наши утверждения являются не только истинными или ложными, но могут иметь и другие истинные значения; модальная Л., рассматривающая понятия необходимости, возможности, слу¬чайности и т. п.; деонтическая Л., изучающая логические связи нормативных высказываний, и др. Все эти новые разделы не были непосредственно связаны с математикой, в сферу логического ис¬следования вовлекались уже естественные и гуманитарные науки. В дальнейшем сложились и нашли интересные применения: Л. времени, описывающая логические связи высказываний о про¬шлом и будущем; паранепротиворечивая Л., не позволяющая вы¬водить из противоречий все что угодно; эпистемическая Л., изуча¬ющая понятия «опровержимо», «неразрешимо», «доказуемо», «убежден», «сомневается» и т. п.; оценок Л., имеющая дело с поня¬тиями «хорошо», «плохо», «безразлично», «лучше», «хуже» и т. п.; Л. изменения, говорящая об изменении и становлении нового; причинности Л., изучающая утверждения о детерминизме и при¬чинности; парафальсифицирующая Л., не позволяющая отвергать положения, хотя бы одно следствие которых оказалось ложным; релевантная Л. и др. Экстенсивный рост Л. не завершился и сейчас. Основные ее ветви, или разделы, можно сгруппировать так: о базисная Л., в которую входят классическая Л., модальная Л., многозначная Л., неклассические теории логического следования; >> металогика, исследующая сами логические теории, их внут¬реннюю структуру и связи с описываемой ими реальностью; о разделы математического направления, включающие теорию доказательства, теорию множеств, теорию функций, Л. вероятно¬стей, обоснование математики; о разделы, ориентированные на приложение в естественных и гуманитарных науках, такие, как индуктивная Л., изучающая про¬блематичные выводы, логические теории времени, причиннос¬ти, норм, оценок, действия, решения и выбора и др.; >> разделы, находящие применение при обсуждении опреде¬ленных философских проблем: Л. бытия, Л. изменения, Л. части и целого, логические теории вопросов, знания, убеждения, вооб¬ражения, стремления и т. п. Границы между этими областями не являются четкими, одни и те же ветви Л. могут иметь одновременно отношение к филосо¬фии и естествознанию, к математике и металогике и т. д. Прояснение и углубление оснований современной Л. сопро¬вождалось пересмотром и уточнением таких центральных ее по¬нятий, как логическая форма, логический закон, доказательство, логическое следование и др. Законы Л. долгое время представлялись абсолютными истина¬ми, никак не связанными с опытом. Однако возникновение конкурирующих логических теорий, отстаивающих разные множества законов, показало, что Л. складывается в практике мышления и что она меняется с изменением этой практики. Логические зако¬ны - такие же продукты человеческого опыта, как и аксиомы евклидовой геометрии, тоже казавшиеся когда-то априорными. Именно постоянно повторяющаяся практика выявляла некото¬рые общие и инвариантные отношения между вещами, вовлечен¬ными в трудовую деятельность, и закрепляла их в сознании в виде некоторых логических структур, лежащих в основе формулирова¬ния правил логики. Доказательство, и в особенности математическое, принято было считать императивным и универсальным указанием, обязатель¬ным для всякого непредубежденного ума. Развитие Л. показало, однако, что доказательства вовсе не обладают абсолютной, вне¬временной строгостью и являются только опосредствованными средствами убеждения. Даже способы математической аргумента¬ции на деле историчны и социально обусловлены. В разных логи¬ческих системах доказательствами считаются разные последова¬тельности утверждений, и ни одно доказательство не является окончательным. Перемены, происшедшие в Л. в XX в., приблизили ее к реально¬му мышлению и тем самым к человеческой деятельности, одной из разновидностей которой оно является. Для правильного понимания предмета и задач формальной Л. важно четко представлять ее соотношение с диалектической Л. Ди¬алектика как Л. исследует становление и развитие понятий и пред¬ставлений, их отношения, переходы, противоречия. Диалектиче¬ские принципы историзма, конкретности истины, единства абстрактного и конкретного, практики как критерия истины и т. д. направлены на познание закономерностей мышления, взятого в его движении и развитии, в последовательном постижении ре¬альности. Формальная Л. главное внимание направляет на прояс¬нение структуры готового знания, на описание его формальных связей и элементов. Диалектическая и формальная Л. - две разные науки, различающиеся как предметами своего исследования, так и методами. Современная Л. находит применение во многих областях. В час¬тности, она оказала влияние на развитие математики, прежде всего теории множеств, формальных систем, алгоритмов, рекурсивных функций; идеи и аппарат Л. используются в кибернетике, вычис¬лительной технике, в электротехнике и др. / логика подобно математике занята бессодержательным носителем содержания для того чтобы привязывая предлагаемый логикой носитель с необходимым потребителю содержанием знать правила пользования имеющимся материалом как на примере физики содержание физики работает соответственно бессодержательному математики так что не суйтесь в логику с религией но извлекайте логику в религию тогда и будет логика державной то есть нам принадлежащей а религия самодержавной то есть правее нас лишь бог которого мы слышим подчиняться ещё раз как в боевом искусстве приёмов много но главное не в их количестве а в качестве владения а совершенство мастерства в искусстве боя а не в бое по искуснее посмотри в базу стал и кто собьёт когда ты собственно она сама так что как прежде утверждаю логику для прикладного есть операторы мышления есть приёмы мышления есть аспекты мышления вот база для совокупности авторитетного мышления на собственные вкусы предрасположенности нравы
 
Логика Времени или: Временная логика, — раздел современной модальной логики, изучающий логические связи вре¬менных утверждений, т. е. утверждений, в которых временной па¬раметр включается в логическую форму. Л. в. начала складываться в 50-е годы XX в. прежде всего благодаря работам англ. логика А. Н. Прайора, хотя первые попытки учесть роль временного фак¬тора в логическом выводе относятся еще к античности (Аристотель, Диодор Кронос). Задачей Л.в. является построение искусственных (формализо¬ванных) языков, способных сделать более ясными и точными, а следовательно, и более плодотворными рассуждения о предметах и явлениях, существующих во времени. Л. в. представляет собой множество логических систем (логик), распадающихся на А-л о г и к у и B-логику времени. Пер¬вая ориентирована на временной ряд «прошлое — настоящее — будущее», вторая - на временной ряд «раньше - одновременно -позже». В А-логике рассматриваются высказывания с «будет», «было», «всегда будет», «всегда было» и т. п. Понятия «будет» («было») и «всегда будет» («всегда было») взаимно определимы: «Будет A» («Было A») означает «Неверно, что всегда будет не-А» («Неверно, что всегда было не-А»). Напр., «Будет ветрено» означает то же, что «Неверно, что всегда будет безветренно». В числе законов А-логики времени утверждения: >> то, что всегда будет, будет; то, что всегда было, было (напр.: «Если всегда будет время, то оно будет»); >> неверно, что наступит противоречивое событие; неверно, что было такое событие («Неверно, что было холодно и не холодно»); >> если будет, что будет нечто, оно будет; >> если неверно, что всегда было, что не всегда будет нечто, то оно имеет место сейчас; >> будет, что нечто было, если и только если оно или есть сей¬час, или будет, или уже было («Будет так, что шел снег, только если он или идет, или пойдет, или уже шел»); >> всегда было, что всегда будет нечто, только если оно есть, всегда было и всегда будет («Всегда было, что всегда будет хоро¬шая погода, в том и только том случае, если она есть, всегда была и всегда будет») и т. п. Финским философом и логиком Г. X. фон Вригтом А-логика времени формулируется с использованием выражений «...и за¬тем...» и «...и в следующей ситуации...». «A и затем В» означает «Сейчас А и будет В», что может пониматься также как «A изменяется (переходит) в B». Л.в. может, таким образом, истолковываться и как логика изменения. В терминах временных понятий могут быть определены модаль¬ные понятия «необходимо» и «возможно»: >> необходимым является то, что всегда было, есть и всегда бу¬дет («Пространство необходимо, только если оно всегда было, есть и всегда будет»); >> возможно то, что или было, или имеет место, или будет («Воз¬можно, что птицы улетают на юг, только если они уже улетели, улетают сейчас или улетят в будущем»). В B-логике времени рассматриваются высказывания с «рань¬ше», «позже» и «одновременно». Первые два из этих понятий вза¬имно определимы: «A раньше В» означает «В позже A». Одновре¬менные события могут быть определены как такие, что ни одно из них не раньше другого. Среди законов B-логики утверждения: >> ничто не раньше самого себя; >> если первое раньше второго, то неверно, что второе раньше первого; >> если первое раньше второго, а второе одновременно с треть¬им, то первое раньше третьего и т. п. Понятие «раньше» неопределимо через «было», «есть» и «будет»; раньше одно другого могут быть и два прошлых, и два будущих события. В свою очередь, временные оценки, включающие ссылку на «настоящее», несводимы к утверждениям с «раньше». А-логика и B-логика времени являются, таким образом, двумя самостоя¬тельными, несводимыми друг к другу ветвями Л. в. А-логика времени нашла приложения при обсуждении некото¬рых философских проблем, в анализе грамматических времен и др. B-логика использовалась при аксиоматизации определенных раз¬делов физики, биологии, при обсуждении проблемы непротиво¬речивого описания движения и др. Временные ряды «прошлое - настоящее - будущее» и «рань¬ше - одновременно - позже» несводимы друг к другу. Они независимы в широких пределах и представляют собой две точки зре¬ния на мир, два способа описания одних и тех же вещей и собы¬тий, дополняющие друг друга. Первый ряд употребляется по пре¬имуществу в гуманитарных науках, второй - в естественных. Можно сказать, что первые понятия служат для описания становле¬ния мира, вторые — для описания его бытия. Поскольку времен¬ные ряды несводимы друг к другу, возникает вопрос, не является ли один из них более фундаментальным. Согласно распространен¬ной точке зрения, в интерсубъективном, безличностном языке науки неправомерно употребление «было - есть - будет», предполагающих ссылку на «субъективное», постоянно меняющее свое положение «настоящее». С другой стороны, мир без «стрелы вре¬мени» неисторичен, он как бы задан сразу, и все события лежат в одной временной плоскости. К этому спору о допустимости использования в науке временных оценок с изменяющимся истинностным значением имеет пря¬мое отношение и Л. в. / с одной стороны обозначим было как > есть как = будет как < с другой стороны раньше (>) одновременно (=) позже (<) вопрос верно ли что эти стороны не соприкасаются смотрим если было раньше >(>) то есть ли быть и будет ли позже =(=)<(<) если раньше было не стать позже (>)><(<) то позже стало не быть и доныне (<)<<(=) если то что было раньше будет позже >(>)<(<) то есть ли ныне то что есть по ходу дела =(=)=(=) итэдэ примерь на если >(>) то =(=)<(<) раньше были бесы по церквям которых иуст разгонял ну и где которых нужно гнать с церквей вот так вот гонят на их гонящих мол верят в снятие греха путём указанным в их евангелиях примерь на если (>)><(<) то (<)<<(=) геоцентризм обоснованно сменился гелиоцентризмом потому и не возобновляется вот так бы и в религии поубирать с неё ошибки заметили христа и нежелания им быть не говоря уже о нежелании его вообще сей лгущей массой лицемеров примерь на если >(>)<(<) то =(=)=(=) иисус воскреснуть обещал мол повторюсь так что не повторитесь ещё раз было раньше было одновремённо было позже итэдэ так что ставить равенство между было и раньше не совсем этично по отношению к одновремённо и позже вот так и в боге ставить точку на равенстве между христом и прежним исусом не совсем этично по отношению к нему же настоящему и будущему как на примере авраама патриарх воскреснул плотью иуста а тем довольно было прежнего
 
Логика Высказываний или: Пропозициональная логика, — раздел логики, формализующий употребление логичес¬ких связок «и», «или», «не», «если, то» и т. п., служащих для образова¬ния сложных высказываний из простых. Высказывание называется простым, если оно не включает в себя другие высказывания, в противном случае оно называется с л о ж н ы м. В Л. в. простые выс¬казывания рассматриваются в отвлечении от их внутренней (субъектно-предикатной) структуры. Та или иная истинностная оценка высказывания именуется его истинностным значением. В логике классической предполагается, что простое высказыва¬ние является либо истинным, либо ложным (см.: Двузначности принцип) и что истинностное значение сложного высказывания зависит только от истинностных значений входящих в него про¬стых высказываний и характера их связи. Так, соединение двух высказываний с помощью связки «и» дает сложное высказывание (именуемое конъюнкцией), являюще¬еся истинным, только когда оба составляющие его высказывания истинны. Сложное высказывание, образованное с помощью связ¬ки «или» (дизъюнкция), истинно, если и только если хотя бы одно из двух входящих в него высказываний истинно. Сложное выска¬зывание, образованное с помощью «не» (отрицания), истинно, если только исходное высказывание ложно. Сложное высказывание, полученное из двух высказываний с помощью связки «если, то» (импликация), истинно в трех случаях: оба входящие в него выска¬зывания истинны, оба они ложны, первое из этих высказываний (следующее за словом «если») ложно, а второе (следующее за сло¬вом «то») истинно; импликация является ложной только когда первое из составляющих ее высказываний истинно, а второе ложно. Возможны и другие способы образования сложных высказыва¬ний. Всего в классической двузначной логике четыре способа об¬разования сложного высказывания из одного высказывания и шестнадцать способов образования сложного высказывания из двух высказываний. Язык Л. в. включает бесконечное множество переменных: р, q, r,..., p1, q1, r1, ..., представляющих высказывания, и особые символы для логических связок : & — конъюнкция («и»), v - дизъюнкция («или»), ~ - отрицание («не» или «неверно, что»), -> — имплика¬ция («если, то»). Роль знаков препинания обычного языка играют скобки. Понятие формулы в Л. в. определяется так: отдельная переменная является формулой; если A и В — формулы, то (А&В), (AvB), ~A и (A->B) также формулы. Формулам Л. в., образованным из переменных и связок, в естественном языке соответствуют предложения. Напр., если р есть высказывание «Сейчас ночь», q — высказывание «Сейчас темно» и r — высказывание «Сейчас ветрено», то формула (p->(qvr)) представляет высказывание «Если сейчас ночь, то сейчас темно или ветрено», формула ((q&.r)->p) - высказывание «Если сейчас темно и ветренно, то сейчас ночь», формула (~q->~p) — высказывание: «Если неверно, что сейчас темно, то сейчас не ночь» и т. п. Подставляя вместо переменных другие высказывания, получим другие переводы указанных формул на обычный язык. Каждой формуле Л. в. можно поставить в соответствие таблицу истинности, указывающую зависимость истинностного значения формулы от истинностных значений входящих в нее переменных. Напр., формула (~q->~p) принимает значение «ложно» только в случае ложности q и истинности р. Формула Л. в. называется тождественно-истинной, или тавтологией, если и только если она принимает значение «истин¬но» при всех распределениях истинностных значений входящих в нее простых высказываний. Формула, принимающая при всех рас¬пределениях значение «ложно», называется противоречием. Тавто¬логии выражают логические законы. К тавтологиям относятся, в ча¬стности, формулы: (р->р) — закон тождества, ~(р&~р) — закон непротиворечия, (pv~p) — закон исключенного третьего, (p->q)->(~q->~p) - закон контрапозиции. Множество тавтологий бесконечно. Л. в. может быть представлена также в форме логического исчис¬ления, в котором задается способ доказательства некоторых выс¬казываний (формул), называемых теоремами. Исчисление может быть формализовано с помощью аксиоматического метода. При этом указываются формулы, принимаемые в качестве аксиом, и задаются правила вывода, позволяющие получать из аксиом теоре¬мы. Аксиоматическое исчисление высказываний строится таким образом, чтобы класс теорем совпадал с классом тавтологий, т. е. чтобы каждая теорема была тавтологией и каждая тавтология — теоремой (см.: Полнота). По отношению к аксиоматическому по¬строению встают также вопросы о его непротиворечивости и неза¬висимости принятых аксиом и правил вывода. Наряду с классической Л. в., предполагающей, что всякое выс¬казывание является истинным или ложным, существуют много¬образные неклассические Л. в. В числе последних — многозначные Л. в., интуиционистская Л. в. и др. / если истинное высказывание что положительное положение а ложное что отрицательное тогда действие их сложения должно приводить их убавление друг другом иначе высказывание уподобится решению до знака равенства без собственного на себя ответа после знака равенства примерь те крестятся двумя мол отцом и сыном те тремя мол святага духа позабыли те тем в ответ а кукиш вами ну те и выдали в ответ держите сами ну и в ответе видим пять двоих как при решении а не единое от двух как после быть обязано или вот это икона святость христианства аллах нам завещал не верить в святость рукоделия не нашей веры вы тогда да сами вы неверные и так в ответе как до ответа два своих а не одного единого аллаха иже бога всем и вся ещё раз креститься нужно богом как на примере астрономии перекрестились ею понести её и дальше в путь её святыми так что вы руки спрячьте от беды ибо то в боге постороннее да и святость бога бог как на примере математики она во всём но извлекать умете или она вам не нужна ибо вам бы лишь бы и себе поучаствовать в сём зрелище её уничтожения заметь как много в боге не решённого к примеру те отмечают день христа а те в другой но оба в не настоящий день а в календарный те служат лицами к народу те от народа лицами но оба лицами не служат богом ибо лицами в него не вышли что у тех туризм что у этих что там едят что там не голодают что там носимое не так что там так не носимое ну и в чём меж ними разница когда меж ними знаки равенства усугубляющих неположительное
 
Логика Дедуктивная см.: Дедукция. / вы б научились действовать на уровне плюс минус тогда бы поднялись до уровня произвести и отнести а после и вообще поднялись бы до уровня корней и степеней логарифмов и тэдэ ещё раз возвратись к логике высказывания и научись завершать начатое ибо пророк не отступится от начатого так что продолжение от меня 2.27.16.17 будет соответственно совершённому от вас 2.27.12.10
 
Логика Изменения - раздел современной логики, занима¬ющийся исследованием логических связей высказываний об из¬менении и становлении материальных или идеальных объектов. Л.и. относится к логике неклассической; ее задача — построение искусственных (формализованных) языков, способных сделать бо¬лее ясными и точными рассуждения об изменении объекта — переходе его от одного состояния к другому, о становлении объекта, его формировании. В Л. и. ничего не говорится о конкретных характеристиках изменения и становления. Она только предоставляет совершенный с точки зрения синтаксиса и семантики язык, позволяющий дать строгие утверждения об изменении объекта, вскрыть основания и следствия этих утверждений, выявить их возможные и невозможные комбинации. Использование искусствен¬ного языка при обсуждении проблем изменения объекта не есть подмена этих онтологических проблем логическими, сведение эм¬пирических свойств и зависимостей к логическим. Разработка Л. и. идет по двум направлениям: построение специальных Л. и. и истолкование определенных систем логики времени как логических описаний изменений. При первом подходе обычно дается «одномоментная» характеристика изменяющегося объекта, при втором изменение рассматривается как отношение между дву¬мя последовательными состояниями объекта. К первому направлению относится, в частности, логика на¬правленности. Язык логики направленности богаче, чем язык логики классической; он включает не только термины «существует» и «не существует», но также термины «возникает», «исчезает», «уже есть», «еще есть», «уже нет», «еще нет» и т. п. С помощью этих терминов формулируются законы логики направленности: >> существовать — это то же, что начинать исчезать, и то же, что переставать возникать; >> не существовать - то же, что начинать возникать, и то же, что прекращать исчезать; >> становление — прекращение несуществования, а исчезнове¬ние - возникновение несуществования; >> уже существует — значит существует или возникает и т. п. Логика направленности допускает четыре типа существования объектов: бытие, небытие, возникновение (становление) и ис¬чезновение. Относительно всякого объекта верно, что он или су¬ществует, или не существует, или возникает, или исчезает. Вместе с тем объект не может одновременно существовать и не существо¬вать, существовать и возникать, не существовать и исчезать, возни¬кать и исчезать и т. п. Иными словами, четыре типа существования исчерпывают все возможные способы существования и являются взаимно несовместимыми. Логика направленности позволяет вы¬разить в логически непротиворечивой форме гегелевское утверждение о противоречивости всякого движения и изменения. Ут¬верждение «Предмет движется в данный момент в данном месте» эквивалентно утверждению «В рассматриваемый момент предмет находится и не находится в данном месте». Примером второго подхода может служить логика времени финского философа и логика Г. X. фон Вригта (р. 1916). Ее исходное выражение «A и в следующей ситуации В» может интерпретироваться как «Состояние А изменяется в состояние В» («А-мир переходит в B-мир»), что дает Л. и. В логике времени доказуе¬мы такие теоремы: >> всякое состояние либо сохраняется, либо возникает, либо исчезает; >> при изменении состояние не может одновременно сохра¬няться и исчезать, сохраняться и возникать, возникать и исчезать; >> изменение не может начинаться с логически противоречи¬вых состояний и не может вести к таким состояниям и т. п. Примеры утверждений, доказуемых в различных системах Л. и., показывают, что она не является самостоятельной теорией из¬менения и не может претендовать на то, чтобы быть таковой. Фор¬мально-логический анализ изменения объекта преследует узкую цель - отыскание средств, позволяющих отчетливо зафиксировать логические связи утверждений об изменении того или иного объекта. Вместе с тем Л. и. имеет важное философское значение, по¬скольку тема изменения (становления) еще с античности стоит в центре острых философских дискуссий. Л. и. позволяет, кроме про¬чего, прояснить отношение формальной логики к концепции внут¬ренне противоречивой сущности становления. / если бог сущность законодательства по которому всё существует то как он есть во всём что существует рассмотрим вопрос с использованием модели математики как сущности законодательства видим внутри нас математика предстаёт нашим её сознанием нами математика предстаёт математиками вне нас математика предстаёт чем только не предстаёт в глубине всего математика предстаёт нашим собственным её естеством которое либо есть в человеке либо в меру наличия и результаты нашего её познания ещё раз сознание растёт математики сменяются обстоятельства применения соответствуют настоящему состоянию дел математические местоимения входят в общий курс математики соответственно своему в нём расположению заметь как математика предстаёт тремя четвёртого и двумя третьего и единым двух и двумя одного и тремя двух и четырьмя трёх
 
Логика Квантовой Механики- логическая теория, цель которой — описание логических связей высказываний об объектах, исследуемых квантовой механикой. Переворот, произведенный в физическом мышлении квантовой механикой, был настолько радикальным, что возникла идея особой «логики микромира», от¬личной от обычной «логики макромира». В середине 30-х годов была построена первая Л. к. м., положившая начало еще одному направлению логики неклассической. Позднее немецкий философ и логик Г. Рейхенбах (1891-1953) предложил трехзначную логику без закона исключенного третьего, призванную устранять «причин¬ные аномалии», возникающие при попытке применять обычное причинное объяснение к квантовым явлениям. К настоящему времени построены десятки логических систем, стремящихся выявить своеобразие рассуждений в квантовой ме¬ханике. Эти «логики микромира» существенно отличаются друг от друга как законами, так и способами обоснования. Чаще всего в этих логических системах отказываются от закона коммутативно¬сти для конъюнкции («и») и дизъюнкции («или») (выражение «А и В» не считается равносильным выражению «В и А», а «А или В» — равносильным «В или A»), от закона дистрибутивности конъюнк¬ции относительно дизъюнкции и др. В первый период своего развития Л. к. м. встретила как критику, так и одобрение. Длительная полемика не внесла, однако, яснос¬ти в вопрос, действительно ли квантовая механика руководству¬ется особой логикой. Если даже это так, надо признать, что ис¬следования в данном направлении не оказали воздействия на саму механику. Вместе с тем Л. к. м. нашла интересные приложения в некоторых других областях. / исходя из знания логики изменений ну и естественно естественному умозаключению вероятностной логики заключаем вывод о соответствии мира сознания микромиру мира общества молекулярному миру макромира макромиру глубины мира космическому миру ещё раз гипотеза это ещё не утверждение но предложение подумать в этом направлении к примеру внутри то присутствует постоянная ссылка на относительность нами то как в химии либо сплотилось либо соответственно валентности вне нас то классика а понимание глубины всего как те звёздочки на небе по которым мы его и видим
 
Логика Классическая- раздел современной (математичес¬кой, символической) логики, включающий классическую логику высказываний и классическую логику предикатов. Л.к. опирается на двузначности принцип, в соответствии с которым всякое высказы¬вание является или истинным, или ложным. У истоков Л. к. стоят, наряду со многими другими исследователями, Д. Буль (1815-1864), А. де Морган (1806-1871), Ч. Пирс (1839-1914). В их работах была постепенно реализована идея перенесения в ло¬гику тех методов, которые обычно применяются в математике. Пос¬ледний шаг в математизации логики в прошлом веке был сделан Г. Фреге (1848-1925). Уже в этом веке важный вклад в развитие Л. к. внесли Б. Рассел (1872-1970), А. Уайтхед (1861-1947), Г. Гиль¬берт (1862-1943) и др. Л. к. ориентировалась главным образом на анализ математичес¬ких рассуждений. С этим связаны многие ее особенности, нередко расценивающиеся теперь как недостатки. В частности, формальным аналогом условного высказывания в Л.к. является импликация мате¬риальная, для которой верны положения: истинное высказывание имплицируется любым высказыванием, ложное высказывание имплицирует каждое высказывание и другие парадоксы импликации. Критика Л. к. началась в начале XX в. и велась в разных направ¬лениях. Результатом ее явилось возникновение новых разделов со¬временной логики, составляющих в совокупности логику неклас¬сическую. Л. к. остается тем не менее ядром современной логики, сохраняющим свою теоретическую и практическую значимость. Явившись тем образцом, от которого отталкивались разнообраз¬ные неклассические системы, Л. к., как правило, оказывается в оп¬ределенном смысле предельным и притом наиболее простым слу¬чаем последних. Многие из них могут быть представлены как расширения Л.к., обогащающие ее выразительные средства. / как на примере математики есть положительная ветвь чисел и отрицательная и математика сих двух без учёта положения нуля области плюс минус единицы наличия двух бесконечностей другой оси других и плоскостей ещё раз хотя и мало арифметики зато во всём её сполна
 
Логика Классов - раздел математической логики, соответ¬ствующий узкому исчислению одноместных предикатов, которые заменяются объемами, классами. Л. к. соответствует и силлогистике Аристотеля. Иногда Л. к. рассматривается как формализованная теория множеств, в других случаях - как расширение логики выс¬казываний. Если в логике высказываний отвлекаются от связей меж¬ду субъектом и предикатом высказывания, то в Л. к. эти связи учи¬тываются. В число классов в Л. к. включается и пустой класс (0), содержащий нулевое множество элементов, и универсальный класс (1), включающий все объекты рассматриваемой области. С класса¬ми можно производить операции пересечения, объединения и допол¬нения. К алфавиту логики высказываний в Л.к. добавляются пере¬менные а, b, с, ... для классов; знаки, обозначающие операции с классами; постоянные термы 0 и 1 и знаки для обозначения от¬ношений между классами. Далее дается индуктивное определение терма и класса. Вводятся отношение включения класса в класс (аb) (а включается в класс b), отношение равенства двух клас¬сов (а=b). Оба эти отношения могут быть определены через отно¬шение принадлежности элемента классу (аÎb). Элементарные формулы в Л. к. имеют вид: иÌv, u=v, где и и v — термы. Если формула Р является истинной, то это означает, что она истинна для любых классов области, являющихся значениями переменных, входящих в формулу Р. Если она истинна в любых областях, то она тождественно-истинна. Так, формула (a Ç b Ì a) гласит, что всякий элемент, содержащийся в обоих классах а и b, содержится и в классе а. Эта формула истинна не только для лю¬бых классов а и b данной области D, но и для всяких классов любой области D. Таблицы истинности, соответствующие возможным значени¬ям для термов (u Ç v), (u È v), u', (и É v), (u= v), будут совпадать соответ¬ственно с таблицами конъюнкции, дизъюнкции, отрицания, имплика¬ции, эквивалентности. Четыре Аристотелевы формы элементарных высказываний — общеутвердительного А, частноутвердительного I, общеотрицательного Е, частноотрицательного О (см.: Сужде¬ние) — могут быть соответственно выражены так: и Ì v («Все и суть v»); ~(и Ì v') («Некоторые и суть v», т. е. «Неверно, что все и суть не-v»); (иÌv') («Никакое и не есть v», т. е. «Всякое и есть не -v»); ~(иÉv) (Некоторые и не суть v», т. е. «Неверно, что все и суть v»). / как на примере математики элементы входят в классы которые подобно множествам в математике подчинены теории множеств которая позволяет прослеживать как связи так и их отсутствие как взаимодействия так и противодействия ну и что нам множество даёт даёт видеть элементы частью общего единства ну и соответственно не общего ещё раз бог предстаёт предметом собственного имени как на примере математики есть нам от нас себе её предмет ну и образуем множества к примеру коллектива бога как на примере астрономии не тот в ней астроном кто у людей в авторитете но тот в ней астроном за кем признала право астрономия ну и видим два народа иже множества проверь вот класс каина который при делах совсем не делом занят вот класс авеля который в дело не войдёт по причине занятости места и угрозы быть распятым по обвиненью в рейдерстве заметь как сама история предстаёт множеством входящих в её область множеств вот так вот что ни история то класс что ни усваивание то работа с множеством
 


Все | А | Б | В | Г | Д | З | И | К | Л | М | Н | О | П | Р | С | Т | У | Ф | Ц | Ч | Э | Ю | Я


Glossary V2.0

БЛАГОУСТРАИВАТЬ

для записи 2.27.20.6

чинам чести 1.1.49 чинам чести 2.27.7