Логическое заземление: функциональное заземление — это… Что такое функциональное заземление?

Содержание

функциональное заземление — это… Что такое функциональное заземление?

функциональное заземление

3.8.1 функциональное заземление: Проводник, который имеет электрический контакт с Землей для целей улучшения помехоустойчивости.

функциональное заземление

(functional earthing functional grounding (US)):

Заземление точки или точек системы или установки, или оборудования не в целях электробезопасности.

сопротивление относительно земли

(resistance to earth

resistance to ground (US)):

Активная составляющая полного сопротивления относительно земли.

826-13-20

[195-01-15]

защитный проводник уравнивания потенциалов

(protective bonding conductor

equipotential bonding conductor (deprecated)):

Защитный проводник, предназначенный для защитного уравнивания потенциалов.

826-13-27

[195-02-14]

система защитного уравнивания потенциалов

(protective equipotential bonding system; PEBS):

Система уравнивания потенциалов, обеспечивающая защитное уравнивание потенциалов.

826-13-34

[195-02-32]

826-14-01

3.27. функциональное заземление : Эквипотенциальное заземление, требуемое для обеспечения работоспособности электрического оборудования должным образом.

3.10 функциональное заземление (functional earthing): Заземление точки или точек в оборудовании, системе или установке для иных, чем электрическая безопасность целей.

1.2.13.9 функциональное заземление

(functional earthing): Заземление какой-нибудь точки оборудования или системы по причинам, не связанным с безопасностью.

3.5 функциональное заземление (functional ground): Подключение к земле посредством клеммы в целях, отличных от электробезопасности.

1. 2.13.9 функциональное заземление (functional earthing): Заземление какой-нибудь точки оборудования или системы по причинам, не связанным с безопасностью.

[МЭС 195-01-13, модифицировано]

3.14 функциональное заземление: Заземление для обеспечения нормального функционирования аппарата, на корпусе которого по требованию разработчика не должен присутствовать даже малейший электрический потенциал (иногда для этого требуется наличие отдельного электрически независимого заземлителя).

3.15 функциональное заземление: Заземление, для обеспечения нормального функционирования аппарата, на корпусе которого по требованию разработчика не должен присутствовать даже малейший электрический потенциал (иногда для этого требуется наличие отдельного электрически независимого заземлителя).

1.2.13.9 ФУНКЦИОНАЛЬНОЕ ЗАЗЕМЛЕНИЕ: Заземление какой-нибудь точки оборудования или системы по соображениям, не связанным с безопасностью [МЭС 195-01-13, модифицированный].

1.2.73 функциональное заземление (functional earthing): Заземление точки в системе, установке или оборудовании, которое необходимо для правильного функционирования системы, установки или оборудования, но которое не является частью защиты от поражения электрическим током.

Смотри также родственные термины:

3.23 функциональное заземление (земля) (functional earth (ground))  МЭК 60417-5017: 2002: Контактный зажим, к которому должны быть присоединены детали, если возникнет необходимость заземления не в целях безопасности.

Примечания

1. В некоторых случаях зажигающие вспомогательные устройства, смежные с лампами, присоединяют к одному из выходных контактных зажимов, но не обязательно к зажиму заземления на стороне сети.

2. В некоторых случаях может потребоваться функциональное заземление для облегчения зажигания или для электромагнитной совместимости.

Словарь-справочник терминов нормативно-технической документации. academic.ru. 2015.

  • функциональное дополнение ГНСС
  • функциональное заземление (земля)

Полезное


Смотреть что такое «функциональное заземление» в других словарях:

  • функциональное заземление — Заземление точки или точек системы, или установки, или оборудования в целях, отличных от целей электробезопасности. [ГОСТ Р МЭК 60050 195 2005] [ГОСТ Р МЭК 60050 826 2009] функциональное заземление Эквипотенциальное заземление, требуемое для… …   Справочник технического переводчика

  • функциональное заземление — Заземление точки или точек системы, или установки, или оборудования в целях, отличных от целей электробезопасности. [ГОСТ Р МЭК 60050 195 2005] [ГОСТ Р МЭК 60050 826 2009] функциональное заземление Эквипотенциальное заземление, требуемое для… …   Справочник технического переводчика

  • функциональное заземление (земля) — 3.

    23 функциональное заземление (земля) (functional earth (ground))  МЭК 60417 5017: 2002: Контактный зажим, к которому должны быть присоединены детали, если возникнет необходимость заземления не в целях безопасности. Примечания 1. В некоторых… …   Словарь-справочник терминов нормативно-технической документации

  • Рабочее (функциональное) заземление — 1.7.30. Рабочее (функциональное) заземление заземление точки или точек токоведущих частей электроустановки, выполняемое для обеспечения работы электроустановки (не в целях электробезопасности)… Источник: Приказ Минэнерго РФ от 08.07.2002 N 204… …   Официальная терминология

  • Телекоммуникационное (функциональное) заземление — 3.38 Телекоммуникационное (функциональное) заземление : Составная часть ЗУ объекта, используемая для заземления информационного оборудования, экранов информационных кабелей, а также металлоконструкций кабельных эстакад, лотков и коробов в которых …   Словарь-справочник терминов нормативно-технической документации

  • заземление системы электроснабжения — (Нрк. заземление силовой сети) (power) system earthing power system grounding (US)): Функциональное заземление и защитное заземление точки или точек системы электроснабжения. 826 13 13 [195 02 29] эквипотенциальность (equipotentiality): Состояние …   Словарь-справочник терминов нормативно-технической документации

  • заземление системы электроснабжения — Нрк. заземление силовой сети Функциональное заземление и защитное заземление точки или точек системы электроснабжения. [ГОСТ Р МЭК 60050 826 2009] EN (power) system earthing (power) system grounding (US) functional earthing and protective… …   Справочник технического переводчика

  • заземление — 50 заземление Преднамеренное электрическое соединение какой либо части электроустановки с заземляющим устройством 604 04 01 de Erden en to earth (equipment, an installation or a system), to ground (USA) fr mettre à la terre (un appareil, une… …   Словарь-справочник терминов нормативно-технической документации

  • Заземление — Статья не является нормативным документом. Предупреждение: статья носит чисто информативный характер и не является нормативным документом. При выполнении работ, связанных с электричеством, следует руководствоваться …   Википедия

  • функциональное уравнивание потенциалов — Уравнивание потенциалов, не связанное с обеспечением электробезопасности. [ГОСТ Р МЭК 60050 195 2005] функциональное уравнивание потенциалов Уравнивание потенциалов, выполняемое с иной целью, чем обеспечение электрической безопасности.… …   Справочник технического переводчика

Функциональное заземление — Sko-group

Рабочее (функциональное) заземление – заземление точки или точек токоведущих частей электроустановки, выполняемое для обеспечения работы электроустановки ( не в целях электробезопасности) — ПУЭ п. 1.7.30.

Определение FE для сетей питания информационного оборудования и систем связи дано в следующих пунктах:

«Функциональное заземление: заземление для обеспечения нормального функционирования аппарата, на корпусе которого по требованию разработчика не должен присутствовать даже малейший электрический потенциал ( иногда для этого требуется наличие отдельного электрически независимого заземлителя )» — 

ГОСТ Р 50571. 22-2000  п. 3.14.

«Функциональное заземление может выполняться путём использования защитного проводника (РЕ-проводника) цепи питания оборудования информационных технологий в системе заземления TN-S.

«Допускается функциональный заземляющий проводник ( FE-проводник ) и защитный проводник (РЕ-проводник) объединять в один специальный проводник и присоединять его к  главной заземляющей шине (ГЗШ)» — 

ГОСТ Р 50571.21-2000  п. 548.3.1

Основная система уравнивания потенциалов в электроустановках до 1 кВ должна соединять между собой следующие проводящие части:

1 ) нулевой защитный РЕ- или РЕN- проводник питающей линии в системе TN;

2 ) заземляющий проводник, присоединённый к заземляющему устройству электроустановки, в системах IT и TT;

3 ) заземляющий проводник, присоединённый к заземлителю повторного заземления на вводе в здание;

4) металлические трубы коммуникаций , входящих в здание…

5 ) металлические части каркаса здания;

6 ) металлические части централизованных систем вентиляции и кондиционирования….

7 ) заземляющее устройство системы молниезащиты 2-й и 3-й категории;

8 ) заземляющий проводник функционального ( рабочего ) заземления, если таковое имеется и отсутствуют ограничения на присоединение сети рабочего заземления к заземляющему устройству защитного заземления;

9 ) металлические оболочки телекоммуникационных кабелей.

Для соединения с основной системой уравнивания потенциалов все указанные части должны быть присоединены к главной заземляющей шине при помощи проводников системы уравнивания потенциалов — ПУЭ п. 1.7.82.

Система дополнительного уравнивания потенциалов должна соединять между собой все одновременно доступные прикосновению открытые проводящие части стационарного электрооборудования и сторонние проводящие части, включая доступные прикосновению металлические части строительных конструкций здания, а также нулевые защитные проводники в системе TN и защитные заземляющие проводники в системах IT и ТТ, включая защитные проводники штепсельных розеток — ПУЭ п. 1.7.83. ГОСТ Р 50571.3-94.

 Система местного уравнивания потенциалов.

Незаземлённая система местного уравнивания потенциалов предназначена для предотвращения появления опасного напряжения прикосновения.

Все открытые проводящие части и сторонние проводящие части, одновременно доступные для прикосновения, должны быть объединены.

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

 Обозначения:

РЕ – защитное заземление

FE – рабочее ( функциональное, технологическое ) заземление

Функциональное заземление применительно к учреждениям ЛПУ — для обеспечения нормальной, без помех работы высокочувствительной электроаппаратуры при питании от разделительного трансформатора или согласно техническим требованиям на некоторые виды оборудования

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

При отсутствии особых требований изготовителей аппаратуры общее сопротивление растеканию тока заземляющего устройства не должно превышать 2 Ом.

Где  ГЗШ – главная заземляющая шина защитного заземления.

        ГШФЗ – главная шина функционального ( рабочего ) заземления.

Вариант «А», с точки зрения электробезопасности, допустим только при условии, что аппаратура питается от разделительного трансформатора ( IT – сеть ).

Использовать данный вариант для сетей типа TNS категорически не рекомендуется !

  Рис.2. Схема протекания тока замыкания на корпус аппарата при использовании независимого функциональног заземления в сети типа TN.

Так как функциональное заземление в отличие от защитного не имеет точки соединения с ГЗШ, а соответственно с нейтралью, то токи короткого замыкания составят не сотни и тысячи ампер, как это происходит при защитном заземлении, а всего лишь десятки ампер. Ситуация усугубится при условии, что FE по заданию выполнено 10 Ом, а в цепи отсутствует УЗО ( вычислительная техника, томографы, рентгеновское оборудование и тд. ).

Максимальный ток короткого замыкания составит 15,7А.

Iкз = 220(В) / (4 + 10)(Ом) = 15,7(А)

При данной схеме питания лучше воспользоваться вариантом «В» или «С», особенно если речь идет о мощном стационарном оборудовании ( рентгенаппараты, МРТ и тд. ).

Помимо сказанного выше, ситуация ( с точки зрения электробезопасности ) осложняется вероятностью возникновения разности потенциалов на раздельных системах заземления, тем более если эти системы заземления находятся в пределах одного помещения см. рис.3.

  1. Шаговое напряжение при срабатывании системы молниезащиты.
  2. КЗ на корпус в сети ТN-S до срабатывания системы защиты
  3. Внешние электромагнитные поля.

 

Вариант «В» удобен при реконструкции уже действующих объектов. Функциональное заземление при этом нередко выполняют с использованием составного, глубинного заземлителя. Второй положительный момент – функциональные заземлители и заземлители защитного заземления связанные между собой проводником уравнивания потенциала взаимно дублируют друг друга увеличивая надежность системы заземления.

