В задаче процессуальной конкуренции были описаны два процесса, решение по одному, устанавливало по крайней мере одно обстоятельство, которое также являлось обстоятельством, подлежащим установлению во втором процессе. Формально-логическое следование одного из описанных процессов из другого из другого в рамках бинарной, да, к тому же, аристотелевой логики, сомнения не вызывало. Собственно так часто и рассуждают судьи. Однако какой из двух процессов следует из другого?.. Давайте вспомним:
g, s и d - участники процесса Ψ₁, в котором предметом является обстоятельство ε, связывающее g, s и d, а основанием — обстоятельство β, которое связывает g, s и d и обстоятельство η, также связывающее g, s и d: Ψ₁{g, s, d}[(β(g, s, d) ∧ η(g, s, d))] → (..., ε(g, s, d), ...) Допустим, что этот процесс закончен. Тогда для g, s и d оказываются установленными обстоятельства ε (в резолютивной части), β и η (в мотивировочной части). Не так ли? Идём дальше:
g, s являются участниками процесса Ψ₂, в котором пред