Quando você analisa uma posição, não pensa em termos de certezas. Você pensa em termos de possibilidades e necessidades. "Ele pode jogar ali." "Preciso proteger essa peça." "Se eu avançar esse peão, ele é forçado a responder assim." Essa linguagem modal, a do possível e do necessário, está no cerne da reflexão enxadrística. E corresponde exatamente a um ramo formal da lógica: a lógica modal.

O que é a lógica modal?

A lógica modal é uma extensão da lógica clássica que introduz operadores para expressar as modalidades: o que é possível, o que é necessário, o que é contingente. Suas origens remontam a Aristóteles, mas sua formalização moderna se deve a lógicos do século XX como C.I. Lewis e Saul Kripke.

Os dois operadores fundamentais da lógica modal são:

  • $\Diamond P$ (diamante): "é possível que P seja verdadeiro"
  • $\Box P$ (quadrado): "é necessário que P seja verdadeiro" (P é verdadeiro em todos os mundos acessíveis)

Esses dois operadores são duais: $\Diamond P$ é equivalente a $\neg \Box \neg P$ (P é possível se e somente se a negação de P não é necessária).

A semântica dos mundos possíveis, desenvolvida por Saul Kripke nos anos 1960, fornece o quadro interpretativo: uma fórmula modal é avaliada em relação a um conjunto de mundos possíveis e uma relação de acessibilidade entre eles. "É possível que P" significa que existe um mundo acessível a partir do mundo atual no qual P é verdadeiro.

A árvore de xadrez como estrutura de mundos possíveis

A árvore de variantes de uma partida de xadrez é exatamente uma estrutura de mundos possíveis no sentido de Kripke. Cada posição é um mundo. A relação de acessibilidade é: "você pode alcançar essa posição a partir da outra em um lance legal".

A partir da posição inicial, um imenso conjunto de mundos (posições) são acessíveis. À medida que a partida avança, alguns mundos se tornam inacessíveis (as linhas não jogadas), e novos mundos se tornam acessíveis (as posições alcançadas).

"Ganhando se..." em lógica modal

A fórmula "ganhando se [condição]" é uma fórmula modal condicional. Ela expressa que nos mundos acessíveis onde [condição] é verificada, a vitória é necessária ou possível.

Vamos decompor os raciocínios típicos:

"Posso forçar mate em 3" corresponde a $\Diamond \text{mate}(3)$: existe um mundo acessível (uma linha de jogo) no qual eu dou mate em 3 lances.

"Ele é forçado a perder seu peão" corresponde a $\Box \text{perda_peão}$: em todos os mundos acessíveis para ele (todos os seus lances legais), ele perde o peão. Nenhuma defesa funciona.

"Se eu jogar ali, ele deve responder assim" corresponde a uma implicação modal: $\text{lance}a \Rightarrow \Box{adversário} \text{lance}_b$. Após meu lance, em todos os mundos acessíveis para o adversário, o único bom lance é $\text{lance}_b$.

Essa tradução formal não é meramente acadêmica. Ela precisa o que significa "forçar" algo no xadrez. Uma vitória forçada é uma proposição necessária ($\Box$) na subárvore das respostas do adversário. Uma ideia que "pode funcionar" é uma proposição possível ($\Diamond$) nessa subárvore.

O raciocínio profilático e a lógica modal

Tigran Petrossian é célebre por seu jogo profilático: ele jogava regularmente lances que "preveniam" ameaças do adversário antes mesmo que estivessem concretamente presentes. Seus adversários frequentemente achavam seus lances misteriosos porque não entendiam o que ele estava prevenindo.

A profilaxia é diretamente uma aplicação da lógica modal. Um lance profilático responde à fórmula: "se eu não jogar esse lance, é possível que [ameaça] se realize num mundo futuro acessível". Ao jogar o lance profilático, você torna essa ameaça inacessível: você fecha esse mundo possível.

Mais formalmente: se $\Diamond_{futuro} \text{ameaça}$ é verdadeiro na posição atual, o lance profilático transforma a posição numa posição onde $\neg \Diamond_{futuro} \text{ameaça}$ é verdadeiro. O lance modificou a estrutura dos mundos futuros acessíveis.

A preventiva de Nimzovitch