Недостатки по электробезопасности, по сравнению с вариантом «А», либо отсутствуют, либо эффективно снижаются в десятки раз, а «лучевая» схема заземления обеспечивает стабильную работу оборудования.

Вариант «С» последнее время получает широкое распространение при проектировании новых объектов и соответствует высокому уровню электробезопасности.

Функциональное заземление микропроцессорных устройств релейной защиты: насущная необходимость или инерция мышления?

Современная, правильно спроектированная система заземления МУРЗ выполняется многоточечной с использованием эквипотенциальной поверхности. В качестве эквипотенциальной поверхности могут использоваться металлические элементы конструкций релейных шкафов (рис.1).

Устройство заземления МУРЗ с использованием эквипотенциальной поверхности показано на рис.2, на котором обозначены:

1 – МУРЗ в металлических корпусах;

2 – заземляющие медные шинки;

3 – элемент конструкции металлического шкафа, выполняющего функцию эквипотенциальной поверхности.

Основной функцией МУРЗ является обработка информации, поступающей на его входы (в виде токов, напряжений, логических сигналов), ее запоминание и выдача результатов этой обработки в виде сигналов на его выходе. По этому набору функций МУРЗ входит в область применения стандарта IEC 60950-1 [1]. В соответствии с п. 2.6.2 этого стандарта «цепь функционального заземления должна быть отделена от частей, на которых возможно появление высокого потенциала».

Соблюдается ли основное условие этого требования на заземленном корпусе МУРЗ в реальных условиях эксплуатации РЗ, на подстанциях и электростанциях? По данным, представленным в [2], в ситуации, когда множество электрических аппаратов и отдельных устройств релейной защиты энергообъекта расположены на значительном удалении друг от друга и заземлены в местах их расположения, неизбежно появление высокой разности потенциалов между точками заземления, которая при разрядах молнии может доходить до 10 кВ.

Если два МУРЗ расположены на значительном расстоянии друг от друга и их порты связи соединены между собой через Ethernet посредством витой пары (рис.3), то это напряжение будет прикладываться к этим наименее защищенным от импульсов высокого напряжения узлам МУРЗ. По свидетельству [3]: «чем больше площадь территории защищаемого объекта, тем больший потенциал для проблем». Здесь следует отметить, что использование системы Ethernet с витыми парами многожильного медного кабеля сегодня все чаще приходит на смену дорогой оптоволоконной линии связи в релейной защите. Это общемировая тенденция, направленная на сокращение затрат в электроэнергетике.

По причине низкой защищенности портов связи, они не испытываются (в отличие от остальных входов и выходов МУРЗ) повышенным импульсным напряжением вообще (стандарты IEC 60255-5, 60255-22-5) или испытываются пониженным напряжением (стандарты IEC 60255-22-1, 60255-22-4). По свидетельству [2] уровень импульсных перенапряжений, возникающий при разрядах молнии и приложенный к изоляции цепей электронной аппаратуры, превосходит в несколько раз принятые уровни устойчивости электронной аппаратуры промышленного назначения. И это при протекании тока молнии через систему заземления под действием обычных разрядов молнии. Но разряды молнии не единственный источник мощных электромагнитных воздействий на МУРЗ.

В последнее время стала актуальной проблема защиты электроэнергетических систем от, так называемых, преднамеренных дистанционных деструктивных воздействий [4], наиболее мощным из которых является электромагнитный импульс высотного ядерного взрыва (ЭМИ ЯВ). Составляющая Е1 ЭМИ ЯВ создает у поверхности земли импульс электрического поля с напряженностью, доходящей до 50 кВ/м [4]. Разветвленная система заземления играет роль огромной антенны для такого импульса, абсорбирующей энергию с большой площади и доставляющей ее через цепи заземления прямо к чувствительной электронной аппаратуре, включая МУРЗ.

С другой стороны, возникает вопрос о том, насколько вообще необходимо функциональное заземление МУРЗ? Ведь совершенно очевидно, что реально существующие системы заземления вовсе не являются эквипотенциальной поверхностью с нулевым потенциалом, который требуется для надежной работы электронных цепей и не играют роль обратного провода, необходимого для возврата каких-то сигналов к МУРЗ. Скорее, наоборот, в самых критических ситуациях, на которые она, собственно, и рассчитана, система заземления становятся источником высоковольтных импульсов, прикладываемых к чувствительной электронной аппаратуре.

В ранних конструкциях МУРЗ, произведенных 20 и более лет тому назад, функциональные модули, расположенные на отдельных печатных платах, имели специальные зачищенные и покрытые слоем серебра участки печатных проводников, увеличенной ширины. Эти участки, при установке платы в корпусе, приходили в соприкосновение со специальными пружинами, обеспечивающими контакт этих печатных проводников с заземленным корпусом МУРЗ.

Печатная плата DPR с зачищенными участками печатного монтажа (1 и 2), контактирующими с заземленным корпусом посредством специальной пружины, показана на рис.4.

В современных конструкциях МУРЗ очень редко можно найти такие специальные ухищрения для выполнения функционального заземления. И это вполне оправдано, поскольку все входные и выходные цепи МУРЗ (за исключением портов связи) хорошо изолированы от земли и от других электроустановок: цепи питания – посредством трансформатора внутреннего источника питания, аналоговые входы – изоляцией внутренних трансформаторов тока и напряжения, логические входы – посредством оптронов, выходная цепь – изоляцией выходных электромеханических реле. К тому же, работоспособность внутренних электронных цепей МУРЗ никак не связана с наличием или отсутствием внешнего заземления.

Что же касается эффективности защиты чувствительных электронных цепей МУРЗ от воздействия внешних электромагнитных полей с помощью металлического корпуса, призванного играть роль, так называемой, «клетки Фарадея», то эта эффективность никак не зависит от наличия или отсутствия заземления. То есть заземление корпуса МУРЗ никак не влияет на эффективность экранирующего эффекта корпуса.

С другой стороны, если сигналы помех поступают на электронные цепи МУРЗ, расположенные внутри корпуса, по кабелям, то каким образом заземление его корпуса предотвратит воздействие этих помех (особенно помех дифференциального типа)? Ответ очевиден: никак! Более того, на основании вышеизложенного можно утверждать, что функциональное заземление корпусов МУРЗ лишь усугубляет ситуацию и снижает помехоустойчивость релейной защиты. Это связано с тем, что реальные уровни перенапряжений, которые могут прикладываться через цепи заземления к различным, даже хорошо изолированным внутренним цепям удаленных друг от друга МУРЗ, могут существенно превышать допустимые уровни, даже без учета портов связи с их ослабленным уровнем изоляции.

По утверждению [5], функциональное заземление невозможно рассматривать в отрыве от защитного заземления, не нарушая стандартов системы безопасности труда.

Позволим себе усомниться в справедливости такого утверждения и рассматривать эти два вида заземления как отдельные и независимые друг от друга. При таком подходе появляется возможность организации заземления МУРЗ на новом принципе, который основан на рекомендации IEC 60364-5-548 [6] о повышении помехоустойчивости оборудования информационных технологий путем отделения этого оборудования от источников возмущения.

Поскольку в рассматриваемом случае таким «источником возмущения» является функциональное заземление, то наше предложение заключается в отделении МУРЗ от него. Предлагаемый принцип компоновки МУРЗ, обеспечивающий повышенную устойчивость ко всем видам электромагнитных воздействий, включая ЭМИ ЯВ, показан на рис.5, где обозначены:

А – «грязный» отсек;

В – «чистый» отсек;

1 – терминал МУРЗ в тщательно изолированном пластмассовом корпусе;

2 – фильтр ЭМИ ЯВ;

3 – стальной корпус;

4 – дверца стального корпуса;

5 – изоляторы;

6 – контрольный кабель с двойным экраном;

7 – проходной изолятор;

8 – металлическая муфта для сочленения оплетки кабеля со стальным корпусом;

9 – оптоволоконная линия связи.

Согласно этому предложению, стальной контейнер 3 (рис.5) с минимальным количеством отверстий разделен внутренней переборкой на две зоны: А – «грязную» и В – «чистую». Терминал МУРЗ в пластмассовом корпусе расположен в чистой зоне, свободной от электромагнитных излучений. Контейнер 3 снабжен дверцей 4, обеспечивающей доступ персонала к лицевой панели МУРЗ во время профилактических работ. Контейнер 3 заземлен с соблюдением всех традиционных норм и правил выполнения заземления, что обеспечивает соблюдение требований техники безопасности. При наличии достаточно большого расстояния между МУРЗ и внутренними стенками заземленного металлического контейнера, например 5…7 см, паразитная емкость электронных цепей МУРЗ на землю будет очень незначительной, и ее влиянием можно пренебречь.

Что касается самого корпуса МУРЗ, то он должен быть тщательно изолированным (выполненным из пластмассы), с принятием дополнительных мер по предотвращению выноса опасного потенциала на поверхность этого корпуса. Такими мерами могут быть: закрытие экрана дополнительной прозрачной пластмассовой панелью; вывод управляющих кнопок на поверхность корпуса через изоляционные проставки; подвод света со светодиодов на световое табло, расположенное на поверхности корпуса, через жесткие пластмассовые световоды; использование изолированного оптического порта для подключения внешнего компьютера к МУРЗ. В общем это такие же простые приемы обеспечения безопасности, которые приняты при отсутствии заземления в ручных электроинструментах с, так называемой, двойной изоляцией и не представляют никакой особой сложности в их практической реализации.

Что касается снятия возможного электростатического заряда, который может накопиться на изолированном корпусе МУРЗ, то эта проблема может быть решена нанесением тонкого высокоомного полупроводящего покрытия на внутреннюю поверхность пластмассового корпуса и соединением ее с заземленным стальным корпусом через специальный высоковольтный (50…100 кВ) высокоомный (около 50 МОм) резистор. Электростатический заряд будет стекать на землю через такой резистор. Технология нанесения таких покрытий хорошо отработана и широко применяется в современной электронной аппаратуре. Компактные высокоомные резисторы на напряжение 50…100 кВ также не являются дефицитом и выпускаются многими компаниями, например: Caddock Electronics, Arcol, Ohmite, Welwyn Components и др.

По нашему мнению, предлагаемое техническое решение позволит обеспечить высокий уровень помехоустойчивости МУРЗ и в реально существующих сегодня естественных условиях эксплуатации, и в экстремальных условиях при воздействии ЭМИ ЯВ или других технических средств деструктивного дистанционного электромагнитного воздействия [4]. При этом затраты на реализацию предложенного технического решения не будут какими-то неподъемными для электроэнергетики. Они могут быть даже существенно меньше, чем затраты на реконструкцию старой системы заземления на многих объектах электроэнергетики, не обеспечивающей нормальное функционирование МУРЗ в существующих условиях эксплуатации.

 

Литература

1. IEC 60950-1: 2013 Information technology equipment – Safety – Part 1: General requirements.

2. Кузнецов М.Б., Матвеев М.В. Защита от вторичных проявлений молнии и обеспечение ЭМС МП аппаратуры на объектах нефтегазовой отрасли // Энергоэксперт. – 2007. – №2. – С.61–65.

3. Whitaker J.C. Electronic Systems Maintenance Handbook, Second Edition – CRC Press (Taylor & Francis Group), Boca Raton – New York – London, 2001.

4. Гуревич В.И. Уязвимости микропроцессорных реле защиты. Проблемы и решения. – М.: Инфра-Инженерия, 2014.

5. Ильин В.Ф., Ильин Н.В. Заземление в шкафах микропроцессорных защит // Релейная защита и автоматизация. – 2015. – №1. – С.26–30.

6. IEC 60364-5-548: 1999.Electrical installations of buildings – Part 5: Selections and erection of electrical equipment – Section 548: Farthing arrangements and equiponential bounding for information technology installations.

