¿Qué se entiende por “sujeto lógico” en gramática? ¿Es “el libro” el tema lógico en “El libro se vende fácilmente”? ¿Cuál es la diferencia entre un sujeto sintáctico y un sujeto lógico?

El “sujeto lógico” se refiere al sujeto de una oración que no sea en sentido gramatical (o “sintáctico”). Las oraciones con un sujeto lógico (así como un sujeto sintáctico) generalmente tienen un verbo pasivo.

Por ejemplo, en la oración:
El ladrón fue arrestado por el policía.
el sujeto sintáctico (gramatical) es “el ladrón”, pero el sujeto lógico (el autor de la acción mencionada, es decir, el arresto) es el policía.

Lo que parece estar diciendo el Diccionario de Filosofía de Oxford (quizás no muy claramente en un contexto gramatical) es que el tema lógico, el policía, se referiría a la expresión referencial “arrestar al ladrón” si la oración se escribiera en el formulario, “El policía arrestó al ladrón”.

En la oración, “Los libros se venden fácilmente”, no surge el concepto de un tema lógico. “El libro” es el tema sintáctico / gramatical y, efectivamente, es el hacedor del verbo activo “vende” (la oración realmente dice: “El libro se vende fácilmente”).

Si la oración fue reescrita, “el libro facilita las ventas”, refiriéndose, por ejemplo, al contenido del libro, el diseño de la portada y el precio, entonces “ventas” sería el tema sintáctico / gramatical y ” el libro ” sería el tema lógico.

(Referencia: Oxford Dictionary of English Grammar, entrada sobre ” subject ”)

Según esta definición, el libro en sí sería el tema lógico. Debido a que la oración exhibe su forma lógica con suficiente claridad (supongo que sí), puede elegir el libro como el tema lógico. El sujeto sintáctico es la cadena de palabras en la oración – “el libro” – que forman el sujeto gramatical de la oración. (No el libro en sí).

Después de leer la respuesta de John Bagnall e investigar un poco más sobre el tema, no estoy seguro de que la definición del Diccionario de Filosofía de Oxford pueda aplicarse tanto a la gramática como a la lógica de una manera clara. Para poder mostrar la forma lógica absoluta de cualquier oración del lenguaje ordinario todavía se considera problemático (ver por ejemplo Investigaciones filosóficas de Wittgenstein), y lo será por mucho tiempo. Pero la definición dice “realmente exhibe su forma lógica”, y es un diccionario de filosofía.