Aaron Nimzovitch teorizou o conceito de "prevenção" em seu livro Meu Sistema (1925). Ele explicava que às vezes o lance mais forte é aquele que neutraliza uma ameaça do adversário antes que ela se torne real, mesmo que essa ameaça não seja ainda imediata.

Em linguagem modal, Nimzovitch dizia: não se deve olhar apenas para as ameaças atuais (os mundos imediatamente acessíveis), mas também para as ameaças potenciais (os mundos acessíveis após vários lances). O raciocínio modal sobre os futuros possíveis é mais rico do que o raciocínio sobre as ameaças imediatas.

A lógica da variante forçada

Uma variante forçada, em termos modais, é uma cadeia de necessidades. Cada lance do adversário é constrangido: em todos os mundos acessíveis para ele, há apenas um lance razoável. A variante forçada é portanto uma proposição da forma:

$$\Box_{A}(\text{lance}1) \Rightarrow \Box{B}(\text{lance}2) \Rightarrow \Box{A}(\text{lance}_3) \Rightarrow \ldots \Rightarrow \text{mate}$$

Encontrar uma variante forçada é provar essa cadeia de necessidades. Para cada resposta do adversário (cada mundo acessível para ele), a continuação leva inevitavelmente ao mate. O cálculo de mate em n lances forçados é uma verificação dessa cadeia em cada bifurcação.

Essa lógica explica por que os problemas de xadrez (composições com solução única) são tão exigentes intelectualmente. Eles exigem verificar uma cadeia de necessidades em todas as subárvores das respostas do adversário, sem exceção. Um único contra-exemplo (um lance de defesa que funciona num mundo não considerado) invalida toda a solução.

Os zugzwangs e a lógica da obrigação

Um zugzwang é uma posição onde o jogador que deve jogar está numa situação perdedora precisamente porque é obrigado a jogar. Se esse jogador pudesse passar sua vez, ele manteria o equilíbrio. Mas a obrigação de jogar deteriora sua posição.

Em lógica modal, o zugzwang é uma posição onde:

$$\forall c \in \text{lances_legais} : \Box \text{perdendo após } c$$

Em outras palavras: em todos os mundos acessíveis (todos os lances legais), a posição é perdedora. O jogador está preso pela necessidade modal: é necessário que ele jogue, e todos os lances possíveis levam à derrota.

O zugzwang mútuo (ou "zugzwang distante") é ainda mais complexo: é uma posição onde qualquer que seja o lado que deva jogar, ele perde. Em lógica modal, as duas direções são constrangidas de forma simétrica. Essas posições revelam a estrutura mais profunda da lógica do jogo: às vezes, o próprio movimento é a derrota.

A incerteza modal na prática

No jogo prático, a lógica modal se aplica em condições de incerteza. O jogador não pode verificar exaustivamente todos os mundos acessíveis, deve heuristicamente estimar quais são possíveis e quais são prováveis.

Essa distinção entre possibilidade lógica e probabilidade prática é crucial. Um lance pode ser logicamente possível mas praticamente improvável: o adversário pode tecnicamente jogá-lo, mas seria mau para ele. Um jogador experiente aprende a distinguir as ameaças "logicamente possíveis" das ameaças "praticamente relevantes".

Mikhail Botvinnik ensinava a seus alunos a buscar sistematicamente os "lances candidatos": antes de calcular, identificar todos os lances dignos de exame. É um procedimento de filtragem dos mundos possíveis relevantes. Em vez de explorar exaustivamente a árvore, você elimina primeiro os ramos claramente ruins.

A lógica epistêmica e o que você não sabe

Uma extensão importante da lógica modal é a lógica epistêmica, que se ocupa não do possível e do necessário em geral, mas do que os agentes sabem ou ignoram. No xadrez, essa dimensão é relevante no contexto da preparação de abertura.

Quando você prepara uma novidade teórica, você cria uma assimetria epistêmica: você sabe o que o adversário não sabe. Nos termos da lógica epistêmica, você tem acesso a mundos possíveis (as continuações da sua preparação) que o adversário não pode avaliar no mesmo ritmo. Essa assimetria de acesso aos mundos possíveis é uma arma estratégica.

A surpresa tática repousa na mesma lógica: jogar um lance que o adversário não acredita ser possível ($\neg \Diamond_{adversário} \text{lance}$), mas que é legal e forte. Frequentemente, os sacrifícios de peças criam exatamente essa situação: o adversário não havia calculado essa possibilidade como viável.