Для чего нужно заземление оборудования обработки информации

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

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

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

Особенности организации функционального заземления

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

Для обеспечения главного требования – электробезопасности для систем заземления TN-S защитное и функциональное заземление должны входить в систему уравнивания потенциалов и составлять общую электрическую цепь. С этой целью защитные проводники PE и FE объединяются и присоединяются к главной заземляющей шине, в качестве защитного проводника в данном случае используется проводник питания PE, а независимый функциональный проводник FE соединен с низкоомными независимыми заземлителями. При таком решении система уравнивания потенциалов одновременно:

  • защищает персонал от поражений электрическим током;
  • повышает помехозащищенность электронных схем;
  • увеличивает информационную безопасность систем.

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

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

Смотрите также другие статьи :

Измерение качества электрической энергии

Любые электроприборы и оборудование разрабатываются для работы в определенных условиях. Все составные элементы предусматривают характеристики, способные производить оптимальную полезность и отдачу при определенных параметрах поступающего тока.

Подробнее…

Измерение сопротивления заземляющих устройств

 

 

1.         Назначение и область применения

            1.1      Настоящий документ методика «Измерение сопротивления заземляющих устройств» устанавливает методику выполнения проверки элементов заземляющего устройства и измерения сопротивления заземляющего устройства на соответствие проекту и требованиям НД.

1.2    Настоящий документ разработан для применения персоналом электролаборатории в Краснодаре и Краснодарском крае ООО «Энерго Альянс» при проведении приемо-сдаточных, периодических и ремонтных  испытаний.

 

2.         Термины и определения

 

В данной методике используются следующие термины и определения, принятые согласно ПУЭ изд. 7 и комплекса стандартов ГОСТ Р 50571.16 — 2007:

2.1 Заземление — преднамеренное электрическое соединение какой-либо точки сети, электроустановки или оборудования с заземляющим устройством.

2.2   Защитное заземление — заземление, выполняемое в целях электробезопасности.

2.3 Рабочее (функциональное) заземление — заземление точки или точек токоведущих частей электроустановки, выполняемое для обеспечения работы электроустановки (не в целях электробезопасности).

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

2.5 Заземлитель — проводящая часть или совокупность соединенных между собой проводящих частей, находящихся в электрическом контакте с землей непосредственно или через промежуточную проводящую среду.

2.6 Искусственный заземлитель — заземлитель, специально выполняемый для целей заземления.

2.7 Естественный заземлитель — сторонняя проводящая часть, находящаяся в электрическом контакте с землей непосредственно или через промежуточную проводящую среду, используемая для целей заземления.

2.8 Заземляющий проводник — проводник, соединяющий заземляемую часть (точку) с заземлителем.

2.9   Заземляющее устройство — совокупность заземлителя и заземляющих проводников.

2.10 Зона нулевого потенциала (относительная земля) — часть земли, находящаяся вне зоны влияния какого-либо заземлителя, электрический потенциал которой принимается равным нулю.

2.11 Зона растекания (локальная земля) — зона земли между заземлителем и зоной нулевого потенциала.

Термин земля, используемый в главе, следует понимать как земля в зоне растекания.

2.12  Замыкание на землю — случайный электрический контакт между токоведущими частями, находящимися под напряжением, и землей.

3.13 Напряжение на заземляющем устройстве — напряжение, возникающее при стекании тока с заземлителя в землю между точкой ввода тока в заземлитель и зоной нулевого потенциала.

2.14 Напряжение прикосновения — напряжение между двумя проводящими частями или между проводящей частью и землей при одновременном прикосновении к ним человека или животного.

Ожидаемое напряжение прикосновения — напряжение между одновременно доступными прикосновению проводящими частями, когда человек или животное их не касается.

2.15 Напряжение шага — напряжение между двумя точками на поверхности земли, на расстоянии 1 м одна от другой, которое принимается равным длине шага человека.

2.16 Сопротивление заземляющего устройства — отношение напряжения на заземляющем устройстве к току, стекающему с заземлителя в землю.

2.17 Эквивалентное удельное сопротивление земли с неоднородной структурой — удельное электрическое сопротивление земли с однородной структурой, в которой сопротивление заземляющего устройства имеет то же значение, что и в земле с неоднородной структурой.

Термин удельное сопротивление, используемый в главе для земли с неоднородной структурой, следует понимать как эквивалентное удельное сопротивление.

2.18 Заземление — преднамеренное электрическое соединение какой-либо точки сети, электроустановки или оборудования с заземляющим устройством.

2.19 Защитное заземление — заземление, выполняемое в целях электробезопасности.

2.20 Рабочее (функциональное) заземление — заземление точки или точек токоведущих частей электроустановки, выполняемое для обеспечения работы электроустановки (не в целях электробезопасности).3.1  Заземление — преднамеренное электрическое соединение этой части с заземляющим устройством.

2.21 Главная заземляющая шина — шина, являющаяся частью заземляющего устройства электроустановки до 1 кВ и предназначенная для присоединения нескольких проводников с целью заземления и уравнивания потенциалов.

 

3. Характеристика измеряемой величины, нормативные значения измеряемой величины

 

Объектом измерения являются заземляющие устройства

Измеряемой величиной являются геометрические размеры заземлителей, сопротивление заземляющего устройства.

3.1 Требования к заземляющему устройству.

3.1.1 Заземляющие устройства могут быть объединенными или раздельными для защитных или функциональных целей в зависимости от требований, предъявляемых электроустановкой.

3.1.2 Заземляющие устройства должны быть выбраны и смонтированы таким образом, чтобы:

— значение сопротивления растеканию заземляющего устройства соответствовало требованиям обеспечения защиты и работы установки в течение периода эксплуатации;

— протекание тока замыкания на землю и токов утечки не создавало опасности, в частности, в отношении нагрева, термической и динамической стойкости электроустановки;

— были обеспечены необходимая прочность или дополнительная механическая защита в зависимости от заданных внешних факторов по ГОСТ 30331.2/ГОСТ Р 50571.2.

3.1.3 Должны быть приняты меры по предотвращению повреждения металлических частей из-за электролиза.

3.2 Заземлители.

3.2.1 В качестве заземлителей могут быть использованы находящиеся в соприкосновении с землей:

— металлические стержни или трубы;

— металлические полосы или проволока;

— металлические плиты, пластины или листы;

— фундаментные заземлители;

— стальная арматура железобетона;

— стальные трубы водопровода в земле при выполнении условий 3. 2.5;

— другие подземные сооружения, отвечающие требованиям 3.2.6.

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

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

3.2.3 Материал и конструкция заземлителей должны быть устойчивыми к коррозии.

3.2.4 При проектировании заземляющих устройств следует учитывать возможное увеличение их сопротивления растеканию, обусловленное коррозией.

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

Примечание. Желательно, чтобы надежность заземляющих устройств не зависела от других систем.

3.2.6 Металлические трубы других систем, не относящихся к упомянутой в 3.2.5 (например, с горючими жидкостями или газами, систем центрального отопления и т. п.), не должны использоваться в качестве заземлителей для защитного заземления.

Примечание. Это требование не исключает их включения в систему уравнивания потенциалов в соответствии с ГОСТ 30331.3/ГОСТ Р 50571.3.

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

Заземлители и заземляющие проводники в электроустановках  в соответствии с ПУЭ п. 1.7.101 табл. 1.7.4. должны иметь размеры не менее приведенных в таблице 1.

 

Таблица 1. Наименьшие размеры заземлителей и заземляющих проводников, проложенных в земле.

Материал

Профиль сечения

Диаметр, мм

Площадь поперечного сечения, мм2

Толщина стенки, мм

1

2

3

4

5

Сталь черная

 

 

 

 

 

 

 

 

Сталь оцинкованная

 

 

 

 

 

 

 

Медь

Круглый:

-для вертикальных заземлителей

-для горизонтальных заземлителей

Прямоугольный

Угловой

Трубный

 

Круглый:

-для вертикальных заземлителей

-для горизонтальных заземлителей

Прямоугольный

Угловой

Трубный

 

Круглый

Прямоугольный

Трубный

Канат многопроволочный

 

16

 

10

 

32

 

 

12

 

10

 

25

12

 

12

20

1,8*

 

 

 

100

100

 

 

 

 

75

 

50

35

 

 

 

4

4

3,5

 

 

 

 

3

2

 

2

2

 

* Диаметр каждой проволоки.

Сечение горизонтальных заземлителей для электроустановок напряжением выше 1кВ выбирается по термической стойкости (исходя из допустимой температуры нагрева 400 С).

Не следует располагать (использовать) заземлители в местах, где земля подсушивается под воздействием тепла трубопроводов и т.п.

Траншеи для горизонтальных заземлителей должны заполняться однородным грунтом, не содержащим щебня и строительного мусора.

В случае опасности коррозии заземлителей должно выполняться одно из следующих мероприятий:

—   Увеличение сечения и заземлителей с учетом расчетного срока их службы,

—   Применение оцинкованных заземлителей,

—   Применение электрической защиты.

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

 

 

4.         Условия испытаний (измерений)

 

4.1 При  выполнении измерений и испытаний, согласно руководству пользователя прибором ИС-20, специалисты нашей электролаборатории в Краснодаре соблюдают следующие условия:

температура окружающего воздуха  — 250С до +600С,

относительная влажность (95 ±3%) при температуре 350С,

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

при производстве измерений в другом состоянии грунта, при обработке результатов измерений следует вводить поправочный коэффициент, учитывающий его состояние. Значение поправочного коэффициента к1, к2, к3 приведено в приложении 1, при измерениях зимой (в периоды промерзания грунта) поправочный коэффициент не применяют.

4.2      Измерения проводят в светлое время суток. Производить измерения на заземляющих устройствах во время грозы, дождя, мокрого тумана и снега, а также в темное время суток запрещается.

4.2      Прибор располагается в горизонтальном положении.

 

5.         Метод  испытаний (измерений)

 

5.1      Измерение сопротивления заземляющего устройства который основан на компенсационном методе с применением вспомогательных заземлителей и потенциального электрода (зонда) при помощи прибора ИС-20.

5.2      Измерение геометрических размеров выполняют методом прямых измерений.

5.3      Степень разрушения элементов заземлителей оценивают при контрольном вскрытии контура визуально.

 

6.  Производство измерений

 

6. 1      Измерение сопротивления заземления по четырехпроводному методу. Данный метод исключает из результата измерений сопротивление измерительных кабелей и переходные сопротивления в местах их подключения, что является важным в случае, когда измеряемое сопротивление имеет малую величину.

6.1.1   Кнопкой «Режим» выбрать четырехпроводный метод измерения.

6.1.2   Отсоединить заземляющее устройство от системы заземления. Определить максимальную диагональ (d) заземляющего устройства (ЗУ).

Соединить ЗУ при помощи измерительных кабелей с гнездами Т1 и П1. Потенциальный штырь П2 установить в грунт на расстоянии 1,5 d, но не менее 20м от измеряемого ЗУ (см. рисунок 1)

 

       

 

Рисунок 1. — Схема подключения и вид индикатора при измерении

сопротивления заземления четырёхпроводным методом

Т1,Т2  — токовые зажимы;

П1,П2 — потенциальные зажимы;

ЗУ — измеряемое заземляющее устройство;

d — наибольшая диагональ заземляющего устройства.

При наличии напряжения помехи, прибор измерит ее амплитудное значение в вольтах и результат отобразит на экране. В этом случае необходимо найти оптимальное направление расположения измерительных штырей, при котором величина напряжения помехи будет минимальной. Это позволит получить наиболее достоверные результаты последующих измерений. 

Токовый штырь Т2 установить в грунт на расстоянии более 3d, но не менее 40 м от ЗУ.

