Введение

Предложения, выражающие фактические последствия или гипотетические ситуации и их результаты, а также внетюремное наказание за преступление в Канаде. Условные предложения – это предложения на естественном языке, которые выражают зависимость одного события от другого, например: "Если пойдет дождь, пикник будет отменен". Они получили такое название, потому что влияние главной части предложения обусловлено зависимой частью. Таким образом, полное условное предложение состоит из двух частей: зависимой части, называемой антецедентом (или протазисом, или придаточным условным), которая выражает условие, и главной части, называемой консеквентом (или аподозисом, или придаточным следствия), которая выражает результат. Языки используют различные грамматические формы и конструкции в условных предложениях. Формы глаголов, используемые в антецеденте и консеквенте, часто подчиняются определенным правилам относительно их времени, вида и наклонения. Во многих языках существует специализированная глагольная форма, называемая условным наклонением, которая по значению в значительной степени эквивалентна английскому "would (do something)" и используется в некоторых типах условных предложений.

Виды условных предписаний

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

Межязычные вариации

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

Французский

Во французском языке союзом, соответствующим слову "if", является si. Использование времен очень похоже на английский: в импликативных условных предложениях настоящее время (или другое подходящее время, наклонение и т. д.) используется в обоих частях предложения. В предикативных условных предложениях будущее время или повелительное наклонение обычно употребляется в главной части, но придаточное условие формируется настоящим временем (как и в английском языке). Это отличается от придаточных предложений, вводимых другими союзами, такими как quand ("когда"), где французский язык использует будущее время (в то время как английский – настоящее). В контрфактических условных предложениях для выражения условия используется несовершенное время (как в английском языке, где аналогично используется прошедшее время). Главная часть содержит условное наклонение (например, j'arriverais, "я бы приехал"). В контрфактических условных предложениях, относящихся к прошлому, условие выражается с помощью плюскваперфекта (например, s'il avait attendu, "если бы он подождал"), а следствие – с помощью условного перфекта (например, je l'aurais vu, "я бы его увидел"). Эти глагольные формы аналогичны тем, что используются в английском языке. Как и в английском языке, возможны различные сочетания и вариации этих моделей. См. также французские глаголы.

Славянские языки

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

Логика

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