Raciocínio modal e níveis de jogo

O domínio do raciocínio modal cresce com o nível de jogo. O jogador iniciante raciocina principalmente sobre os lances imediatos: ele vê as ameaças diretas, as capturas em um lance. Seu universo modal está limitado aos mundos imediatamente acessíveis.

O jogador intermediário começa a raciocinar sobre sequências de 2-3 lances. Seu universo modal se estende aos mundos acessíveis após algumas transições. Ele começa a compreender a necessidade ($\Box$): alguns lances são forçados.

O Grande Mestre raciocina sobre planos de longo prazo, estruturas de peões que se desenvolvem em 10 a 15 lances, transformações qualitativas da posição que só serão palpáveis no final. Seu universo modal inclui mundos muito distantes na árvore, acessíveis por longas cadeias de lances.

Essa progressão é uma progressão na profundidade e na riqueza do raciocínio modal. É talvez a descrição mais precisa do que significa "compreender o xadrez": ter acesso a um universo de mundos possíveis mais amplo, e raciocinar sobre ele com mais rigor.

Box, diamond e lógica temporal: os operadores modais em detalhe

Os operadores box e diamond

Em inglês, os dois operadores da modal logic recebem nomes informais que derivam dos símbolos tipográficos: o operador diamond (◇) e o operador box (□). Toda a literatura anglófona de modal logic usa box e diamond como termos técnicos correntes. Conhecer esses termos é então essencial para acessar os textos de referência, de Kripke a Hughes & Cresswell.

O operador diamond representa a possibilidade. "Diamond P" é verdadeiro num mundo w quando existe pelo menos um mundo acessível w' no qual P é verdadeiro. Use diamond para expressar que algo é possível: existe uma linha onde o mate acontece (diamond-mate), existe um caso em que o sacrifício funciona (diamond-sacrifício-vantajoso). O operador diamond captura a estrutura do raciocínio "pode funcionar".

O operador box representa a necessidade. "Box P" é verdadeiro num mundo w quando P é verdadeiro em todos os mundos acessíveis a partir de w. Use box para expressar o que é forçado: em todos os casos em que o adversário pode responder (box), a defesa falha. Box e diamond são duais: box P é equivalente a não-diamond-não-P. No raciocínio sobre o xadrez, box e diamond permitem precisar o que é necessário versus o que é apenas possible.

Os different sistemas de modal logic, K, T, S4, S5, diferem nas propriedades do operador box. Em S4, box é transitivo: box P implica box-box P. Em S5, box P implica diamond-box P. A Kripke semantics classifica esses sistemas pelos tipos de relação de acessibilidade entre os mundos. Para raciocinar sobre o xadrez, use S4: a transitividade das posições acessíveis é natural. Em cada case de análise tática, pergunte: "isto é box (necessário) ou diamond (possible)?", essa distinção é central.

Lógicas temporais: box e diamond no tempo

As lógicas temporais (temporal logics) são uma extensão direta da modal logic onde a relação de acessibilidade representa o tempo. No contexto das temporal logics, diamond significa "em algum momento futuro" e box significa "sempre no futuro". As temporal logics são hoje especialmente aplicadas em verificação formal de software e em análise de sistemas.

No xadrez, a temporal logic fornece um framework natural. "Diamond-mate" significa que o mate é possible em algum momento futuro. "Box-empate" significa que o empate é necessário em todos os futuros acessíveis, é exatamente o que as tablebases computam. A lógica temporal e a modal logic formam então um continuum de ferramentas formais.

Use o operador box quando a necessity é o objeto de interesse; use diamond quando se trata de possibilidade. As temporal logics e as lógicas epistêmicas, extensões da modal logic que tratam do conhecimento, são também aplicadas no raciocínio sobre jogos em teoria dos jogos e em inteligência artificial. A semantics de Kripke unifica todos esses sistemas: cada extensão da modal logic corresponde a uma classe de frames com propriedades específicas.

A distinção box-diamond é, portanto, o cerne da modal logic e das suas applications ao xadrez. Em cada caso concreto, a análise começa por essa pergunta: necessity ou possibilidade, box ou diamond?

A lógica modal na prática: há mais do que teoria

Há uma dimensão prática frequentemente negligenciada na lógica modal aplicada ao xadrez: o uso concreto dos operadores de necessidade e possibilidade no cálculo cotidiano. Há jogadores que dominam intuitivamente esses conceitos sem nunca ter ouvido falar de Kripke. O que a lógica formal faz é tornar explícito o que a prática já usa de forma implícita.