Подключить соединительный кабель к разъему Т2 прибора. Произвести серию измерений сопротивления заземления при последовательной установке потенциального штыря П2 в грунт на расстоянии 10, 20, 30, 40, 50, 60, 70, 80 и 90% от расстояния до токового штыря Т2.

ЗУ, токовый и потенциальный измерительные штыри обычно выстраивают в одну линию.

Далее строится график зависимости сопротивления от расстояния между ЗУ и потенциальным штырем П2. Если кривая монотонно возрастает и имеет в средней части достаточно горизонтальный участок (при расстояниях 40 и 60% разница значений сопротивления меньше 10%), то за истинное принимается значение сопротивления при расстоянии 50%.

 

                                  

 

 

 

 

В противном случае все расстояния до штырей необходимо увеличить в 1,5-2 раза или изменить направление установки штырей для уменьшения влияния надземных или подземных коммуникаций.

 

6.2      Измерение сопротивления заземления по трёхпроводному методу (3П)

 

Кнопкой  «Режим»   выбрать трёхпроводный метод измерения.

Подключить измерительный кабель 1,5 м к гнезду П1.

 

Рисунок 2 — Схема подключения и вид индикатора при измерении

сопротивления заземления трёхпроводным методом

 

Измерение проводить аналогично четырехпроводному методу, но при этом измеренное значение сопротивление ЗУ будет включать в себя сопротивление измерительного кабеля,

подключенного к гнезду П1.

 

7.    Контроль точности результатов испытаний (измерений)

 

7. 1      Контроль точности результатов измерений обеспечивается раз в два года поверкой средств измерений в органах Госстандарта РФ и проверкой соответствия размеров вспомогательных технических средств перед выполнением измерений. Выполнение измерений прибором с просроченным сроком поверки не допускается.

 

8. Требования к квалификации персонала

 

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

8.2 Измерение сопротивления заземляющего устройства должен проводить только квалифицированный персонал в составе бригады, в количестве не менее 2 человек.

 

9. Требования к обеспечению безопасности при выполнении испытаний (измерений) и экологической безопасности

 

9. 1 При проведении измерений персонал должен соблюдать требования ПОТЭЭ, инструкций по производственной санитарии, требования инструкций по технике безопасности.

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

9.3 При сборке измерительных схем следует соблюдать последовательность соединения проводов токовой и потенциальной цепи. Сначала необходимо присоединить провод к вспомогательному электроду  и лишь затем к прибору.

9.4      Испытания не наносят вреда окружающей среде.

 

10. Оформление результатов измерений

 

По результатам измерений электролабораторией в Краснодаре ООО «Энерго Альянс» составляется протокол. 

 

 Приложение 1

Поправочные коэффициенты к значению измеренного

сопротивления заземлителя для полосы РФ

 

Тип заземлителя

Размеры

Заземлителя, м

t = 0,7 – 0,8 м

t = 0,5 м

К1

К2

К3

К1

К2

К3

Горизонтальная

Полоса

L = 5

4,3

3,6

2,9

8,0

6,2

4,4

L = 20

3,6

3,0

2,5

6,5

5,2

3,8

Заземляющая сетка

или контур

S = 400 м²

2,6

2,3

2,0

4,6

3,8

3,2

S = 900 м²

2,2

2,0

1,8

3,6

3,0

2,7

S = 3600 м²

1,8

1,7

1,6

3,0

2,6

2,3

Заземляющая сетка  или контур с вертикальными электродами длиной 5 м

S = 900 м²   

n > 10 шт.

1,6

1,5

1,4

2,1

1,9

1,8

S  = 3600 м²

n > 15 шт.

1,5

1,4

1,3

2,0

1,9

1,7

Одиночный вертикальный заземлитель

L = 2,5 м

2,00

1,75

1,50

3,80

3,00

2,30

L = 3,5 м

1,60

1,40

1,30

2,10

1,90

1,60

L = 5,0 м

1,30

1,23

1,15

1,60

1,45

1,30

 

где  t – глубина заложения в землю горизонтальной части заземлителя или верхней части       вертикальных заземлителей;

       L – длина горизонтальной полосы или вертикального заземлителя;

       S – площадь заземляющей сетки или контура;

       n – количество вертикальных электродов.

Указания к применению коэффициентов:

К1 – применяется при измерениях на влажном грунте или когда к моменту измерения предшествовало выпадение большого количества осадков;

К2 – применяется на грунте средней влажности или когда к моменту измерения предшествовало выпадение небольшого количества осадков;

К3 – применяется на сухом грунте или когда к моменту измерения предшествовало выпадение незначительного количества осадков.

 

 

 

Заземление. Что это такое и как его сделать (часть 1) / Хабр

Мой рассказ будет состоять из трёх частей.

1 часть. Заземление

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

(описание, расчёт, монтаж)
3 часть. Современные способы строительства заземляющих устройств

(описание, расчёт, монтаж)

В первой части (теория) я опишу терминологию, основные виды заземления (назначение) и предъявляемые к заземлению требования.

Во второй части (практика) будет рассказ про традиционные решения, применяемые при строительстве заземляющих устройств, с перечислением достоинств и недостатков этих решений.

Третья часть (практика) в некотором смысле продолжит вторую. В ней будет содержаться описание новых технологий, используемых при строительстве заземляющих устройств. Как и во второй части, с перечислением достоинств и недостатков этих технологий.

Если читатель обладает теоретическими знаниями и интересуется только практической реализацией — ему лучше пропустить первую часть и начать чтение со второй части.

Если читатель обладает необходимыми знаниями и хочет познакомиться только с новинками — лучше пропустить первые две части и сразу перейти к чтению третьей.

Мой взгляд на описанные методы и решения в какой-то степени однобокий. Прошу читателя понимать, что я не выдвигаю свой материал за всеобъемлющий объективный труд и выражаю в нём свою точку зрения, свой опыт.

Некоторая часть текста является компромиссом между точностью и желанием объяснить “человеческим языком”, поэтому допущены упрощения, могущие “резать слух” технически подкованного читателя.



1 часть. Заземление

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

А. Термины и определения

Б. Назначение (виды) заземления
Б1. Рабочее (функциональное) заземление

Б2. Защитное заземление
Б2.1. Заземление в составе внешней молниезащиты

Б2.2. Заземление в составе системы защиты от перенапряжения (УЗИП)
Б2.3. Заземление в составе электросети
В. Качество заземления. Сопротивление заземления.
В1. Факторы, влияющие на качество заземления
В1.1. Площадь контакта заземлителя с грунтом

В1.2. Электрическое сопротивление грунта (удельное)
В2. Существующие нормы сопротивления заземления

В3. Расчёт сопротивления заземления
А. Термины и определения

Чтобы избежать путаницы и непонимания в дальнейшем рассказе — начну с этого пункта.

Я приведу установленные определения из действующего документа “Правила Устройства Электроустановок (ПУЭ)” в последней редакции (глава 1.7 в редакции седьмого издания).


И попытаюсь “перевести” эти определения на “простой” язык.

Заземление

— преднамеренное электрическое соединение какой-либо точки сети, электроустановки или оборудования с заземляющим устройством (ПУЭ 1.7.28).


Грунт является средой, имеющей свойство “впитывать” в себя электрический ток. Также он являться некоторой “общей” точкой в электросхеме, относительно которой воспринимается сигнал.

Заземляющее устройство

— совокупность заземлителя/ заземлителей и заземляющих проводников (ПУЭ 1.7.19).


Это устройство/ схема, состоящее из заземлителя и заземляющего проводника, соединяющего этот заземлитель с заземляемой частью сети, электроустановки или оборудования. Может быть распределенным, т.е. состоять из нескольких взаимно удаленных заземлителей.

На рисунке оно показано толстыми красными линиями:


Заземлитель — проводящая часть или совокупность соединенных между собой проводящих частей, находящихся в электрическом контакте с грунтом (ПУЭ 1.7.15).

Проводящая часть — это металлический (токопроводящий) элемент/ электрод любого профиля и конструкции (штырь, труба, полоса, пластина, сетка, ведро 🙂 и т.п.), находящийся в грунте и через который в него “стекает” электрический ток от электроустановки.
Конфигурация заземлителя (количество, длина, расположение электродов) зависит от требований, предъявляемых к нему, и способности грунта “впитывать” в себя электрический ток идущий/ “стекающий” от электроустановки через эти электроды.

На рисунке он показан толстыми красными линиями:


Сопротивление заземления — отношение напряжения на заземляющем устройстве к току, стекающему с заземлителя в землю (ПУЭ 1.7.26).

Сопротивление заземления — основной показатель заземляющего устройства, определяющий его способность выполнять свои функции и определяющий его качество в целом.
Сопротивление заземления зависит от площади электрического контакта заземлителя (заземляющих электродов) с грунтом (“стекание” тока) и удельного электрического сопротивления грунта, в котором смонтирован этот заземлитель (“впитывание” тока).

Заземляющий электрод (электрод заземлителя) — проводящая часть, находящаяся в электрическом контакте с локальной землей (ГОСТ Р 50571.21-2000 п. 3.21)

Повторюсь: в качестве проводящей части может выступать металлический (токопроводящий) элемент любого профиля и конструкции (штырь, труба, полоса, пластина, сетка, ведро 🙂 и т.п.), находящийся в грунте и через который в него “стекает” электрический ток от электроустановки.

На рисунке они показаны толстыми красными линиями:


Далее определения, не встречающиеся или не описанные достаточно точно в стандартах и нормах, поэтому имеющие только мое описание.

Контур заземления — “народное” название заземлителя или заземляющего устройства, состоящего из нескольких заземляющих электродов (группы электродов), соединенных друг с другом и смонтированных вокруг объекта по его периметру/ контуру.

На рисунке объект обозначен серым квадратом в центре,
а контур заземления — толстыми красными линиями:


Удельное электрическое сопротивление грунта — параметр, определяющий собой уровень «электропроводности» грунта как проводника, то есть как хорошо будет растекаться в такой среде электрический ток от заземляющего электрода.
Это измеряемая величина, зависящая от состава грунта, размеров и плотности
прилегания друг к другу его частиц, влажности и температуры, концентрации в нем растворимых химических веществ (солей, кислотных и щелочных остатков).
Б. Назначение (виды) заземления

Заземление делится на два основных вида по выполняемой роли — на рабочее (функциональное) и защитное. Также в различных источниках приводятся дополнительные виды, такие как: “инструментальное”, “измерительное”, “контрольное”, “радио”.

Б1. Рабочее (функциональное) заземление

Это заземление точки или точек токоведущих частей электроустановки, выполняемое для обеспечения работы электроустановки (не в целях электробезопасности) (ПУЭ 1. 7.30).

Рабочее заземление (электрический контакт с грунтом) используется для нормального функционирования электроустановки или оборудования, т.е. для их работы в ОБЫЧНОМ режиме.

Б2. Защитное заземление

Это заземление, выполняемое в целях электробезопасности (ПУЭ 1.7.29).

Защитное заземление обеспечивает защиту электроустановки и оборудования, а также защиту людей от воздействия опасных напряжений и токов, могущих возникнуть при поломках, неправильной эксплуатации техники (т.е. в АВАРИЙНОМ режиме) и при разрядах молний.
Также защитное заземление используется для защиты аппаратуры от помех при коммутациях в питающей сети и интерфейсных цепях, а также от электромагнитных помех, наведенных от работающего рядом оборудования.

Подробнее защитное назначение заземления можно рассмотреть на двух примерах:

  • в составе внешней молниезащитной системы в виде заземленного молниеприёмника
  • в составе системы защиты от импульсного перенапряжения
  • в составе электросети объекта
Б2.
1. Заземление в составе молниезащиты
Молния — это разряд или другими словами «пробой», возникающий ОТ облака К земле, при накоплении в облаке заряда критической величины (относительно земли). Примерами этого явления в меньших масштабах является “пробой” (wiki) в конденсаторе и газовый разряд (wiki) в лампе.

Воздух — это среда с очень большим сопротивлением (диэлектрик), но разряд преодолевает его, т.к. обладает большой мощностью. Путь разряда проходит по участкам наименьшего сопротивления, таким как капли воды в воздухе и деревья. Этим объясняется корнеобразная структура молнии в воздухе и частое попадание молнии в деревья и здания (они имеют меньшее сопротивление, чем воздух в этом промежутке).
При попадании в крышу здания, молния продолжает свой путь к земле, также выбирая участки с наименьшим сопротивлением: мокрые стены, провода, трубы, электроприборы — таким образом представляя опасность для человека и оборудования, находящихся в этом здании.

Молниезащита предназначена для отвода разряда молнии от защищаемого здания/ объекта. Разряд молнии, идущий по пути наименьшего сопротивления попадает в металлический молниеприёмник над объектом, затем по металлическим молниеотводам, расположенным снаружи объекта (например, на стенах), спускается до грунта, где и расходится в нём (напоминаю: грунт является средой, имеющей свойство “впитывать” в себя электрический ток).

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

Заземление в такой системе является обязательным элементом, т.к. именно оно обеспечивает полный и быстрый переход молниевых токов в грунт, не допуская их распространение по объекту.

Б2.2. Заземление в составе системы защиты от импульсного перенапряжения (УЗИП)
УЗИП предназначено для защиты электронного оборудования от заряда, накопленного на каком-либо участке линии/сети в результате воздействия электромагнитного поля (ЭМП), наведенного от рядом стоящей мощной электроустановки (или высоковольтной линии) или ЭМП, возникшего при близком (до сотен метров) разряде молнии.

Ярким примером этого явления является накопление заряда на медном кабеле домовой сети или на “пробросе” между зданиями во время грозы. В какой-то момент приборы, подключенные к этому кабелю (сетевая карта компьютера или порт коммутатора), не выдерживают «размера» накопившегося заряда и происходит электрический пробой внутри этого прибора, разрушающий его (упрощенно).
Для “стравливания” накопившегося заряда параллельно “нагрузке” на линию перед оборудованием ставит УЗИП.

Классический УЗИП представляет собой газовый разрядник (

wiki

), рассчитанный на определенный «порог» заряда, который меньше “запаса прочности” защищаемого оборудования. Один из электродов этого разрядника заземляется, а другой — подключается к одному из проводов линии/ кабеля.

При достижении этого порога внутри разрядника возникает разряд 🙂 между электродами. В результате чего накопленный заряд сбрасывается в грунт (через заземление).

Как и в молниезащите — заземление в такой системе является обязательным элементом, т. к. именно оно обеспечивает своевременное и гарантированное возникновение разряда в УЗИПе, не допуская превышение заряда на линии выше безопасного для защищаемого оборудования уровня.

Б2.3. Заземление в составе электросети

Третий пример защитной роли заземления — это обеспечение безопасности человека и электрооборудования при поломках/ авариях.

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

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

Например, заземление всех корпусов, шкафов и стоек телекоммуникационного оборудования.

В. Качество заземления. Сопротивление заземления.

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

Это сопротивление имеет конечные значения и в идеальном случае представляет собой нулевую величину, что означает отсутствие какого-либо сопротивления при пропускании «вредных» токов (это гарантирует их ПОЛНОЕ поглощение грунтом).

В1. Факторы, влияющие на качество заземления

Сопротивление в основном зависит от двух условий:


  • площадь ( S ) электрического контакта заземлителя с грунтом
  • электрическое сопротивление ( R ) самого грунта, в котором находятся электроды

В1.1. Площадь контакта заземлителя с грунтом.

Чем больше будет площадь соприкосновения заземлителя с грунтом, тем больше площадь для перехода тока от этого заземлителя в грунт (тем более благоприятные условия создаются для перехода тока в грунт).

Это можно сравнить с поведением автомобильного колеса на повороте. Узкая покрышка имеет небольшую площадь контакта с асфальтом и легко может начать скользить по нему, “отправив” автомобиль в занос. Широкая покрышка, да еще и немного спущенная, имеет много бОльшую площадь контакта с асфальтом, обеспечивая надежное сцепление с ним и, следовательно, надежный контроль за движением.

(Пример оказался неграмотным. Спасибо

SVlad

— комментарий:

habrahabr.ru/post/144464/#comment_4854521

)

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

В1.2. Электрическое сопротивление грунта (удельное)

Напомню: это величина, определяющая — как хорошо грунт проводит ток через себя. Чем меньшее сопротивление будет иметь грунт, тем эффективнее/ легче он будет “впитывать” в себя ток от заземлителя.

Примерами грунтов, хорошо проводящих ток, является солончаки или сильно увлажненная глина. Идеальная природная среда для пропускания тока — морская вода.
Примером “плохого” для заземления грунта является сухой песок.

(Если интересно, можно посмотреть таблицу величин удельного сопротивления грунтов, используемых в расчётах заземляющих устройств).

Возвращаясь к первому фактору и способу уменьшения сопротивления заземления в виде увеличения глубины электрода можно сказать, что на практике более чем в 70% случаев грунт на глубине более 5 метров имеет в разы меньшее удельное электрическое сопротивление, чем у поверхности, за счет большей влажности и плотности. Часто встречаются грунтовые воды, которые обеспечивают грунту очень низкое сопротивление. Заземление в таких случаях получается очень качественным и надежным.

В2. Существующие нормы сопротивления заземления

Так как идеала (нулевого сопротивления растеканию) достигнуть невозможно, все электрооборудование и электронные устройства создаются исходя из некоторых нормированных величин сопротивления заземления, например 0.5, 2, 4, 8, 10, 30 и более Ом.

Для ориентирования приведу следующие значения:

  • для подстанции с напряжением 110 кВ сопротивление растеканию токов должно быть не более 0,5 Ом (ПУЭ 1.7.90)
  • при подключении телекоммуникационного оборудования, заземление обычно должно иметь сопротивление не более 2 или 4 Ом
  • для уверенного срабатывания газовых разрядников в устройствах защиты воздушных линий связи (например, локальная сеть на основе медного кабеля или радиочастотный кабель) сопротивление заземления, к которому они (разрядники) подключаются должно быть не более 2 Ом. Встречаются экземпляры с требованием в 4 Ом.
  • у источника тока (например, трансформаторной подстанции) сопротивление заземления должно быть не более 4 Ом при линейном напряжении 380 В источника трехфазного тока или 220 В источника однофазного тока (ПУЭ 1.7.101)
  • у заземления, использующегося для подключения молниеприёмников, сопротивление должно быть не более 10 Ом (РД 34.21.122-87, п. 8)
  • для частных домов, с подключением к электросети 220 Вольт / 380 Вольт:
    • при использовании системы TN-C-S необходимо иметь локальное заземление с рекомендованным сопротивлением не более 30 Ом (ориентируюсь на ПУЭ 1.7.103)
    • при использовании системы TT (изолирование заземления от нейтрали источника тока) и применении устройства защитного отключения (УЗО) с током срабатывания 100 мА необходимо иметь локальное заземление с сопротивлением не более 500 Ом (ПУЭ 1.7.59)
В3. Расчёт сопротивления заземления

Для успешного проектирования заземляющего устройства, имеющего необходимое сопротивление заземления, применяются, как правило, типовые конфигурации заземлителя и базовые формулы для расчётов.

Конфигурация заземлителя обычно выбирается инженером на основании его опыта и возможности её (конфигурации) применения на конкретном объекте.

Выбор формул расчёта зависит от выбранной конфигурации заземлителя.
Сами формулы содержат в себе параметры этой конфигурации (например, количество заземляющих электродов, их длину, толщину) и параметры грунта конкретного объекта, где будет размещаться заземлитель. Например, для одиночного вертикального электрода эта формула будет такой:

Точность расчёта обычно невысока и зависит опять же от грунта — на практике расхождения практических результатов встречается в почти 100% случаев. Это происходит из-за его (грунта) большой неоднородности: он изменяется не только по глубине, но и по площади — образуя трёхмерную структуру. Имеющиеся формулы расчёта параметров заземления с трудом справляются с одномерной неоднородностью грунта, а расчёт в трёхмерной структуре сопряжен с огромными вычислительными мощностями и требует крайне высокую подготовку оператора.
Кроме того, для создания точной карты грунта необходимо произвести большой объем геологических работ (например, для площади 10*10 метров необходимо сделать и проанализировать около 100 шурфов длиной до 10 метров), что вызывает значительное увеличение стоимости проекта и чаще всего не возможно.

В свете вышесказанного почти всегда расчёт является обязательной, но ориентировочной мерой и обычно ведётся по принципу достижения сопротивления заземления “не более, чем”. В формулы подставляются усредненные значения удельного сопротивления грунта, либо их наибольшие величины. Это обеспечивает “запас прочности” и на практике выражается в заведомо более низких (ниже — значит лучше) значениях сопротивления заземления, чем ожидалось при проектировании.

Строительство заземлителей

При строительстве заземлителей чаще всего применяются вертикальные заземляющие электроды. Это связано с тем, что горизонтальные электроды трудно заглубить на большую глубину, а при малой глубине таких электродов — у них очень сильно увеличивается сопротивление заземления (ухудшение основной характеристики) в зимний период из-за замерзания верхнего слоя грунта, приводящее к большому увеличению его удельного электрического сопротивления.

В качества вертикальных электродов почти всегда выбирают стальные трубы, штыри/ стержни, уголки и т.п. стандартную прокатную продукцию, имеющую большую длину (более 1 метра) при сравнительно малых поперечных размерах. Этот выбор связан с возможностью легкого заглубления таких элементов в грунт в отличии, например, от плоского листа.

Подробнее о строительстве — в следующих частях.

Продолжение:


Алексей Рожанков, специалист технического центра «

ZANDZ.ru

«

При подготовке данной части использовались следующие материалы:

  • Публикации на сайте “Заземление на ZANDZ.ru”
  • Правила Устройства Электроустановок (ПУЭ), часть 1.7 в редакции седьмого издания (гуглить)
  • ГОСТ Р 50571.21-2000 (МЭК 60364-5-548-96)
    Заземляющие устройства и системы уравнивания электрических потенциалов в электроустановках, содержащих оборудование обработки информации (гуглить)
  • Инструкция по устройству молниезащиты зданий и сооружений РД 34. 21.122-87 (гуглить)
  • Собственный опыт и знания

Уплотнения Roxtec для соединения и заземления обеспечивают электробезопасность

Решения Roxtec BG™ и BG™ B

Продукция семейства Roxtec BG™ и BG™ B предназначена для безопасного и эффективного соединения или заземления бронированных или экранированных кабелей и металлических труб, проходящих через один проем. Каждый модуль в системе Roxtec BG™ или BG™ B имеет отдельную проводящую соединительную оплетку, которая напрямую или через соседние модули контактирует с металлической рамой. Каждый кабель или труба, проходящие через систему, могут быть отдельно соединены через модуль. В этом случае рама действует как промежуточная шина заземления при подключении к обычной системе заземления. 

Решения Roxtec BG™ B до 70% эффективнее используют пространство, чем кабельные сальники, и являются прямой заменой кабельных сальников, соединяющих кабели с металлической оболочкой и бронированные кабели. С помощью одного кабельного ввода можно загерметизировать одиночные кабели или несколько кабелей с различными диаметрами, обеспечивая при этом сертифицированное решение по заземлению. Решения эффективны и гибки, а благодаря простой системе их легко установить. 

Модуль Roxtec BG™ состоит из двух одинаковых половинок, которые при монтаже образуют единое целое. Цилиндрические концентрические слои резины составляют центр модуля. Эти слои можно снимать, чтобы обеспечить плотное прилегание к кабелю. Резиновые слои позволяют адаптировать модуль как к диаметру оболочки кабеля для защиты от воздействия окружающей среды, так и к броне кабеля для электрической защиты.