Há pelo menos três contextos em que o uso consciente da lógica modal muda o cálculo de um jogador. O primeiro é o cálculo de variantes forçadas: reconhecer que há um lance que é necessário (o adversário não tem escolha) em vez de apenas possível. O segundo é a avaliação de sacrifícios: há sacrifícios que são "logicamente possíveis" mas praticamente improváveis, um jogador experiente usa o raciocínio modal para filtrar essas falsas possibilidades. O terceiro é o planejamento de longo prazo: há planos que dependem de mundos futuros acessíveis apenas sob condições específicas.

Use o raciocínio modal como ferramenta de diagnóstico. Antes de calcular, pergunte: "há um lance necessário aqui?", um lance que o adversário deve jogar em todos os mundos acessíveis. Se há, você tem um ponto de partida para a variante forçada. Se não há, você está na lógica do possível: há várias linhas que devem ser avaliadas. Essa distinção, entre o necessário e o possível, é o que a formal logic theory da lógica modal captura em notação precisa, e que o jogador de xadrez captura em termos de intuição tática.

Há também uma aplicação da lógica modal à psicologia do torneio. Quando você está perdendo, há uma tendência a superdimensionar as possibilidades do adversário, a ver ameaças em mundos que não são acessíveis na posição real. O jogador que usa a lógica modal sabe distinguir o que há de real de o que há de imaginado: a necessidade objetiva versus a ansiedade subjetiva. Use esse quadro mental para se ancorar na análise concreta da posição.

Após a leitura: numa posição de treinamento, escreva para dois lances candidatos a frase "se eu jogar X, em quais mundos aterrisso no próximo lance?" antes de calcular em profundidade.

Sistemas normais, modelos e recursos disponíveis

A modal logic é também uma disciplina com uma literatura técnica rica. Os textos fundamentais são diferentes em ênfase e estilo. O text de C.I. Lewis e Langford (Symbolic Logic, 1932) introduz os primeiros sistemas formais S1-S5. O text de Hughes e Cresswell (An Introduction to Modal Logic, 1968) é o manual clássico de referência para os sistemas normais de modal logic. Os results da teoria dos modelos são então os alicerces da disciplina, disponivel nas bibliotecas universitárias e em acesso aberto.

Os modelos de Kripke, também chamados frames de Kripke, são o instrumento central da semantics da modal logic. Um model é um triple (W, R, V) onde W é um conjunto de mundos, R é a relação de acessibilidade e V é uma função de valoração. Em cada case de application da modal logic, o primeiro passo é então construir o model adequado ao domínio.

Os different sistemas normais, K, T, S4, S5, são definidos pelas propriedades da relação de acessibilidade R no model. Os results da teoria dos modelos mostram que cada sistema normal corresponde a uma classe de frames axiomaticamente definida. As different modalities (necessidade, possibilidade, temporalidade, conhecimento) correspondem então a different sistemas formais. Use o framework Kripke para analisar caso a caso qual sistema é adequado.

No caso do xadrez, o sistema S4 é o mais natural: a relação de acessibilidade entre posições é reflexiva e transitiva. Em cada case concreto de análise de um zugzwang ou de uma variante forçada, o model S4 fornece o quadro formal adequate. Os results da análise formal concordam então com a intuição prática dos jogadores experientes.

O que guardar

  • A lógica modal formaliza os raciocínios sobre o possível e o necessário
  • No xadrez, cada posição é um "mundo possível" na árvore de variantes
  • "Ganhando se..." é uma fórmula modal: a vitória é possível (acessível) em alguns mundos, necessária em outros
  • O raciocínio profilático é uma aplicação direta da lógica modal ao jogo prático

Fontes e referências

  • Kripke, S. Semantical Considerations on Modal Logic. Acta Philosophica Fennica, 16, 83-94, 1963.
  • Lewis, C. I., & Langford, C. H. Symbolic Logic. Dover Publications, 1932.
  • Nimzowitsch, A. Meu Sistema. Payot, 1925.
  • Botvinnik, M. Achieving the Aim. Pergamon Press, 1981.
  • Hughes, G. E., & Cresswell, M. J. An Introduction to Modal Logic. Methuen, 1968.