Модули Roxtec BG™ B обеспечивают электрическую безопасность с одной стороны и защиту от воздействия окружающей среды с другой. Они являются идеальным решением для электрических шкафов и щитов. 

Модули Roxtec BG™ обеспечивают электробезопасность в центре и защиту от воздействия окружающей среды с обеих сторон. Решение Roxtec BG™ отлично подходит для проходов в полу или стенах, где требуется сквозное соединение.

Решения Roxtec BG™ и BG™ B 

  • Электробезопасность
  • Опасные (Ex) зоны
  • Заземление 
  • Защита от пожара, проникновения воды и газа 

Испытание системы Roxtec BG™

Решения Roxtec BG™ предназначены для применения в местах, где могут возникать токи высокого уровня. Ток, который система способна выдержать, направляется через модуль к раме и ее оконечному разъему. Уровень тока определяется применимыми электрическими стандартами и зависит от размера устанавливаемой системы. Система Roxtec BG™ справляется с нагрузками, поскольку площадь поперечного сечения оплетки увеличивается с увеличением размера модуля.

В таблице показана площадь поперечного сечения медной оплетки для каждого размера модуля и уровня тока в соответствии с испытаниями. Это пример сведений, которые можно найти в технических характеристиках. 

Характеристики оплетки для каждого размера модуля
Способность выдерживать ток и скачки напряжения в зависимости от размера модуля

 

Error loading video

Испытания Roxtec — защита от коротого замыкания

Как проверить функциональность соединения и заземления

Функциональность необходимо проверять во всех электрических установках. Для проверки системы Roxtec BG™ рекомендуется проверять контактное сопротивление 4-полюсным методом с минимальной силой постоянного тока 10 А в соответствии с национальным законодательством.

Процедура проверки монтажа систем Roxtec BG™

Решения Roxtec BG™ в качестве молниезащиты

Система молниезащиты (LPS) предназначена для отвода переходных токов, вызванных ударами молнии, на землю. Система Roxtec BG™ не предназначена для использования в качестве основной системы молниезащиты. Она защищает только от воздействия непрямых ударов молнии. Даже непрямые удары молнии могут вызвать высокое напряжение в металлических предметах, кабелях или трубопроводах, находящихся поблизости. Уплотнения Roxtec BG™ позволяют свести к минимуму воздействие непрямых ударов молнии. Скачки и переходные процессы от удара молнии возникают в широкополосном спектре, поэтому для предотвращения повреждения оборудования требуются методы заземления с защитой от электромагнитного излучения.

Система Roxtec BG™ испытана в соответствии со стандартом защиты от молнии IEC 62305-1. Это более строгий стандарт, чем IEC 60060-1. Он требует, чтобы защита выдерживала удары, которые примерно в 20 раз мощнее.

логическая основа в предложении

SentencesMobile
  • По всем историческим и логическим причинам эти люди ошибались.
  • Самуэль де Кассини (ок. 1505) возражал против колдовства по логическим причинам.
  • Но я не вижу логических оснований утверждать, что Резерфорд основал религию в 1931 году.
  • Нет никаких оснований для дисквалификации его теорий «априори» на логических основаниях.«
  • Я также не согласен с ним по логическим причинам.
  • Утверждение логического основания — это аргумент относительно того, почему утверждение объекта истинно.
  • По логике можно было бы ожидать, что этот сдвиг приведет к меньшему и большему количеству фиксации
  • В принципе, я думаю, мы должны попытаться упростить систему и организовать ее на более логичных основаниях
  • Может быть какое-то логическое основание для такого различия, если мы знаем все материальные факторы полностью.
  • Но профессора Патон и Стивенсон, похоже, полагают, что данная проблема решается не на логической основе.
  • В предложении сложно увидеть логическое обоснование.
  • Хемпель признал несостоятельность верификационизма логического позитивизма, но утверждал, что фальсификационизм столь же несостоятельнен только на логических основаниях.
  • Левостороннее исправление требует больших затрат времени, чем вертикальное исправление, и по логическим соображениям, вероятно, встречается значительно реже.
  • Проникновение («вьяпти») — это логическое основание для вывода, которое является действенным средством познания и гарантирует истинность заключения.
  • И мышь, и мужчина заинтересованы в том, чтобы их не пинали, и нет никаких моральных или логических оснований для того, чтобы не учитывать эти интересы в равной степени.
  • 3) Он ссылается на то, что тот факт, что этот термин впервые был использован автором менее года назад, не кажется логическим основанием для автоматического увольнения.
  • Вместо этого мир должен отреагировать на выход Буша из протокола, подтолкнув Соединенные Штаты занять позицию по участию развивающихся стран, а затем разыграть дебаты на чисто логических основаниях.
  • В некоторых работах Аристотеля четыре причины перечислены как (1) основная причина, (2) логическая основа, (3) движущаяся причина и (4) конечная причина.
  • Йосеф писал: «Несмотря на то, что такие обвинения не имеют фактических или логических оснований, никто не перестает спрашивать, почему Израиль, сталкивающийся с серьезными проблемами безопасности (Иран, Хамас, Хезболла и т. Д.), Должен заниматься подобными вещами».
  • Это производит то, что Стоув называет «призрачным логическим утверждением»: создается впечатление, что серьезные логические утверждения делаются, хотя они не являются единственными социологическими или историческими утверждениями, неуязвимыми для критики по логическим соображениям.
  • Рэй (2005) также оспаривает вес аргумента на логических основаниях, утверждая, что статистический анализ «политического сходства» использует основную переменную, которая является расширением «совместной демократии» путем лингвистического переопределения, и поэтому ожидается, что Эффекты уменьшения войны продолжаются в новом анализе.
  • Другие предложения : 1 2

Логика земли | SpringerLink

Приложение

В этом приложении я докажу многие утверждения, которые я сделал в основном тексте.Доказательство некоторой претензии в основном тексте будет попадать под заголовок раздела, в котором это утверждение было сделано.

A.1 На чем основаны логически сложные положения?

A.1.1 Дизъюнкция

Сначала я докажу коммутативность, ассоциативность, дополняемость и справедливость (1) ДеМоргана для дизъюнкции:

Затем я доказываю, что принципы распределенности следуют из ∨-агломерации. Обратите внимание, что когда я обозначаю шаг «R», я указываю, что использую неизменность повторения списков (так что A — это тот же список, что и A, A…), чтобы повторить ту же лемму.

Обратите внимание, как слабая ∨-агломерация может использоваться во всех доказательствах, кроме последнего. Теперь я использую ∨∧D2, чтобы получить ∨-агломерацию из слабой ∨-агломерации. В приведенном ниже доказательстве «Id» означает «личность».’

Обратите внимание, что в этом доказательстве мы могли бы заменить Слабую ∨-агломерацию на ∨-идемпотентность. Таким образом, это также показывает, что при наличии правил Файна-агломерация происходит от ∨-идемпотентности, ∨∧D2 и ∧-агломерации.

A.1.2 Двойное отрицание

Здесь я просто доказываю-эквивалентности. Мы получаем две из этих эквивалентностей только с помощью правил агломерации (и правил ¬-введения). Однако при получении других эквивалентностей ¬¬-Идемпотентность становится полезной. Вот доказательства:

А.2 Теоретико-теоретическая эквивалентность

Подтверждение LL

Чтобы доказать LL, мы покажем, что это верно в двух случаях: один, в котором C не содержит теоретико-фундаментальных операторов, и второй, когда C содержит некоторые теоретико-базовые операторы. На этом случаи исчерпаны. Начнем с рассмотрения первого случая. В этом случае C — это функциональная формула. Это означает, что он либо атомарен, либо содержит только функциональные операторы истинности.Обратите внимание, что IMP устанавливает, что если A B , то A B . Отсюда следует, что A и B взаимозаменяемы в любой функциональной формуле истинности salva veritate, и поэтому соответствующий экземпляр LL должен выполняться. Теперь рассмотрим второй случай, когда C содержит некоторый пример теоретико-фундаментальной связки. Чтобы доказать выполнение LL в этом случае, воспользуемся следующей леммой:

$$ \ mathbf {Замена:} \ quad A \ приблизительно B \ rightarrow C \ приблизительно D $$

Где D — результат простой замены Как для B в C.Это просто говорит о том, что когда A и B теоретически эквивалентны, то любая формула C теоретически эквивалентна результату замены As на B в этой формуле. Это можно доказать индукцией по сложности формул. Базовый случай — где C не содержит логических операторов — тривиален. Для индуктивного шага, в случае конъюнкции мы используем ∧-агломерацию, для дизъюнкции мы используем-агломерацию, а для отрицания мы используем ¬-введение.

Затем мы используем подстановку , чтобы доказать, что LL выполняется в теоретико-обоснованном случае.Случай, когда C содержит только экземпляры ≈, следует непосредственно из Подстановка , поэтому у нас остаются только случаи, когда C имеет форму Δ ≤ E . В этих случаях есть два типа экземпляров LL. Во-первых, мы могли бы сформировать D, заменив As на Bs в E. Во-вторых, мы могли бы сформировать D, заменив As на Bs в Δ. Предположим, мы заменяем As на B на E. Назовем полученную формулу E [ A / B ] . По Замена , E E [ A / B ] .{[A / B]} _ {n}, {\ Gamma} \ leq E \). Итак, этот второй вид экземпляра LL выполняется. Таким образом, LL выполняется, когда C имеет вид Δ ≤ E . Таким образом, LL выполняется для любой теоретико-базовой C. Поскольку LL выполняется для любой теоретико-базовой C, отсюда следует, что LL выполняется в общем случае. □

Подтверждение ∨∧D2

Мы доказываем, что ∨∧D2 следует из слабой ∨-агломерации при наличии LL, правил ДеМоргана (2) и ¬¬-идемпотентности.Полное доказательство этого естественного вывода громоздко. Но достаточно отметить, что следующие теоретико-теоретические эквивалентности доказуемы:

$$ \ begin {array} {lrl} 1 \ hspace {1cm} & (A \ vee B) \ wedge (A \ vee C) & \ приблизительно \ neg \ neg ((A \ vee B) \ wedge ( A \ vee C)) \\ 2 \ hspace {1cm} & & \ приблизительно \ neg (\ neg (A \ vee B) \ vee \ neg (A \ vee C)) \\ 3 \ hspace {1cm} & & \ приблизительно \ neg ((\ neg A \ wedge \ neg B) \ vee (\ neg A \ wedge \ neg C)) \\ 4 \ hspace {1cm} & & \ приблизительно \ neg (\ neg A \ wedge (\ neg B \ vee \ neg C)) \\ 5 \ hspace {1cm} & & \ приблизительно \ neg (\ neg A \ wedge \ neg (B \ wedge C)) \\ 6 \ hspace {1cm} & & \ приблизительно \ neg \ neg (A \ vee (B \ wedge C) \\ 7 \ hspace {1cm} & & \ приблизительно A \ vee (B \ wedge C) \ end {array} $$

Строки 1 и 7 полагаются на ¬¬-Introduction и ¬¬-I. Строки 2, 3, 5 и 6 основаны на правилах ДеМоргана вместе с LL. Строка 4 опирается на ∧∨D1, ∧∨D2 и LL. Как показано выше, D1 и ∧∨D2 являются следствием слабой ∨-агломерации. Таким образом, это показывает, что D2 может быть получено из слабой ∨-агломерации при наличии других правил. Учитывая доказательство в Приложении A, это показывает, что ∨-агломерация в этом контексте может быть получена из слабой ∨-агломерации. □

A.3 Система Энджелла

Здесь я доказываю, что AC ∗∗ и LWG эквивалентны.Сначала мы докажем, что все основные правила AC ∗∗ являются правилами LWG. E1 тривиально, E2 следует из Trans, а E3 — это просто ¬-Введение. E4, E5 и E6 следуют из идемпотентности. E7 и E8 следуют из коммутативности. E9 и E10 вытекают из добавок. E11 и E12 следуют из законов ДеМоргана. E13 и E14 следуют из ассоциативности. E15 и E16 вытекают из распределительности. E17 следует из IMP, а E18 следует из теоремы редукции (

Теперь мы докажем, что все основные правила LWG являются правилами AC ∗∗ . Когда я использую определение слабого полного заземления, E18, вместе с классической логикой, я буду переходить непосредственно между формулами эквивалентности и формулами слабого полного заземления. Я не буду указывать на сжатие ступеней вертикальными точками. Вот доказательства: Доказательство введения дизъюнкции и конъюнкции.

Доказательство другого правила дизъюнкции, по сути, такое же. Доказательство ∧-I опирается только на E6 и E18. Правило доказательства отрицания.

Вот доказательства одного из правил отрицания дизъюнкции и правила конъюнкции отрицания:

Доказательства ¬-I и ¬¬-идемпотентности заключаются в следующем:

Между тем, ¬-Introduction — это всего лишь экземпляр E3. Подтверждение правил агломерации.

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

Доказательства правил объединения и дизъюнкции агломераций следующие:

Обратите внимание, что в доказательстве ∧-агломерации во втором применении E18 мы пользуемся преимуществом того факта, что удаление любого количества операторов ∧ из ( A B ) может быть реализовано, удалив вообще ни одного.

Теперь мы докажем правила агломерации для отрицательного соединения и дизъюнкции соответственно:

Доказательство правил чистой логики.

Мы оставили чистую логику напоследок. Идентичность — это всего лишь экземпляр E13. IMP следует из E17 вместе с классической логикой. ВЫРЕЗАТЬ несколько сложнее. Чтобы доказать CUT, сначала докажем, что ≤ подчиняется принципу транзитивности:

Теперь мы докажем, что ∧-дополнение действительно в AC ∗∗ .Полное доказательство этого естественного вывода очень громоздко, поэтому я начну с того, что отмечу, что, учитывая \ (A_ {1} \ wedge A_ {2} \ приблизительно (A_ {1} \ vee \ hat {\ Delta} _ {1}) ) \ wedge (A_ {2} \ vee \ hat {\ Delta} _ {2}) \), следующие доказательства можно доказать в AC ∗∗ :

$$ \ begin {array} {lrlr} 1 \ hspace {1cm} & A_ {1} \ wedge A_ {2} & \ приблизительно (A_ {1} \ vee \ hat {\ Delta} _ {1}) \ клин (A_ {2} \ vee \ hat {\ Delta} _ {2}) \\ 2 \ hspace {1cm} & & \ приблизительно ((A_ {1} \ vee \ hat {\ Delta} _ {1}) \ wedge A_ {2}) \ vee ((A_ {1} \ vee \ hat {\ Delta} _ {1}) \ wedge \ hat {\ Delta} _ {2}) \\ 3 \ hspace {1cm} & & \ приблизительно (((A_ {1} \ wedge A_ {2}) \ vee (\ hat {\ Delta} _ {1} \ wedge A_ {2})) \ vee ((A_ {1} \ wedge \ hat {\ Delta} _ {2}) \ vee (\ hat {\ Delta} _ {1} \ wedge \ hat {\ Delta} _ {2}))) \\ 4 \ hspace {1cm} & & \ приблизительно ( ((A_ {1} \ wedge A_ {2}) \ vee (\ hat {\ Delta} _ {1} \ wedge A_ {2})) \ vee (A_ {1} \ wedge \ hat {\ Delta} _ {2}))) \ vee ((\ hat {\ Delta} _ {1} \ wedge \ hat {\ Delta} _ {1}) \ vee (\ hat {\ Delta} _ {1} \ wedge \ hat {\ Delta} _ {2})) & \ hspace {2cm} \\ 5 \ hspace {1cm} & & \ приблизительно (((A_ {1} \ wedge A_ {2}) \ vee (\ hat {\ Delta } _ {1} \ wedge A_ {2})) \ vee ((A_ {1} \ wedge \ hat {\ Delta} _ {2}) \ vee (\ hat {\ Delta} _ {1} \ wedge \ hat {\ Delta} _ {2}))) \ vee (\ hat {\ Delta} _ {1} \ wedge \ hat {\ Delta} _ {2}) \\ 6 \ hspace {1cm} && \ приблизительно ( A_ {1} \ wedge A_ {2}) \ vee (\ hat {\ Delta} _ {1} \ w край \ hat {\ Delta} _ {2}) \ end {array} $$

(1)

Строки 2 и 3 обе применяют распределительность (E15 и E16). Строка 4 относится к идемпотентности (E5). Строка 5 применяет ассоциативность (E13). Строка 6 использует третью строку в подстановках, как в приведенных выше доказательствах. Я обозначил этот вывод (1). При этом допустимо следующее дерево:

И так мы проверили ∧-дополнение. Вот доказательство CUT в случае с тремя предпосылками:

Наконец, давайте рассмотрим Def (≈). Левое-правое из этого прямо следует из E18 и E1. Правое-левое следует из E18, E1, E8 и E2. Таким образом, все основные правила LWG действительны в AC ∗∗ .Таким образом, AC ∗∗ и LWG эквивалентны.

A.4 Логика строгого заземления

Начнем с проверки Exchange. Начнем с того, что если мы предположим B B ∨ ( A C ), то мы можем вывести B ≈ (( B A ) ∨ B ). Это связано с тем, что, учитывая B B ∨ ( A C ), следующие теоретические эквиваленты являются эквивалентными:

$$ \ begin {array} {lrlr} 1 \ hspace {2cm} & B & \ ок B \ vee (A \ wedge C) \\ 2 \ hspace {2cm} && \ ок (B \ vee A) \ wedge (B \ vee C) \\ 3 \ hspace {2cm} && \ приблизительно ((B \ vee A) \ wedge (B \ vee A)) \ wedge (B \ vee C) \\ 4 \ hspace {2cm} && \ ок (B \ vee A) \ клин ((B \ vee A) \ клин (B \ vee C)) & \ hspace {2cm} \\ 5 \ hspace {2cm} && \ приблизительно (B \ vee A) \ клин B \\ 6 \ hspace {2cm} && \ ок (B \ vee A) \ клин (B \ vee B) \\ 7 \ hspace {2cm} && \ приблизительно B \ vee (B \ wedge A) \ end { array} $$

(2)

Доказательство естественной дедукции длинное и трудное для чтения, поэтому я его опущу. Важной строкой является пятая строка, которую мы получаем из предыдущей строки через B ≈ (( B A ) ∧ ( B C )) и закон Лейбница. Я обозначу вывод, связанный с этими эквивалентностями (2).

Это позволяет нам доказать наличие Exchange посредством рассуждений по делам. Есть два случая. Один, где Δ не имеет элементов, а другой, где Δ, имеет n элементов. Первый случай следует из объединения и тождества. Второй случай более сложный:

Итак, в обоих случаях Exchange работает, и принцип доказан.Здесь, как и выше, я опускаю указание на сжатие шагов при использовании (≈ / ≤) и классических правил. Я сделаю то же самое с определениями, приведенными ниже.

Теперь докажем, что в LWG + выполняются субпопадание (≤ / ≼) и транзитивность (≼ / ≼).

Ниже я докажу, что еще одно из правил определения Файна является действительным, и из всего этого довольно легко показать, что остальные правила Файна действительны.

A.4.1 Правила введения строгого основания

Давайте теперь докажем правила введения строгого основания.Правила ¬∧ доказываются так же, как и доказательство правил ∨, но используются ¬∧-I 1 и ¬∧-I 2 . Вот доказательство правила конъюнкции:

Правило ¬∨ доказывается аналогично.

A.5 Логика строгого обоснования Файна

A.5.1 Правила введения Файна

Я доказываю, что правила введения Файна несовместимы с LWG + . Начнем с доказательства принадлежности:

Теперь мы можем доказать правило введения ¬¬, а правило введения ∧ нельзя последовательно добавлять в LWG:

Доказательства правил отрицания конъюнкции и дизъюнкции одинаковы, за исключением того, что они основаны на разных принципах идемпотентности.Остальные доказательства доступны по запросу.

[PDF] ЛОГИЧЕСКИЕ ОСНОВЫ | Semantic Scholar

ПОКАЗЫВАЕТ 1–10 ИЗ 31 ССЫЛКИ

СОРТИРОВАТЬ ПО РелевантностиСамые популярные статьиНедавно

Метафизическая зависимость: обоснование и сокращение

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

  • Просмотреть 2 отрывка, справочный материал

От чего зависит правда

Теория зависимости — это введено, согласно которому предложение φ называется зависящим от множества предложений Φ, если и только если значение истинности φ супервентно от наличия или отсутствия предложений Φ в / из расширения предиката истинности.Развернуть
  • Просмотреть 2 отрывка, справочная информация

От обоснования к установлению истины: некоторые мысли

Количество работ по установлению истины, опубликованных после основополагающей, содержательной и глубокой статьи Кевина Маллигана, Питера Саймонса и Барри Смита «Создателей правды» в 1984 году немало. Некоторая сделка… Развернуть

  • Посмотреть 5 отрывков, справочную информацию

Некоторые загадки земли

  • K. Fine
  • Математика, информатика

    Notre Dame J.Формальный журнал.

  • 2010
Конфликт, отнюдь не подрывающий концепцию основания, служит для демонстрации того, насколько важно прийти к удовлетворительному представлению о том, что в логике, как и в других областях мышления, может считаться правильным. держать. Развернуть
  • Просмотреть 6 выдержек, ссылки, результаты и фон

Заземление и функции истины

(1) Психологические факты получены на основании нейрофизиологических фактов; (2) Диспозиционные свойства основаны на категориальных свойствах; (3) Юридические факты не основаны на праве, например.г. социальные, факты; (4)… Развернуть

  • Просмотреть 3 выдержки, справочная информация

Введение в заземление

Рассмотрим тот факт, что в 2008 году произошел глобальный экономический спад. Причинное объяснение этого факта указывает на факты, которые были причинно ответственны за экономический кризис или факты, по которым… Развернуть

  • Посмотреть 3 выдержки, справочная информация

Теория моделей для модальной логики, часть I — разделение De re / de dicto

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

ЛОГИКА ДЛЯ «ПОТОМУ ЧТО»

  • Б. Шнидер
  • Философия, компьютерные науки

    Обзор символической логики

  • 2011
Логика для » потому что «развито на основе систематических связей между« потому что »и функциональными связками истины. Развернуть
  • Просмотреть 2 выдержки, справочная информация

Краткое изложение теории истины

Архив JSTOR — это надежный цифровой репозиторий, обеспечивающий долгосрочное хранение и доступ к ведущим академическим журналам и научной литературе со всего мира при поддержке библиотек , научные общества, издатели и фонды.Развернуть
  • Просмотреть 6 отрывков, справочную информацию, справочную информацию и методы

Вопрос реализма

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

Peirce на основе законов логики в JSTOR

Абстрактный

Abstract Эта статья является вкладом в давнюю дискуссию о согласованности общей философской системы Чарльза Сандерса Пирса.Он подходит к этому вопросу через призму современных дебатов по поводу понятия метафизического обоснования или, в более широком смысле, природы метафизического объяснения, используя законы логики в качестве примера. Главный вопрос касается того, как мы можем серьезно отнестись к тому, что мы назовем правилом Пирса, — что ничто не может быть признано абсолютно необъяснимым, — не будучи уязвимыми для порочного регресса или столь же порочной замкнутости. Сначала я утверждаю, что в ранних работах Пирса он предлагает квиетистскую концепцию заземления, которая дает убедительный и новаторский ответ на этот центральный вопрос.Затем я выражаю знакомую озабоченность тем, что в более поздних работах Пирса мы находим намеки на более метафизическую концепцию обоснования, которая, кажется, не может ответить на этот вопрос и, таким образом, несовместима с его более ранними работами. Статья заканчивается умозрительной интерпретацией подхода Пирса к метафизике и его возможной роли в обосновании логических принципов.

Информация о журнале

Transactions — ведущий рецензируемый журнал, специализирующийся на истории американской философии с момента своего основания в 1965 году.Хотя он назван в честь основателя американского прагматизма, здесь широко обсуждаются американские философы всех школ и периодов, от колониального до недавнего прошлого. В журнал регулярно публикуются эссе, и каждая значимая книга, опубликованная в данной области, обсуждается в обзорном эссе. Подписка включает членство в обществе Чарльза С. Пирса. Чтобы стать членом Общества Чарльза С. Пирса, необходимо подписаться на журнал и выбрать «Присоединиться к обществу».

Информация об издателе

Издательство Indiana University Press было основано в 1950 году и сегодня признано во всем мире как ведущее академическое издательство, специализирующееся на гуманитарных и социальных науках. Наша задача как академической прессы — служить миру науки и культуры в качестве профессионального некоммерческого издателя. Мы издаем книги и журналы, которые будут иметь значение через 20 или даже сто лет, — названия, которые имеют значение сегодня и будут жить в будущем, отражаясь в сознании учителей и писателей. Основные темы IU Press включают исследования Африки, афроамериканцев, Азии, культуры, евреев и Холокоста, Ближнего Востока, России и Восточной Европы, а также исследования женщин и гендера; антропология, кино, история, биоэтика, музыка, палеонтология, филантропия, философия и религия.The Press также предлагает обширную региональную издательскую программу под своим издательством Quarry Books. Это одна из крупнейших типографий государственных университетов, если судить по названиям и уровню дохода.

Логические пришельцы и «основание» логической необходимости

Страница из

НАПЕЧАТАНО ИЗ ОНЛАЙН-СТИПЕНДИИ ОКСФОРДА (oxford. universitypressscholarship.com). (c) Авторские права Oxford University Press, 2021. Все права защищены. Отдельный пользователь может распечатать одну главу монографии в формате PDF в OSO для личного использования.дата: 27 декабря 2021 г.

Глава:
(стр.205) 16 логических инопланетян и «основание» логической необходимости
Источник:
Видение, знание, понимание
Автор (ы):

Барри Страуд

Издатель:
Oxford University Press

DOI: 10.1093 /oso/9780198809753.003.0017

В этой главе исследуется изложение Джеймсом Конантом концепции Готлоба Фреге об особом характере законов логики.В нем также исследуется, фигурирует ли эта концепция в противостоянии Фреге «психологическим логикам», которые, по-видимому, допускают возможность существования законов логики, противоречащих нашим собственным, и каким образом. Конант задает два важных вопроса: «Каков статус законов логики?» И «В чем заключается их необходимость?». Конант, кажется, ищет какое-то объяснение необходимости необходимых истин или невозможности их ложности. В этой главе оспаривается «трудность», которую, по утверждению Конанта, испытывает Фреге при изложении своих аргументов относительно законов логики, а также приписывание Фреге некоторого объяснения «источника» или «основания» особого характера логических законов.

Ключевые слова: логика, Джеймс Конант, Готлоб Фреге, законы логики, психологические логики, необходимость, необходимая истина

Для получения доступа к полному тексту книг в рамках службы для получения стипендии

Oxford Online требуется подписка или покупка. Однако публичные пользователи могут свободно искать на сайте и просматривать аннотации и ключевые слова для каждой книги и главы.

Пожалуйста, подпишитесь или войдите для доступа к полному тексту.

Если вы считаете, что у вас должен быть доступ к этому заголовку, обратитесь к своему библиотекарю.

Для устранения неполадок, пожалуйста, посетите наш FAQs , и если вы не можете найти там ответ, пожалуйста связаться с нами .

Ground Up Logic

Ground Up Logic

Наш сайт лучше всего работает с включенными Javascripts!

Специализируется на собственной разработке для самых интересных платформ.

iPhone

Мы используем всю мощь iOS для повышения качества обслуживания.

Android

Создание собственных приложений для Android всех мастей, от игр до транспорта и медицинских технологий.

Интернет

Для хороших приложений требуются отличные веб-сайты и серверы, поэтому мы их создаем.

IoT

Мы создаем интеллектуальные вещи и системы для управления данными от растущего числа подключенных устройств.

  • Все
  • Приложения для Android
  • Приложения для iPad
  • Приложения для iPhone
  • Пользовательские интерфейсы
  • Веб-приложения
  • Наука о платформе

    Компания Platform Science, стартап в области логистики и телематики, хотела изучить несколько идей, которые у них не было возможности реализовать собственными силами.

  • Внутренние инструменты для микропорошков

    Micro Powders, Inc. — это компания из Нью-Йорка, которая внесла новшества в свою область высокоэффективных добавок на основе воска для широкого спектра

  • Бастер Баш

    Пройдите по стопам Сан-Франциско Джайентс All-Star Catcher и новичка года NL 2010, Бастера Поузи, начав как начинающий молодой игрок

  • Volvo S60: гоночная игра

    Выпуская S60, Volvo решила ориентироваться на более молодую аудиторию. Для этого они создали masthead на YouTube, который позволил пользователям

  • твитпот

    tweetspot — это новый способ читать ленту твиттера: с высоты птичьего полета. Вот несколько способов его использования: — посмотреть, что

  • SheTaxis

    Работая на основе мощной концепции, создавая автосервис, в котором женщины-водители обслуживают пассажиров-женщин, Ground Up Logic работала с начальных этапов до

    .
  • myMS

    Центр комплексной помощи при рассеянном склерозе Университета Южной Калифорнии при Медицинской школе Кека является одним из ведущих центров по исследованию и лечению рассеянного склероза в стране.Рабочий

  • Приложение Sense4Baby для iPad

    Женщинам с беременностями высокого риска требуется клиническое наблюдение несколько раз в неделю в течение последних месяцев беременности, когда стоимость проезда для матери может составлять

453 S. Spring St. Suite 426 Los Angeles CA,

  • ПОЯСНЕНИЕ МЕЖДУ ЛОГИКОЙ И ФИЛОСОФЕЙ

    Конференция

    20-22 сентября 2021 года

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

    Конференция будет проходить во второй половине дня и будет организована в Интернете IHPST (UMR 8590, Université Paris 1 Panthéon-Sorbonne и CNRS). Участие открыто для всех желающих, но требуется регистрация.Пожалуйста, зарегистрируйтесь здесь. Ссылка Zoom будет отправлена ​​зарегистрированным участникам.

    Основные докладчики:

    Организационный комитет:
    Francesca Poggiolesi — IHPST (UMR 8590), CNRS и Université Paris 1 Panthéon-Sorbonne
    Francesco A. Genco — IHPST (UMR 8590), CNRS и Université Paris 1 Panthéon-Sorbonne


    Программа

    (Время указано в CEST)

    Каждое выступление длится около 45 минут, из которых 15 минут будут посвящены вопросам

    20 сен. , 14: 00-15: 00 — Оле Хьортланд (Бергенский университет, Норвегия)

    Логический плюрализм и абдуктивизм в логике

    Логическое знание часто считалось исключительным, потому что оно a priori , фундаментальное или просто самоочевидное. Против этого некоторые антиисключительные сторонники утверждают, что знание основных логических законов приобретается не через прямой доступ, а через методы выбора теории (наиболее популярно — логический абдуктивизм).Здесь я исследую, что такая эпистемология логики будет значить для спора между логическим монистом и логическим плюралистом. Если выбор теории в логике действительно в целом абдуктивен, оставляет ли это место для плюралистического тезиса о том, что существует более чем одна правильная логика? Я утверждаю, что абдуктивизм может поддерживать форму местного плюрализма, но этот глобальный плюрализм проблематичен.

    20 сентября, 15: 15-16: 15 — Николас Эммерсон (Бирмингемский университет, Великобритания)

    Как (и почему) быть прагматиком относительно заземления

    На первый взгляд, прагматизм и современная теоретико-заземленная метафизика создают неудобства для соратников. Однако я попытаюсь показать, как (и почему) кто-то, симпатизирующий сосредоточенности прагматиков на практических вопросах, может оправдать влечение к «поразительно инфляционному» понятию, характерному для недавней литературы по обоснованию. Я буду утверждать, что в то время как дефляционные объяснения заземления следуют традиции неопрагматического дефляционизма, восходящей к Уильяму Джеймсу и Джону Дьюи, инфляционные объяснения заземления можно понимать как продолжение прагматической традиции, инициированной К.С. Пирс.

    20 сентября, 16: 30-17: 30 — Исаак Вильгельм (Национальный университет Сингапура, Республика Сингапур)

    Объяснение истины

    Что в мире объясняет, почему одни предложения истинны, а другие ложны? В этом выступлении я предлагаю объяснение и семантику, которая отвечает на этот вопрос. Учетная запись основана на семантике пространства состояний для предложений логики первого порядка.

    21 сентября, 14: 00-15: 00 — Кэрри Дженкинс (Университет Британской Колумбии, Канада)

    Расщепление и объяснение

    В этом выступлении я рассмотрю объяснение в контексте недавних обсуждений «необъяснимого» и, в более широком смысле, других видов «расщепления». Я исследую, является ли объяснение по самой своей природе особенно уязвимым для использования снисходительным, покровительственным или иным образом социально неприемлемым образом.

    21 сентября, 15: 15-16: 15 — Пьер Сен-Жермер, Петер Верде, Пилар Террес и Жоао-Даниэль Дантас (Католический университет Лувен-ла-Нев, Бельгия)

    Двустороннее логическое основание

    Мы представляем двустороннюю основу для изучения логического основания, согласно которой истина и ложь могут как заземлять, так и обосновываться. Представлена ​​логика классико-логического обоснования и изучается с теоретико-доказательной и семантической точек зрения. Мы представляем некоторые преимущества двустороннего подхода по сравнению с существующими односторонними подходами (где только истина может быть обоснована и подтверждена). Мы также обсуждаем возможность расширения подхода к неклассической логике и описываем некоторые философские приложения структуры, касающиеся теоретико-доказательной семантики, логического плюрализма и понятия релевантного следствия.

    21 сентября, 16: 30-17: 30 — Мартин Плейц (Университет Мюнстера, Германия)

    Наземные аргументы, аргументы Карри и неперевариваемые аргументы

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

    22 сентября, 14: 00-15: 00 — Fabrice Correia (Женевский университет, Швейцария)

    Обоснование, фактическая эквивалентность и пропозициональная эквивалентность

    Метафизическое обоснование, понимаемое мирским путем, не делает различий между предложениями, которые «фактически эквивалентны», т.е.е. (примерно) выражающие один и тот же мирской факт. В предыдущей работе я разработал логику соответствующего понятия фактической эквивалентности. Недавно несколько философов подвергли критике эту логику на том основании, что она приводит к неинтуитивным явлениям непрозрачности. Я отвечаю, утверждая, что эти философы имеют в виду не фактическую эквивалентность, а то, что я называю «пропозициональной эквивалентностью». Последнее понятие не порождает рассматриваемого явления непрозрачности; первое представление имеет значение, но это не проблема.

    22 сен., 15: 15-16: 15 — Эвелин Эриксон (УФРН, Бразилия)

    Контекстуальное объяснение в логике

    Антиисключительность в отношении логики утверждает, что логика — это дисциплина, аналогичная науке, в том смысле, что она связана с тем же типом знания и / или регулируется схожими методологическими принципами.